SyntacticCallGraph (infer.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

val make : 
  finish:
    ('a option ->
      Absint.TaskSchedulerTypes.target ->
      Absint.TaskSchedulerTypes.target option) ->
  IBase.SourceFile.t list ->
  (Absint.TaskSchedulerTypes.target, 'a) IBase.ProcessPool.TaskGenerator.t

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