Module Checkers.PurityAnalysis
val checker : (PurityDomain.summary option * BO.BufferOverrunAnalysisSummary.t option) Absint.InterproceduralAnalysis.t -> PurityDomain.summary option
Checkers.PurityAnalysisval checker : (PurityDomain.summary option * BO.BufferOverrunAnalysisSummary.t option) Absint.InterproceduralAnalysis.t -> PurityDomain.summary option