ADC

adc byte ptr [r8 + r9 * 1 + 0x0], bl 43101c08 288 states ▸ adc byte ptr [r8 + r9 * 1 + 0x20], bl 43105c0820 288 states ▸ adc byte ptr [r8 + r9 * 1 - 0x20], bl 43105c08e0 288 states ▸ adc al, byte ptr [0x666666010100] 120500f19aff 432 states ▸ adc al, byte ptr [r8 + 0x0] 411200 432 states ▸ adc al, byte ptr [r8 + 0x20] 41124020 432 states ▸ adc al, byte ptr [r8 - 0x20] 411240e0 432 states ▸ adc al, byte ptr [r8 + r9 * 1 + 0x0] 43120408 288 states ▸ adc al, byte ptr [r8 + r9 * 1 + 0x20] 4312440820 288 states ▸ adc al, byte ptr [r8 + r9 * 1 - 0x20] 43124408e0 288 states ▸ adc rax, 0x0 4883d000 144 states ▸ adc rax, 0x1 4883d001 144 states ▸ adc rax, 0x2 4883d002 144 states ▸ adc rax, 0x3 4883d003 144 states ▸ adc rax, 0x7e 4883d07e 144 states ▸ adc rax, 0x7f 4883d07f 144 states ▸ adc rax, -0x100 481500ffffff 144 states ▸ adc rax, -0xff 481501ffffff 144 states ▸ adc rax, -0xfe 481502ffffff 144 states ▸ adc rax, -0x80 4883d080 144 states ▸ adc rax, -0x2 4883d0fe 144 states ▸ adc rax, -0x1 4883d0ff 144 states ▸ adc qword ptr [0x666666010100], 0x0 48831500f19aff00 24 states ▸ adc qword ptr [0x666666010100], 0x1 48831500f19aff01 24 states ▸ adc qword ptr [0x666666010100], 0x2 48831500f19aff02 24 states ▸ adc qword ptr [0x666666010100], 0x3 48831500f19aff03 24 states ▸ adc qword ptr [0x666666010100], 0x7e 48831500f19aff7e 24 states ▸ adc qword ptr [0x666666010100], 0x7f 48831500f19aff7f 24 states ▸ adc qword ptr [0x666666010100], -0x100 48811500f19aff00ffffff 24 states ▸ adc qword ptr [0x666666010100], -0xff 48811500f19aff01ffffff 24 states ▸ adc qword ptr [0x666666010100], -0xfe 48811500f19aff02ffffff 24 states ▸ adc qword ptr [0x666666010100], -0x80 48831500f19aff80 24 states ▸ adc qword ptr [0x666666010100], -0x2 48831500f19afffe 24 states ▸ adc qword ptr [0x666666010100], -0x1 48831500f19affff 24 states ▸ adc qword ptr [r8 + 0x0], 0x0 49831000 24 states ▸ adc qword ptr [r8 + 0x0], 0x1 49831001 24 states ▸ adc qword ptr [r8 + 0x0], 0x2 49831002 24 states ▸ adc qword ptr [r8 + 0x0], 0x3 49831003 24 states ▸ adc qword ptr [r8 + 0x0], 0x7e 4983107e 24 states ▸ adc qword ptr [r8 + 0x0], 0x7f 4983107f 24 states ▸ adc qword ptr [r8 + 0x0], -0x100 49811000ffffff 24 states ▸ adc qword ptr [r8 + 0x0], -0xff 49811001ffffff 24 states ▸ adc qword ptr [r8 + 0x0], -0xfe 49811002ffffff 24 states ▸ adc qword ptr [r8 + 0x0], -0x80 49831080 24 states ▸ adc qword ptr [r8 + 0x0], -0x2 498310fe 24 states ▸ adc qword ptr [r8 + 0x0], -0x1 498310ff 24 states ▸ adc qword ptr [r8 + 0x20], 0x0 4983502000 24 states ▸ adc qword ptr [r8 + 0x20], 0x1 4983502001 24 states ▸ adc qword ptr [r8 + 0x20], 0x2 4983502002 24 states ▸ adc qword ptr [r8 + 0x20], 0x3 4983502003 24 states ▸