Module BufferOverrunModels.NSString
val get_length : BufferOverrunUtils.ModelEnv.model_env -> IR.Exp.t -> BufferOverrunDomain.Mem.t -> BufferOverrunDomain.Val.tGet length of NSString string
BufferOverrunModels.NSStringval get_length : BufferOverrunUtils.ModelEnv.model_env -> IR.Exp.t -> BufferOverrunDomain.Mem.t -> BufferOverrunDomain.Val.tGet length of NSString string