Function cwe_checker_lib::analysis::callgraph::get_program_callgraph

pub fn get_program_callgraph(program: &Term<Program>) -> CallGraph<'_>

Generate a call graph for the given program.

The nodes of the returned graph correspond to the TIDs of functions in the program. Edges are jump terms of call operations.

Note that calls to external symbols are not represented in the graph, i.e. there are neither nodes nor edges representing (calls to) external symbols in the graph. Also, there are currently no edges for indirect calls, because a corresponding analysis for resolving indirect calls is not implemented yet.