The interface offered by a domain, allows code to manipulate domains without knowing their exact type. More...
#include <ai_domain.h>
The interface offered by a domain, allows code to manipulate domains without knowing their exact type.
Derive from this to implement domains.
Definition at line 53 of file ai_domain.h.
Definition at line 72 of file ai_domain.h.
Definition at line 73 of file ai_domain.h.
The constructor is expected to produce 'false' or 'bottom' A default constructor is not part of the domain interface.
Definition at line 58 of file ai_domain.h.
A copy constructor is part of the domain interface.
Definition at line 63 of file ai_domain.h.
Definition at line 68 of file ai_domain.h.
also add
bool merge(const T &b, locationt from, locationt to); or bool merge(const T &b, trace_ptrt from, trace_ptrt to);
This computes the join between "this" and "b". Return true if "this" has changed. In the usual case, "b" is the updated state after "from" and "this" is the state before "to".
PRECONDITION(from.is_dereferenceable(), "Must not be _::end()") PRECONDITION(to.is_dereferenceable(), "Must not be _::end()") This method allows an expression to be simplified / evaluated using the current state. It is used to evaluate assertions and in program simplification return true if unchanged
Reimplemented in constant_propagator_domaint, interval_domaint, and variable_sensitivity_domaint.
Definition at line 149 of file ai_domain.h.
Simplifies the expression but keeps it as an l-value.
Use the information in the domain to simplify the expression on the LHS of an assignment.
This for example won't simplify symbols to their values, but does simplify indices in arrays, members of structs and dereferencing of pointers
Definition at line 43 of file ai_domain.cpp.
Implemented in constant_propagator_domaint, custom_bitvector_domaint, dep_graph_domaint, global_may_alias_domaint, variable_sensitivity_dependence_domaint, variable_sensitivity_domaint, value_set_domain_templatet< VST >, escape_domaint, interval_domaint, invariant_set_domaint, is_threaded_domaint, rd_range_domaint, and uninitialized_domaint.
Implemented in constant_propagator_domaint, custom_bitvector_domaint, dep_graph_domaint, global_may_alias_domaint, variable_sensitivity_dependence_domaint, variable_sensitivity_domaint, value_set_domain_templatet< VST >, escape_domaint, interval_domaint, invariant_set_domaint, is_threaded_domaint, rd_range_domaint, and uninitialized_domaint.
no states
Implemented in constant_propagator_domaint, custom_bitvector_domaint, dep_graph_domaint, escape_domaint, global_may_alias_domaint, interval_domaint, invariant_set_domaint, is_threaded_domaint, rd_range_domaint, uninitialized_domaint, variable_sensitivity_dependence_domaint, variable_sensitivity_domaint, and value_set_domain_templatet< VST >.
Make this domain a reasonable entry-point state For most domains top is sufficient.
Reimplemented in dep_graph_domaint, invariant_set_domaint, is_threaded_domaint, and value_set_domain_templatet< VST >.
Definition at line 121 of file ai_domain.h.
all states – the analysis doesn't use this directly (see make_entry) and domains may refuse to implement it.
Implemented in constant_propagator_domaint, custom_bitvector_domaint, dep_graph_domaint, escape_domaint, global_may_alias_domaint, interval_domaint, invariant_set_domaint, is_threaded_domaint, rd_range_domaint, uninitialized_domaint, variable_sensitivity_dependence_domaint, variable_sensitivity_domaint, and value_set_domain_templatet< VST >.
Reimplemented in invariant_set_domaint, rd_range_domaint, value_set_domain_templatet< VST >, uninitialized_domaint, custom_bitvector_domaint, dep_graph_domaint, escape_domaint, global_may_alias_domaint, interval_domaint, variable_sensitivity_dependence_domaint, variable_sensitivity_domaint, and constant_propagator_domaint.
Definition at line 104 of file ai_domain.h.
Reimplemented in dep_graph_domaint, and variable_sensitivity_dependence_domaint.
Definition at line 17 of file ai_domain.cpp.
Reimplemented in value_set_domain_templatet< VST >.
Definition at line 26 of file ai_domain.cpp.
Gives a Boolean condition that is true for all values represented by the domain.
This allows domains to be converted into program invariants.
Reimplemented in variable_sensitivity_domaint.
Definition at line 160 of file ai_domain.h.
how function calls are treated: a) there is an edge from each call site to the function head b) there is an edge from the last instruction (END_FUNCTION) of the function to the instruction following the call site (this also needs to set the LHS, if applicable)
in some cases, function calls are skipped, in which case: c) there is an edge from the call instruction to the instruction after
"this" is the domain before the instruction "from" "from" is the instruction to be interpreted "to" is the next instruction (for GOTO, FUNCTION_CALL, END_FUNCTION)
PRECONDITION(from.is_dereferenceable(), "Must not be _::end()") PRECONDITION(to.is_dereferenceable(), "Must not be _::end()") PRECONDITION(are_comparable(from,to) || (from->is_function_call() || from->is_end_function())
The history aware version is used by the abstract interpreter for backwards compatability it calls the older signature
Implemented in is_threaded_domaint, value_set_domain_templatet< VST >, custom_bitvector_domaint, dep_graph_domaint, escape_domaint, global_may_alias_domaint, interval_domaint, invariant_set_domaint, rd_range_domaint, uninitialized_domaint, variable_sensitivity_dependence_domaint, variable_sensitivity_domaint, and constant_propagator_domaint.
