Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- >>> ctxt.processing(inst)
- True
- >>> print inst
- 0x400000: xor rax, rdx
- >>> for expr in inst.getSymbolicExpressions():
- ... print expr
- ...
- ref!0 = (bvxor (_ bv12345 64) (_ bv67890 64)) ; XOR operation
- ref!1 = (_ bv0 1) ; Clears carry flag
- ref!2 = (_ bv0 1) ; Clears overflow flag
- ref!3 = (bvxor (bvxor (bvxor (bvxor (bvxor (bvxor (bvxor (bvxor (_ bv1 1) ((_ extract 0 0) (bvlshr ((_ extract 7 0) ref!0) (_ bv0 8)))) ((_ extract 0 0) (bvlshr ((_ extract 7 0) ref!0) (_ bv1 8)))) ((_ extract 0 0) (bvlshr ((_ extract 7 0) ref!0) (_ bv2 8)))) ((_ extract 0 0) (bvlshr ((_ extract 7 0) ref!0) (_ bv3 8)))) ((_ extract 0 0) (bvlshr ((_ extract 7 0) ref!0) (_ bv4 8)))) ((_ extract 0 0) (bvlshr ((_ extract 7 0) ref!0) (_ bv5 8)))) ((_ extract 0 0) (bvlshr ((_ extract 7 0) ref!0) (_ bv6 8)))) ((_ extract 0 0) (bvlshr ((_ extract 7 0) ref!0) (_ bv7 8)))) ; Parity flag
- ref!4 = ((_ extract 63 63) ref!0) ; Sign flag
- ref!5 = (ite (= ref!0 (_ bv0 64)) (_ bv1 1) (_ bv0 1)) ; Zero flag
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement