Module BO__BufferOverrunModels.JavaString
val get_length : BO.BufferOverrunUtils.ModelEnv.model_env -> IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Val.tGet 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.tConstruct Java string from constant string