Collection (infer.BO.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