AND

and byte ptr [r8 - 0x20], 0x7e 418060e07e 24 states ▸ and byte ptr [r8 - 0x20], 0x7f 418060e07f 24 states ▸ and byte ptr [r8 - 0x20], -0x80 418060e080 24 states ▸ and byte ptr [r8 - 0x20], -0x7f 418060e081 24 states ▸ and byte ptr [r8 - 0x20], -0x7e 418060e082 24 states ▸ and byte ptr [r8 - 0x20], -0x3 418060e0fd 24 states ▸ and byte ptr [r8 - 0x20], -0x2 418060e0fe 24 states ▸ and byte ptr [r8 - 0x20], -0x1 418060e0ff 24 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], 0x0 4380240800 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], 0x1 4380240801 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], 0x2 4380240802 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], 0x3 4380240803 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], 0x7e 438024087e 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], 0x7f 438024087f 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], -0x80 4380240880 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], -0x7f 4380240881 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], -0x7e 4380240882 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], -0x3 43802408fd 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], -0x2 43802408fe 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x0], -0x1 43802408ff 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], 0x0 438064082000 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], 0x1 438064082001 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], 0x2 438064082002 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], 0x3 438064082003 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], 0x7e 43806408207e 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], 0x7f 43806408207f 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], -0x80 438064082080 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], -0x7f 438064082081 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], -0x7e 438064082082 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], -0x3 4380640820fd 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], -0x2 4380640820fe 16 states ▸ and byte ptr [r8 + r9 * 1 + 0x20], -0x1 4380640820ff 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], 0x0 43806408e000 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], 0x1 43806408e001 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], 0x2 43806408e002 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], 0x3 43806408e003 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], 0x7e 43806408e07e 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], 0x7f 43806408e07f 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], -0x80 43806408e080 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], -0x7f 43806408e081 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], -0x7e 43806408e082 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], -0x3 43806408e0fd 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], -0x2 43806408e0fe 16 states ▸ and byte ptr [r8 + r9 * 1 - 0x20], -0x1 43806408e0ff 16 states ▸