Module BO__BufferOverrunModels.JavaString
val get_length : BO.BufferOverrunUtils.ModelEnv.model_env -> IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Val.t
Get length of Java string
val constructor_from_char_ptr : BO.BufferOverrunUtils.ModelEnv.model_env -> BO.AbsLoc.PowLoc.t -> IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Mem.t
Construct Java string from constant string