diff --git a/manticore/core/memory.py b/manticore/core/memory.py index 9387b5c..3330fe8 100644 --- a/manticore/core/memory.py +++ b/manticore/core/memory.py @@ -34,8 +34,11 @@ class ConcretizeMemory(MemoryException): Raised when a symbolic memory cell needs to be concretized. ''' - def __init__(self, mem, address, size, policy='MINMAX'): - self.message = "Concretizing memory address {} size {}".format(address, size) + def __init__(self, mem, address, size, message=None, policy='MINMAX'): + if message is None: + self.message = "Concretizing memory address {} size {}".format(address, size) + else: + self.message = message self.mem = mem self.address = address self.size = size