Module Absint.IntraproceduralAnalysis

type t = {
proc_desc : IR.Procdesc.t;
tenv : IR.Tenv.t;
err_log : Errlog.t;
}

a subset of InterproceduralAnalysis.t that doesn't have any inter-procedural callbacks and cannot read summaries