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