Function Call Graphs. More...

#include <iosfwd>
#include <map>
#include <unordered_set>
#include <util/graph.h>
#include <goto-programs/goto_program.h>

Include dependency graph for call_graph.h:

This graph shows which files directly or indirectly include this file:

Classes
class	call_grapht
	A call graph (https://en.wikipedia.org/wiki/Call_graph) for a GOTO model or GOTO functions collection. More...

struct	call_grapht::edge_with_callsitest
	Edge of the directed graph representation of this call graph. More...

struct	call_grapht::function_nodet
	Node of the directed graph representation of this call graph. More...

class	call_grapht::directed_grapht
	Directed graph representation of this call graph. More...

Detailed Description

Function Call Graphs.

Definition in file call_graph.h.

Classes