#include <value_set_analysis_fi.h>
|
| value_set_analysis_fit (const namespacet &_ns, track_optionst _track_options=TRACK_ALL_POINTERS) |
|
void | initialize (const goto_programt &goto_program) override |
|
void | initialize (const goto_functionst &goto_functions) override |
|
void | get_values (const irep_idt &function_id, locationt l, const exprt &expr, std::list< exprt > &dest) override |
|
std::vector< exprt > | get_values (const irep_idt &function_id, locationt l, const exprt &expr) override |
|
| value_setst () |
|
virtual | ~value_setst () |
|
| flow_insensitive_analysist (const namespacet &_ns) |
|
virtual void | clear () |
|
value_set_domain_fit & | get_data () |
|
const value_set_domain_fit & | get_data () const |
|
bool | seen (const locationt &l) |
|
| flow_insensitive_analysis_baset (const namespacet &_ns) |
|
virtual void | update (const goto_programt &goto_program) |
|
virtual void | update (const goto_functionst &goto_functions) |
|
virtual void | operator() (const irep_idt &function_id, const goto_programt &goto_program) |
|
virtual void | operator() (const goto_functionst &goto_functions) |
|
virtual | ~flow_insensitive_analysis_baset () |
|
virtual void | output (const goto_functionst &goto_functions, std::ostream &out) |
|
virtual void | output (const irep_idt &function_id, const goto_programt &goto_program, std::ostream &out) |
|
|
bool | check_type (const typet &type) |
|
void | get_globals (std::list< value_set_fit::entryt > &dest) |
|
void | add_vars (const goto_functionst &goto_functions) |
|
void | add_vars (const goto_programt &goto_programa) |
|
void | get_entries (const symbolt &symbol, std::list< value_set_fit::entryt > &dest) |
|
void | get_entries_rec (const irep_idt &identifier, const std::string &suffix, const typet &type, std::list< value_set_fit::entryt > &dest) |
|
virtual statet & | get_state () |
|
virtual const statet & | get_state () const |
|
void | get_reference_set (const exprt &expr, expr_sett &expr_set) |
|
locationt | get_next (working_sett &working_set) |
|
void | put_in_working_set (working_sett &working_set, locationt l) |
|
bool | fixedpoint (const irep_idt &function_id, const goto_programt &goto_program, const goto_functionst &goto_functions) |
|
bool | fixedpoint (goto_functionst::function_mapt::const_iterator it, const goto_functionst &goto_functions) |
|
void | fixedpoint (const goto_functionst &goto_functions) |
|
bool | visit (const irep_idt &function_id, locationt l, working_sett &working_set, const goto_programt &goto_program, const goto_functionst &goto_functions) |
|
bool | do_function_call_rec (const irep_idt &calling_function, locationt l_call, const exprt &function, const exprt::operandst &arguments, statet &new_state, const goto_functionst &goto_functions) |
|
bool | do_function_call (const irep_idt &calling_function, locationt l_call, const goto_functionst &goto_functions, const goto_functionst::function_mapt::const_iterator f_it, const exprt::operandst &arguments, statet &new_state) |
|
virtual const statet & | get_state () const =0 |
|
Definition at line 20 of file value_set_analysis_fi.h.
◆ baset
◆ track_optionst
◆ value_set_analysis_fit()
◆ add_vars() [1/2]
void value_set_analysis_fit::add_vars |
( |
const goto_functionst & |
goto_functions | ) |
|
|
protected |
◆ add_vars() [2/2]
void value_set_analysis_fit::add_vars |
( |
const goto_programt & |
goto_programa | ) |
|
|
protected |
◆ check_type()
bool value_set_analysis_fit::check_type |
( |
const typet & |
type | ) |
|
|
protected |
◆ get_entries()
◆ get_entries_rec()
◆ get_globals()
◆ get_values() [1/2]
◆ get_values() [2/2]
◆ initialize() [1/2]
void value_set_analysis_fit::initialize |
( |
const goto_functionst & |
goto_functions | ) |
|
|
overridevirtual |
◆ initialize() [2/2]
void value_set_analysis_fit::initialize |
( |
const goto_programt & |
goto_program | ) |
|
|
overridevirtual |
◆ track_options
The documentation for this class was generated from the following files: