JG Jump if greater
JNLE Jump if not less or equal signed ZF = 0 and SF = OF
"""
new_eip = If(And(state.zf == False, state.sf == state.of), dst,
state.eip + 1)
state.eip = new_eip
return state
if __name__ == "__main__":
s = Solver()
state = Registers()
state.zf = False
state.sf = True
state.of = True
state.eip = 0x1234
print(
'zf = False, sf = True, of = True, eip = 0x1234 => jg 0x41414141 => state.eip == 0x41414141?'
)
state = jg(state, 'jg 0x41414141')
s.add(state.eip == 0x41414141)
check = s.check()
print(check)
s = Solver()
state = Registers()
state.zf = False
state.sf = True
state.of = False
