Instruction Set Architecture
We compiled the small Manticore challenge in 5 different architectures. You can move around and see the difference between their disassembly.
- x86-32
- x86-64
- ARMv7
- ARMv8
- RISCV
Manticore
00000000000000100000002000000030000000400000005000000060000000700000008000000090000000a0000000b0000000c0000000d0000000e0000000f000000100000001100000012000000130000001400000015000000160000001700000018000000190000001a0000001b0000001c0000001d0000001e0000001f000000200000002100000022000000230000002400000025000000260000002700000028000000290000002a0000002b0000002c0000002d0000002e0000002f000000300000003100000032000000330000003400000035000000360000003700000038000000390000003a0000003b0000003c0000003d0000003e0000003f000000400000004100000042000000430000004400000045000000460000004700000048000000490000004a0000004b0000004c0000004d0000004e0000004f000000500000005100000052000000530000005400000055000000560000005700000058000000590000005a0000005b0000005c0000005d0000005e0000005f00000060000000610000006200000063000000640
7f45 4c46 0101 0100 0000 0000 0000 0000 0200 0300 0100 0000 0283 0408 3400 0000 3005 0000 0000 0000 3400 2000 0200 2800 0700 0600 0100 0000 7400 0000 7480 0408 7480 0408 b802 0000 bc12 0000 0700 0000 0400 0000 51e5 7464 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0600 0000 1000 0000 8d4c 2404 83e4 f0ff 71fc 5589 e553 518d 5dec 83ec 1c68 1583 0408 e840 0200 0083 c40c ff35 2c93 0408 6a0c 53e8 e701 0000 891c 24e8 4701 0000 c704 2422 8304 08e8 1b02 0000 8d65 f831 c059 5b5d 8d61 fcc3 5589 e583 ec08 807d 083d 740a 83ec 0c6a 01e8 1a02 0000 c9b8 0100 0000 c355 89e5 83ec 0880 7d08 4d74 0a83 ec0c 6a01 e8fd 0100 00c9 b801 0000 00c3 5589 e583 ec08 8b45 088d 4400 7a3c fc74 0a83 ec0c 6a01 e8db 0100 00c9 b801 0000 00c3 5589 e583 ec08 807d 084e 740a 83ec 0c6a 01e8 be01 0000 c9b8 0100 0000 c355 89e5 83ec 088b 4508 01c0 3ca8 740a 83ec 0c6a 01e8 9e01 0000 c9b8 0100 0000 c355 89e5 83ec 0880 7d08 4974 0a83 ec0c 6a01 e881 0100 00c9 b801 0000 00c3 5589 e583 ec08 807d 0843 740a 83ec 0c6a 01e8 6401 0000 c9b8 0100 0000 c355 89e5 83ec 0880 7d08 4f74 0a83 ec0c 6a01 e847 0100 00c9 b801 0000 00c3 5589 e583 ec08 807d 0852 740a 83ec 0c6a 01e8 2a01 0000 c9b8 0100 0000 c355 89e5 83ec 0880 7d08 4574 0a83 ec0c 6a01 e80d 0100 00c9 b801 0000 00c3 e9d1 feff ff55 89e5 5383 ec10 8b5d 080f be03 50e8 befe ffff 0fbe 4301 8904 24e8 cffe ffff 0fbe 4302 8904 24e8 e0fe ffff 0fbe 4303 8904 24e8 f6fe ffff 0fbe 4304 8904 24e8 07ff ffff 0fbe 4305 8904 24e8 1bff ffff 0fbe 4306 8904 24e8 2cff ffff 0fbe 4307 8904 24e8 3dff ffff 0fbe 4308 8904 24e8 4eff ffff 0fbe 4309 8904 24e8 5fff ffff 0fbe 430a 8904 24e8 46fe ffff 8b5d fc83 c410 b801 0000 00c9 c355 b801 0000 0089 e557 5653 518b 7508 29f0 8945 f08b 45f0 89f7 01f0 3945 0c7e 1c8b 5d10 b803 0000 0089 f1ba 0100 0000 cd80 85c0 7407 4680 7eff 0a75 d8c6 0700 8b45 085a 5b5e 5f5d c355 31d2 89e5 538b 4d08 803c 1100 7403 42eb f7b8 0400 0000 bb01 0000 00cd 805b 5dc3 55b8 0100 0000 89e5 538b 5d08 cd80 5589 e553 50e8 68fd ffff 89c3 b801 0000 00cd 8045 6e74 6572 2063 6f64 653a 0a00 5375 6363 6573 7321 0a00 0000 0000 0000 0000 0000 0000 0000 0000 0100 0000 9781 0408 1d00 0000 1200 0100 0e00 0000 8b82 0408 4800 0000 1200 0100 1400 0000 d382 0408 2100 0000 1200 0100 1900 0000 3d81 0408 2000 0000 1200 0100 2600 0000 ee81 0408 0500 0000 1200 0100 3400 0000 d181 0408 1d00 0000 1200 0100 4100 0000 fe80 0408 2200 0000 1200 0100 4e00 0000 c480 0408 1d00 0000 1200 0100 5b00 0000 f381 0408 9800 0000 1200 0100 6100 0000 0283 0408 1300 0000 1200 0100 6800 0000 7a81 0408 1d00 0000 1200 0100 7500 0000 2081 0408 1d00 0000 1200 0100 8200 0000 7480 0408 5000 0000 1200 0100 8700 0000 e180 0408 1d00 0000 1200 0100 9400 0000 b481 0408 1d00 0000 1200 0100 a100 0000 5d81 0408 1d00 0000 1200 0100 ae00 0000 f482 0408 0e00 0000 1200 0100 0063 6865 636b 5f63 6861 725f 3700 6667 6574 7300 7075 7473 0063 6865 636b 5f63 6861 725f 3400 6368 6563 6b5f 6368 6172 5f31 3000 6368 6563 6b5f 6368 6172 5f39 0063 6865 636b 5f63 6861 725f 3200 6368 6563 6b5f 6368 6172 5f30 0063 6865 636b 005f 7374 6172 7400 6368 6563 6b5f 6368 6172 5f36 0063 6865 636b 5f63 6861 725f 3300 6d61 696e 0063 6865 636b 5f63 6861 725f 3100 6368 6563 6b5f 6368 6172 5f38 0063 6865 636b 5f63 6861 725f 3500 6578 6974 0000 2e73 796d 7461 6200 2e73 7472 7461 6200 2e73 6873 7472 7461 6200 2e74 6578 7400 2e72 6f64 6174 6100 2e62 7373 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 1b00 0000 0100 0000 0600 0000 7480 0408 7400 0000 a102 0000 0000 0000 0000 0000 0100 0000 0000 0000 2100 0000 0100 0000 3200 0000 1583 0408 1503 0000 1700 0000 0000 0000 0000 0000 0100 0000 0100 0000 2900 0000 0800 0000 0300 0000 2c93 0408 2c03 0000 0400 0000 0000 0000 0000 0000 0400 0000 0000 0000 0100 0000 0200 0000 0000 0000 0000 0000 2c03 0000 2001 0000 0500 0000 0100 0000 0400 0000 1000 0000 0900 0000 0300 0000 0000 0000 0000 0000 4c04 0000 b300 0000 0000 0000 0000 0000 0100 0000 0000 0000 1100 0000 0300 0000 0000 0000 0000 0000 ff04 0000 2e00 0000 0000 0000 0000 0000 0100 0000 0000 0000
| Legend |
|---|
| Headers Magic |
| Code Instructions |
| Read-Only Data Strings |
| Data Other Sections |
- Headers
- Disassembly
ELF Header:
Class: ELF32
Data: 2's complement, little endian
Type: EXEC
Machine: x86
Entry point address: 0x8048302
Section Headers:
[Nr] Name Type Addr Off Size ES Flg Lk Inf Al
[ 0] NULL 00000000 000000 000000 00 0 0 0
[ 1] .text PROGBITS 08048074 000074 0002a1 00 AX 0 0 1
[ 2] .rodata PROGBITS 08048315 000315 000017 01 AMS 0 0 1
[ 3] .bss NOBITS 0804932c 00032c 000004 00 WA 0 0 4
[ 4] .symtab SYMTAB 00000000 00032c 000120 10 5 1 4
[ 5] .strtab STRTAB 00000000 00044c 0000b3 00 0 0 1
[ 6] .shstrtab STRTAB 00000000 0004ff 00002e 00 0 0 1
Key to Flags:
W (write), A (alloc), X (execute), M (merge), S (strings), I (info),
L (link order), G (group), T (TLS), O (extra OS processing required)
Symbol table '.symtab' contains 18 entries:
Num: Value Size Type Bind Section Name
0: 00000000 0 NOTYPE LOCAL UND
1: 08048197 29 FUNC GLOBAL .text check_char_7
2: 0804828b 72 FUNC GLOBAL .text fgets
3: 080482d3 33 FUNC GLOBAL .text puts
4: 0804813d 32 FUNC GLOBAL .text check_char_4
5: 080481ee 5 FUNC GLOBAL .text check_char_10
6: 080481d1 29 FUNC GLOBAL .text check_char_9
7: 080480fe 34 FUNC GLOBAL .text check_char_2
8: 080480c4 29 FUNC GLOBAL .text check_char_0
9: 080481f3 152 FUNC GLOBAL .text check
10: 08048302 19 FUNC GLOBAL .text _start
11: 0804817a 29 FUNC GLOBAL .text check_char_6
12: 08048120 29 FUNC GLOBAL .text check_char_3
13: 08048074 80 FUNC GLOBAL .text main
14: 080480e1 29 FUNC GLOBAL .text check_char_1
15: 080481b4 29 FUNC GLOBAL .text check_char_8
16: 0804815d 29 FUNC GLOBAL .text check_char_5
17: 080482f4 14 FUNC GLOBAL .text exitDisassembly of section .text:
08048074 <main>: 8048074: 8d 4c 24 04 lea ecx, [esp + 0x4]
0: ecx<32> := (esp<32> + 4<32>);1: goto (0x8048078, 0)8048078: 83 e4 f0 and esp, 0xfffffff0
0: res32<32> := (-16<32> & esp<32>);1: OF<1> := 0<1>;2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := 0<1>;5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := 0<1>;7: esp<32> := res32<32>;8: goto (0x804807b, 0)804807b: ff 71 fc push [ecx + 0xfffffffc]
0: @[(esp<32> - 4<32>),<-,4] := @[(ecx<32> + -4<32>),<-,4];1: esp<32> := (esp<32> - 4<32>);2: goto (0x804807e, 0)804807e: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x804807f, 0)804807f: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x8048081, 0)8048081: 53 push ebx
0: @[(esp<32> - 4<32>),<-,4] := ebx<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048082, 0)8048082: 51 push ecx
0: @[(esp<32> - 4<32>),<-,4] := ecx<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048083, 0)8048083: 8d 5d ec lea ebx, [ebp + 0xffffffec]
0: ebx<32> := (ebp<32> + -20<32>);1: goto (0x8048086, 0)8048086: 83 ec 1c sub esp, 0x1c
0: res32<32> := (esp<32> - 28<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 28<32>);7: esp<32> := res32<32>;8: goto (0x8048089, 0)8048089: 68 15 83 04 08 push 0x8048315
0: @[(esp<32> - 4<32>),<-,4] := 0x08048315;1: esp<32> := (esp<32> - 4<32>);2: goto (0x804808e, 0)804808e: e8 40 02 00 00 call 0x80482d3
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048093;2: goto (0x80482d3, 0) #call with return address @ (0x8048093, 0)8048093: 83 c4 0c add esp, 0xc
0: res32<32> := (esp<32> + 12<32>);1: OF<1> := (! (esp<32>{31}) & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := ((uext5 esp<32>{3..0}) + 12<5>){4};5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := ((uext33 esp<32>) + 12<33>){32};7: esp<32> := res32<32>;8: goto (0x8048096, 0)8048096: ff 35 2c 93 04 08 push [0x804932c]
0: @[(esp<32> - 4<32>),<-,4] := @[0x0804932c,<-,4];1: esp<32> := (esp<32> - 4<32>);2: goto (0x804809c, 0)804809c: 6a 0c push 0xc
0: @[(esp<32> - 4<32>),<-,4] := 12<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x804809e, 0)804809e: 53 push ebx
0: @[(esp<32> - 4<32>),<-,4] := ebx<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x804809f, 0)804809f: e8 e7 01 00 00 call 0x804828b
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x080480a4;2: goto (0x804828b, 0) #call with return address @ (0x80480a4, 0)80480a4: 89 1c 24 mov [esp], ebx
0: @[esp<32>,<-,4] := ebx<32>;1: goto (0x80480a7, 0)80480a7: e8 47 01 00 00 call 0x80481f3
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x080480ac;2: goto (0x80481f3, 0) #call with return address @ (0x80480ac, 0)80480ac: c7 04 24 22 83 04 08 mov [esp], 0x8048322
0: @[esp<32>,<-,4] := 0x08048322;1: goto (0x80480b3, 0)80480b3: e8 1b 02 00 00 call 0x80482d3
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x080480b8;2: goto (0x80482d3, 0) #call with return address @ (0x80480b8, 0)80480b8: 8d 65 f8 lea esp, [ebp + 0xfffffff8]
0: esp<32> := (ebp<32> + -8<32>);1: goto (0x80480bb, 0)80480bb: 31 c0 xor eax, eax
0: res32<32> := 0<32>;1: OF<1> := 0<1>;2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := 0<1>;5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := 0<1>;7: eax<32> := res32<32>;8: goto (0x80480bd, 0)80480bd: 59 pop ecx
0: ecx<32> := @[esp<32>,<-,4];1: esp<32> := (esp<32> + 4<32>);2: goto (0x80480be, 0)80480be: 5b pop ebx
0: ebx<32> := @[esp<32>,<-,4];1: esp<32> := (esp<32> + 4<32>);2: goto (0x80480bf, 0)80480bf: 5d pop ebp
0: ebp<32> := @[esp<32>,<-,4];1: esp<32> := (esp<32> + 4<32>);2: goto (0x80480c0, 0)80480c0: 8d 61 fc lea esp, [ecx + 0xfffffffc]
0: esp<32> := (ecx<32> + -4<32>);1: goto (0x80480c3, 0)80480c3: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return080480c4 <check_char_0>: 80480c4: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80480c5, 0)80480c5: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x80480c7, 0)80480c7: 83 ec 08 sub esp, 0x8
0: res32<32> := (esp<32> - 8<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 8<32>);7: esp<32> := res32<32>;8: goto (0x80480ca, 0)80480ca: 80 7d 08 3d cmp [ebp + 0x8], 0x3d
0: res8<8> := (@[(ebp<32> + 8<32>),<-,1] - 61<8>);1: OF<1> :=
(@[(ebp<32> + 8<32>),<-,1]{7} &
(@[(ebp<32> + 8<32>),<-,1]{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (@[(ebp<32> + 8<32>),<-,1]{3..0} <u -3<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (@[(ebp<32> + 8<32>),<-,1] <u 61<8>);7: goto (0x80480ce, 0)80480ce: 74 0a jz 0x80480da
0: if ZF<1> goto (0x80480da, 0) else goto 11: goto (0x80480d0, 0)80480d0: 83 ec 0c sub esp, 0xc
0: res32<32> := (esp<32> - 12<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 12<32>);7: esp<32> := res32<32>;8: goto (0x80480d3, 0)80480d3: 6a 01 push 0x1
0: @[(esp<32> - 4<32>),<-,4] := 1<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80480d5, 0)80480d5: e8 1a 02 00 00 call 0x80482f4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x080480da;2: goto (0x80482f4, 0) #call with return address @ (0x80480da, 0)80480da: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x80480db, 0)80480db: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x80480e0, 0)80480e0: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return080480e1 <check_char_1>: 80480e1: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80480e2, 0)80480e2: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x80480e4, 0)80480e4: 83 ec 08 sub esp, 0x8
0: res32<32> := (esp<32> - 8<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 8<32>);7: esp<32> := res32<32>;8: goto (0x80480e7, 0)80480e7: 80 7d 08 4d cmp [ebp + 0x8], 0x4d
0: res8<8> := (@[(ebp<32> + 8<32>),<-,1] - 77<8>);1: OF<1> :=
(@[(ebp<32> + 8<32>),<-,1]{7} &
(@[(ebp<32> + 8<32>),<-,1]{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (@[(ebp<32> + 8<32>),<-,1]{3..0} <u -3<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (@[(ebp<32> + 8<32>),<-,1] <u 77<8>);7: goto (0x80480eb, 0)80480eb: 74 0a jz 0x80480f7
0: if ZF<1> goto (0x80480f7, 0) else goto 11: goto (0x80480ed, 0)80480ed: 83 ec 0c sub esp, 0xc
0: res32<32> := (esp<32> - 12<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 12<32>);7: esp<32> := res32<32>;8: goto (0x80480f0, 0)80480f0: 6a 01 push 0x1
0: @[(esp<32> - 4<32>),<-,4] := 1<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80480f2, 0)80480f2: e8 fd 01 00 00 call 0x80482f4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x080480f7;2: goto (0x80482f4, 0) #call with return address @ (0x80480f7, 0)80480f7: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x80480f8, 0)80480f8: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x80480fd, 0)80480fd: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return080480fe <check_char_2>: 80480fe: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80480ff, 0)80480ff: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x8048101, 0)8048101: 83 ec 08 sub esp, 0x8
0: res32<32> := (esp<32> - 8<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 8<32>);7: esp<32> := res32<32>;8: goto (0x8048104, 0)8048104: 8b 45 08 mov eax, [ebp + 0x8]
0: eax<32> := @[(ebp<32> + 8<32>),<-,4];1: goto (0x8048107, 0)8048107: 8d 44 00 7a lea eax, [eax + eax + 0x7a]
0: eax<32> := (eax<32> + (eax<32> + 122<32>));1: goto (0x804810b, 0)804810b: 3c fc cmp al, 0xfffffffc
0: res8<8> := (eax<32>{7..0} - -4<8>);1: OF<1> := (! (eax<32>{7}) & (eax<32>{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (eax<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (eax<32>{7..0} <u -4<8>);7: goto (0x804810d, 0)804810d: 74 0a jz 0x8048119
0: if ZF<1> goto (0x8048119, 0) else goto 11: goto (0x804810f, 0)804810f: 83 ec 0c sub esp, 0xc
0: res32<32> := (esp<32> - 12<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 12<32>);7: esp<32> := res32<32>;8: goto (0x8048112, 0)8048112: 6a 01 push 0x1
0: @[(esp<32> - 4<32>),<-,4] := 1<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048114, 0)8048114: e8 db 01 00 00 call 0x80482f4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048119;2: goto (0x80482f4, 0) #call with return address @ (0x8048119, 0)8048119: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x804811a, 0)804811a: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x804811f, 0)804811f: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return08048120 <check_char_3>: 8048120: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048121, 0)8048121: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x8048123, 0)8048123: 83 ec 08 sub esp, 0x8
0: res32<32> := (esp<32> - 8<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 8<32>);7: esp<32> := res32<32>;8: goto (0x8048126, 0)8048126: 80 7d 08 4e cmp [ebp + 0x8], 0x4e
0: res8<8> := (@[(ebp<32> + 8<32>),<-,1] - 78<8>);1: OF<1> :=
(@[(ebp<32> + 8<32>),<-,1]{7} &
(@[(ebp<32> + 8<32>),<-,1]{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (@[(ebp<32> + 8<32>),<-,1]{3..0} <u -2<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (@[(ebp<32> + 8<32>),<-,1] <u 78<8>);7: goto (0x804812a, 0)804812a: 74 0a jz 0x8048136
0: if ZF<1> goto (0x8048136, 0) else goto 11: goto (0x804812c, 0)804812c: 83 ec 0c sub esp, 0xc
0: res32<32> := (esp<32> - 12<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 12<32>);7: esp<32> := res32<32>;8: goto (0x804812f, 0)804812f: 6a 01 push 0x1
0: @[(esp<32> - 4<32>),<-,4] := 1<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048131, 0)8048131: e8 be 01 00 00 call 0x80482f4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048136;2: goto (0x80482f4, 0) #call with return address @ (0x8048136, 0)8048136: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x8048137, 0)8048137: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x804813c, 0)804813c: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return0804813d <check_char_4>: 804813d: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x804813e, 0)804813e: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x8048140, 0)8048140: 83 ec 08 sub esp, 0x8
0: res32<32> := (esp<32> - 8<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 8<32>);7: esp<32> := res32<32>;8: goto (0x8048143, 0)8048143: 8b 45 08 mov eax, [ebp + 0x8]
0: eax<32> := @[(ebp<32> + 8<32>),<-,4];1: goto (0x8048146, 0)8048146: 01 c0 add eax, eax
0: res32<32> := (eax<32> + eax<32>);1: OF<1> := (eax<32>{31} <> res32<32>{31});2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := ((uext5 eax<32>{3..0}) + (uext5 eax<32>{3..0})){4};5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := ((uext33 eax<32>) + (uext33 eax<32>)){32};7: eax<32> := res32<32>;8: goto (0x8048148, 0)8048148: 3c a8 cmp al, 0xffffffa8
0: res8<8> := (eax<32>{7..0} - -88<8>);1: OF<1> := (! (eax<32>{7}) & (eax<32>{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (eax<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (eax<32>{7..0} <u -88<8>);7: goto (0x804814a, 0)804814a: 74 0a jz 0x8048156
0: if ZF<1> goto (0x8048156, 0) else goto 11: goto (0x804814c, 0)804814c: 83 ec 0c sub esp, 0xc
0: res32<32> := (esp<32> - 12<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 12<32>);7: esp<32> := res32<32>;8: goto (0x804814f, 0)804814f: 6a 01 push 0x1
0: @[(esp<32> - 4<32>),<-,4] := 1<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048151, 0)8048151: e8 9e 01 00 00 call 0x80482f4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048156;2: goto (0x80482f4, 0) #call with return address @ (0x8048156, 0)8048156: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x8048157, 0)8048157: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x804815c, 0)804815c: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return0804815d <check_char_5>: 804815d: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x804815e, 0)804815e: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x8048160, 0)8048160: 83 ec 08 sub esp, 0x8
0: res32<32> := (esp<32> - 8<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 8<32>);7: esp<32> := res32<32>;8: goto (0x8048163, 0)8048163: 80 7d 08 49 cmp [ebp + 0x8], 0x49
0: res8<8> := (@[(ebp<32> + 8<32>),<-,1] - 73<8>);1: OF<1> :=
(@[(ebp<32> + 8<32>),<-,1]{7} &
(@[(ebp<32> + 8<32>),<-,1]{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (@[(ebp<32> + 8<32>),<-,1]{3..0} <u -7<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (@[(ebp<32> + 8<32>),<-,1] <u 73<8>);7: goto (0x8048167, 0)8048167: 74 0a jz 0x8048173
0: if ZF<1> goto (0x8048173, 0) else goto 11: goto (0x8048169, 0)8048169: 83 ec 0c sub esp, 0xc
0: res32<32> := (esp<32> - 12<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 12<32>);7: esp<32> := res32<32>;8: goto (0x804816c, 0)804816c: 6a 01 push 0x1
0: @[(esp<32> - 4<32>),<-,4] := 1<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x804816e, 0)804816e: e8 81 01 00 00 call 0x80482f4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048173;2: goto (0x80482f4, 0) #call with return address @ (0x8048173, 0)8048173: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x8048174, 0)8048174: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x8048179, 0)8048179: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return0804817a <check_char_6>: 804817a: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x804817b, 0)804817b: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x804817d, 0)804817d: 83 ec 08 sub esp, 0x8
0: res32<32> := (esp<32> - 8<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 8<32>);7: esp<32> := res32<32>;8: goto (0x8048180, 0)8048180: 80 7d 08 43 cmp [ebp + 0x8], 0x43
0: res8<8> := (@[(ebp<32> + 8<32>),<-,1] - 67<8>);1: OF<1> :=
(@[(ebp<32> + 8<32>),<-,1]{7} &
(@[(ebp<32> + 8<32>),<-,1]{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (@[(ebp<32> + 8<32>),<-,1]{3..0} <u 3<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (@[(ebp<32> + 8<32>),<-,1] <u 67<8>);7: goto (0x8048184, 0)8048184: 74 0a jz 0x8048190
0: if ZF<1> goto (0x8048190, 0) else goto 11: goto (0x8048186, 0)8048186: 83 ec 0c sub esp, 0xc
0: res32<32> := (esp<32> - 12<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 12<32>);7: esp<32> := res32<32>;8: goto (0x8048189, 0)8048189: 6a 01 push 0x1
0: @[(esp<32> - 4<32>),<-,4] := 1<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x804818b, 0)804818b: e8 64 01 00 00 call 0x80482f4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048190;2: goto (0x80482f4, 0) #call with return address @ (0x8048190, 0)8048190: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x8048191, 0)8048191: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x8048196, 0)8048196: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return08048197 <check_char_7>: 8048197: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048198, 0)8048198: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x804819a, 0)804819a: 83 ec 08 sub esp, 0x8
0: res32<32> := (esp<32> - 8<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 8<32>);7: esp<32> := res32<32>;8: goto (0x804819d, 0)804819d: 80 7d 08 4f cmp [ebp + 0x8], 0x4f
0: res8<8> := (@[(ebp<32> + 8<32>),<-,1] - 79<8>);1: OF<1> :=
(@[(ebp<32> + 8<32>),<-,1]{7} &
(@[(ebp<32> + 8<32>),<-,1]{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (@[(ebp<32> + 8<32>),<-,1]{3..0} <u -1<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (@[(ebp<32> + 8<32>),<-,1] <u 79<8>);7: goto (0x80481a1, 0)80481a1: 74 0a jz 0x80481ad
0: if ZF<1> goto (0x80481ad, 0) else goto 11: goto (0x80481a3, 0)80481a3: 83 ec 0c sub esp, 0xc
0: res32<32> := (esp<32> - 12<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 12<32>);7: esp<32> := res32<32>;8: goto (0x80481a6, 0)80481a6: 6a 01 push 0x1
0: @[(esp<32> - 4<32>),<-,4] := 1<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80481a8, 0)80481a8: e8 47 01 00 00 call 0x80482f4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x080481ad;2: goto (0x80482f4, 0) #call with return address @ (0x80481ad, 0)80481ad: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x80481ae, 0)80481ae: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x80481b3, 0)80481b3: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return080481b4 <check_char_8>: 80481b4: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80481b5, 0)80481b5: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x80481b7, 0)80481b7: 83 ec 08 sub esp, 0x8
0: res32<32> := (esp<32> - 8<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 8<32>);7: esp<32> := res32<32>;8: goto (0x80481ba, 0)80481ba: 80 7d 08 52 cmp [ebp + 0x8], 0x52
0: res8<8> := (@[(ebp<32> + 8<32>),<-,1] - 82<8>);1: OF<1> :=
(@[(ebp<32> + 8<32>),<-,1]{7} &
(@[(ebp<32> + 8<32>),<-,1]{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (@[(ebp<32> + 8<32>),<-,1]{3..0} <u 2<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (@[(ebp<32> + 8<32>),<-,1] <u 82<8>);7: goto (0x80481be, 0)80481be: 74 0a jz 0x80481ca
0: if ZF<1> goto (0x80481ca, 0) else goto 11: goto (0x80481c0, 0)80481c0: 83 ec 0c sub esp, 0xc
0: res32<32> := (esp<32> - 12<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 12<32>);7: esp<32> := res32<32>;8: goto (0x80481c3, 0)80481c3: 6a 01 push 0x1
0: @[(esp<32> - 4<32>),<-,4] := 1<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80481c5, 0)80481c5: e8 2a 01 00 00 call 0x80482f4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x080481ca;2: goto (0x80482f4, 0) #call with return address @ (0x80481ca, 0)80481ca: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x80481cb, 0)80481cb: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x80481d0, 0)80481d0: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return080481d1 <check_char_9>: 80481d1: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80481d2, 0)80481d2: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x80481d4, 0)80481d4: 83 ec 08 sub esp, 0x8
0: res32<32> := (esp<32> - 8<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -8<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 8<32>);7: esp<32> := res32<32>;8: goto (0x80481d7, 0)80481d7: 80 7d 08 45 cmp [ebp + 0x8], 0x45
0: res8<8> := (@[(ebp<32> + 8<32>),<-,1] - 69<8>);1: OF<1> :=
(@[(ebp<32> + 8<32>),<-,1]{7} &
(@[(ebp<32> + 8<32>),<-,1]{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (@[(ebp<32> + 8<32>),<-,1]{3..0} <u 5<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (@[(ebp<32> + 8<32>),<-,1] <u 69<8>);7: goto (0x80481db, 0)80481db: 74 0a jz 0x80481e7
0: if ZF<1> goto (0x80481e7, 0) else goto 11: goto (0x80481dd, 0)80481dd: 83 ec 0c sub esp, 0xc
0: res32<32> := (esp<32> - 12<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u -4<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 12<32>);7: esp<32> := res32<32>;8: goto (0x80481e0, 0)80481e0: 6a 01 push 0x1
0: @[(esp<32> - 4<32>),<-,4] := 1<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80481e2, 0)80481e2: e8 0d 01 00 00 call 0x80482f4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x080481e7;2: goto (0x80482f4, 0) #call with return address @ (0x80481e7, 0)80481e7: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x80481e8, 0)80481e8: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x80481ed, 0)80481ed: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return080481ee <check_char_10>: 80481ee: e9 d1 fe ff ff jmp 0x80480c4
0: goto (0x80480c4, 0)080481f3 <check>: 80481f3: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80481f4, 0)80481f4: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x80481f6, 0)80481f6: 53 push ebx
0: @[(esp<32> - 4<32>),<-,4] := ebx<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80481f7, 0)80481f7: 83 ec 10 sub esp, 0x10
0: res32<32> := (esp<32> - 16<32>);1: OF<1> := (esp<32>{31} & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (esp<32>{3..0} <u 0<4>);5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (esp<32> <u 16<32>);7: esp<32> := res32<32>;8: goto (0x80481fa, 0)80481fa: 8b 5d 08 mov ebx, [ebp + 0x8]
0: ebx<32> := @[(ebp<32> + 8<32>),<-,4];1: goto (0x80481fd, 0)80481fd: 0f be 03 movsx eax, [ebx]
0: eax<32> := (sext32 @[ebx<32>,<-,1]);1: goto (0x8048200, 0)8048200: 50 push eax
0: @[(esp<32> - 4<32>),<-,4] := eax<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048201, 0)8048201: e8 be fe ff ff call 0x80480c4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048206;2: goto (0x80480c4, 0) #call with return address @ (0x8048206, 0)8048206: 0f be 43 01 movsx eax, [ebx + 0x1]
0: eax<32> := (sext32 @[(ebx<32> + 1<32>),<-,1]);1: goto (0x804820a, 0)804820a: 89 04 24 mov [esp], eax
0: @[esp<32>,<-,4] := eax<32>;1: goto (0x804820d, 0)804820d: e8 cf fe ff ff call 0x80480e1
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048212;2: goto (0x80480e1, 0) #call with return address @ (0x8048212, 0)8048212: 0f be 43 02 movsx eax, [ebx + 0x2]
0: eax<32> := (sext32 @[(ebx<32> + 2<32>),<-,1]);1: goto (0x8048216, 0)8048216: 89 04 24 mov [esp], eax
0: @[esp<32>,<-,4] := eax<32>;1: goto (0x8048219, 0)8048219: e8 e0 fe ff ff call 0x80480fe
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x0804821e;2: goto (0x80480fe, 0) #call with return address @ (0x804821e, 0)804821e: 0f be 43 03 movsx eax, [ebx + 0x3]
0: eax<32> := (sext32 @[(ebx<32> + 3<32>),<-,1]);1: goto (0x8048222, 0)8048222: 89 04 24 mov [esp], eax
0: @[esp<32>,<-,4] := eax<32>;1: goto (0x8048225, 0)8048225: e8 f6 fe ff ff call 0x8048120
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x0804822a;2: goto (0x8048120, 0) #call with return address @ (0x804822a, 0)804822a: 0f be 43 04 movsx eax, [ebx + 0x4]
0: eax<32> := (sext32 @[(ebx<32> + 4<32>),<-,1]);1: goto (0x804822e, 0)804822e: 89 04 24 mov [esp], eax
0: @[esp<32>,<-,4] := eax<32>;1: goto (0x8048231, 0)8048231: e8 07 ff ff ff call 0x804813d
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048236;2: goto (0x804813d, 0) #call with return address @ (0x8048236, 0)8048236: 0f be 43 05 movsx eax, [ebx + 0x5]
0: eax<32> := (sext32 @[(ebx<32> + 5<32>),<-,1]);1: goto (0x804823a, 0)804823a: 89 04 24 mov [esp], eax
0: @[esp<32>,<-,4] := eax<32>;1: goto (0x804823d, 0)804823d: e8 1b ff ff ff call 0x804815d
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048242;2: goto (0x804815d, 0) #call with return address @ (0x8048242, 0)8048242: 0f be 43 06 movsx eax, [ebx + 0x6]
0: eax<32> := (sext32 @[(ebx<32> + 6<32>),<-,1]);1: goto (0x8048246, 0)8048246: 89 04 24 mov [esp], eax
0: @[esp<32>,<-,4] := eax<32>;1: goto (0x8048249, 0)8048249: e8 2c ff ff ff call 0x804817a
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x0804824e;2: goto (0x804817a, 0) #call with return address @ (0x804824e, 0)804824e: 0f be 43 07 movsx eax, [ebx + 0x7]
0: eax<32> := (sext32 @[(ebx<32> + 7<32>),<-,1]);1: goto (0x8048252, 0)8048252: 89 04 24 mov [esp], eax
0: @[esp<32>,<-,4] := eax<32>;1: goto (0x8048255, 0)8048255: e8 3d ff ff ff call 0x8048197
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x0804825a;2: goto (0x8048197, 0) #call with return address @ (0x804825a, 0)804825a: 0f be 43 08 movsx eax, [ebx + 0x8]
0: eax<32> := (sext32 @[(ebx<32> + 8<32>),<-,1]);1: goto (0x804825e, 0)804825e: 89 04 24 mov [esp], eax
0: @[esp<32>,<-,4] := eax<32>;1: goto (0x8048261, 0)8048261: e8 4e ff ff ff call 0x80481b4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048266;2: goto (0x80481b4, 0) #call with return address @ (0x8048266, 0)8048266: 0f be 43 09 movsx eax, [ebx + 0x9]
0: eax<32> := (sext32 @[(ebx<32> + 9<32>),<-,1]);1: goto (0x804826a, 0)804826a: 89 04 24 mov [esp], eax
0: @[esp<32>,<-,4] := eax<32>;1: goto (0x804826d, 0)804826d: e8 5f ff ff ff call 0x80481d1
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x08048272;2: goto (0x80481d1, 0) #call with return address @ (0x8048272, 0)8048272: 0f be 43 0a movsx eax, [ebx + 0xa]
0: eax<32> := (sext32 @[(ebx<32> + 10<32>),<-,1]);1: goto (0x8048276, 0)8048276: 89 04 24 mov [esp], eax
0: @[esp<32>,<-,4] := eax<32>;1: goto (0x8048279, 0)8048279: e8 46 fe ff ff call 0x80480c4
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x0804827e;2: goto (0x80480c4, 0) #call with return address @ (0x804827e, 0)804827e: 8b 5d fc mov ebx, [ebp + 0xfffffffc]
0: ebx<32> := @[(ebp<32> + -4<32>),<-,4];1: goto (0x8048281, 0)8048281: 83 c4 10 add esp, 0x10
0: res32<32> := (esp<32> + 16<32>);1: OF<1> := (! (esp<32>{31}) & (esp<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := 0<1>;5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := ((uext33 esp<32>) + 16<33>){32};7: esp<32> := res32<32>;8: goto (0x8048284, 0)8048284: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x8048289, 0)8048289: c9 leave
0: esp<32> := ebp<32>;1: ebp<32> := @[esp<32>,<-,4];2: esp<32> := (esp<32> + 4<32>);3: goto (0x804828a, 0)804828a: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return0804828b <fgets>: 804828b: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x804828c, 0)804828c: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x8048291, 0)8048291: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x8048293, 0)8048293: 57 push edi
0: @[(esp<32> - 4<32>),<-,4] := edi<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048294, 0)8048294: 56 push esi
0: @[(esp<32> - 4<32>),<-,4] := esi<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048295, 0)8048295: 53 push ebx
0: @[(esp<32> - 4<32>),<-,4] := ebx<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048296, 0)8048296: 51 push ecx
0: @[(esp<32> - 4<32>),<-,4] := ecx<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048297, 0)8048297: 8b 75 08 mov esi, [ebp + 0x8]
0: esi<32> := @[(ebp<32> + 8<32>),<-,4];1: goto (0x804829a, 0)804829a: 29 f0 sub eax, esi
0: res32<32> := (eax<32> - esi<32>);1: OF<1> := ((eax<32>{31} <> esi<32>{31}) & (eax<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (eax<32>{3..0} <u esi<32>{3..0});5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (eax<32> <u esi<32>);7: eax<32> := res32<32>;8: goto (0x804829c, 0)804829c: 89 45 f0 mov [ebp + 0xfffffff0], eax
0: @[(ebp<32> + -16<32>),<-,4] := eax<32>;1: goto (0x804829f, 0)804829f: 8b 45 f0 mov eax, [ebp + 0xfffffff0]
0: eax<32> := @[(ebp<32> + -16<32>),<-,4];1: goto (0x80482a2, 0)80482a2: 89 f7 mov edi, esi
0: edi<32> := esi<32>;1: goto (0x80482a4, 0)80482a4: 01 f0 add eax, esi
0: res32<32> := (eax<32> + esi<32>);1: OF<1> := ((eax<32>{31} = esi<32>{31}) & (eax<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := ((uext5 eax<32>{3..0}) + (uext5 esi<32>{3..0})){4};5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := ((uext33 eax<32>) + (uext33 esi<32>)){32};7: eax<32> := res32<32>;8: goto (0x80482a6, 0)80482a6: 39 45 0c cmp [ebp + 0xc], eax
0: res32<32> := (@[(ebp<32> + 12<32>),<-,4] - eax<32>);1: OF<1> :=
((@[(ebp<32> + 15<32>),<-,1]{7} <> eax<32>{31}) &
(@[(ebp<32> + 15<32>),<-,1]{7} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := (@[(ebp<32> + 12<32>),<-,1]{3..0} <u eax<32>{3..0});5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := (@[(ebp<32> + 12<32>),<-,4] <u eax<32>);7: goto (0x80482a9, 0)80482a9: 7e 1c jle 0x80482c7
0: if (ZF<1> | (SF<1> <> OF<1>)) goto (0x80482c7, 0) else goto 11: goto (0x80482ab, 0)80482ab: 8b 5d 10 mov ebx, [ebp + 0x10]
0: ebx<32> := @[(ebp<32> + 16<32>),<-,4];1: goto (0x80482ae, 0)80482ae: b8 03 00 00 00 mov eax, 0x3
0: eax<32> := 3<32>;1: goto (0x80482b3, 0)80482b3: 89 f1 mov ecx, esi
0: ecx<32> := esi<32>;1: goto (0x80482b5, 0)80482b5: ba 01 00 00 00 mov edx, 0x1
0: edx<32> := 1<32>;1: goto (0x80482ba, 0)80482ba: cd 80 unsupported int 128
0: #unsupported cd 8080482bc: 85 c0 test eax, eax
0: res32<32> := eax<32>;1: OF<1> := 0<1>;2: SF<1> := (res32<32> <s 0<32>);3: AF<1> := undef;4: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));5: ZF<1> := (0<32> = res32<32>);6: CF<1> := 0<1>;7: goto (0x80482be, 0)80482be: 74 07 jz 0x80482c7
0: if ZF<1> goto (0x80482c7, 0) else goto 11: goto (0x80482c0, 0)80482c0: 46 inc esi
0: res32<32> := (esi<32> + 1<32>);1: OF<1> := (! (esi<32>{31}) & (esi<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: AF<1> := ((uext5 esi<32>{3..0}) + 1<5>){4};4: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));5: ZF<1> := (0<32> = res32<32>);6: esi<32> := res32<32>;7: goto (0x80482c1, 0)80482c1: 80 7e ff 0a cmp [esi + 0xffffffff], 0xa
0: res8<8> := (@[(esi<32> + -1<32>),<-,1] - 10<8>);1: OF<1> :=
(@[(esi<32> + -1<32>),<-,1]{7} &
(@[(esi<32> + -1<32>),<-,1]{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (@[(esi<32> + -1<32>),<-,1]{3..0} <u -6<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (@[(esi<32> + -1<32>),<-,1] <u 10<8>);7: goto (0x80482c5, 0)80482c5: 75 d8 jnz 0x804829f
0: if ! (ZF<1>) goto (0x804829f, 0) else goto 11: goto (0x80482c7, 0)80482c7: c6 07 00 mov [edi], 0x0
0: @[edi<32>,<-,1] := 0<8>;1: goto (0x80482ca, 0)80482ca: 8b 45 08 mov eax, [ebp + 0x8]
0: eax<32> := @[(ebp<32> + 8<32>),<-,4];1: goto (0x80482cd, 0)80482cd: 5a pop edx
0: edx<32> := @[esp<32>,<-,4];1: esp<32> := (esp<32> + 4<32>);2: goto (0x80482ce, 0)80482ce: 5b pop ebx
0: ebx<32> := @[esp<32>,<-,4];1: esp<32> := (esp<32> + 4<32>);2: goto (0x80482cf, 0)80482cf: 5e pop esi
0: esi<32> := @[esp<32>,<-,4];1: esp<32> := (esp<32> + 4<32>);2: goto (0x80482d0, 0)80482d0: 5f pop edi
0: edi<32> := @[esp<32>,<-,4];1: esp<32> := (esp<32> + 4<32>);2: goto (0x80482d1, 0)80482d1: 5d pop ebp
0: ebp<32> := @[esp<32>,<-,4];1: esp<32> := (esp<32> + 4<32>);2: goto (0x80482d2, 0)80482d2: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return080482d3 <puts>: 80482d3: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80482d4, 0)80482d4: 31 d2 xor edx, edx
0: res32<32> := 0<32>;1: OF<1> := 0<1>;2: SF<1> := (res32<32> <s 0<32>);3: ZF<1> := (0<32> = res32<32>);4: AF<1> := 0<1>;5: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));6: CF<1> := 0<1>;7: edx<32> := res32<32>;8: goto (0x80482d6, 0)80482d6: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x80482d8, 0)80482d8: 53 push ebx
0: @[(esp<32> - 4<32>),<-,4] := ebx<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80482d9, 0)80482d9: 8b 4d 08 mov ecx, [ebp + 0x8]
0: ecx<32> := @[(ebp<32> + 8<32>),<-,4];1: goto (0x80482dc, 0)80482dc: 80 3c 11 00 cmp [ecx + edx], 0x0
0: res8<8> := @[(ecx<32> + edx<32>),<-,1];1: OF<1> :=
(@[(ecx<32> + edx<32>),<-,1]{7} &
(@[(ecx<32> + edx<32>),<-,1]{7} <> res8<8>{7}));2: SF<1> := (res8<8> <s 0<8>);3: ZF<1> := (0<8> = res8<8>);4: AF<1> := (@[(ecx<32> + edx<32>),<-,1]{3..0} <u 0<4>);5: PF<1> :=
!
((((((((res8<8>{0} ^ res8<8>{1}) ^ res8<8>{2}) ^ res8<8>{3}) ^ res8<8>{4}) ^
res8<8>{5}) ^ res8<8>{6}) ^ res8<8>{7}));6: CF<1> := (@[(ecx<32> + edx<32>),<-,1] <u 0<8>);7: goto (0x80482e0, 0)80482e0: 74 03 jz 0x80482e5
0: if ZF<1> goto (0x80482e5, 0) else goto 11: goto (0x80482e2, 0)80482e2: 42 inc edx
0: res32<32> := (edx<32> + 1<32>);1: OF<1> := (! (edx<32>{31}) & (edx<32>{31} <> res32<32>{31}));2: SF<1> := (res32<32> <s 0<32>);3: AF<1> := ((uext5 edx<32>{3..0}) + 1<5>){4};4: PF<1> :=
!
((((((((res32<32>{0} ^ res32<32>{1}) ^ res32<32>{2}) ^ res32<32>{3}) ^
res32<32>{4}) ^ res32<32>{5}) ^ res32<32>{6}) ^ res32<32>{7}));5: ZF<1> := (0<32> = res32<32>);6: edx<32> := res32<32>;7: goto (0x80482e3, 0)80482e3: eb f7 jmp 0x80482dc
0: goto (0x80482dc, 0)80482e5: b8 04 00 00 00 mov eax, 0x4
0: eax<32> := 4<32>;1: goto (0x80482ea, 0)80482ea: bb 01 00 00 00 mov ebx, 0x1
0: ebx<32> := 1<32>;1: goto (0x80482ef, 0)80482ef: cd 80 unsupported int 128
0: #unsupported cd 8080482f1: 5b pop ebx
0: ebx<32> := @[esp<32>,<-,4];1: esp<32> := (esp<32> + 4<32>);2: goto (0x80482f2, 0)80482f2: 5d pop ebp
0: ebp<32> := @[esp<32>,<-,4];1: esp<32> := (esp<32> + 4<32>);2: goto (0x80482f3, 0)80482f3: c3 ret
0: esp<32> := (esp<32> + 4<32>);1: goto @[(esp<32> - 4<32>),<-,4] #return080482f4 <exit>: 80482f4: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80482f5, 0)80482f5: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x80482fa, 0)80482fa: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x80482fc, 0)80482fc: 53 push ebx
0: @[(esp<32> - 4<32>),<-,4] := ebx<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x80482fd, 0)80482fd: 8b 5d 08 mov ebx, [ebp + 0x8]
0: ebx<32> := @[(ebp<32> + 8<32>),<-,4];1: goto (0x8048300, 0)8048300: cd 80 unsupported int 128
0: #unsupported cd 8008048302 <_start>: 8048302: 55 push ebp
0: @[(esp<32> - 4<32>),<-,4] := ebp<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048303, 0)8048303: 89 e5 mov ebp, esp
0: ebp<32> := esp<32>;1: goto (0x8048305, 0)8048305: 53 push ebx
0: @[(esp<32> - 4<32>),<-,4] := ebx<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048306, 0)8048306: 50 push eax
0: @[(esp<32> - 4<32>),<-,4] := eax<32>;1: esp<32> := (esp<32> - 4<32>);2: goto (0x8048307, 0)8048307: e8 68 fd ff ff call 0x8048074
0: esp<32> := (esp<32> - 4<32>);1: @[esp<32>,<-,4] := 0x0804830c;2: goto (0x8048074, 0) #call with return address @ (0x804830c, 0)804830c: 89 c3 mov ebx, eax
0: ebx<32> := eax<32>;1: goto (0x804830e, 0)804830e: b8 01 00 00 00 mov eax, 0x1
0: eax<32> := 1<32>;1: goto (0x8048313, 0)8048313: cd 80 unsupported int 128
0: #unsupported cd 80
tip
BINSEC is able to solves them all with a unique script.
load sections .text, .rodata from file
starting from <main>
with concrete stack pointer
replace <fgets> (s, size, _) by
size := size - 1
@[s + size] := 0
while size > 0 do
size := size - 1
@[s + size] := stdin[size]
end
return s
end
replace <puts> (s) by
print c string @[s]
reach such that @[s, 10] = 'Success!\n'z then print c string stdin
return
end
halt at <exit>
Output