ADC

adc qword ptr [r8 + r9 * 1 - 0x20], -0x100 4b815408e000ffffff 16 states ▸ adc qword ptr [r8 + r9 * 1 - 0x20], -0xff 4b815408e001ffffff 16 states ▸ adc qword ptr [r8 + r9 * 1 - 0x20], -0xfe 4b815408e002ffffff 16 states ▸ adc qword ptr [r8 + r9 * 1 - 0x20], -0x80 4b835408e080 16 states ▸ adc qword ptr [r8 + r9 * 1 - 0x20], -0x2 4b835408e0fe 16 states ▸ adc qword ptr [r8 + r9 * 1 - 0x20], -0x1 4b835408e0ff 16 states ▸ adc eax, 0x0 83d000 144 states ▸ adc eax, 0x1 83d001 144 states ▸ adc eax, 0x2 83d002 144 states ▸ adc eax, 0x3 83d003 144 states ▸ adc eax, 0x7e 83d07e 144 states ▸ adc eax, 0x7f 83d07f 144 states ▸ adc eax, -0x100 1500ffffff 144 states ▸ adc eax, -0xff 1501ffffff 144 states ▸ adc eax, -0xfe 1502ffffff 144 states ▸ adc eax, -0x80 83d080 144 states ▸ adc eax, -0x2 83d0fe 144 states ▸ adc eax, -0x1 83d0ff 144 states ▸ adc dword ptr [0x666666010100], 0x0 831500f19aff00 24 states ▸ adc dword ptr [0x666666010100], 0x1 831500f19aff01 24 states ▸ adc dword ptr [0x666666010100], 0x2 831500f19aff02 24 states ▸ adc dword ptr [0x666666010100], 0x3 831500f19aff03 24 states ▸ adc dword ptr [0x666666010100], 0x7e 831500f19aff7e 24 states ▸ adc dword ptr [0x666666010100], 0x7f 831500f19aff7f 24 states ▸ adc dword ptr [0x666666010100], -0x100 811500f19aff00ffffff 24 states ▸ adc dword ptr [0x666666010100], -0xff 811500f19aff01ffffff 24 states ▸ adc dword ptr [0x666666010100], -0xfe 811500f19aff02ffffff 24 states ▸ adc dword ptr [0x666666010100], -0x80 831500f19aff80 24 states ▸ adc dword ptr [0x666666010100], -0x2 831500f19afffe 24 states ▸ adc dword ptr [0x666666010100], -0x1 831500f19affff 24 states ▸ adc dword ptr [r8 + 0x0], 0x0 41831000 24 states ▸ adc dword ptr [r8 + 0x0], 0x1 41831001 24 states ▸ adc dword ptr [r8 + 0x0], 0x2 41831002 24 states ▸ adc dword ptr [r8 + 0x0], 0x3 41831003 24 states ▸ adc dword ptr [r8 + 0x0], 0x7e 4183107e 24 states ▸ adc dword ptr [r8 + 0x0], 0x7f 4183107f 24 states ▸ adc dword ptr [r8 + 0x0], -0x100 41811000ffffff 24 states ▸ adc dword ptr [r8 + 0x0], -0xff 41811001ffffff 24 states ▸ adc dword ptr [r8 + 0x0], -0xfe 41811002ffffff 24 states ▸ adc dword ptr [r8 + 0x0], -0x80 41831080 24 states ▸ adc dword ptr [r8 + 0x0], -0x2 418310fe 24 states ▸ adc dword ptr [r8 + 0x0], -0x1 418310ff 24 states ▸ adc dword ptr [r8 + 0x20], 0x0 4183502000 24 states ▸ adc dword ptr [r8 + 0x20], 0x1 4183502001 24 states ▸ adc dword ptr [r8 + 0x20], 0x2 4183502002 24 states ▸ adc dword ptr [r8 + 0x20], 0x3 4183502003 24 states ▸ adc dword ptr [r8 + 0x20], 0x7e 418350207e 24 states ▸ adc dword ptr [r8 + 0x20], 0x7f 418350207f 24 states ▸ adc dword ptr [r8 + 0x20], -0x100 4181502000ffffff 24 states ▸ adc dword ptr [r8 + 0x20], -0xff 4181502001ffffff 24 states ▸