angr.analyses.decompiler.ccall_rewriters.x86_ccalls¶

class angr.analyses.decompiler.ccall_rewriters.x86_ccalls.X86CCallRewriter¶

Bases: CCallRewriterBase

Implements VEX ccall rewriter for X86.

From libVEX, a summary of the field usages is:

Operation          DEP1               DEP2               NDEP
-----------------------------------------------------------------
add/sub/mul        first arg          second arg         unused
adc/sbb            first arg          (second arg)
                                      XOR old_carry      old_carry
and/or/xor         result             zero               unused
inc/dec            result             zero               old_carry
shl/shr/sar        result             subshifted-        unused
                                      result
rol/ror            result             zero               old_flags
copy               old_flags          zero               unused.