sbb qword ptr [r8 - 0x20], rbx

Opcode: 491958e0

Instruction: SBB
Undefined flags: none

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