cprover
|
Function Call Graph Helpers. More...
#include "call_graph.h"
Go to the source code of this file.
Functions | |
std::set< irep_idt > | get_callees (const call_grapht::directed_grapht &graph, const irep_idt &function) |
Get functions directly callable from a given function. More... | |
std::set< irep_idt > | get_callers (const call_grapht::directed_grapht &graph, const irep_idt &function) |
Get functions that call a given function. More... | |
std::set< irep_idt > | get_reachable_functions (const call_grapht::directed_grapht &graph, const irep_idt &function) |
Get functions reachable from a given function. More... | |
std::set< irep_idt > | get_reaching_functions (const call_grapht::directed_grapht &graph, const irep_idt &function) |
Get functions that can reach a given function. More... | |
Function Call Graph Helpers.
Definition in file call_graph_helpers.h.
std::set<irep_idt> get_callees | ( | const call_grapht::directed_grapht & | graph, |
const irep_idt & | function | ||
) |
Get functions directly callable from a given function.
graph | call graph |
function | function to query |
Definition at line 31 of file call_graph_helpers.cpp.
References get_neighbours().
std::set<irep_idt> get_callers | ( | const call_grapht::directed_grapht & | graph, |
const irep_idt & | function | ||
) |
Get functions that call a given function.
graph | call graph |
function | function to query |
Definition at line 37 of file call_graph_helpers.cpp.
References get_neighbours().
std::set<irep_idt> get_reachable_functions | ( | const call_grapht::directed_grapht & | graph, |
const irep_idt & | function | ||
) |
Get functions reachable from a given function.
graph | call graph |
function | function to query |
function
Definition at line 62 of file call_graph_helpers.cpp.
References get_connected_functions().
std::set<irep_idt> get_reaching_functions | ( | const call_grapht::directed_grapht & | graph, |
const irep_idt & | function | ||
) |
Get functions that can reach a given function.
graph | call graph |
function | function to query |
function
Definition at line 68 of file call_graph_helpers.cpp.
References get_connected_functions().