sub eax, dword ptr [r8 + 0x20]

Opcode: 412b4020

Instruction: SUB
Undefined flags: none

Total states: 432
State # flag mem0_value r8 rax
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
350 0x0000000000000800 0x0000000000010096 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFE05 Δ
351 0x00000000000008D5 0x0000000000010096 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFE05 Δ
352 0x0000000000000000 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF04 Δ
353 0x0000000000000001 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF04 Δ
354 0x0000000000000004 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF04 Δ
355 0x0000000000000010 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF04 Δ
356 0x0000000000000040 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF04 Δ
357 0x0000000000000080 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF04 Δ
358 0x0000000000000800 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF04 Δ
359 0x00000000000008D5 0x0000000000010093 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF04 Δ
360 0x0000000000000000 0x0000000000010096 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF7E Δ
361 0x0000000000000001 0x0000000000010096 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF7E Δ
362 0x0000000000000004 0x0000000000010096 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF7E Δ
363 0x0000000000000010 0x0000000000010096 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF7E Δ
364 0x0000000000000040 0x0000000000010096 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF7E Δ
365 0x0000000000000080 0x0000000000010096 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF7E Δ
366 0x0000000000000800 0x0000000000010096 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF7E Δ
367 0x00000000000008D5 0x0000000000010096 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF7E Δ
368 0x0000000000000000 0x0000000000010092 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFE83 Δ
369 0x0000000000000001 0x0000000000010092 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFE83 Δ
370 0x0000000000000004 0x0000000000010092 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFE83 Δ
371 0x0000000000000010 0x0000000000010092 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFE83 Δ
372 0x0000000000000040 0x0000000000010092 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFE83 Δ
373 0x0000000000000080 0x0000000000010092 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFE83 Δ
374 0x0000000000000800 0x0000000000010092 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFE83 Δ
375 0x00000000000008D5 0x0000000000010092 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFE83 Δ
376 0x0000000000000000 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF82 Δ
377 0x0000000000000001 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF82 Δ
378 0x0000000000000004 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF82 Δ
379 0x0000000000000010 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF82 Δ
380 0x0000000000000040 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF82 Δ
381 0x0000000000000080 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF82 Δ
382 0x0000000000000800 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF82 Δ
383 0x00000000000008D5 0x0000000000010097 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF82 Δ
384 0x0000000000000000 0x0000000000010086 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFFFC Δ
385 0x0000000000000001 0x0000000000010086 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFFFC Δ
386 0x0000000000000004 0x0000000000010086 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFFFC Δ
387 0x0000000000000010 0x0000000000010086 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFFFC Δ
388 0x0000000000000040 0x0000000000010086 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFFFC Δ
389 0x0000000000000080 0x0000000000010086 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFFFC Δ
390 0x0000000000000800 0x0000000000010086 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFFFC Δ
391 0x00000000000008D5 0x0000000000010086 Δ 0x0000000000000002 0x0000000000000002 = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFFFC Δ
392 0x0000000000000000 0x0000000000010082 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ
393 0x0000000000000001 0x0000000000010082 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ
394 0x0000000000000004 0x0000000000010082 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ
395 0x0000000000000010 0x0000000000010082 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ
396 0x0000000000000040 0x0000000000010082 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ
397 0x0000000000000080 0x0000000000010082 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ
398 0x0000000000000800 0x0000000000010082 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ
399 0x00000000000008D5 0x0000000000010082 Δ 0x00000000000000FD 0x00000000000000FD = 0x00006666660100E0 0x00006666660100E0 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF01 Δ
← Prev Page 8 of 9 Next →