Module CostModels.IntHashMap
val keys : 'a Absint.ProcnameDispatcher.Call.FuncArg.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'b -> BO.BufferOverrunDomain.Mem.t -> CostUtils.BasicCost.t
CostModels.IntHashMap
val keys : 'a Absint.ProcnameDispatcher.Call.FuncArg.t -> BO.BufferOverrunUtils.ModelEnv.model_env -> ret:'b -> BO.BufferOverrunDomain.Mem.t -> CostUtils.BasicCost.t