@@ -49,4 +49,28 @@ std::set<irep_idt> get_reachable_functions(
49
49
std::set<irep_idt> get_reaching_functions (
50
50
const call_grapht::directed_grapht &graph, const irep_idt &function);
51
51
52
+ // / Get either callers or callees reachable from a given
53
+ // / list of functions within N steps
54
+ // / \param graph: call graph
55
+ // / \param start_functions: set of start functions
56
+ // / \param n: number of steps to consider
57
+ // / \return set of functions that can be reached from the start function
58
+ // / including the start function
59
+ std::set<irep_idt> get_functions_reachable_within_n_steps (
60
+ const call_grapht::directed_grapht &graph,
61
+ const std::set<irep_idt> &start_functions,
62
+ std::size_t &n);
63
+
64
+ // / Get either callers or callees reachable from a given
65
+ // / list of functions within N steps
66
+ // / \param graph: call graph
67
+ // / \param start_function: single start function
68
+ // / \param n: number of steps to consider
69
+ // / \return set of functions that can be reached from the start function
70
+ // / including the start function
71
+ std::set<irep_idt> get_functions_reachable_within_n_steps (
72
+ const call_grapht::directed_grapht &graph,
73
+ const irep_idt &start_function,
74
+ std::size_t &n);
75
+
52
76
#endif
0 commit comments