Module BO.BufferOverrunChecker
val checker : (BufferOverrunCheckerSummary.t option * BufferOverrunAnalysisSummary.t option) Absint.InterproceduralAnalysis.t -> BufferOverrunCheckerSummary.t option
BO.BufferOverrunCheckerval checker : (BufferOverrunCheckerSummary.t option * BufferOverrunAnalysisSummary.t option) Absint.InterproceduralAnalysis.t -> BufferOverrunCheckerSummary.t option