cprover
|
Function Call Graph Helpers. More...
#include "call_graph_helpers.h"
Go to the source code of this file.
Functions | |
static std::set< irep_idt > | get_neighbours (const call_grapht::directed_grapht &graph, const irep_idt &function, bool forwards) |
Get either callers or callees of a given function. More... | |
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... | |
static std::set< irep_idt > | get_connected_functions (const call_grapht::directed_grapht &graph, const irep_idt &function, bool forwards) |
Get either reachable functions or functions that can reach 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.cpp.
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().
|
static |
Get either reachable functions or functions that can reach a given function.
In both cases the query function itself is included.
graph | call graph |
function | function to query |
forwards | if true, get reachable functions; otherwise get functions that can reach the given function. |
Definition at line 49 of file call_graph_helpers.cpp.
References call_grapht::directed_grapht::get_node_index(), and grapht< N >::get_reachable().
Referenced by get_reachable_functions(), and get_reaching_functions().
|
static |
Get either callers or callees of a given function.
graph | call graph |
function | function to query |
forwards | if true, get callees; otherwise get callers. |
Definition at line 18 of file call_graph_helpers.cpp.
References call_grapht::directed_grapht::get_node_index(), and grapht< N >::out().
Referenced by get_callees(), and get_callers().
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().