Module Absint.IntraproceduralAnalysis

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

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