Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | · | 1 | ·b8c79d26976acfeb459afaebe5e1b491·13336·debug·optional·boolector-dbgsym_1.5.118.6b56be4.121013-1_i386.deb |
2 | · | 2 | ·100624a8e9403d451bcc5f1297347ece·311604·science·extra·boolector_1.5.118.6b56be4.121013-1_i386.deb |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary |
2 | -rw-r--r--···0········0········0······70 | 2 | -rw-r--r--···0········0········0······700·2012-10-16·12:01:32.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0···3107 | 3 | -rw-r--r--···0········0········0···310712·2012-10-16·12:01:32.000000·data.tar.xz |
Offset 6, 19 lines modified | Offset 6, 19 lines modified | ||
6 | Program·Headers: | 6 | Program·Headers: |
7 | ··Type···········Offset···VirtAddr···PhysAddr···FileSiz·MemSiz··Flg·Align | 7 | ··Type···········Offset···VirtAddr···PhysAddr···FileSiz·MemSiz··Flg·Align |
8 | ··PHDR···········0x000034·0x00000034·0x00000034·0x00160·0x00160·R···0x4 | 8 | ··PHDR···········0x000034·0x00000034·0x00000034·0x00160·0x00160·R···0x4 |
9 | ··INTERP·········0x000194·0x00000194·0x00000194·0x00013·0x00013·R···0x1 | 9 | ··INTERP·········0x000194·0x00000194·0x00000194·0x00013·0x00013·R···0x1 |
10 | ······[Requesting·program·interpreter:·/lib/ld-linux.so.2] | 10 | ······[Requesting·program·interpreter:·/lib/ld-linux.so.2] |
11 | ··LOAD···········0x000000·0x00000000·0x00000000·0x00c2c·0x00c2c·R···0x1000 | 11 | ··LOAD···········0x000000·0x00000000·0x00000000·0x00c2c·0x00c2c·R···0x1000 |
12 | ··LOAD···········0x001000·0x00001000·0x00001000·0x9bb58·0x9bb58·R·E·0x1000 | 12 | ··LOAD···········0x001000·0x00001000·0x00001000·0x9bb58·0x9bb58·R·E·0x1000 |
13 | ··LOAD···········0x09d000·0x0009d000·0x0009d000·0x362d | 13 | ··LOAD···········0x09d000·0x0009d000·0x0009d000·0x362dc·0x362dc·R···0x1000 |
14 | ··LOAD···········0x0d3e38·0x000d4e38·0x000d4e38·0x002c4·0x00304·RW··0x1000 | 14 | ··LOAD···········0x0d3e38·0x000d4e38·0x000d4e38·0x002c4·0x00304·RW··0x1000 |
15 | ··DYNAMIC········0x0d3ed4·0x000d4ed4·0x000d4ed4·0x000f8·0x000f8·RW··0x4 | 15 | ··DYNAMIC········0x0d3ed4·0x000d4ed4·0x000d4ed4·0x000f8·0x000f8·RW··0x4 |
16 | ··NOTE···········0x0001a8·0x000001a8·0x000001a8·0x00044·0x00044·R···0x4 | 16 | ··NOTE···········0x0001a8·0x000001a8·0x000001a8·0x00044·0x00044·R···0x4 |
17 | ··GNU_EH_FRAME···0x0a89 | 17 | ··GNU_EH_FRAME···0x0a8940·0x000a8940·0x000a8940·0x019dc·0x019dc·R···0x4 |
18 | ··GNU_STACK······0x000000·0x00000000·0x00000000·0x00000·0x00000·RW··0x10 | 18 | ··GNU_STACK······0x000000·0x00000000·0x00000000·0x00000·0x00000·RW··0x10 |
19 | ··GNU_RELRO······0x0d3e38·0x000d4e38·0x000d4e38·0x001c8·0x001c8·R···0x1 | 19 | ··GNU_RELRO······0x0d3e38·0x000d4e38·0x000d4e38·0x001c8·0x001c8·R···0x1 |
20 | ·Section·to·Segment·mapping: | 20 | ·Section·to·Segment·mapping: |
21 | ··Segment·Sections... | 21 | ··Segment·Sections... |
22 | ···00····· | 22 | ···00····· |
23 | ···01·····.interp· | 23 | ···01·····.interp· |
Offset 14, 17 lines modified | Offset 14, 17 lines modified | ||
14 | ··[·9]·.rel.dyn··········REL·············000008ec·0008ec·0001b8·08···A··5···0··4 | 14 | ··[·9]·.rel.dyn··········REL·············000008ec·0008ec·0001b8·08···A··5···0··4 |
15 | ··[10]·.rel.plt··········REL·············00000aa4·000aa4·000188·08··AI··5··24··4 | 15 | ··[10]·.rel.plt··········REL·············00000aa4·000aa4·000188·08··AI··5··24··4 |
16 | ··[11]·.init·············PROGBITS········00001000·001000·000020·00··AX··0···0··4 | 16 | ··[11]·.init·············PROGBITS········00001000·001000·000020·00··AX··0···0··4 |
17 | ··[12]·.plt··············PROGBITS········00001020·001020·000320·04··AX··0···0·16 | 17 | ··[12]·.plt··············PROGBITS········00001020·001020·000320·04··AX··0···0·16 |
18 | ··[13]·.plt.got··········PROGBITS········00001340·001340·000008·08··AX··0···0··8 | 18 | ··[13]·.plt.got··········PROGBITS········00001340·001340·000008·08··AX··0···0··8 |
19 | ··[14]·.text·············PROGBITS········00001350·001350·09b7f1·00··AX··0···0·16 | 19 | ··[14]·.text·············PROGBITS········00001350·001350·09b7f1·00··AX··0···0·16 |
20 | ··[15]·.fini·············PROGBITS········0009cb44·09cb44·000014·00··AX··0···0··4 | 20 | ··[15]·.fini·············PROGBITS········0009cb44·09cb44·000014·00··AX··0···0··4 |
21 | ··[16]·.rodata···········PROGBITS········0009d000·09d000·00b93 | 21 | ··[16]·.rodata···········PROGBITS········0009d000·09d000·00b93e·00···A··0···0·32 |
22 | ··[17]·.eh_frame_hdr·····PROGBITS········000a89 | 22 | ··[17]·.eh_frame_hdr·····PROGBITS········000a8940·0a8940·0019dc·00···A··0···0··4 |
23 | ··[18]·.eh_frame·········PROGBITS········000aa31 | 23 | ··[18]·.eh_frame·········PROGBITS········000aa31c·0aa31c·028fc0·00···A··0···0··4 |
24 | ··[19]·.init_array·······INIT_ARRAY······000d4e38·0d3e38·000004·04··WA··0···0··4 | 24 | ··[19]·.init_array·······INIT_ARRAY······000d4e38·0d3e38·000004·04··WA··0···0··4 |
25 | ··[20]·.fini_array·······FINI_ARRAY······000d4e3c·0d3e3c·000004·04··WA··0···0··4 | 25 | ··[20]·.fini_array·······FINI_ARRAY······000d4e3c·0d3e3c·000004·04··WA··0···0··4 |
26 | ··[21]·.data.rel.ro······PROGBITS········000d4e40·0d3e40·000094·00··WA··0···0·32 | 26 | ··[21]·.data.rel.ro······PROGBITS········000d4e40·0d3e40·000094·00··WA··0···0·32 |
27 | ··[22]·.dynamic··········DYNAMIC·········000d4ed4·0d3ed4·0000f8·08··WA··6···0··4 | 27 | ··[22]·.dynamic··········DYNAMIC·········000d4ed4·0d3ed4·0000f8·08··WA··6···0··4 |
28 | ··[23]·.got··············PROGBITS········000d4fcc·0d3fcc·000030·04··WA··0···0··4 | 28 | ··[23]·.got··············PROGBITS········000d4fcc·0d3fcc·000030·04··WA··0···0··4 |
29 | ··[24]·.got.plt··········PROGBITS········000d5000·0d4000·0000d0·04··WA··0···0··4 | 29 | ··[24]·.got.plt··········PROGBITS········000d5000·0d4000·0000d0·04··WA··0···0··4 |
30 | ··[25]·.data·············PROGBITS········000d50d0·0d40d0·00002c·00··WA··0···0··4 | 30 | ··[25]·.data·············PROGBITS········000d50d0·0d40d0·00002c·00··WA··0···0··4 |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.build-id | 1 | Displaying·notes·found·in:·.note.gnu.build-id |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·841b78b9b782395b10ed09e4e8a3c865be4f6cdb |
4 | Displaying·notes·found·in:·.note.ABI-tag | 4 | Displaying·notes·found·in:·.note.ABI-tag |
5 | ··Owner················Data·size·» Description | 5 | ··Owner················Data·size·» Description |
6 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 | 6 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 |
Offset 88, 15 lines modified | Offset 88, 15 lines modified | ||
88 | multiple·input·files | 88 | multiple·input·files |
89 | gunzip·-c·%s | 89 | gunzip·-c·%s |
90 | bzcat·%s | 90 | bzcat·%s |
91 | 7z·x·-so·%s·2>/dev/null | 91 | 7z·x·-so·%s·2>/dev/null |
92 | can·not·read·'%s' | 92 | can·not·read·'%s' |
93 | Boolector·Version·%s·%s | 93 | Boolector·Version·%s·%s |
94 | Sat·Oct·13·13:59:09·CEST·2012 | 94 | Sat·Oct·13·13:59:09·CEST·2012 |
95 | 95 | Wed·Jan·10·00:53:30··2024 | |
96 | setting·signal·handlers | 96 | setting·signal·handlers |
97 | no·time·limit | 97 | no·time·limit |
98 | dumping·BTOR·expressions | 98 | dumping·BTOR·expressions |
99 | dumping·in·SMT·format | 99 | dumping·in·SMT·format |
100 | status·sat | 100 | status·sat |
101 | status·unsat | 101 | status·unsat |
102 | status·unknown | 102 | status·unknown |
Offset 1433, 21 lines modified | Offset 1433, 21 lines modified | ||
1433 | MAXIRRLIDX·==·%ld | 1433 | MAXIRRLIDX·==·%ld |
1434 | chkclone | 1434 | chkclone |
1435 | p·cnf·%d·%d | 1435 | p·cnf·%d·%d |
1436 | not·forked | 1436 | not·forked |
1437 | expected·forked·state | 1437 | expected·forked·state |
1438 | $tI-Wall·-O3·-DNLGLOG·-DNDEBUG·-DNCHKSOL·-DNLGLPICOSAT· | 1438 | $tI-Wall·-O3·-DNLGLOG·-DNDEBUG·-DNCHKSOL·-DNLGLPICOSAT· |
1439 | %sCopyright·(C)·2010-2012·Armin·Biere·JKU·Linz·Austria. | 1439 | %sCopyright·(C)·2010-2012·Armin·Biere·JKU·Linz·Austria. |
1440 | Linux·i | 1440 | Linux·i-capture-the-hostname·6.1.0-17-686-pae·i686 |
1441 | ala·b02aa1a04343558c4252b5f4a723be021964f652 | 1441 | ala·b02aa1a04343558c4252b5f4a723be021964f652 |
1442 | %sVersion·%s·%s | 1442 | %sVersion·%s·%s |
1443 | %sAll·rights·reserved. | 1443 | %sAll·rights·reserved. |
1444 | Sat·Oct·13·14:05:26·CEST·2012 | 1444 | Sat·Oct·13·14:05:26·CEST·2012 |
1445 | %sreleased·%s | 1445 | %sreleased·%s |
1446 | 1446 | Wed·Jan·10·00:53:27··2024 | |
1447 | %scompiled·%s | 1447 | %scompiled·%s |
1448 | .shstrtab | 1448 | .shstrtab |
1449 | .note.gnu.build-id | 1449 | .note.gnu.build-id |
1450 | .note.ABI-tag | 1450 | .note.ABI-tag |
1451 | .gnu.hash | 1451 | .gnu.hash |
1452 | .gnu.version | 1452 | .gnu.version |
1453 | .gnu.version_r | 1453 | .gnu.version_r |
Offset 1360, 22 lines modified | Offset 1360, 22 lines modified | ||
1360 | » push···%eax | 1360 | » push···%eax |
1361 | » push···%esi | 1361 | » push···%esi |
1362 | » call···1800·<__cxa_finalize@plt+0x4c0> | 1362 | » call···1800·<__cxa_finalize@plt+0x4c0> |
1363 | » pop····%eax | 1363 | » pop····%eax |
1364 | » lea····-0x37dca(%ebx),%eax | 1364 | » lea····-0x37dca(%ebx),%eax |
1365 | » pop····%edx | 1365 | » pop····%edx |
1366 | » push···%eax | 1366 | » push···%eax |
1367 | » lea····-0x2c | 1367 | » lea····-0x2c6f8(%ebx),%eax |
1368 | » push···%eax | 1368 | » push···%eax |
1369 | » call···1800·<__cxa_finalize@plt+0x4c0> | 1369 | » call···1800·<__cxa_finalize@plt+0x4c0> |
1370 | » lea····-0x37dac(%ebx),%eax | 1370 | » lea····-0x37dac(%ebx),%eax |
1371 | » pop····%ecx | 1371 | » pop····%ecx |
1372 | » pop····%ebp | 1372 | » pop····%ebp |
1373 | » push···%eax | 1373 | » push···%eax |
1374 | » lea····-0x2c6 | 1374 | » lea····-0x2c6cf(%ebx),%eax |
1375 | » push···%eax | 1375 | » push···%eax |
1376 | » call···1800·<__cxa_finalize@plt+0x4c0> | 1376 | » call···1800·<__cxa_finalize@plt+0x4c0> |
1377 | » pop····%eax | 1377 | » pop····%eax |
1378 | » pop····%edx | 1378 | » pop····%edx |
1379 | » push···%edi | 1379 | » push···%edi |
1380 | » push···%esi | 1380 | » push···%esi |
1381 | » xor····%esi,%esi | 1381 | » xor····%esi,%esi |
Offset 53130, 15 lines modified | Offset 53130, 15 lines modified | ||
53130 | » je·····2bde0·<__cxa_finalize@plt+0x2aaa0> | 53130 | » je·····2bde0·<__cxa_finalize@plt+0x2aaa0> |
53131 | » movzbl·0x0(%ebp),%eax | 53131 | » movzbl·0x0(%ebp),%eax |
53132 | » and····$0x1f,%eax | 53132 | » and····$0x1f,%eax |
53133 | » cmp····$0x2,%al | 53133 | » cmp····$0x2,%al |
53134 | » je·····2be20·<__cxa_finalize@plt+0x2aae0> | 53134 | » je·····2be20·<__cxa_finalize@plt+0x2aae0> |
53135 | » cmp····$0x3,%al | 53135 | » cmp····$0x3,%al |
53136 | » lea····-0x32781(%ebx),%edx | 53136 | » lea····-0x32781(%ebx),%edx |
53137 | » lea····-0x2c74 | 53137 | » lea····-0x2c743(%ebx),%eax |
53138 | » cmovne·%edx,%eax | 53138 | » cmovne·%edx,%eax |
53139 | » mov····0x8(%ebp),%edx | 53139 | » mov····0x8(%ebp),%edx |
53140 | » jmp····2bdeb·<__cxa_finalize@plt+0x2aaab> | 53140 | » jmp····2bdeb·<__cxa_finalize@plt+0x2aaab> |
53141 | » lea····0x0(%esi,%eiz,1),%esi | 53141 | » lea····0x0(%esi,%eiz,1),%esi |
53142 | » lea····-0x32781(%ebx),%eax | 53142 | » lea····-0x32781(%ebx),%eax |
53143 | » mov····$0xffffffff,%edx | 53143 | » mov····$0xffffffff,%edx |
53144 | » push···%edx | 53144 | » push···%edx |
Offset 190039, 15 lines modified | Offset 190039, 15 lines modified | ||
190039 | » add····$0x38a07,%ebx | 190039 | » add····$0x38a07,%ebx |
190040 | » sub····$0x28,%esp | 190040 | » sub····$0x28,%esp |
190041 | » mov····0x44(%esp),%ebp | 190041 | » mov····0x44(%esp),%ebp |
190042 | » push···0x40(%esp) | 190042 | » push···0x40(%esp) |
190043 | » call···11c0·<strlen@plt> | 190043 | » call···11c0·<strlen@plt> |
190044 | » mov····$0x4e,%edx | 190044 | » mov····$0x4e,%edx |
190045 | » add····$0x10,%esp | 190045 | » add····$0x10,%esp |
190046 | » lea····-0x2c7 | 190046 | » lea····-0x2c74b(%ebx),%esi |
190047 | » sub····%eax,%edx | 190047 | » sub····%eax,%edx |
190048 | » lea····-0x32748(%ebx),%edi | 190048 | » lea····-0x32748(%ebx),%edi |
190049 | » mov····%edx,0x4(%esp) | 190049 | » mov····%edx,0x4(%esp) |
190050 | » push···0x30(%esp) | 190050 | » push···0x30(%esp) |
190051 | » push···0x38(%esp) | 190051 | » push···0x38(%esp) |
190052 | » mov····%esi,0x10(%esp) | 190052 | » mov····%esi,0x10(%esp) |
190053 | » push···%esi | 190053 | » push···%esi |
Offset 190055, 19 lines modified | Offset 190055, 19 lines modified | ||
190055 | » call···11e0·<fprintf@plt> | 190055 | » call···11e0·<fprintf@plt> |
190056 | » add····$0xc,%esp | 190056 | » add····$0xc,%esp |
190057 | » push···0x38(%esp) | 190057 | » push···0x38(%esp) |
190058 | » mov····%edi,0x14(%esp) | 190058 | » mov····%edi,0x14(%esp) |
190059 | » push···%edi | 190059 | » push···%edi |
190060 | » push···%ebp | 190060 | » push···%ebp |
190061 | » call···11e0·<fprintf@plt> | 190061 | » call···11e0·<fprintf@plt> |
190062 | » lea····-0x2c7 | 190062 | » lea····-0x2c774(%ebx),%eax |
190063 | » mov····%eax,(%esp) | 190063 | » mov····%eax,(%esp) |
190064 | » lea····-0x2c7 | 190064 | » lea····-0x2c745(%ebx),%eax |
190065 | » push···%eax | 190065 | » push···%eax |
190066 | » lea····-0x2c74 | 190066 | » lea····-0x2c741(%ebx),%eax |
190067 | » push···0x48(%esp) | 190067 | » push···0x48(%esp) |
190068 | » push···%eax | 190068 | » push···%eax |
190069 | » push···%ebp | 190069 | » push···%ebp |
190070 | » call···11e0·<fprintf@plt> | 190070 | » call···11e0·<fprintf@plt> |
190071 | » add····$0x1c,%esp | 190071 | » add····$0x1c,%esp |
190072 | » push···0x38(%esp) | 190072 | » push···0x38(%esp) |
190073 | » push···%edi | 190073 | » push···%edi |
Offset 190076, 35 lines modified | Offset 190076, 35 lines modified | ||
190076 | » add····$0xc,%esp | 190076 | » add····$0xc,%esp |
190077 | » lea····-0x2c7e8(%ebx),%eax | 190077 | » lea····-0x2c7e8(%ebx),%eax |
190078 | » push···0x38(%esp) | 190078 | » push···0x38(%esp) |
190079 | » push···%eax | 190079 | » push···%eax |
190080 | » push···%ebp | 190080 | » push···%ebp |
190081 | » call···11e0·<fprintf@plt> | 190081 | » call···11e0·<fprintf@plt> |
190082 | » add····$0xc,%esp | 190082 | » add····$0xc,%esp |
190083 | » lea····-0x2c73 | 190083 | » lea····-0x2c730(%ebx),%eax |
190084 | » push···0x38(%esp) | 190084 | » push···0x38(%esp) |
190085 | » push···%eax | 190085 | » push···%eax |
190086 | » push···%ebp | 190086 | » push···%ebp |
190087 | » call···11e0·<fprintf@plt> | 190087 | » call···11e0·<fprintf@plt> |
190088 | » add····$0xc,%esp | 190088 | » add····$0xc,%esp |
190089 | » push···0x38(%esp) | 190089 | » push···0x38(%esp) |
190090 | » push···%edi | 190090 | » push···%edi |
190091 | » push···%ebp | 190091 | » push···%ebp |
190092 | » call···11e0·<fprintf@plt> | 190092 | » call···11e0·<fprintf@plt> |
190093 | » lea····-0x2c7 | 190093 | » lea····-0x2c718(%ebx),%eax |
190094 | » push···%eax | 190094 | » push···%eax |
190095 | » lea····-0x2c | 190095 | » lea····-0x2c6fa(%ebx),%eax |
190096 | » push···0x48(%esp) | 190096 | » push···0x48(%esp) |
190097 | » push···%eax | 190097 | » push···%eax |
190098 | » push···%ebp | 190098 | » push···%ebp |
190099 | » call···11e0·<fprintf@plt> | 190099 | » call···11e0·<fprintf@plt> |
190100 | » add····$0x20,%esp | 190100 | » add····$0x20,%esp |
190101 | » lea····-0x2c6 | 190101 | » lea····-0x2c6eb(%ebx),%eax |
190102 | » push···%eax | 190102 | » push···%eax |
190103 | » lea····-0x2c6d | 190103 | » lea····-0x2c6d1(%ebx),%eax |
190104 | » push···0x38(%esp) | 190104 | » push···0x38(%esp) |
190105 | » push···%eax | 190105 | » push···%eax |
190106 | » push···%ebp | 190106 | » push···%ebp |
190107 | » call···11e0·<fprintf@plt> | 190107 | » call···11e0·<fprintf@plt> |
190108 | » add····$0xc,%esp | 190108 | » add····$0xc,%esp |
190109 | » push···0x38(%esp) | 190109 | » push···0x38(%esp) |
190110 | » push···%edi | 190110 | » push···%edi |
Offset 190230, 15 lines modified | Offset 190230, 15 lines modified | ||
190230 | » jmp····9c749·<__cxa_finalize@plt+0x9b409> | 190230 | » jmp····9c749·<__cxa_finalize@plt+0x9b409> |
190231 | » mov····%edi,%esi | 190231 | » mov····%edi,%esi |
190232 | » jmp····9c770·<__cxa_finalize@plt+0x9b430> | 190232 | » jmp····9c770·<__cxa_finalize@plt+0x9b430> |
190233 | » lea····0x0(%esi,%eiz,1),%esi | 190233 | » lea····0x0(%esi,%eiz,1),%esi |
190234 | » nop | 190234 | » nop |
190235 | » call···54aa·<__cxa_finalize@plt+0x416a> | 190235 | » call···54aa·<__cxa_finalize@plt+0x416a> |
190236 | » add····$0x3879b,%eax | 190236 | » add····$0x3879b,%eax |
190237 | » lea····-0x2c7 | 190237 | » lea····-0x2c778(%eax),%eax |
190238 | » ret | 190238 | » ret |
190239 | » xchg···%ax,%ax | 190239 | » xchg···%ax,%ax |
190240 | » xchg···%ax,%ax | 190240 | » xchg···%ax,%ax |
190241 | » xchg···%ax,%ax | 190241 | » xchg···%ax,%ax |
190242 | » xchg···%ax,%ax | 190242 | » xchg···%ax,%ax |
190243 | » xchg···%ax,%ax | 190243 | » xchg···%ax,%ax |
190244 | » xchg···%ax,%ax | 190244 | » xchg···%ax,%ax |
Offset 33, 16 lines modified | Offset 33, 16 lines modified | ||
33 | ··0x0009d1e0·2e627a32·00627a63·61742025·73002e37·.bz2.bzcat·%s..7 | 33 | ··0x0009d1e0·2e627a32·00627a63·61742025·73002e37·.bz2.bzcat·%s..7 |
34 | ··0x0009d1f0·7a00377a·2078202d·736f2025·7320323e·z.7z·x·-so·%s·2> | 34 | ··0x0009d1f0·7a00377a·2078202d·736f2025·7320323e·z.7z·x·-so·%s·2> |
35 | ··0x0009d200·2f646576·2f6e756c·6c006361·6e206e6f·/dev/null.can·no | 35 | ··0x0009d200·2f646576·2f6e756c·6c006361·6e206e6f·/dev/null.can·no |
36 | ··0x0009d210·74207265·61642027·2573270a·00426f6f·t·read·'%s'..Boo | 36 | ··0x0009d210·74207265·61642027·2573270a·00426f6f·t·read·'%s'..Boo |
37 | ··0x0009d220·6c656374·6f722056·65727369·6f6e2025·lector·Version·% | 37 | ··0x0009d220·6c656374·6f722056·65727369·6f6e2025·lector·Version·% |
38 | ··0x0009d230·73202573·0a005361·74204f63·74203133·s·%s..Sat·Oct·13 | 38 | ··0x0009d230·73202573·0a005361·74204f63·74203133·s·%s..Sat·Oct·13 |
39 | ··0x0009d240·2031333a·35393a30·39204345·53542032··13:59:09·CEST·2 | 39 | ··0x0009d240·2031333a·35393a30·39204345·53542032··13:59:09·CEST·2 |
40 | ··0x0009d250·30313200·5 | 40 | ··0x0009d250·30313200·57656420·4a616e20·31302030·012.Wed·Jan·10·0 |
41 | ··0x0009d260·3 | 41 | ··0x0009d260·303a3533·3a333020·20323032·34007365·0:53:30··2024.se |
42 | ··0x0009d270·7474696e·67207369·676e616c·2068616e·tting·signal·han | 42 | ··0x0009d270·7474696e·67207369·676e616c·2068616e·tting·signal·han |
43 | ··0x0009d280·646c6572·730a006e·6f207469·6d65206c·dlers..no·time·l | 43 | ··0x0009d280·646c6572·730a006e·6f207469·6d65206c·dlers..no·time·l |
44 | ··0x0009d290·696d6974·0a002e73·6d743200·64756d70·imit...smt2.dump | 44 | ··0x0009d290·696d6974·0a002e73·6d743200·64756d70·imit...smt2.dump |
45 | ··0x0009d2a0·696e6720·42544f52·20657870·72657373·ing·BTOR·express | 45 | ··0x0009d2a0·696e6720·42544f52·20657870·72657373·ing·BTOR·express |
46 | ··0x0009d2b0·696f6e73·0a006475·6d70696e·6720696e·ions..dumping·in | 46 | ··0x0009d2b0·696f6e73·0a006475·6d70696e·6720696e·ions..dumping·in |
47 | ··0x0009d2c0·20534d54·20666f72·6d61740a·00737461··SMT·format..sta | 47 | ··0x0009d2c0·20534d54·20666f72·6d61740a·00737461··SMT·format..sta |
48 | ··0x0009d2d0·74757320·7361740a·00737461·74757320·tus·sat..status· | 48 | ··0x0009d2d0·74757320·7361740a·00737461·74757320·tus·sat..status· |
Offset 2945, 23 lines modified | Offset 2945, 23 lines modified | ||
2945 | ··0x000a87e0·2d57616c·6c202d4f·33202d44·4e4c474c·-Wall·-O3·-DNLGL | 2945 | ··0x000a87e0·2d57616c·6c202d4f·33202d44·4e4c474c·-Wall·-O3·-DNLGL |
2946 | ··0x000a87f0·4f47202d·444e4445·42554720·2d444e43·OG·-DNDEBUG·-DNC | 2946 | ··0x000a87f0·4f47202d·444e4445·42554720·2d444e43·OG·-DNDEBUG·-DNC |
2947 | ··0x000a8800·484b534f·4c202d44·4e4c474c·5049434f·HKSOL·-DNLGLPICO | 2947 | ··0x000a8800·484b534f·4c202d44·4e4c474c·5049434f·HKSOL·-DNLGLPICO |
2948 | ··0x000a8810·53415420·00000000·2573436f·70797269·SAT·....%sCopyri | 2948 | ··0x000a8810·53415420·00000000·2573436f·70797269·SAT·....%sCopyri |
2949 | ··0x000a8820·67687420·28432920·32303130·2d323031·ght·(C)·2010-201 | 2949 | ··0x000a8820·67687420·28432920·32303130·2d323031·ght·(C)·2010-201 |
2950 | ··0x000a8830·32204172·6d696e20·42696572·65204a4b·2·Armin·Biere·JK | 2950 | ··0x000a8830·32204172·6d696e20·42696572·65204a4b·2·Armin·Biere·JK |
2951 | ··0x000a8840·55204c69·6e7a2041·75737472·69612e0a·U·Linz·Austria.. | 2951 | ··0x000a8840·55204c69·6e7a2041·75737472·69612e0a·U·Linz·Austria.. |
2952 | ··0x000a8850·00000000·4c696e75·782069 | 2952 | ··0x000a8850·00000000·4c696e75·7820692d·63617074·....Linux·i-capt |
2953 | ··0x000a8860·2d693338·3620362e·312e302d·31372d61·-i386·6.1.0-17-a | ||
2954 | ··0x000a88 | 2953 | ··0x000a8860·7572652d·7468652d·686f7374·6e616d65·ure-the-hostname |
2954 | ··0x000a8870·20362e31·2e302d31·372d3638·362d7061··6.1.0-17-686-pa | ||
2955 | ··0x000a8880·65206936·38360000·616c6120·62303261·e·i686..ala·b02a | ||
2955 | ··0x000a88 | 2956 | ··0x000a8890·61316130·34333433·35353863·34323532·a1a04343558c4252 |
2956 | ··0x000a88 | 2957 | ··0x000a88a0·62356634·61373233·62653032·31393634·b5f4a723be021964 |
2957 | ··0x000a88 | 2958 | ··0x000a88b0·66363532·00257325·730a0061·6c610025·f652.%s%s..ala.% |
2958 | ··0x000a88 | 2959 | ··0x000a88c0·73566572·73696f6e·20257320·25730a00·sVersion·%s·%s.. |
2959 | ··0x000a88 | 2960 | ··0x000a88d0·2573416c·6c207269·67687473·20726573·%sAll·rights·res |
2960 | ··0x000a88 | 2961 | ··0x000a88e0·65727665·642e0a00·53617420·4f637420·erved...Sat·Oct· |
2961 | ··0x000a88 | 2962 | ··0x000a88f0·31332031·343a3035·3a323620·43455354·13·14:05:26·CEST |
2962 | ··0x000a8 | 2963 | ··0x000a8900·20323031·32002573·72656c65·61736564··2012.%sreleased |
2963 | ··0x000a8900·61736564·2025730a·00547565·20466562·ased·%s..Tue·Feb | ||
2964 | ··0x000a8910·20 | 2964 | ··0x000a8910·2025730a·00576564·204a616e·20313020··%s..Wed·Jan·10· |
2965 | ··0x000a8920·30303a35·333a3237·20203230·32340025·00:53:27··2024.% | ||
2965 | ··0x000a89 | 2966 | ··0x000a8930·73636f6d·70696c65·64202573·0a00·····scompiled·%s.. |
2966 | ··0x000a8930·0a00································.. | ||
Offset 1, 417 lines modified | Offset 1, 417 lines modified | ||
Diff chunk too large, falling back to line-by-line diff (414 lines added, 414 lines removed) | |||
1 | Hex·dump·of·section·'.eh_frame_hdr': | 1 | Hex·dump·of·section·'.eh_frame_hdr': |
2 | ··0x000a89 | 2 | ··0x000a8940·011b033b·d8190000·3a030000·e086f5ff·...;....:....... |
3 | ··0x000a89 | 3 | ··0x000a8950·201a0000·008af5ff·441a0000·108af5ff··.......D....... |
4 | ··0x000a89 | 4 | ··0x000a8960·d4530000·258af5ff·e8830000·2c8af5ff·.S..%.......,... |
5 | ··0x000a89 | 5 | ··0x000a8970·1cc20100·318af5ff·40d90100·368af5ff·....1...@...6... |
6 | ··0x000a89 | 6 | ··0x000a8980·98350200·508af5ff·581a0000·908af5ff·.5..P...X....... |
7 | ··0x000a89 | 7 | ··0x000a8990·f4190000·d08bf5ff·8c1a0000·308cf5ff·............0... |
8 | ··0x000a89 | 8 | ··0x000a89a0·f01a0000·908cf5ff·481b0000·d08cf5ff·........H....... |
9 | ··0x000a89 | 9 | ··0x000a89b0·801b0000·b08df5ff·ec1b0000·708ef5ff·............p... |
10 | ··0x000a89 | 10 | ··0x000a89c0·601c0000·c08ef5ff·a41c0000·008ff5ff·`............... |
11 | ··0x000a89 | 11 | ··0x000a89d0·ec1c0000·3090f5ff·7c1d0000·7090f5ff·....0...|...p... |
12 | ··0x000a89 | 12 | ··0x000a89e0·c41d0000·d090f5ff·f81d0000·9094f5ff·................ |
13 | ··0x000a89 | 13 | ··0x000a89f0·a81f0000·e094f5ff·f01f0000·90b5f5ff·................ |
14 | ··0x000a8 | 14 | ··0x000a8a00·682b0000·f0b5f5ff·a02b0000·60b6f5ff·h+.......+..`... |
15 | ··0x000a8a | 15 | ··0x000a8a10·f42b0000·d0b6f5ff·3c2c0000·40b7f5ff·.+......<,..@... |
16 | ··0x000a8a | 16 | ··0x000a8a20·842c0000·70b7f5ff·a82c0000·10b8f5ff·.,..p....,...... |
17 | ··0x000a8a | 17 | ··0x000a8a30·202d0000·50b8f5ff·582d0000·70b8f5ff··-..P...X-..p... |
18 | ··0x000a8a | 18 | ··0x000a8a40·7c2d0000·20b9f5ff·cc2d0000·40baf5ff·|-..·....-..@... |
19 | ··0x000a8a | 19 | ··0x000a8a50·502e0000·70baf5ff·742e0000·a0baf5ff·P...p...t....... |
20 | ··0x000a8a | 20 | ··0x000a8a60·9c2e0000·d0baf5ff·c42e0000·00bbf5ff·................ |
21 | ··0x000a8a | 21 | ··0x000a8a70·f02e0000·40bbf5ff·342f0000·70bbf5ff·....@...4/..p... |
22 | ··0x000a8a | 22 | ··0x000a8a80·5c2f0000·b0bbf5ff·942f0000·e0bbf5ff·\/......./...... |
23 | ··0x000a8a | 23 | ··0x000a8a90·b82f0000·40bcf5ff·10300000·70bcf5ff·./..@....0..p... |
24 | ··0x000a8a | 24 | ··0x000a8aa0·38300000·a0bcf5ff·60300000·d0bcf5ff·80......`0...... |
25 | ··0x000a8a | 25 | ··0x000a8ab0·88300000·00bdf5ff·ac300000·30bdf5ff·.0.......0..0... |
26 | ··0x000a8a | 26 | ··0x000a8ac0·d4300000·60bdf5ff·fc300000·d0bdf5ff·.0..`....0...... |
27 | ··0x000a8a | 27 | ··0x000a8ad0·54310000·10bef5ff·98310000·d0c0f5ff·T1.......1...... |
28 | ··0x000a8a | 28 | ··0x000a8ae0·5c330000·a0c3f5ff·30340000·30c4f5ff·\3......04..0... |
29 | ··0x000a8a | 29 | ··0x000a8af0·8c340000·60c5f5ff·d4340000·70c5f5ff·.4..`....4..p... |
30 | ··0x000a8 | 30 | ··0x000a8b00·e8340000·80c5f5ff·fc340000·30c6f5ff·.4.......4..0... |
31 | ··0x000a8b | 31 | ··0x000a8b10·60350000·70c6f5ff·84350000·80c6f5ff·`5..p....5...... |
32 | ··0x000a8b | 32 | ··0x000a8b20·98350000·f0c6f5ff·e4350000·d0c7f5ff·.5.......5...... |
33 | ··0x000a8b | 33 | ··0x000a8b30·58360000·90c8f5ff·d8360000·a0c8f5ff·X6.......6...... |
34 | ··0x000a8b | 34 | ··0x000a8b40·ec360000·f0c8f5ff·38370000·10c9f5ff·.6......87...... |
35 | ··0x000a8b | 35 | ··0x000a8b50·4c370000·70c9f5ff·98370000·80c9f5ff·L7..p....7...... |
36 | ··0x000a8b | 36 | ··0x000a8b60·ac370000·90c9f5ff·c0370000·d0c9f5ff·.7.......7...... |
37 | ··0x000a8b | 37 | ··0x000a8b70·ec370000·e0c9f5ff·00380000·f0c9f5ff·.7.......8...... |
38 | ··0x000a8b | 38 | ··0x000a8b80·14380000·00caf5ff·28380000·10caf5ff·.8......(8...... |
39 | ··0x000a8b | 39 | ··0x000a8b90·3c380000·20caf5ff·50380000·6acbf5ff·<8..·...P8..j... |
40 | ··0x000a8b | 40 | ··0x000a8ba0·a0380000·6ecbf5ff·b4380000·72cbf5ff·.8..n....8..r... |
41 | ··0x000a8b | 41 | ··0x000a8bb0·c8380000·80cbf5ff·dc380000·f0cbf5ff·.8.......8...... |
42 | ··0x000a8b | 42 | ··0x000a8bc0·14390000·70cdf5ff·a4390000·20cef5ff·.9..p....9..·... |
43 | ··0x000a8b | 43 | ··0x000a8bd0·243a0000·b0cff5ff·f03a0000·10d0f5ff·$:.......:...... |
44 | ··0x000a8b | 44 | ··0x000a8be0·543b0000·20d4f5ff·a43c0000·b0d4f5ff·T;..·....<...... |
45 | ··0x000a8b | 45 | ··0x000a8bf0·043d0000·60d7f5ff·b43d0000·b0dff5ff·.=..`....=...... |
46 | ··0x000a8 | 46 | ··0x000a8c00·5c3e0000·e0e2f5ff·183f0000·50e5f5ff·\>.......?..P... |
47 | ··0x000a8c | 47 | ··0x000a8c10·d43f0000·e0e6f5ff·6c400000·d0ecf5ff·.?......l@...... |
48 | ··0x000a8c | 48 | ··0x000a8c20·08430000·50eef5ff·e8430000·90eff5ff·.C..P....C...... |
49 | ··0x000a8c | 49 | ··0x000a8c30·90440000·40f0f5ff·18450000·50f2f5ff·.D..@....E..P... |
50 | ··0x000a8c | 50 | ··0x000a8c40·28460000·70f3f5ff·c0460000·70f7f5ff·(F..p....F..p... |
51 | ··0x000a8c | 51 | ··0x000a8c50·cc480000·2010f6ff·0c4c0000·f02cf6ff·.H..·....L...,.. |
52 | ··0x000a8c | 52 | ··0x000a8c60·f8530000·2041f6ff·80580000·d041f6ff·.S..·A...X...A.. |
53 | ··0x000a8c | 53 | ··0x000a8c70·14590000·e141f6ff·28590000·f041f6ff·.Y...A..(Y...A.. |
54 | ··0x000a8c | 54 | ··0x000a8c80·3c590000·c042f6ff·8c590000·4043f6ff·<Y...B...Y..@C.. |
55 | ··0x000a8c | 55 | ··0x000a8c90·dc590000·0044f6ff·845a0000·c046f6ff·.Y...D...Z...F.. |
56 | ··0x000a8c | 56 | ··0x000a8ca0·4c5c0000·f046f6ff·605c0000·2047f6ff·L\...F..`\..·G.. |
57 | ··0x000a8c | 57 | ··0x000a8cb0·745c0000·5047f6ff·885c0000·3048f6ff·t\..PG...\..0H.. |
58 | ··0x000a8c | 58 | ··0x000a8cc0·f45c0000·9048f6ff·585d0000·6049f6ff·.\...H..X]..`I.. |
59 | ··0x000a8c | 59 | ··0x000a8cd0·fc5d0000·604bf6ff·145f0000·d04bf6ff·.]..`K..._...K.. |
60 | ··0x000a8c | 60 | ··0x000a8ce0·585f0000·704cf6ff·bc5f0000·c04cf6ff·X_..pL..._...L.. |
61 | ··0x000a8c | 61 | ··0x000a8cf0·ec5f0000·f04ef6ff·d0600000·a04ff6ff·._...N...`...O.. |
62 | ··0x000a8 | 62 | ··0x000a8d00·78610000·1052f6ff·f8610000·d079f6ff·xa...R...a...y.. |
63 | ··0x000a8d | 63 | ··0x000a8d10·106d0000·9094f6ff·1c710000·5095f6ff·.m.......q..P... |
64 | ··0x000a8d | 64 | ··0x000a8d20·9c710000·b096f6ff·18720000·209af6ff·.q.......r..·... |
65 | ··0x000a8d | 65 | ··0x000a8d30·68730000·d0d2f6ff·fc830000·f0d2f6ff·hs.............. |
66 | ··0x000a8d | 66 | ··0x000a8d40·10840000·00d3f6ff·24840000·20d3f6ff·........$...·... |
67 | ··0x000a8d | 67 | ··0x000a8d50·38840000·40d3f6ff·4c840000·70d3f6ff·8...@...L...p... |
68 | ··0x000a8d | 68 | ··0x000a8d60·60840000·a0d3f6ff·84840000·00d4f6ff·`............... |
69 | ··0x000a8d | 69 | ··0x000a8d70·b8840000·30d4f6ff·e4840000·50d4f6ff·....0.......P... |
70 | ··0x000a8d | 70 | ··0x000a8d80·04850000·70d4f6ff·28850000·10d5f6ff·....p...(....... |
71 | ··0x000a8d | 71 | ··0x000a8d90·88850000·a0d5f6ff·e0850000·30d6f6ff·............0... |
72 | ··0x000a8d | 72 | ··0x000a8da0·38860000·e0d6f6ff·a8860000·50d7f6ff·8...........P... |
73 | ··0x000a8d | 73 | ··0x000a8db0·ec860000·c0d7f6ff·38870000·80d8f6ff·........8....... |
74 | ··0x000a8d | 74 | ··0x000a8dc0·a8870000·10d9f6ff·00880000·80d9f6ff·................ |
75 | ··0x000a8d | 75 | ··0x000a8dd0·4c880000·10daf6ff·a4880000·80daf6ff·L............... |
76 | ··0x000a8d | 76 | ··0x000a8de0·f0880000·10dbf6ff·48890000·b0dbf6ff·........H....... |
77 | ··0x000a8d | 77 | ··0x000a8df0·a4890000·50dcf6ff·008a0000·10ddf6ff·....P........... |
78 | ··0x000a8 | 78 | ··0x000a8e00·788a0000·e0ddf6ff·e88a0000·10dff6ff·x............... |
79 | ··0x000a8e | 79 | ··0x000a8e10·908b0000·40e0f6ff·388c0000·70e1f6ff·....@...8...p... |
80 | ··0x000a8e | 80 | ··0x000a8e20·e08c0000·a0e2f6ff·888d0000·d0e3f6ff·................ |
81 | ··0x000a8e | 81 | ··0x000a8e30·308e0000·80e5f6ff·188f0000·d0e6f6ff·0............... |
82 | ··0x000a8e | 82 | ··0x000a8e40·d48f0000·20e8f6ff·90900000·50eaf6ff·....·.......P... |
83 | ··0x000a8e | 83 | ··0x000a8e50·b0910000·80ecf6ff·d0920000·c0eef6ff·................ |
84 | ··0x000a8e | 84 | ··0x000a8e60·00940000·00f1f6ff·30950000·40f3f6ff·........0...@... |
85 | ··0x000a8e | 85 | ··0x000a8e70·60960000·80f5f6ff·90970000·c0f7f6ff·`............... |
86 | ··0x000a8e | 86 | ··0x000a8e80·c0980000·00faf6ff·f0990000·60fcf6ff·............`... |
87 | ··0x000a8e | 87 | ··0x000a8e90·049b0000·80fef6ff·0c9c0000·c000f7ff·................ |
88 | ··0x000a8e | 88 | ··0x000a8ea0·3c9d0000·0003f7ff·6c9e0000·4005f7ff·<.......l...@... |
89 | ··0x000a8e | 89 | ··0x000a8eb0·9c9f0000·8007f7ff·cca00000·c009f7ff·................ |
90 | ··0x000a8e | 90 | ··0x000a8ec0·fca10000·000cf7ff·2ca30000·400ef7ff·........,...@... |
91 | ··0x000a8e | 91 | ··0x000a8ed0·5ca40000·8010f7ff·8ca50000·c012f7ff·\............... |
92 | ··0x000a8e | 92 | ··0x000a8ee0·bca60000·0015f7ff·eca70000·4017f7ff·............@... |
93 | ··0x000a8e | 93 | ··0x000a8ef0·1ca90000·8019f7ff·4caa0000·c01bf7ff·........L....... |
94 | ··0x000a8 | 94 | ··0x000a8f00·7cab0000·001ef7ff·acac0000·7020f7ff·|...........p·.. |
95 | ··0x000a8f | 95 | ··0x000a8f10·ecad0000·e022f7ff·2caf0000·5025f7ff·....."..,...P%.. |
96 | ··0x000a8f | 96 | ··0x000a8f20·6cb00000·c027f7ff·acb10000·302af7ff·l....'......0*.. |
97 | ··0x000a8f | 97 | ··0x000a8f30·ecb20000·702cf7ff·1cb40000·b02ef7ff·....p,.......... |
98 | ··0x000a8f | 98 | ··0x000a8f40·4cb50000·f030f7ff·7cb60000·3033f7ff·L....0..|...03.. |
99 | ··0x000a8f | 99 | ··0x000a8f50·acb70000·7035f7ff·dcb80000·b037f7ff·....p5.......7.. |
100 | ··0x000a8f | 100 | ··0x000a8f60·0cba0000·f039f7ff·3cbb0000·303cf7ff·.....9..<...0<.. |
101 | ··0x000a8f | 101 | ··0x000a8f70·6cbc0000·703ef7ff·9cbd0000·9040f7ff·l...p>.......@.. |
102 | ··0x000a8f | 102 | ··0x000a8f80·bcbe0000·a042f7ff·dcbf0000·b045f7ff·.....B.......E.. |
103 | ··0x000a8f | 103 | ··0x000a8f90·5cc10000·1049f7ff·d0c20000·404af7ff·\....I......@J.. |
104 | ··0x000a8f | 104 | ··0x000a8fa0·78c30000·704bf7ff·20c40000·404cf7ff·x...pK..·...@L.. |
105 | ··0x000a8f | 105 | ··0x000a8fb0·9cc40000·204df7ff·2cc50000·404ef7ff·....·M..,...@N.. |
106 | ··0x000a8f | 106 | ··0x000a8fc0·d4c50000·104ff7ff·50c60000·e04ff7ff·.....O..P....O.. |
107 | ··0x000a8f | 107 | ··0x000a8fd0·ccc60000·b050f7ff·48c70000·b051f7ff·.....P..H....Q.. |
108 | ··0x000a8f | 108 | ··0x000a8fe0·e4c70000·b052f7ff·80c80000·1054f7ff·.....R.......T.. |
109 | ··0x000a8f | 109 | ··0x000a8ff0·4cc90000·9055f7ff·20ca0000·2056f7ff·L....U..·...·V.. |
110 | ··0x000a | 110 | ··0x000a9000·78ca0000·7057f7ff·2ccb0000·1058f7ff·x...pW..,....X.. |
111 | ··0x000a90 | 111 | ··0x000a9010·90cb0000·f059f7ff·a4cc0000·f05bf7ff·.....Y.......[.. |
112 | ··0x000a90 | 112 | ··0x000a9020·a8cd0000·c05cf7ff·2cce0000·805df7ff·.....\..,....].. |
113 | ··0x000a90 | 113 | ··0x000a9030·88ce0000·c05df7ff·b0ce0000·f06df7ff·.....].......m.. |
114 | ··0x000a90 | 114 | ··0x000a9040·b0d20000·406ef7ff·f8d20000·f06ef7ff·....@n.......n.. |
115 | ··0x000a90 | 115 | ··0x000a9050·60d30000·206ff7ff·80d30000·3071f7ff·`...·o......0q.. |
116 | ··0x000a90 | 116 | ··0x000a9060·20d40000·c071f7ff·64d40000·f071f7ff··....q..d....q.. |
117 | ··0x000a90 | 117 | ··0x000a9070·80d40000·007cf7ff·44d50000·307cf7ff·.....|..D...0|.. |
118 | ··0x000a90 | 118 | ··0x000a9080·64d50000·a07cf7ff·d8d50000·107df7ff·d....|.......}.. |
119 | ··0x000a90 | 119 | ··0x000a9090·4cd60000·7088f7ff·bcd80000·a088f7ff·L...p........... |
120 | ··0x000a90 | 120 | ··0x000a90a0·f0d80000·d088f7ff·24d90000·5089f7ff·........$...P... |
121 | ··0x000a90 | 121 | ··0x000a90b0·68d90000·6089f7ff·7cd90000·d089f7ff·h...`...|....... |
122 | ··0x000a90 | 122 | ··0x000a90c0·d8d90000·f089f7ff·ecd90000·508af7ff·............P... |
123 | ··0x000a90 | 123 | ··0x000a90d0·18da0000·e08df7ff·e8da0000·f08df7ff·................ |
124 | ··0x000a90 | 124 | ··0x000a90e0·fcda0000·698ef7ff·4cdb0000·708ef7ff·....i...L...p... |
125 | ··0x000a90 | 125 | ··0x000a90f0·60db0000·f08ff7ff·14dc0000·9096f7ff·`............... |
Max diff block lines reached; 0/55530 bytes (0.00%) of diff not shown. |
Offset 1, 10495 lines modified | Offset 1, 10495 lines modified | ||
Diff chunk too large, falling back to line-by-line diff (10492 lines added, 10492 lines removed) | |||
1 | Hex·dump·of·section·'.eh_frame': | 1 | Hex·dump·of·section·'.eh_frame': |
2 | ··0x000aa31 | 2 | ··0x000aa31c·14000000·00000000·017a5200·017c0801·.........zR..|.. |
3 | ··0x000aa32 | 3 | ··0x000aa32c·1b0c0404·88010708·10000000·1c000000·................ |
4 | ··0x000aa33 | 4 | ··0x000aa33c·9470f5ff·36000000·00000000·14000000·.p..6........... |
5 | ··0x000aa34 | 5 | ··0x000aa34c·00000000·017a5200·017c0801·1b0c0404·.....zR..|...... |
6 | ··0x000aa35 | 6 | ··0x000aa35c·88010000·20000000·1c000000·b86cf5ff·....·........l.. |
7 | ··0x000aa36 | 7 | ··0x000aa36c·20030000·000e0846·0e0c4a0f·0b740478··......F..J..t.x |
8 | ··0x000aa37 | 8 | ··0x000aa37c·003f1a3b·2a322422·10000000·40000000·.?.;*2$"....@... |
9 | ··0x000aa38 | 9 | ··0x000aa38c·b46ff5ff·08000000·00000000·30000000·.o..........0... |
10 | ··0x000aa39 | 10 | ··0x000aa39c·54000000·f06ff5ff·34000000·00440c01·T....o..4....D.. |
11 | ··0x000aa3a | 11 | ··0x000aa3ac·00471005·02750043·10030275·7c4c0f03·.G...u.C...u|L.. |
12 | ··0x000aa3b | 12 | ··0x000aa3bc·75780654·c10c0100·41c341c5·430c0404·ux.T....A.A.C... |
13 | ··0x000aa3c | 13 | ··0x000aa3cc·60000000·88000000·3c71f5ff·5a000000·`.......<q..Z... |
14 | ··0x000aa3d | 14 | ··0x000aa3dc·00410e08·8502430e·0c870343·0e108604·.A....C....C.... |
15 | ··0x000aa3e | 15 | ··0x000aa3ec·410e1483·054e0e2c·410e3052·0e20470e·A....N.,A.0R.·G. |
16 | ··0x000aa3f | 16 | ··0x000aa3fc·28430e2c·410e3048·0e20480a·0e1441c3·(C.,A.0H.·H...A. |
17 | ··0x000aa40 | 17 | ··0x000aa40c·0e1044c6·0e0c41c7·0e0841c5·0e04450b·..D...A...A...E. |
18 | ··0x000aa41 | 18 | ··0x000aa41c·430e1443·c30e1041·c60e0c41·c70e0841·C..C...A...A...A |
19 | ··0x000aa42 | 19 | ··0x000aa42c·c50e0400·54000000·ec000000·3871f5ff·....T.......8q.. |
20 | ··0x000aa43 | 20 | ··0x000aa43c·5d000000·00410e08·83024e0e·18460e1c·]....A....N..F.. |
21 | ··0x000aa44 | 21 | ··0x000aa44c·420e2046·0e1c410e·18460e1c·420e2046·B.·F..A..F..B.·F |
22 | ··0x000aa45 | 22 | ··0x000aa45c·0e1c410e·18460e1c·420e2046·0e1c410e·..A..F..B.·F..A. |
23 | ··0x000aa46 | 23 | ··0x000aa46c·18460e1c·420e2046·0e1c410e·18460e1c·.F..B.·F..A..F.. |
24 | ··0x000aa47 | 24 | ··0x000aa47c·420e2048·0e0841c3·0e040000·34000000·B.·H..A.....4... |
25 | ··0x000aa48 | 25 | ··0x000aa48c·44010000·4071f5ff·33000000·00410e08·D...@q..3....A.. |
26 | ··0x000aa49 | 26 | ··0x000aa49c·8602410e·0c83034e·0e14410e·184d0e1c·..A....N..A..M.. |
27 | ··0x000aa4a | 27 | ··0x000aa4ac·420e2046·0e1c420e·20480e0c·41c30e08·B.·F..B.·H..A... |
28 | ··0x000aa4b | 28 | ··0x000aa4bc·41c60e04·68000000·7c010000·4871f5ff·A...h...|...Hq.. |
29 | ··0x000aa4c | 29 | ··0x000aa4cc·d6000000·00410e08·8702410e·0c860341·.....A....A....A |
30 | ··0x000aa4d | 30 | ··0x000aa4dc·0e108304·7e0e1442·0e18420e·1c410e20·....~..B..B..A.· |
31 | ··0x000aa4e | 31 | ··0x000aa4ec·460e1c42·0e20480e·10560e1c·410e2048·F..B.·H..V..A.·H |
32 | ··0x000aa4f | 32 | ··0x000aa4fc·0e104d0e·1c410e20·480e104d·0a0e1c42·..M..A.·H..M...B |
33 | ··0x000aa50 | 33 | ··0x000aa50c·0e20460e·1c410e18·460e1c42·0e20550b·.·F..A..F..B.·U. |
34 | ··0x000aa51 | 34 | ··0x000aa51c·470e1441·0e18420e·1c410e20·480e1000·G..A..B..A.·H... |
35 | ··0x000aa52 | 35 | ··0x000aa52c·70000000·e8010000·bc71f5ff·ba000000·p........q...... |
36 | ··0x000aa53 | 36 | ··0x000aa53c·00410e08·8502430e·0c870343·0e108604·.A....C....C.... |
37 | ··0x000aa54 | 37 | ··0x000aa54c·410e1483·054e0e3c·410e4058·0e304b0e·A....N.<A.@X.0K. |
38 | ··0x000aa55 | 38 | ··0x000aa55c·38480e3c·410e4048·0e30740e·34450e38·8H.<A.@H.0t.4E.8 |
39 | ··0x000aa56 | 39 | ··0x000aa56c·440e3c49·0e40480e·304b0a0e·1441c30e·D.<I.@H.0K...A.. |
40 | ··0x000aa57 | 40 | ··0x000aa57c·1041c60e·0c41c70e·0841c50e·04480b43·.A...A...A...H.C |
41 | ··0x000aa58 | 41 | ··0x000aa58c·0e1443c3·0e1041c6·0e0c41c7·0e0841c5·..C...A...A...A. |
42 | ··0x000aa59 | 42 | ··0x000aa59c·0e040000·40000000·5c020000·0872f5ff·....@...\....r.. |
43 | ··0x000aa5a | 43 | ··0x000aa5ac·4f000000·00410e08·8602410e·0c83034e·O....A....A....N |
44 | ··0x000aa5b | 44 | ··0x000aa5bc·0e10590e·14420e18·420e1c41·0e204c0e·..Y..B..B..A.·L. |
45 | ··0x000aa5c | 45 | ··0x000aa5cc·14410e18·440e1c42·0e20480e·10430e0c·.A..D..B.·H..C.. |
46 | ··0x000aa5d | 46 | ··0x000aa5dc·41c30e08·41c60e04·44000000·a0020000·A...A...D....... |
47 | ··0x000aa5e | 47 | ··0x000aa5ec·1472f5ff·40000000·00410e08·8702410e·.r..@....A....A. |
48 | ··0x000aa5f | 48 | ··0x000aa5fc·0c860341·0e108304·5d0e1442·0e18420e·...A....]..B..B. |
49 | ··0x000aa60 | 49 | ··0x000aa60c·1c410e20·480e1441·0e18440e·1c420e20·.A.·H..A..D..B.· |
50 | ··0x000aa61 | 50 | ··0x000aa61c·480e1041·c30e0c41·c60e0841·c70e0400·H..A...A...A.... |
51 | ··0x000aa62 | 51 | ··0x000aa62c·8c000000·e8020000·0c72f5ff·25010000·.........r..%... |
52 | ··0x000aa63 | 52 | ··0x000aa63c·00410e08·8502410e·0c870341·0e108604·.A....A....A.... |
53 | ··0x000aa64 | 53 | ··0x000aa64c·410e1483·054e0e30·560a0e3c·410e404d·A....N.0V..<A.@M |
54 | ··0x000aa65 | 54 | ··0x000aa65c·0b510e34·410e3841·0e3c410e·404c0e3c·.Q.4A.8A.<A.@L.< |
55 | ··0x000aa66 | 55 | ··0x000aa66c·420e404d·0e44420e·48420e4c·410e5048·B.@M.DB.HB.LA.PH |
56 | ··0x000aa67 | 56 | ··0x000aa67c·0e3c420e·40480e30·560e3c41·0e40480e·.<B.@H.0V.<A.@H. |
57 | ··0x000aa68 | 57 | ··0x000aa68c·304d0e3c·410e4048·0e304e0e·3c4a0e40·0M.<A.@H.0N.<J.@ |
58 | ··0x000aa69 | 58 | ··0x000aa69c·4e0e304c·0e3c600e·40460e3c·410e3841·N.0L.<`.@F.<A.8A |
59 | ··0x000aa6a | 59 | ··0x000aa6ac·0e3c410e·40460e3c·420e4048·0e300000·.<A.@F.<B.@H.0.. |
60 | ··0x000aa6b | 60 | ··0x000aa6bc·44000000·78030000·ac72f5ff·39000000·D...x....r..9... |
61 | ··0x000aa6c | 61 | ··0x000aa6cc·00410e08·8702410e·0c860343·0e108304·.A....A....C.... |
62 | ··0x000aa6d | 62 | ··0x000aa6dc·590e1442·0e18420e·1c410e20·460e1c41·Y..B..B..A.·F..A |
63 | ··0x000aa6e | 63 | ··0x000aa6ec·0e18420e·1c410e20·480e1041·c30e0c41·..B..A.·H..A...A |
64 | ··0x000aa6f | 64 | ··0x000aa6fc·c60e0841·c70e0400·30000000·c0030000·...A....0....... |
65 | ··0x000aa70 | 65 | ··0x000aa70c·a472f5ff·5e000000·00410e08·83024e0e·.r..^....A....N. |
66 | ··0x000aa71 | 66 | ··0x000aa71c·104d0a0e·0843c30e·04410b61·0e14450e·.M...C...A.a..E. |
67 | ··0x000aa72 | 67 | ··0x000aa72c·18420e1c·410e204c·0e100000·ac010000·.B..A.·L........ |
68 | ··0x000aa73 | 68 | ··0x000aa73c·f4030000·d072f5ff·b1030000·00410e08·.....r.......A.. |
69 | ··0x000aa74 | 69 | ··0x000aa74c·8502410e·0c870341·0e108604·410e1483·..A....A....A... |
70 | ··0x000aa75 | 70 | ··0x000aa75c·054e0e60·024c0e68·440e6c41·0e70510e·.N.`.L.hD.lA.pQ. |
71 | ··0x000aa76 | 71 | ··0x000aa76c·60520e68·410e6c41·0e70480e·60450e68·`R.hA.lA.pH.`E.h |
72 | ··0x000aa77 | 72 | ··0x000aa77c·440e6c41·0e70460e·74410e78·440e7c46·D.lA.pF.tA.xD.|F |
73 | ··0x000aa78 | 73 | ··0x000aa78c·0e800148·0e68410e·6c410e70·460e6c41·...H.hA.lA.pF.lA |
74 | ··0x000aa79 | 74 | ··0x000aa79c·0e68410e·6c410e70·480e6061·0e684b0e·.hA.lA.pH.`a.hK. |
75 | ··0x000aa7a | 75 | ··0x000aa7ac·6c410e70·480e605c·0e6c450e·70450e74·lA.pH.`\.lE.pE.t |
76 | ··0x000aa7b | 76 | ··0x000aa7bc·450e7844·0e7c410e·80014c0e·605c0e68·E.xD.|A...L.`\.h |
77 | ··0x000aa7c | 77 | ··0x000aa7cc·410e6c41·0e70480e·60660e68·410e6c41·A.lA.pH.`f.hA.lA |
78 | ··0x000aa7d | 78 | ··0x000aa7dc·0e70480e·60450e6c·410e7041·0e74470e·.pH.`E.lA.pA.tG. |
79 | ··0x000aa7e | 79 | ··0x000aa7ec·78440e7c·460e8001·480e6841·0e6c410e·xD.|F...H.hA.lA. |
80 | ··0x000aa7f | 80 | ··0x000aa7fc·70460e6c·410e6841·0e6c410e·70460e6c·pF.lA.hA.lA.pF.l |
81 | ··0x000aa80 | 81 | ··0x000aa80c·410e684b·0e6c410e·70460e6c·410e6847·A.hK.lA.pF.lA.hG |
82 | ··0x000aa81 | 82 | ··0x000aa81c·0e6c410e·70550e60·770e6841·0e6c410e·.lA.pU.`w.hA.lA. |
83 | ··0x000aa82 | 83 | ··0x000aa82c·70480e60·480e6841·0e6c450e·704c0e60·pH.`H.hA.lE.pL.` |
84 | ··0x000aa83 | 84 | ··0x000aa83c·450e6841·0e6c410e·70480e60·4a0e6841·E.hA.lA.pH.`J.hA |
85 | ··0x000aa84 | 85 | ··0x000aa84c·0e6c410e·704c0e60·4c0e6841·0e6c450e·.lA.pL.`L.hA.lE. |
86 | ··0x000aa85 | 86 | ··0x000aa85c·70540e60·450e6841·0e6c410e·70480e60·pT.`E.hA.lA.pH.` |
87 | ··0x000aa86 | 87 | ··0x000aa86c·4d0e6841·0e6c450e·70480e60·520e6841·M.hA.lE.pH.`R.hA |
88 | ··0x000aa87 | 88 | ··0x000aa87c·0e6c450e·704c0e60·560e6444·0e68440e·.lE.pL.`V.dD.hD. |
89 | ··0x000aa88 | 89 | ··0x000aa88c·6c430e70·4c0e6444·0e68440e·6c430e70·lC.pL.dD.hD.lC.p |
90 | ··0x000aa89 | 90 | ··0x000aa89c·480e604e·0e68410e·6c410e70·4c0e604c·H.`N.hA.lA.pL.`L |
91 | ··0x000aa8a | 91 | ··0x000aa8ac·0e68410e·6c450e70·540e6045·0e68410e·.hA.lE.pT.`E.hA. |
92 | ··0x000aa8b | 92 | ··0x000aa8bc·6c410e70·480e604d·0a0e1441·c30e1041·lA.pH.`M...A...A |
93 | ··0x000aa8c | 93 | ··0x000aa8cc·c60e0c41·c70e0841·c50e0449·0b430e68·...A...A...I.C.h |
94 | ··0x000aa8d | 94 | ··0x000aa8dc·410e6c45·0e704c0e·60000000·44000000·A.lE.pL.`...D... |
95 | ··0x000aa8e | 95 | ··0x000aa8ec·a4050000·e074f5ff·4f000000·00410e08·.....t..O....A.. |
96 | ··0x000aa8f | 96 | ··0x000aa8fc·8702410e·0c860343·0e108304·600e1442·..A....C....`..B |
97 | ··0x000aa90 | 97 | ··0x000aa90c·0e18420e·1c410e20·4d0e2442·0e28420e·..B..A.·M.$B.(B. |
98 | ··0x000aa91 | 98 | ··0x000aa91c·2c410e30·480e1041·c30e0c48·c60e0841·,A.0H..A...H...A |
99 | ··0x000aa92 | 99 | ··0x000aa92c·c70e0400·740b0000·ec050000·e874f5ff·....t........t.. |
100 | ··0x000aa93 | 100 | ··0x000aa93c·ae200000·00410e08·8502410e·0c870341·.·...A....A....A |
101 | ··0x000aa94 | 101 | ··0x000aa94c·0e108604·410e1483·05510ef0·0102d60e·....A....Q...... |
102 | ··0x000aa95 | 102 | ··0x000aa95c·f401470e·f801470e·fc01440e·8002620e·..G...G...D...b. |
103 | ··0x000aa96 | 103 | ··0x000aa96c·f0010258·0ef40147·0ef80147·0efc0146·...X...G...G...F |
104 | ··0x000aa97 | 104 | ··0x000aa97c·0e800246·0efc0142·0e80024f·0ef0015f·...F...B...O..._ |
105 | ··0x000aa98 | 105 | ··0x000aa98c·0efc014e·0e80024c·0ef00102·d20ef801·...N...L........ |
106 | ··0x000aa99 | 106 | ··0x000aa99c·560efc01·410e8002·550ef001·4b0ef801·V...A...U...K... |
107 | ··0x000aa9a | 107 | ··0x000aa9ac·470efc01·410e8002·4c0efc01·430e8002·G...A...L...C... |
108 | ··0x000aa9b | 108 | ··0x000aa9bc·540ef001·510ef401·470ef801·470efc01·T...Q...G...G... |
109 | ··0x000aa9c | 109 | ··0x000aa9cc·460e8002·460efc01·420e8002·480ef001·F...F...B...H... |
110 | ··0x000aa9d | 110 | ··0x000aa9dc·430ef801·470efc01·420e8002·4c0efc01·C...G...B...L... |
111 | ··0x000aa9e | 111 | ··0x000aa9ec·410ef801·410efc01·420e8002·460efc01·A...A...B...F... |
112 | ··0x000aa9f | 112 | ··0x000aa9fc·410ef801·410efc01·420e8002·520efc01·A...A...B...R... |
113 | ··0x000aaa0 | 113 | ··0x000aaa0c·410ef801·410efc01·420e8002·460efc01·A...A...B...F... |
114 | ··0x000aaa1 | 114 | ··0x000aaa1c·410ef801·410efc01·420e8002·540ef001·A...A...B...T... |
115 | ··0x000aaa2 | 115 | ··0x000aaa2c·590ef801·470efc01·410e8002·4e0ef001·Y...G...A...N... |
116 | ··0x000aaa3 | 116 | ··0x000aaa3c·430ef801·470efc01·420e8002·560ef001·C...G...B...V... |
117 | ··0x000aaa4 | 117 | ··0x000aaa4c·02740efc·01440e80·024e0ef0·0102800e·.t...D...N...... |
118 | ··0x000aaa5 | 118 | ··0x000aaa5c·f401450e·f801420e·fc01410e·8002620e·..E...B...A...b. |
119 | ··0x000aaa6 | 119 | ··0x000aaa6c·f001036e·010ef801·410efc01·470e8002·...n....A...G... |
120 | ··0x000aaa7 | 120 | ··0x000aaa7c·480ef001·4e0ef401·4d0ef801·4d0efc01·H...N...M...M... |
121 | ··0x000aaa8 | 121 | ··0x000aaa8c·470e8002·460efc01·410ef801·410efc01·G...F...A...A... |
122 | ··0x000aaa9 | 122 | ··0x000aaa9c·410e8002·4c0efc01·410ef801·410efc01·A...L...A...A... |
123 | ··0x000aaaa | 123 | ··0x000aaaac·410e8002·460efc01·470ef801·410efc01·A...F...G...A... |
124 | ··0x000aaab | 124 | ··0x000aaabc·470e8002·4c0efc01·410ef801·410efc01·G...L...A...A... |
125 | ··0x000aaac | 125 | ··0x000aaacc·470e8002·460efc01·410ef801·410efc01·G...F...A...A... |
Max diff block lines reached; 0/1405990 bytes (0.00%) of diff not shown. |
Offset 1, 7 lines modified | Offset 1, 7 lines modified | ||
1 | Hex·dump·of·section·'.gnu_debuglink': | 1 | Hex·dump·of·section·'.gnu_debuglink': |
2 | ··0x00000000·30346665·64313465·61663563·63303139·04fed14eaf5cc019 | ||
3 | ··0x000000 | 2 | ··0x00000000·31623738·62396237·38323339·35623130·1b78b9b782395b10 |
3 | ··0x00000010·65643039·65346538·61336338·36356265·ed09e4e8a3c865be | ||
4 | ··0x00000020·3 | 4 | ··0x00000020·34663663·64622e64·65627567·00000000·4f6cdb.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·6fb02120····························o.!· |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary |
2 | -rw-r--r--···0········0········0······528·2012-10-16·12:01:32.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0······528·2012-10-16·12:01:32.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0····1261 | 3 | -rw-r--r--···0········0········0····12616·2012-10-16·12:01:32.000000·data.tar.xz |
Offset 5, 8 lines modified | Offset 5, 8 lines modified | ||
5 | Architecture:·i386 | 5 | Architecture:·i386 |
6 | Maintainer:·Michael·Tautschnig·<mt@debian.org> | 6 | Maintainer:·Michael·Tautschnig·<mt@debian.org> |
7 | Installed-Size:·51 | 7 | Installed-Size:·51 |
8 | Depends:·boolector·(=·1.5.118.6b56be4.121013-1) | 8 | Depends:·boolector·(=·1.5.118.6b56be4.121013-1) |
9 | Section:·debug | 9 | Section:·debug |
10 | Priority:·optional | 10 | Priority:·optional |
11 | Description:·debug·symbols·for·boolector | 11 | Description:·debug·symbols·for·boolector |
12 | Build-Ids:· | 12 | Build-Ids:·841b78b9b782395b10ed09e4e8a3c865be4f6cdb |
Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
1 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./ | 1 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./ |
2 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/ | 2 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/ |
3 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/ | 3 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/ |
4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/ | 4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/ |
5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ | 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ |
6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/84/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)····41252·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ | 7 | -rw-r--r--···0·root·········(0)·root·········(0)····41252·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/84/1b78b9b782395b10ed09e4e8a3c865be4f6cdb.debug |
8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/ |
9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/ |
10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/boolector-dbgsym·->·boolector | 10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/boolector-dbgsym·->·boolector |
Offset 5, 19 lines modified | Offset 5, 19 lines modified | ||
5 | Program·Headers: | 5 | Program·Headers: |
6 | ··Type···········Offset···VirtAddr···PhysAddr···FileSiz·MemSiz··Flg·Align | 6 | ··Type···········Offset···VirtAddr···PhysAddr···FileSiz·MemSiz··Flg·Align |
7 | ··PHDR···········0x000034·0x00000034·0x00000034·0x00160·0x00160·R···0x4 | 7 | ··PHDR···········0x000034·0x00000034·0x00000034·0x00160·0x00160·R···0x4 |
8 | ··INTERP·········0x000194·0x00000194·0x00000194·0x00000·0x00013·R···0x1 | 8 | ··INTERP·········0x000194·0x00000194·0x00000194·0x00000·0x00013·R···0x1 |
9 | ··LOAD···········0x000000·0x00000000·0x00000000·0x001ec·0x00c2c·R···0x1000 | 9 | ··LOAD···········0x000000·0x00000000·0x00000000·0x001ec·0x00c2c·R···0x1000 |
10 | ··LOAD···········0x000000·0x00001000·0x00001000·0x00000·0x9bb58·R·E·0x1000 | 10 | ··LOAD···········0x000000·0x00001000·0x00001000·0x00000·0x9bb58·R·E·0x1000 |
11 | ··LOAD···········0x000000·0x0009d000·0x0009d000·0x00000·0x362d | 11 | ··LOAD···········0x000000·0x0009d000·0x0009d000·0x00000·0x362dc·R···0x1000 |
12 | ··LOAD···········0x000e38·0x000d4e38·0x000d4e38·0x00000·0x00304·RW··0x1000 | 12 | ··LOAD···········0x000e38·0x000d4e38·0x000d4e38·0x00000·0x00304·RW··0x1000 |
13 | ··DYNAMIC········0x000e38·0x000d4ed4·0x000d4ed4·0x00000·0x000f8·RW··0x4 | 13 | ··DYNAMIC········0x000e38·0x000d4ed4·0x000d4ed4·0x00000·0x000f8·RW··0x4 |
14 | ··NOTE···········0x0001a8·0x000001a8·0x000001a8·0x00044·0x00044·R···0x4 | 14 | ··NOTE···········0x0001a8·0x000001a8·0x000001a8·0x00044·0x00044·R···0x4 |
15 | ··GNU_EH_FRAME···0x001000·0x000a89 | 15 | ··GNU_EH_FRAME···0x001000·0x000a8940·0x000a8940·0x00000·0x019dc·R···0x4 |
16 | ··GNU_STACK······0x000000·0x00000000·0x00000000·0x00000·0x00000·RW··0x10 | 16 | ··GNU_STACK······0x000000·0x00000000·0x00000000·0x00000·0x00000·RW··0x10 |
17 | ··GNU_RELRO······0x000e38·0x000d4e38·0x000d4e38·0x00000·0x001c8·R···0x1 | 17 | ··GNU_RELRO······0x000e38·0x000d4e38·0x000d4e38·0x00000·0x001c8·R···0x1 |
18 | ·Section·to·Segment·mapping: | 18 | ·Section·to·Segment·mapping: |
19 | ··Segment·Sections... | 19 | ··Segment·Sections... |
20 | ···00····· | 20 | ···00····· |
21 | ···01·····.interp· | 21 | ···01·····.interp· |
Offset 14, 17 lines modified | Offset 14, 17 lines modified | ||
14 | ··[·9]·.rel.dyn··········NOBITS··········000008ec·0001ec·0001b8·08···A··5···0··4 | 14 | ··[·9]·.rel.dyn··········NOBITS··········000008ec·0001ec·0001b8·08···A··5···0··4 |
15 | ··[10]·.rel.plt··········NOBITS··········00000aa4·0001ec·000188·08··AI··5··24··4 | 15 | ··[10]·.rel.plt··········NOBITS··········00000aa4·0001ec·000188·08··AI··5··24··4 |
16 | ··[11]·.init·············NOBITS··········00001000·001000·000020·00··AX··0···0··4 | 16 | ··[11]·.init·············NOBITS··········00001000·001000·000020·00··AX··0···0··4 |
17 | ··[12]·.plt··············NOBITS··········00001020·001000·000320·04··AX··0···0·16 | 17 | ··[12]·.plt··············NOBITS··········00001020·001000·000320·04··AX··0···0·16 |
18 | ··[13]·.plt.got··········NOBITS··········00001340·001000·000008·08··AX··0···0··8 | 18 | ··[13]·.plt.got··········NOBITS··········00001340·001000·000008·08··AX··0···0··8 |
19 | ··[14]·.text·············NOBITS··········00001350·001000·09b7f1·00··AX··0···0·16 | 19 | ··[14]·.text·············NOBITS··········00001350·001000·09b7f1·00··AX··0···0·16 |
20 | ··[15]·.fini·············NOBITS··········0009cb44·001000·000014·00··AX··0···0··4 | 20 | ··[15]·.fini·············NOBITS··········0009cb44·001000·000014·00··AX··0···0··4 |
21 | ··[16]·.rodata···········NOBITS··········0009d000·001000·00b93 | 21 | ··[16]·.rodata···········NOBITS··········0009d000·001000·00b93e·00···A··0···0·32 |
22 | ··[17]·.eh_frame_hdr·····NOBITS··········000a89 | 22 | ··[17]·.eh_frame_hdr·····NOBITS··········000a8940·001000·0019dc·00···A··0···0··4 |
23 | ··[18]·.eh_frame·········NOBITS··········000aa31 | 23 | ··[18]·.eh_frame·········NOBITS··········000aa31c·001000·028fc0·00···A··0···0··4 |
24 | ··[19]·.init_array·······NOBITS··········000d4e38·000e38·000004·04··WA··0···0··4 | 24 | ··[19]·.init_array·······NOBITS··········000d4e38·000e38·000004·04··WA··0···0··4 |
25 | ··[20]·.fini_array·······NOBITS··········000d4e3c·000e38·000004·04··WA··0···0··4 | 25 | ··[20]·.fini_array·······NOBITS··········000d4e3c·000e38·000004·04··WA··0···0··4 |
26 | ··[21]·.data.rel.ro······NOBITS··········000d4e40·000e38·000094·00··WA··0···0·32 | 26 | ··[21]·.data.rel.ro······NOBITS··········000d4e40·000e38·000094·00··WA··0···0·32 |
27 | ··[22]·.dynamic··········NOBITS··········000d4ed4·000e38·0000f8·08··WA··6···0··4 | 27 | ··[22]·.dynamic··········NOBITS··········000d4ed4·000e38·0000f8·08··WA··6···0··4 |
28 | ··[23]·.got··············NOBITS··········000d4fcc·000e38·000030·04··WA··0···0··4 | 28 | ··[23]·.got··············NOBITS··········000d4fcc·000e38·000030·04··WA··0···0··4 |
29 | ··[24]·.got.plt··········NOBITS··········000d5000·000e38·0000d0·04··WA··0···0··4 | 29 | ··[24]·.got.plt··········NOBITS··········000d5000·000e38·0000d0·04··WA··0···0··4 |
30 | ··[25]·.data·············NOBITS··········000d50d0·000e38·00002c·00··WA··0···0··4 | 30 | ··[25]·.data·············NOBITS··········000d50d0·000e38·00002c·00··WA··0···0··4 |
Offset 14, 16 lines modified | Offset 14, 16 lines modified | ||
14 | ····10:·00000aa4·····0·SECTION·LOCAL··DEFAULT···10·.rel.plt | 14 | ····10:·00000aa4·····0·SECTION·LOCAL··DEFAULT···10·.rel.plt |
15 | ····11:·00001000·····0·SECTION·LOCAL··DEFAULT···11·.init | 15 | ····11:·00001000·····0·SECTION·LOCAL··DEFAULT···11·.init |
16 | ····12:·00001020·····0·SECTION·LOCAL··DEFAULT···12·.plt | 16 | ····12:·00001020·····0·SECTION·LOCAL··DEFAULT···12·.plt |
17 | ····13:·00001340·····0·SECTION·LOCAL··DEFAULT···13·.plt.got | 17 | ····13:·00001340·····0·SECTION·LOCAL··DEFAULT···13·.plt.got |
18 | ····14:·00001350·····0·SECTION·LOCAL··DEFAULT···14·.text | 18 | ····14:·00001350·····0·SECTION·LOCAL··DEFAULT···14·.text |
19 | ····15:·0009cb44·····0·SECTION·LOCAL··DEFAULT···15·.fini | 19 | ····15:·0009cb44·····0·SECTION·LOCAL··DEFAULT···15·.fini |
20 | ····16:·0009d000·····0·SECTION·LOCAL··DEFAULT···16·.rodata | 20 | ····16:·0009d000·····0·SECTION·LOCAL··DEFAULT···16·.rodata |
21 | ····17:·000a89 | 21 | ····17:·000a8940·····0·SECTION·LOCAL··DEFAULT···17·.eh_frame_hdr |
22 | ····18:·000aa31 | 22 | ····18:·000aa31c·····0·SECTION·LOCAL··DEFAULT···18·.eh_frame |
23 | ····19:·000d4e38·····0·SECTION·LOCAL··DEFAULT···19·.init_array | 23 | ····19:·000d4e38·····0·SECTION·LOCAL··DEFAULT···19·.init_array |
24 | ····20:·000d4e3c·····0·SECTION·LOCAL··DEFAULT···20·.fini_array | 24 | ····20:·000d4e3c·····0·SECTION·LOCAL··DEFAULT···20·.fini_array |
25 | ····21:·000d4e40·····0·SECTION·LOCAL··DEFAULT···21·.data.rel.ro | 25 | ····21:·000d4e40·····0·SECTION·LOCAL··DEFAULT···21·.data.rel.ro |
26 | ····22:·000d4ed4·····0·SECTION·LOCAL··DEFAULT···22·.dynamic | 26 | ····22:·000d4ed4·····0·SECTION·LOCAL··DEFAULT···22·.dynamic |
27 | ····23:·000d4fcc·····0·SECTION·LOCAL··DEFAULT···23·.got | 27 | ····23:·000d4fcc·····0·SECTION·LOCAL··DEFAULT···23·.got |
28 | ····24:·000d5000·····0·SECTION·LOCAL··DEFAULT···24·.got.plt | 28 | ····24:·000d5000·····0·SECTION·LOCAL··DEFAULT···24·.got.plt |
29 | ····25:·000d50d0·····0·SECTION·LOCAL··DEFAULT···25·.data | 29 | ····25:·000d50d0·····0·SECTION·LOCAL··DEFAULT···25·.data |
Offset 789, 22 lines modified | Offset 789, 22 lines modified | ||
789 | ···785:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·btorhash.c | 789 | ···785:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·btorhash.c |
790 | ···786:·00041af0·····9·FUNC····LOCAL··DEFAULT···14·btor_hash_ptr | 790 | ···786:·00041af0·····9·FUNC····LOCAL··DEFAULT···14·btor_hash_ptr |
791 | ···787:·00041b00·····9·FUNC····LOCAL··DEFAULT···14·btor_cmp_ptr | 791 | ···787:·00041b00·····9·FUNC····LOCAL··DEFAULT···14·btor_cmp_ptr |
792 | ···788:·00041b10···352·FUNC····LOCAL··DEFAULT···14·btor_findpos_in_ptr_hash_table_pos | 792 | ···788:·00041b10···352·FUNC····LOCAL··DEFAULT···14·btor_findpos_in_ptr_hash_table_pos |
793 | ···789:·000a30a8····16·OBJECT··LOCAL··DEFAULT···16·btor_hash_primes | 793 | ···789:·000a30a8····16·OBJECT··LOCAL··DEFAULT···16·btor_hash_primes |
794 | ···790:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·lglbnr.c | 794 | ···790:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·lglbnr.c |
795 | ···791:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·crtstuff.c | 795 | ···791:·00000000·····0·FILE····LOCAL··DEFAULT··ABS·crtstuff.c |
796 | ···792:·000d32 | 796 | ···792:·000d32d8·····0·OBJECT··LOCAL··DEFAULT···18·__FRAME_END__ |
797 | ···793:·00000000·····0·FILE····LOCAL··DEFAULT··ABS· | 797 | ···793:·00000000·····0·FILE····LOCAL··DEFAULT··ABS· |
798 | ···794:·0009c880···330·FUNC····LOCAL··DEFAULT···14·__divdi3 | 798 | ···794:·0009c880···330·FUNC····LOCAL··DEFAULT···14·__divdi3 |
799 | ···795:·0009c9d0···266·FUNC····LOCAL··DEFAULT···14·__udivdi3 | 799 | ···795:·0009c9d0···266·FUNC····LOCAL··DEFAULT···14·__udivdi3 |
800 | ···796:·000d4e3c·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_end | 800 | ···796:·000d4e3c·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_end |
801 | ···797:·000d4ed4·····0·OBJECT··LOCAL··DEFAULT···22·_DYNAMIC | 801 | ···797:·000d4ed4·····0·OBJECT··LOCAL··DEFAULT···22·_DYNAMIC |
802 | ···798:·000d4e38·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_start | 802 | ···798:·000d4e38·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_start |
803 | ···799:·000a89 | 803 | ···799:·000a8940·····0·NOTYPE··LOCAL··DEFAULT···17·__GNU_EH_FRAME_HDR |
804 | ···800:·000d5000·····0·OBJECT··LOCAL··DEFAULT···24·_GLOBAL_OFFSET_TABLE_ | 804 | ···800:·000d5000·····0·OBJECT··LOCAL··DEFAULT···24·_GLOBAL_OFFSET_TABLE_ |
805 | ···801:·00001000·····0·FUNC····LOCAL··DEFAULT···11·_init | 805 | ···801:·00001000·····0·FUNC····LOCAL··DEFAULT···11·_init |
806 | ···802:·0002a7b0····69·FUNC····GLOBAL·DEFAULT···14·btor_udiv_const | 806 | ···802:·0002a7b0····69·FUNC····GLOBAL·DEFAULT···14·btor_udiv_const |
807 | ···803:·0009cb40·····1·FUNC····GLOBAL·DEFAULT···14·__libc_csu_fini | 807 | ···803:·0009cb40·····1·FUNC····GLOBAL·DEFAULT···14·__libc_csu_fini |
808 | ···804:·00000000·····0·FUNC····GLOBAL·DEFAULT··UND·__ctype_toupper_loc@GLIBC_2.3 | 808 | ···804:·00000000·····0·FUNC····GLOBAL·DEFAULT··UND·__ctype_toupper_loc@GLIBC_2.3 |
809 | ···805:·00033cd0···172·FUNC····GLOBAL·DEFAULT···14·btor_nand_exp | 809 | ···805:·00033cd0···172·FUNC····GLOBAL·DEFAULT···14·btor_nand_exp |
810 | ···806:·00039ca0···978·FUNC····GLOBAL·DEFAULT···14·btor_srem_exp | 810 | ···806:·00039ca0···978·FUNC····GLOBAL·DEFAULT···14·btor_srem_exp |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.build-id | 1 | Displaying·notes·found·in:·.note.gnu.build-id |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·841b78b9b782395b10ed09e4e8a3c865be4f6cdb |
4 | Displaying·notes·found·in:·.note.ABI-tag | 4 | Displaying·notes·found·in:·.note.ABI-tag |
5 | ··Owner················Data·size·» Description | 5 | ··Owner················Data·size·» Description |
6 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 | 6 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 |