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 &src, std::set< irep_idt > &address_taken) |
get all functions whose address is taken More... | |
void | compute_address_taken_functions (const goto_programt &goto_program, std::set< irep_idt > &address_taken) |
get all functions whose address is taken More... | |
void | compute_address_taken_functions (const goto_functionst &goto_functions, std::set< irep_idt > &address_taken) |
get all functions whose address is taken More... | |
void | compute_called_functions (const goto_functionst &, std::set< irep_idt > &functions) |
computes the functions that are (potentially) called More... | |
void | compute_called_functions (const goto_modelt &, std::set< irep_idt > &functions) |
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, symbol_typet::get_identifier(), 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::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(), and forall_goto_program_instructions.
void compute_address_taken_functions | ( | const goto_functionst & | goto_functions, |
std::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.
void compute_called_functions | ( | const goto_functionst & | , |
std::set< irep_idt > & | functions | ||
) |
computes the functions that are (potentially) called
Definition at line 70 of file compute_called_functions.cpp.
References compute_address_taken_functions(), compute_functions(), goto_functions_templatet< bodyT >::entry_point(), forall_goto_program_instructions, code_function_callt::function(), goto_functions_templatet< bodyT >::function_map, and to_code_function_call().
Referenced by compute_called_functions(), link_to_library(), list_functions(), and unreachable_instructions().
void compute_called_functions | ( | const goto_modelt & | , |
std::set< irep_idt > & | functions | ||
) |
computes the functions that are (potentially) called
Definition at line 115 of file compute_called_functions.cpp.
References compute_called_functions(), and goto_modelt::goto_functions.