print 'Content :', hex(Triton.getConcreteMemoryValue(MemoryAccess(write+4, CPUSIZE.DWORD)))
print 'RAX value :', hex(Triton.getConcreteRegisterValue(Triton.registers.rax))
print 'RSI value :', hex(Triton.getConcreteRegisterValue(Triton.registers.rsi))
print 'RDI value :', hex(Triton.getConcreteRegisterValue(Triton.registers.rdi))
print
print 'Symbolic registers information'
print '~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~'
for k, v in Triton.getSymbolicRegisters().items():
print Triton.getRegister(k), v
print
print 'Symbolic memory information'
print '~~~~~~~~~~~~~~~~~~~~~~~~~~~'
for k, v in Triton.getSymbolicMemory().items():
print hex(k), v
print
print 'Craft symbolic stuffs'
print '~~~~~~~~~~~~~~~~~~~~~'
ah = Triton.buildSymbolicRegister(Triton.registers.ah)
mem = Triton.buildSymbolicMemory(MemoryAccess(0x11248, 4))
print 'Memory at 0x11248 :', mem
print 'Compute memory :', hex(mem.evaluate())
print 'Register AH :', ah
print 'Compute AH :', hex(ah.evaluate())
sys.exit(0)
