Module `Costlib.Cost`

val checker : (CostDomain.summary option * BO.BufferOverrunAnalysisSummary.t option * Checkers.PurityDomain.summary option) Absint.InterproceduralAnalysis.t -> CostDomain.summary option
val instantiate_cost : IR.Typ.IntegerWidths.t -> inferbo_caller_mem:BO.BufferOverrunDomain.Mem.t -> callee_pname:IR.Procname.t -> callee_formals:(IR.Pvar.t * IR.Typ.t) list -> params:(IR.Exp.t * IR.Typ.t) list -> callee_cost:CostDomain.BasicCostWithReason.t -> loc:IBase.Location.t -> CostDomain.BasicCostWithReason.t
val is_report_suppressed : IR.Procname.t -> bool