CrabDomainsParams

Behavior of abstract domains can be tuned at analysis time via a set of parameter options. Intra- and inter-procedural analyses take as input an instance of the class crab_domain_params which contains all parameter options. Abstract domain have access to this instance so that they can act based on the selected options. For instance, thse are some of the current parameters (convention is domain.option_name):

elina.use_tree_expressions: bool
array_adaptive.is_smashable: bool
array_adaptive.smash_at_nonzer_offset: bool
array_adaptive.max_smashable_cells: unsigned
array_adaptive.max_array_size: unsigned
boxes.ldd_size: unsigned
boxes.convexify_threshold: int
boxes.dynamic_reordering: bool
powerset.exact_meet: bool
powerset.max_disjuncts: unsigned
region.allocations_sites: bool
region.deallocation: bool
region.refine_uninitialized_regions: bool
region.tag_analysis: bool
region.is_dereferenceable: bool
region.skip_unknown_regions: bool
zones.chrome_dijkstra: bool
zones.widen_restabilize: bool
zones.special_assign: bool
zones.close_bounds_inline: bool
oct.chrome_dijkstra: bool
oct.widen_restabilize: bool
oct.special_assign: bool
oct.close_bounds_inline: bool