#!/usr/bin/env python2
## -*- coding: utf-8 -*-

# $ python oops.py
# rsi:64 bv[63..0]
# rip:64 bv[63..0]
# [@0x1001]:64 bv[63..0]

from triton import *

def cb1(ctx, reg):
    print reg
    ctx.setConcreteRegisterValue(reg, 0x1000)

def cb2(ctx, mem):
    print mem

ctx = TritonContext()
ctx.setArchitecture(2)
ctx.addCallback(cb1, CALLBACK.GET_CONCRETE_REGISTER_VALUE)
ctx.addCallback(cb2, CALLBACK.GET_CONCRETE_MEMORY_VALUE)

ctx.convertRegisterToSymbolicVariable(ctx.registers.rsi)

inst = Instruction("\x48\x8b\x46\x01") # mov rax, [rsi+1]
ctx.processing(inst)