Module Backend.SyntacticCallGraph

val iter_captured_procs_and_callees : (IR.Procname.t -> IR.Procname.t list -> unit) -> unit

run a function on every captured procedure, passing its list of syntactic callees

task generator that works by

  • loading the syntactic call graph from the capture DB
  • restricting it to the reachable procs from the modified files
  • scheduling leaves only and removing them from the graph when analysed.
val build_from_sources : IBase.SourceFile.t list -> CallGraph.t

construct the syntactic call graph from the capture DB

val to_dotty : CallGraph.t -> unit

write out the given syntactic call graph into <results-dir>/syntactic-call-graph.dot