Module BO.BufferOverrunAnalysis

module CFG = Absint.ProcCfg.NormalOneInstrPerNode
type invariant_map
val cached_compute_invariant_map : BufferOverrunAnalysisSummary.t Absint.InterproceduralAnalysis.t -> invariant_map
val extract_pre : CFG.Node.id -> invariant_map -> BufferOverrunDomain.Mem.t option
val extract_post : CFG.Node.id -> invariant_map -> BufferOverrunDomain.Mem.t option
val extract_state : CFG.Node.id -> invariant_map -> BufferOverrunDomain.Mem.t Absint.AbstractInterpreter.State.t option
val analyze_procedure : BufferOverrunAnalysisSummary.t Absint.InterproceduralAnalysis.t -> BufferOverrunAnalysisSummary.t option