Module cwe_checker_lib::analysis::callgraph

source ·
Expand description

Generate call graphs out of a program term.

Functions

  • find_call_sequences_to_target
    Collect and return all call TIDs of call sequences that start in the function given by the source_sub_tid and end in the function given by the target_sub_tid.
  • get_program_callgraph
    Generate a call graph for the given program.

Type Aliases