#include <escape_analysis.h>
|
| escape_domaint () |
|
void | transform (const irep_idt &function_from, locationt from, const irep_idt &function_to, locationt to, ai_baset &ai, const namespacet &ns) final override |
| 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) More...
|
|
void | output (std::ostream &out, const ai_baset &ai, const namespacet &ns) const final override |
|
bool | merge (const escape_domaint &b, locationt from, locationt to) |
|
void | make_bottom () final override |
| no states More...
|
|
void | make_top () final override |
| all states – the analysis doesn't use this, and domains may refuse to implement it. More...
|
|
bool | is_bottom () const override final |
|
bool | is_top () const override final |
|
void | make_entry () override final |
| Make this domain a reasonable entry-point state. More...
|
|
Public Member Functions inherited from ai_domain_baset |
virtual | ~ai_domain_baset () |
|
virtual jsont | output_json (const ai_baset &ai, const namespacet &ns) const |
|
virtual xmlt | output_xml (const ai_baset &ai, const namespacet &ns) const |
|
virtual bool | ai_simplify (exprt &condition, const namespacet &) const |
| also add More...
|
|
virtual bool | ai_simplify_lhs (exprt &condition, const namespacet &ns) const |
| Simplifies the expression but keeps it as an l-value. More...
|
|
virtual exprt | to_predicate (void) const |
| Gives a Boolean condition that is true for all values represented by the domain. More...
|
|
Definition at line 24 of file escape_analysis.h.
◆ aliasest
◆ cleanup_mapt
◆ escape_domaint()
escape_domaint::escape_domaint |
( |
| ) |
|
|
inline |
◆ assign_lhs_aliases()
void escape_domaint::assign_lhs_aliases |
( |
const exprt & |
lhs, |
|
|
const std::set< irep_idt > & |
alias_set |
|
) |
| |
|
private |
◆ assign_lhs_cleanup()
void escape_domaint::assign_lhs_cleanup |
( |
const exprt & |
lhs, |
|
|
const std::set< irep_idt > & |
cleanup_functions |
|
) |
| |
|
private |
◆ check_lhs()
void escape_domaint::check_lhs |
( |
const exprt & |
lhs, |
|
|
std::set< irep_idt > & |
cleanup_functions |
|
) |
| |
|
private |
◆ get_function()
◆ get_rhs_aliases()
void escape_domaint::get_rhs_aliases |
( |
const exprt & |
rhs, |
|
|
std::set< irep_idt > & |
alias_set |
|
) |
| |
|
private |
◆ get_rhs_aliases_address_of()
void escape_domaint::get_rhs_aliases_address_of |
( |
const exprt & |
rhs, |
|
|
std::set< irep_idt > & |
alias_set |
|
) |
| |
|
private |
◆ get_rhs_cleanup()
void escape_domaint::get_rhs_cleanup |
( |
const exprt & |
rhs, |
|
|
std::set< irep_idt > & |
cleanup_functions |
|
) |
| |
|
private |
◆ is_bottom()
bool escape_domaint::is_bottom |
( |
| ) |
const |
|
inlinefinaloverridevirtual |
◆ is_top()
bool escape_domaint::is_top |
( |
| ) |
const |
|
inlinefinaloverridevirtual |
◆ is_tracked()
bool escape_domaint::is_tracked |
( |
const symbol_exprt & |
symbol | ) |
|
|
private |
◆ make_bottom()
void escape_domaint::make_bottom |
( |
| ) |
|
|
inlinefinaloverridevirtual |
◆ make_entry()
void escape_domaint::make_entry |
( |
| ) |
|
|
inlinefinaloverridevirtual |
◆ make_top()
void escape_domaint::make_top |
( |
| ) |
|
|
inlinefinaloverridevirtual |
◆ merge()
◆ output()
void escape_domaint::output |
( |
std::ostream & |
out, |
|
|
const ai_baset & |
ai, |
|
|
const namespacet & |
ns |
|
) |
| const |
|
finaloverridevirtual |
◆ transform()
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)
"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())
Implements ai_domain_baset.
Definition at line 168 of file escape_analysis.cpp.
◆ escape_analysist
◆ aliases
◆ cleanup_map
◆ has_values
tvt escape_domaint::has_values |
|
private |
The documentation for this class was generated from the following files: