bts dword ptr [r8 + 0x20], ebx

Opcode: 410fab5820

Instruction: BTS
Undefined flags: AF, OF, PF, SF

Total states: 432
State # flag mem0_value r8 rbx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
350 0x0000000000000800 0x0000000000010803 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000081 0x0000000000000081 =
351 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000081 0x0000000000000081 =
352 0x0000000000000000 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000082 =
353 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000082 =
354 0x0000000000000004 0x0000000000010007 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000082 =
355 0x0000000000000010 0x0000000000010013 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000082 =
356 0x0000000000000040 0x0000000000010043 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000082 =
357 0x0000000000000080 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000082 =
358 0x0000000000000800 0x0000000000010803 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000082 =
359 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x0000000000000082 0x0000000000000082 =
360 0x0000000000000000 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x00000000000000FD =
361 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x00000000000000FD =
362 0x0000000000000004 0x0000000000010007 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x00000000000000FD =
363 0x0000000000000010 0x0000000000010013 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x00000000000000FD =
364 0x0000000000000040 0x0000000000010043 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x00000000000000FD =
365 0x0000000000000080 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x00000000000000FD =
366 0x0000000000000800 0x0000000000010803 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x00000000000000FD =
367 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FD 0x00000000000000FD =
368 0x0000000000000000 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FE 0x00000000000000FE =
369 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FE 0x00000000000000FE =
370 0x0000000000000004 0x0000000000010007 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FE 0x00000000000000FE =
371 0x0000000000000010 0x0000000000010013 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FE 0x00000000000000FE =
372 0x0000000000000040 0x0000000000010043 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FE 0x00000000000000FE =
373 0x0000000000000080 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FE 0x00000000000000FE =
374 0x0000000000000800 0x0000000000010803 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FE 0x00000000000000FE =
375 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FE 0x00000000000000FE =
376 0x0000000000000000 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FF 0x00000000000000FF =
377 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FF 0x00000000000000FF =
378 0x0000000000000004 0x0000000000010007 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FF 0x00000000000000FF =
379 0x0000000000000010 0x0000000000010013 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FF 0x00000000000000FF =
380 0x0000000000000040 0x0000000000010043 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FF 0x00000000000000FF =
381 0x0000000000000080 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FF 0x00000000000000FF =
382 0x0000000000000800 0x0000000000010803 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FF 0x00000000000000FF =
383 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0x00000000000000FF 0x00000000000000FF =
384 0x0000000000000000 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
385 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
386 0x0000000000000004 0x0000000000010007 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
387 0x0000000000000010 0x0000000000010013 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
388 0x0000000000000040 0x0000000000010043 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
389 0x0000000000000080 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
390 0x0000000000000800 0x0000000000010803 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
391 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 =
392 0x0000000000000000 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
393 0x0000000000000001 0x0000000000010003 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
394 0x0000000000000004 0x0000000000010007 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
395 0x0000000000000010 0x0000000000010013 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
396 0x0000000000000040 0x0000000000010043 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
397 0x0000000000000080 0x0000000000010083 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
398 0x0000000000000800 0x0000000000010803 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
399 0x00000000000008D5 0x00000000000108D7 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF01 0xFFFFFFFFFFFFFF01 =
← Prev Page 8 of 9 Next →