Module BO__BufferOverrunModels.NSCollection
val eval_collection_length : IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Val.tEvaluate length of ObjC collection
BO__BufferOverrunModels.NSCollectionval eval_collection_length : IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Val.tEvaluate length of ObjC collection