Loading...

Searching...

No Matches

call_graph.cpp File Reference

Function Call Graphs. More...

#include "call_graph.h"
#include <util/xml.h>
#include <goto-programs/goto_model.h>

+ Include dependency graph for call_graph.cpp:

Classes

Helper class that maintains a map from function name to grapht node index and adds nodes to the graph on demand. More...

Functions

Function Call Graphs.

Definition in file call_graph.cpp.

static void forall_callsites ( const goto_programt & body,

std::function< void(goto_programt::const_targett, const irep_idt &)> call_task

)

static

Definition at line 52 of file call_graph.cpp.