Predict branch taken given specific state and branch instruction?

[Nixtron]

If I have a x86-64 instruction and access to the actual cpu state[think debugger], can I use simuvex/angr to identify if the instruction changes the instruction pointer [i.e jump, ret, call etc], and what the next instruction will be?

Currently it seems like my main issue is to set all the necessary flags, for example the zero flag.

[rhelmot]

We're all very busy with the Cyber Grand Challenge right now, but if you
need to synchronize the simuvex state with a machine state with respect to
the processor flags, you can copy the value of EFLAGS to state.regs.cc_dep1
and copy simuvex.vex.ccall.data[self.state.arch.name]['OpTypes']['G_CC_OP_COPY']
to state.regs.cc_op.

On Mon, Aug 1, 2016 at 11:40 PM, Nixtron notifications@github.com wrote:

If I have a x86-64 instruction and access to the actual cpu state[think
debugger], can I use simuvex/angr to identify if the instruction changes
the instruction pointer [i.e jump, ret, call etc], and what the next
instruction will be?

Currently it seems like my main issue is to set all the necessary flags,
for example the zero flag.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#31, or mute the thread
https://github.com/notifications/unsubscribe-auth/ACYg9YM1bFfMBf2CSdJbdf475gXhLewnks5qbuZkgaJpZM4JaSjY
.

[Nixtron]

This works fine!
Thanks for the quick reply.