BufferOverrunAnalysis (infer.BO.BufferOverrunAnalysis)

module CFG = Absint.ProcCfg.NormalOneInstrPerNode

type invariant_map

val cached_compute_invariant_map : 
  BufferOverrunAnalysisSummary.t Absint.InterproceduralAnalysis.t ->
  invariant_map option

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