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