Module `BufferOverrunModels.Collection`

val create_collection : BufferOverrunUtils.ModelEnv.model_env -> ret:(IR.Ident.t * IR.Typ.t) -> BufferOverrunDomain.Mem.t -> length:Itv.t -> BufferOverrunDomain.Mem.t: Create a collection value with the length and assign it to ret

val eval_collection_length : IR.Exp.t -> BufferOverrunDomain.Mem.t -> BufferOverrunDomain.Val.t: Evaluate length of Java collection