cprover
|
Query Called Functions. More...
Go to the source code of this file.
Functions | |
void | compute_address_taken_functions (const exprt &src, std::unordered_set< irep_idt > &address_taken) |
get all functions whose address is taken More... | |
void | compute_functions (const exprt &src, std::unordered_set< irep_idt > &address_taken) |
get all functions in the expression More... | |
void | compute_address_taken_functions (const goto_programt &goto_program, std::unordered_set< irep_idt > &address_taken) |
get all functions whose address is taken More... | |
void | compute_address_taken_functions (const goto_functionst &goto_functions, std::unordered_set< irep_idt > &address_taken) |
get all functions whose address is taken More... | |
std::unordered_set< irep_idt > | compute_address_taken_functions (const goto_functionst &goto_functions) |
get all functions whose address is taken More... | |
std::unordered_set< irep_idt > | compute_called_functions (const goto_functionst &goto_functions) |
computes the functions that are (potentially) called More... | |
std::unordered_set< irep_idt > | compute_called_functions (const goto_modelt &goto_model) |
computes the functions that are (potentially) called More... | |
Query Called Functions.
Definition in file compute_called_functions.cpp.
void compute_address_taken_functions | ( | const exprt & | src, |
std::unordered_set< irep_idt > & | address_taken | ||
) |
get all functions whose address is taken
Definition at line 17 of file compute_called_functions.cpp.
References compute_address_taken_functions(), forall_operands, irept::id(), exprt::op0(), exprt::operands(), typet::subtype(), to_symbol_expr(), and exprt::type().
Referenced by compute_address_taken_functions(), remove_function_pointerst::compute_address_taken_in_symbols(), compute_called_functions(), and remove_function_pointerst::remove_function_pointerst().
void compute_address_taken_functions | ( | const goto_programt & | goto_program, |
std::unordered_set< irep_idt > & | address_taken | ||
) |
get all functions whose address is taken
Definition at line 49 of file compute_called_functions.cpp.
References compute_address_taken_functions(), forall_goto_program_instructions, and goto_program.
void compute_address_taken_functions | ( | const goto_functionst & | goto_functions, |
std::unordered_set< irep_idt > & | address_taken | ||
) |
get all functions whose address is taken
Definition at line 61 of file compute_called_functions.cpp.
References compute_address_taken_functions(), and forall_goto_functions.
std::unordered_set<irep_idt> compute_address_taken_functions | ( | const goto_functionst & | goto_functions | ) |
get all functions whose address is taken
Definition at line 71 of file compute_called_functions.cpp.
References compute_address_taken_functions().
std::unordered_set<irep_idt> compute_called_functions | ( | const goto_functionst & | goto_functions | ) |
computes the functions that are (potentially) called
Definition at line 80 of file compute_called_functions.cpp.
References compute_address_taken_functions(), compute_functions(), goto_functionst::entry_point(), forall_goto_program_instructions, code_function_callt::function(), goto_functionst::function_map, and to_code_function_call().
Referenced by compute_called_functions(), link_to_library(), reachable_functions(), unreachable_functions(), and unreachable_instructions().
std::unordered_set<irep_idt> compute_called_functions | ( | const goto_modelt & | goto_model | ) |
computes the functions that are (potentially) called
Definition at line 123 of file compute_called_functions.cpp.
References compute_called_functions(), and goto_modelt::goto_functions.
get all functions in the expression
Definition at line 36 of file compute_called_functions.cpp.
References forall_operands, irept::id(), to_symbol_expr(), and exprt::type().
Referenced by compute_called_functions().