BufferOverrunModels.JavaStringval get_length :
BufferOverrunUtils.ModelEnv.model_env ->
IR.Exp.t ->
BufferOverrunDomain.Mem.t ->
BufferOverrunDomain.Val.tGet length of Java string
val constructor_from_char_ptr :
BufferOverrunUtils.ModelEnv.model_env ->
AbsLoc.PowLoc.t ->
IR.Exp.t ->
BufferOverrunDomain.Mem.t ->
BufferOverrunDomain.Mem.tConstruct Java string from constant string