symgdb.py 文件源码

def print_symbolic_variables(self):
        for address, size in self.symbolized_memory:
            answer = ""
            for index in range(size):
                answer += chr(
                    TritonContext.getSymbolicMemoryValue(
                        MemoryAccess(address + index, CPUSIZE.BYTE)))
            cprint("%s-%s: %s" % (hex(address), hex(address + size),
                                  repr(answer)), 'green')