Module `Checkers.PurityAnalysis`

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