TEST

test byte ptr [r8 + r9 * 1 + 0x0], bl 43841c08 288 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], bl 43845c0820 288 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], bl 43845c08e0 288 states ▸ test al, byte ptr [0x666666010100] 840500f19aff 432 states ▸ test al, byte ptr [r8 + 0x0] 418400 432 states ▸ test al, byte ptr [r8 + 0x20] 41844020 432 states ▸ test al, byte ptr [r8 - 0x20] 418440e0 432 states ▸ test al, byte ptr [r8 + r9 * 1 + 0x0] 43840408 288 states ▸ test al, byte ptr [r8 + r9 * 1 + 0x20] 4384440820 288 states ▸ test al, byte ptr [r8 + r9 * 1 - 0x20] 43844408e0 288 states ▸ test rax, 0x0 48a900000000 144 states ▸ test rax, 0x1 48a901000000 144 states ▸ test rax, 0x2 48a902000000 144 states ▸ test rax, 0x3 48a903000000 144 states ▸ test rax, 0x7e 48a97e000000 144 states ▸ test rax, 0x7f 48a97f000000 144 states ▸ test rax, -0x100 48a900ffffff 144 states ▸ test rax, -0xff 48a901ffffff 144 states ▸ test rax, -0xfe 48a902ffffff 144 states ▸ test rax, -0x80 48a980ffffff 144 states ▸ test rax, -0x2 48a9feffffff 144 states ▸ test rax, -0x1 48a9ffffffff 144 states ▸ test qword ptr [0x666666010100], 0x0 48f70500f19aff00000000 24 states ▸ test qword ptr [0x666666010100], 0x1 48f70500f19aff01000000 24 states ▸ test qword ptr [0x666666010100], 0x2 48f70500f19aff02000000 24 states ▸ test qword ptr [0x666666010100], 0x3 48f70500f19aff03000000 24 states ▸ test qword ptr [0x666666010100], 0x7e 48f70500f19aff7e000000 24 states ▸ test qword ptr [0x666666010100], 0x7f 48f70500f19aff7f000000 24 states ▸ test qword ptr [0x666666010100], -0x100 48f70500f19aff00ffffff 24 states ▸ test qword ptr [0x666666010100], -0xff 48f70500f19aff01ffffff 24 states ▸ test qword ptr [0x666666010100], -0xfe 48f70500f19aff02ffffff 24 states ▸ test qword ptr [0x666666010100], -0x80 48f70500f19aff80ffffff 24 states ▸ test qword ptr [0x666666010100], -0x2 48f70500f19afffeffffff 24 states ▸ test qword ptr [0x666666010100], -0x1 48f70500f19affffffffff 24 states ▸ test qword ptr [r8 + 0x0], 0x0 49f70000000000 24 states ▸ test qword ptr [r8 + 0x0], 0x1 49f70001000000 24 states ▸ test qword ptr [r8 + 0x0], 0x2 49f70002000000 24 states ▸ test qword ptr [r8 + 0x0], 0x3 49f70003000000 24 states ▸ test qword ptr [r8 + 0x0], 0x7e 49f7007e000000 24 states ▸ test qword ptr [r8 + 0x0], 0x7f 49f7007f000000 24 states ▸ test qword ptr [r8 + 0x0], -0x100 49f70000ffffff 24 states ▸ test qword ptr [r8 + 0x0], -0xff 49f70001ffffff 24 states ▸ test qword ptr [r8 + 0x0], -0xfe 49f70002ffffff 24 states ▸ test qword ptr [r8 + 0x0], -0x80 49f70080ffffff 24 states ▸ test qword ptr [r8 + 0x0], -0x2 49f700feffffff 24 states ▸ test qword ptr [r8 + 0x0], -0x1 49f700ffffffff 24 states ▸ test qword ptr [r8 + 0x20], 0x0 49f7402000000000 24 states ▸ test qword ptr [r8 + 0x20], 0x1 49f7402001000000 24 states ▸ test qword ptr [r8 + 0x20], 0x2 49f7402002000000 24 states ▸ test qword ptr [r8 + 0x20], 0x3 49f7402003000000 24 states ▸