Absint.InterproceduralAnalysis
type 'payload t = {
proc_desc : IR.Procdesc.t;
the procedure to analyze
*)tenv : IR.Tenv.t;
err_log : Errlog.t;
the issue log for the current procedure (internally a mutable data structure)
*)exe_env : Exe_env.t;
analyze_dependency : ?specialization:IR.Specialization.t ->
IR.Procname.t ->
'payload option;
On-demand analysis of callees or other dependencies of the analysis of the current procedure. Uses Ondemand.analyze_procedure
. If specialization
is provided, the summary will be improved with a specialized version.
update_stats : ?add_symops:int ->
?failure_kind:IBase.Exception.failure_kind ->
unit ->
unit;
update the Summary.Stats.t
of the summary of the current procedure
}
Analysis data for interprocedural analysis. This is the data for one procedure under analysis, and callbacks to analyze dependencies of it as well as do bookkeeping regarding the current procedure. Basically anything that needs to access the Summary.t
of the current procedure should go here.
type 'payload file_t = {
source_file : IBase.SourceFile.t;
the source file under analysis
*)procedures : IR.Procname.t list;
list of procedures declared in the source file
*)file_exe_env : Exe_env.t;
analyze_file_dependency : IR.Procname.t -> 'payload option;
On-demand analysis of dependencies needed for the file analysis, e.g. the proc names in procedures
}
Analysis data for the analysis of a source file.