BufferOverrunModels.Collectionval create_collection :
BufferOverrunUtils.ModelEnv.model_env ->
ret:(IR.Ident.t * IR.Typ.t) ->
BufferOverrunDomain.Mem.t ->
length:Itv.t ->
BufferOverrunDomain.Mem.tCreate a collection value with the length and assign it to ret
val eval_collection_length :
IR.Exp.t ->
BufferOverrunDomain.Mem.t ->
BufferOverrunDomain.Val.tEvaluate length of Java collection