Module `Costlib.Hoisting`

val checker : (BO.BufferOverrunAnalysisSummary.t option * Checkers.PurityDomain.ModifiedParamIndices.t Absint.AbstractDomain.Types.top_lifted option * CostDomain.summary option) Absint.InterproceduralAnalysis.t -> unit