Module BO__BufferOverrunModels.Collection
val create_collection : BO.BufferOverrunUtils.ModelEnv.model_env -> ret:(IR.Ident.t * IR.Typ.t) -> BO.BufferOverrunDomain.Mem.t -> length:BO.Itv.t -> BO.BufferOverrunDomain.Mem.t
Create a collection value with the
length
and assign it toret
val eval_collection_length : IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Val.t
Evaluate length of Java collection