Costlib.Costval checker :
(CostDomain.summary option
* BO.BufferOverrunAnalysisSummary.t option
* Checkers.PurityDomain.summary option)
Absint.InterproceduralAnalysis.t ->
CostDomain.summary optionval instantiate_cost :
?get_closure_callee_cost:
(IR.Procname.t -> CostDomain.BasicCostWithReason.t option) ->
default_closure_cost:BO.Ints.NonNegativeInt.t ->
IR.IntegerWidths.t ->
inferbo_caller_mem:BO.BufferOverrunDomain.Mem.t ->
callee_pname:IR.Procname.t ->
callee_formals:(IR.Pvar.t * IR.Typ.t) list ->
args:(IR.Exp.t * IR.Typ.t) list ->
captured_vars:(IR.Exp.t * IR.CapturedVar.t) list ->
callee_cost:CostDomain.BasicCostWithReason.t ->
loc:IBase.Location.t ->
CostDomain.BasicCostWithReason.tval is_report_suppressed : IR.Procname.t -> bool