Module `BufferOverrunModels.JavaString`

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

val constructor_from_char_ptr : BufferOverrunUtils.ModelEnv.model_env -> AbsLoc.PowLoc.t -> IR.Exp.t -> BufferOverrunDomain.Mem.t -> BufferOverrunDomain.Mem.t: Construct Java string from constant string