cprover
|
Function Call Graphs. More...
Go to the source code of this file.
Classes | |
class | function_indicest |
Helper class that maintains a map from function name to grapht node index and adds nodes to the graph on demand. More... | |
Functions | |
static void | forall_callsites (const goto_programt &body, std::function< void(goto_programt::const_targett, const irep_idt &)> call_task) |
Function Call Graphs.
Definition in file call_graph.cpp.
|
static |
Definition at line 51 of file call_graph.cpp.
References forall_goto_program_instructions, code_function_callt::function(), symbol_exprt::get_identifier(), irept::id(), to_code_function_call(), and to_symbol_expr().
Referenced by call_grapht::add(), and call_grapht::call_grapht().