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