Biabduction.Interproc
Interprocedural Analysis
val analyze_procedure : BiabductionSummary.t Absint.InterproceduralAnalysis.t -> BiabductionSummary.t option
Run the biabduction analysis on the given procedure