cprover
|
Query Called Functions. More...
#include "goto_model.h"
Go to the source code of this file.
Functions | |
void | compute_address_taken_functions (const exprt &, std::unordered_set< irep_idt > &) |
get all functions whose address is taken More... | |
void | compute_address_taken_functions (const goto_programt &, std::unordered_set< irep_idt > &) |
get all functions whose address is taken More... | |
void | compute_address_taken_functions (const goto_functionst &, std::unordered_set< irep_idt > &) |
get all functions whose address is taken More... | |
std::unordered_set< irep_idt > | compute_called_functions (const goto_functionst &) |
computes the functions that are (potentially) called More... | |
std::unordered_set< irep_idt > | compute_called_functions (const goto_modelt &) |
computes the functions that are (potentially) called More... | |
Query Called Functions.
Definition in file compute_called_functions.h.
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 & | , |
std::unordered_set< irep_idt > & | |||
) |
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 & | , |
std::unordered_set< irep_idt > & | |||
) |
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_called_functions | ( | const goto_functionst & | ) |
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 & | ) |
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.