Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | · | 1 | ·5cf43712ca22504147f506b1e0dfc1da·12268·debug·optional·boolector-dbgsym_1.5.118.6b56be4.121013-1_amd64.deb |
2 | · | 2 | ·707dd426672c5adc2f6055c0615dbe2d·301084·science·extra·boolector_1.5.118.6b56be4.121013-1_amd64.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······704·2012-10-16·12:01:32.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0······704·2012-10-16·12:01:32.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0···3001 | 3 | -rw-r--r--···0········0········0···300188·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···········0x000040·0x0000000000000040·0x0000000000000040·0x000268·0x000268·R···0x8 | 8 | ··PHDR···········0x000040·0x0000000000000040·0x0000000000000040·0x000268·0x000268·R···0x8 |
9 | ··INTERP·········0x0002a8·0x00000000000002a8·0x00000000000002a8·0x00001c·0x00001c·R···0x1 | 9 | ··INTERP·········0x0002a8·0x00000000000002a8·0x00000000000002a8·0x00001c·0x00001c·R···0x1 |
10 | ······[Requesting·program·interpreter:·/lib64/ld-linux-x86-64.so.2] | 10 | ······[Requesting·program·interpreter:·/lib64/ld-linux-x86-64.so.2] |
11 | ··LOAD···········0x000000·0x0000000000000000·0x0000000000000000·0x001980·0x001980·R···0x1000 | 11 | ··LOAD···········0x000000·0x0000000000000000·0x0000000000000000·0x001980·0x001980·R···0x1000 |
12 | ··LOAD···········0x002000·0x0000000000002000·0x0000000000002000·0x09d3dd·0x09d3dd·R·E·0x1000 | 12 | ··LOAD···········0x002000·0x0000000000002000·0x0000000000002000·0x09d3dd·0x09d3dd·R·E·0x1000 |
13 | ··LOAD···········0x0a0000·0x00000000000a0000·0x00000000000a0000·0x0199e | 13 | ··LOAD···········0x0a0000·0x00000000000a0000·0x00000000000a0000·0x0199e8·0x0199e8·R···0x1000 |
14 | ··LOAD···········0x0b9b50·0x00000000000bab50·0x00000000000bab50·0x0006b8·0x000778·RW··0x1000 | 14 | ··LOAD···········0x0b9b50·0x00000000000bab50·0x00000000000bab50·0x0006b8·0x000778·RW··0x1000 |
15 | ··DYNAMIC········0x0b9dd0·0x00000000000badd0·0x00000000000badd0·0x0001f0·0x0001f0·RW··0x8 | 15 | ··DYNAMIC········0x0b9dd0·0x00000000000badd0·0x00000000000badd0·0x0001f0·0x0001f0·RW··0x8 |
16 | ··NOTE···········0x0002c4·0x00000000000002c4·0x00000000000002c4·0x000044·0x000044·R···0x4 | 16 | ··NOTE···········0x0002c4·0x00000000000002c4·0x00000000000002c4·0x000044·0x000044·R···0x4 |
17 | ··GNU_EH_FRAME···0x0ac3c | 17 | ··GNU_EH_FRAME···0x0ac3c8·0x00000000000ac3c8·0x00000000000ac3c8·0x001994·0x001994·R···0x4 |
18 | ··GNU_STACK······0x000000·0x0000000000000000·0x0000000000000000·0x000000·0x000000·RW··0x10 | 18 | ··GNU_STACK······0x000000·0x0000000000000000·0x0000000000000000·0x000000·0x000000·RW··0x10 |
19 | ··GNU_RELRO······0x0b9b50·0x00000000000bab50·0x00000000000bab50·0x0004b0·0x0004b0·R···0x1 | 19 | ··GNU_RELRO······0x0b9b50·0x00000000000bab50·0x00000000000bab50·0x0004b0·0x0004b0·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]·.rela.dyn·········RELA············0000000000000bd0·000bd0·000930·18···A··5···0··8 | 14 | ··[·9]·.rela.dyn·········RELA············0000000000000bd0·000bd0·000930·18···A··5···0··8 |
15 | ··[10]·.rela.plt·········RELA············0000000000001500·001500·000480·18··AI··5··24··8 | 15 | ··[10]·.rela.plt·········RELA············0000000000001500·001500·000480·18··AI··5··24··8 |
16 | ··[11]·.init·············PROGBITS········0000000000002000·002000·000017·00··AX··0···0··4 | 16 | ··[11]·.init·············PROGBITS········0000000000002000·002000·000017·00··AX··0···0··4 |
17 | ··[12]·.plt··············PROGBITS········0000000000002020·002020·000310·10··AX··0···0·16 | 17 | ··[12]·.plt··············PROGBITS········0000000000002020·002020·000310·10··AX··0···0·16 |
18 | ··[13]·.plt.got··········PROGBITS········0000000000002330·002330·000008·08··AX··0···0··8 | 18 | ··[13]·.plt.got··········PROGBITS········0000000000002330·002330·000008·08··AX··0···0··8 |
19 | ··[14]·.text·············PROGBITS········0000000000002340·002340·09d091·00··AX··0···0·16 | 19 | ··[14]·.text·············PROGBITS········0000000000002340·002340·09d091·00··AX··0···0·16 |
20 | ··[15]·.fini·············PROGBITS········000000000009f3d4·09f3d4·000009·00··AX··0···0··4 | 20 | ··[15]·.fini·············PROGBITS········000000000009f3d4·09f3d4·000009·00··AX··0···0··4 |
21 | ··[16]·.rodata···········PROGBITS········00000000000a0000·0a0000·00c3 | 21 | ··[16]·.rodata···········PROGBITS········00000000000a0000·0a0000·00c3c6·00···A··0···0·32 |
22 | ··[17]·.eh_frame_hdr·····PROGBITS········00000000000ac3c | 22 | ··[17]·.eh_frame_hdr·····PROGBITS········00000000000ac3c8·0ac3c8·001994·00···A··0···0··4 |
23 | ··[18]·.eh_frame·········PROGBITS········00000000000add | 23 | ··[18]·.eh_frame·········PROGBITS········00000000000add60·0add60·00bc88·00···A··0···0··8 |
24 | ··[19]·.init_array·······INIT_ARRAY······00000000000bab50·0b9b50·000008·08··WA··0···0··8 | 24 | ··[19]·.init_array·······INIT_ARRAY······00000000000bab50·0b9b50·000008·08··WA··0···0··8 |
25 | ··[20]·.fini_array·······FINI_ARRAY······00000000000bab58·0b9b58·000008·08··WA··0···0··8 | 25 | ··[20]·.fini_array·······FINI_ARRAY······00000000000bab58·0b9b58·000008·08··WA··0···0··8 |
26 | ··[21]·.data.rel.ro······PROGBITS········00000000000bab60·0b9b60·000270·00··WA··0···0·32 | 26 | ··[21]·.data.rel.ro······PROGBITS········00000000000bab60·0b9b60·000270·00··WA··0···0·32 |
27 | ··[22]·.dynamic··········DYNAMIC·········00000000000badd0·0b9dd0·0001f0·10··WA··6···0··8 | 27 | ··[22]·.dynamic··········DYNAMIC·········00000000000badd0·0b9dd0·0001f0·10··WA··6···0··8 |
28 | ··[23]·.got··············PROGBITS········00000000000bafc0·0b9fc0·000030·08··WA··0···0··8 | 28 | ··[23]·.got··············PROGBITS········00000000000bafc0·0b9fc0·000030·08··WA··0···0··8 |
29 | ··[24]·.got.plt··········PROGBITS········00000000000bb000·0ba000·000198·08··WA··0···0··8 | 29 | ··[24]·.got.plt··········PROGBITS········00000000000bb000·0ba000·000198·08··WA··0···0··8 |
30 | ··[25]·.data·············PROGBITS········00000000000bb1a0·0ba1a0·000068·00··WA··0···0·16 | 30 | ··[25]·.data·············PROGBITS········00000000000bb1a0·0ba1a0·000068·00··WA··0···0·16 |
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:·09cc00db52938114b849d8a1bf6e81b3237c250a |
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 613, 15 lines modified | Offset 613, 15 lines modified | ||
613 | multiple·input·files | 613 | multiple·input·files |
614 | gunzip·-c·%s | 614 | gunzip·-c·%s |
615 | bzcat·%s | 615 | bzcat·%s |
616 | 7z·x·-so·%s·2>/dev/null | 616 | 7z·x·-so·%s·2>/dev/null |
617 | can·not·read·'%s' | 617 | can·not·read·'%s' |
618 | Boolector·Version·%s·%s | 618 | Boolector·Version·%s·%s |
619 | Sat·Oct·13·13:59:09·CEST·2012 | 619 | Sat·Oct·13·13:59:09·CEST·2012 |
620 | Sat· | 620 | Sat·Jan··6·18:17:34··2024 |
621 | setting·signal·handlers | 621 | setting·signal·handlers |
622 | no·time·limit | 622 | no·time·limit |
623 | dumping·BTOR·expressions | 623 | dumping·BTOR·expressions |
624 | dumping·in·SMT·format | 624 | dumping·in·SMT·format |
625 | status·sat | 625 | status·sat |
626 | status·unsat | 626 | status·unsat |
627 | status·unknown | 627 | status·unknown |
Offset 1962, 21 lines modified | Offset 1962, 21 lines modified | ||
1962 | chkclone | 1962 | chkclone |
1963 | p·cnf·%d·%d | 1963 | p·cnf·%d·%d |
1964 | not·forked | 1964 | not·forked |
1965 | expected·forked·state | 1965 | expected·forked·state |
1966 | .A-Wall·-O3·-DNLGLOG·-DNDEBUG·-DNCHKSOL·-DNLGLPICOSAT· | 1966 | .A-Wall·-O3·-DNLGLOG·-DNDEBUG·-DNCHKSOL·-DNLGLPICOSAT· |
1967 | b02aa1a04343558c4252b5f4a723be021964f652 | 1967 | b02aa1a04343558c4252b5f4a723be021964f652 |
1968 | %sCopyright·(C)·2010-2012·Armin·Biere·JKU·Linz·Austria. | 1968 | %sCopyright·(C)·2010-2012·Armin·Biere·JKU·Linz·Austria. |
1969 | Linux·i | 1969 | Linux·i-capture-the-hostname·6.1.0-17-amd64·x86_64 |
1970 | ala·b02aa1a04343558c4252b5f4a723be021964f652 | 1970 | ala·b02aa1a04343558c4252b5f4a723be021964f652 |
1971 | %sVersion·%s·%s | 1971 | %sVersion·%s·%s |
1972 | %sAll·rights·reserved. | 1972 | %sAll·rights·reserved. |
1973 | Sat·Oct·13·14:05:26·CEST·2012 | 1973 | Sat·Oct·13·14:05:26·CEST·2012 |
1974 | %sreleased·%s | 1974 | %sreleased·%s |
1975 | Sat· | 1975 | Sat·Jan··6·18:17:28··2024 |
1976 | %scompiled·%s | 1976 | %scompiled·%s |
1977 | .shstrtab | 1977 | .shstrtab |
1978 | .note.gnu.build-id | 1978 | .note.gnu.build-id |
1979 | .note.ABI-tag | 1979 | .note.ABI-tag |
1980 | .gnu.hash | 1980 | .gnu.hash |
1981 | .gnu.version | 1981 | .gnu.version |
1982 | .gnu.version_r | 1982 | .gnu.version_r |
Offset 751, 19 lines modified | Offset 751, 19 lines modified | ||
751 | » xor····%eax,%eax | 751 | » xor····%eax,%eax |
752 | » call···2790·<__cxa_finalize@plt+0x460> | 752 | » call···2790·<__cxa_finalize@plt+0x460> |
753 | » lea····0x9dd62(%rip),%rsi········ | 753 | » lea····0x9dd62(%rip),%rsi········ |
754 | » lea····0xa2b08(%rip),%rdi········ | 754 | » lea····0xa2b08(%rip),%rdi········ |
755 | » xor····%eax,%eax | 755 | » xor····%eax,%eax |
756 | » call···2790·<__cxa_finalize@plt+0x460> | 756 | » call···2790·<__cxa_finalize@plt+0x460> |
757 | » lea····0x9d267(%rip),%rsi········ | 757 | » lea····0x9d267(%rip),%rsi········ |
758 | » lea····0xa93b | 758 | » lea····0xa93be(%rip),%rdi········ |
759 | » xor····%eax,%eax | 759 | » xor····%eax,%eax |
760 | » call···2790·<__cxa_finalize@plt+0x460> | 760 | » call···2790·<__cxa_finalize@plt+0x460> |
761 | » lea····0x9d270(%rip),%rsi········ | 761 | » lea····0x9d270(%rip),%rsi········ |
762 | » lea····0xa93 | 762 | » lea····0xa93d2(%rip),%rdi········ |
763 | » xor····%eax,%eax | 763 | » xor····%eax,%eax |
764 | » call···2790·<__cxa_finalize@plt+0x460> | 764 | » call···2790·<__cxa_finalize@plt+0x460> |
765 | » lea····0x9dcfb(%rip),%rsi········ | 765 | » lea····0x9dcfb(%rip),%rsi········ |
766 | » lea····0xa2ac9(%rip),%rdi········ | 766 | » lea····0xa2ac9(%rip),%rdi········ |
767 | » xor····%eax,%eax | 767 | » xor····%eax,%eax |
768 | » call···2790·<__cxa_finalize@plt+0x460> | 768 | » call···2790·<__cxa_finalize@plt+0x460> |
769 | » mov····0xd0(%rsp),%eax | 769 | » mov····0xd0(%rsp),%eax |
Offset 42705, 15 lines modified | Offset 42705, 15 lines modified | ||
42705 | » test···%r12,%r12 | 42705 | » test···%r12,%r12 |
42706 | » je·····2cba8·<__cxa_finalize@plt+0x2a878> | 42706 | » je·····2cba8·<__cxa_finalize@plt+0x2a878> |
42707 | » movzbl·(%r12),%eax | 42707 | » movzbl·(%r12),%eax |
42708 | » and····$0x1f,%eax | 42708 | » and····$0x1f,%eax |
42709 | » cmp····$0x2,%al | 42709 | » cmp····$0x2,%al |
42710 | » je·····2cbf8·<__cxa_finalize@plt+0x2a8c8> | 42710 | » je·····2cbf8·<__cxa_finalize@plt+0x2a8c8> |
42711 | » cmp····$0x3,%al | 42711 | » cmp····$0x3,%al |
42712 | » lea····0x7f7 | 42712 | » lea····0x7f7b6(%rip),%rdx········ |
42713 | » lea····0x78f3e(%rip),%rax········ | 42713 | » lea····0x78f3e(%rip),%rax········ |
42714 | » cmovne·%rax,%rdx | 42714 | » cmovne·%rax,%rdx |
42715 | » mov····0x10(%r12),%ecx | 42715 | » mov····0x10(%r12),%ecx |
42716 | » jmp····2cbb4·<__cxa_finalize@plt+0x2a884> | 42716 | » jmp····2cbb4·<__cxa_finalize@plt+0x2a884> |
42717 | » nopl···0x0(%rax) | 42717 | » nopl···0x0(%rax) |
42718 | » lea····0x78f25(%rip),%rdx········ | 42718 | » lea····0x78f25(%rip),%rdx········ |
42719 | » mov····$0xffffffff,%ecx | 42719 | » mov····$0xffffffff,%ecx |
Offset 159367, 72 lines modified | Offset 159367, 72 lines modified | ||
159367 | » push···%rbx | 159367 | » push···%rbx |
159368 | » sub····$0x8,%rsp | 159368 | » sub····$0x8,%rsp |
159369 | » call···2100·<strlen@plt> | 159369 | » call···2100·<strlen@plt> |
159370 | » mov····%r15,%rcx | 159370 | » mov····%r15,%rcx |
159371 | » mov····%r13,%rdx | 159371 | » mov····%r13,%rdx |
159372 | » mov····%r12,%rdi | 159372 | » mov····%r12,%rdi |
159373 | » sub····%eax,%r14d | 159373 | » sub····%eax,%r14d |
159374 | » lea····0xd1f | 159374 | » lea····0xd1fe(%rip),%rsi········ |
159375 | » xor····%eax,%eax | 159375 | » xor····%eax,%eax |
159376 | » call···21e0·<fprintf@plt> | 159376 | » call···21e0·<fprintf@plt> |
159377 | » mov····%r13,%rdx | 159377 | » mov····%r13,%rdx |
159378 | » mov····%r12,%rdi | 159378 | » mov····%r12,%rdi |
159379 | » xor····%eax,%eax | 159379 | » xor····%eax,%eax |
159380 | » lea····0x6970(%rip),%rsi········ | 159380 | » lea····0x6970(%rip),%rsi········ |
159381 | » movslq·%r14d,%r14 | 159381 | » movslq·%r14d,%r14 |
159382 | » call···21e0·<fprintf@plt> | 159382 | » call···21e0·<fprintf@plt> |
159383 | » mov····%r13,%rdx | 159383 | » mov····%r13,%rdx |
159384 | » mov····%r12,%rdi | 159384 | » mov····%r12,%rdi |
159385 | » xor····%eax,%eax | 159385 | » xor····%eax,%eax |
159386 | » lea····0xd0fc(%rip),%r8········ | 159386 | » lea····0xd0fc(%rip),%r8········ |
159387 | » lea····0xd1 | 159387 | » lea····0xd1d0(%rip),%rcx········ |
159388 | » lea····0xd1c | 159388 | » lea····0xd1cd(%rip),%rsi········ |
159389 | » call···21e0·<fprintf@plt> | 159389 | » call···21e0·<fprintf@plt> |
159390 | » mov····%r13,%rdx | 159390 | » mov····%r13,%rdx |
159391 | » mov····%r12,%rdi | 159391 | » mov····%r12,%rdi |
159392 | » xor····%eax,%eax | 159392 | » xor····%eax,%eax |
159393 | » lea····0x6937(%rip),%rsi········ | 159393 | » lea····0x6937(%rip),%rsi········ |
159394 | » call···21e0·<fprintf@plt> | 159394 | » call···21e0·<fprintf@plt> |
159395 | » mov····%r13,%rdx | 159395 | » mov····%r13,%rdx |
159396 | » mov····%r12,%rdi | 159396 | » mov····%r12,%rdi |
159397 | » xor····%eax,%eax | 159397 | » xor····%eax,%eax |
159398 | » lea····0xd0f6(%rip),%rsi········ | 159398 | » lea····0xd0f6(%rip),%rsi········ |
159399 | » call···21e0·<fprintf@plt> | 159399 | » call···21e0·<fprintf@plt> |
159400 | » mov····%r13,%rdx | 159400 | » mov····%r13,%rdx |
159401 | » mov····%r12,%rdi | 159401 | » mov····%r12,%rdi |
159402 | » xor····%eax,%eax | 159402 | » xor····%eax,%eax |
159403 | » lea····0xd1 | 159403 | » lea····0xd1a2(%rip),%rsi········ |
159404 | » call···21e0·<fprintf@plt> | 159404 | » call···21e0·<fprintf@plt> |
159405 | » mov····%r13,%rdx | 159405 | » mov····%r13,%rdx |
159406 | » mov····%r12,%rdi | 159406 | » mov····%r12,%rdi |
159407 | » xor····%eax,%eax | 159407 | » xor····%eax,%eax |
159408 | » lea····0x68fb(%rip),%rsi········ | 159408 | » lea····0x68fb(%rip),%rsi········ |
159409 | » call···21e0·<fprintf@plt> | 159409 | » call···21e0·<fprintf@plt> |
159410 | » mov····%r13,%rdx | 159410 | » mov····%r13,%rdx |
159411 | » mov····%r12,%rdi | 159411 | » mov····%r12,%rdi |
159412 | » xor····%eax,%eax | 159412 | » xor····%eax,%eax |
159413 | » lea····0xd1 | 159413 | » lea····0xd192(%rip),%rcx········ |
159414 | » lea····0xd1a | 159414 | » lea····0xd1a9(%rip),%rsi········ |
159415 | » call···21e0·<fprintf@plt> | 159415 | » call···21e0·<fprintf@plt> |
159416 | » mov····%r13,%rdx | 159416 | » mov····%r13,%rdx |
159417 | » mov····%r12,%rdi | 159417 | » mov····%r12,%rdi |
159418 | » xor····%eax,%eax | 159418 | » xor····%eax,%eax |
159419 | » lea····0xd1 | 159419 | » lea····0xd1a4(%rip),%rcx········ |
159420 | » lea····0xd1 | 159420 | » lea····0xd1b7(%rip),%rsi········ |
159421 | » call···21e0·<fprintf@plt> | 159421 | » call···21e0·<fprintf@plt> |
159422 | » mov····%r13,%rdx | 159422 | » mov····%r13,%rdx |
159423 | » mov····%r12,%rdi | 159423 | » mov····%r12,%rdi |
159424 | » xor····%eax,%eax | 159424 | » xor····%eax,%eax |
159425 | » lea····0x68b1(%rip),%rsi········ | 159425 | » lea····0x68b1(%rip),%rsi········ |
159426 | » call···21e0·<fprintf@plt> | 159426 | » call···21e0·<fprintf@plt> |
159427 | » mov····%r13,%rdx | 159427 | » mov····%r13,%rdx |
159428 | » mov····%r12,%rdi | 159428 | » mov····%r12,%rdi |
159429 | » xor····%eax,%eax | 159429 | » xor····%eax,%eax |
159430 | » lea····0x1ac8(%rip),%rcx········ | 159430 | » lea····0x1ac8(%rip),%rcx········ |
159431 | » lea····0xd10 | 159431 | » lea····0xd10e(%rip),%rsi········ |
159432 | » call···21e0·<fprintf@plt> | 159432 | » call···21e0·<fprintf@plt> |
159433 | » nopl···0x0(%rax) | 159433 | » nopl···0x0(%rax) |
159434 | » mov····%r12,%rsi | 159434 | » mov····%r12,%rsi |
159435 | » mov····%r13,%rdi | 159435 | » mov····%r13,%rdi |
159436 | » call···2150·<fputs@plt> | 159436 | » call···2150·<fputs@plt> |
159437 | » movzbl·0x0(%rbp),%eax | 159437 | » movzbl·0x0(%rbp),%eax |
159438 | » test···$0xdf,%al | 159438 | » test···$0xdf,%al |
Offset 159500, 15 lines modified | Offset 159500, 15 lines modified | ||
159500 | » mov····%r12,%rsi | 159500 | » mov····%r12,%rsi |
159501 | » mov····$0xa,%edi | 159501 | » mov····$0xa,%edi |
159502 | » call···2190·<fputc@plt> | 159502 | » call···2190·<fputc@plt> |
159503 | » mov····%r13,%rdx | 159503 | » mov····%r13,%rdx |
159504 | » mov····%r12,%rdi | 159504 | » mov····%r12,%rdi |
159505 | » lea····0xcfb9(%rip),%rcx········ | 159505 | » lea····0xcfb9(%rip),%rcx········ |
159506 | » xor····%eax,%eax | 159506 | » xor····%eax,%eax |
159507 | » lea····0xd0 | 159507 | » lea····0xd015(%rip),%rsi········ |
159508 | » call···21e0·<fprintf@plt> | 159508 | » call···21e0·<fprintf@plt> |
159509 | » mov····%r12,%rdi | 159509 | » mov····%r12,%rdi |
159510 | » mov····%r13,%rdx | 159510 | » mov····%r13,%rdx |
159511 | » xor····%eax,%eax | 159511 | » xor····%eax,%eax |
159512 | » lea····0x6789(%rip),%rsi········ | 159512 | » lea····0x6789(%rip),%rsi········ |
159513 | » call···21e0·<fprintf@plt> | 159513 | » call···21e0·<fprintf@plt> |
159514 | » add····$0x8,%rsp | 159514 | » add····$0x8,%rsp |
Offset 159519, 15 lines modified | Offset 159519, 15 lines modified | ||
159519 | » pop····%r13 | 159519 | » pop····%r13 |
159520 | » pop····%r14 | 159520 | » pop····%r14 |
Max diff block lines reached; 295/4062 bytes (7.26%) of diff not shown. |
Offset 33, 16 lines modified | Offset 33, 16 lines modified | ||
33 | ··0x000a01e0·00627a63·61742025·73002e37·7a00377a·.bzcat·%s..7z.7z | 33 | ··0x000a01e0·00627a63·61742025·73002e37·7a00377a·.bzcat·%s..7z.7z |
34 | ··0x000a01f0·2078202d·736f2025·7320323e·2f646576··x·-so·%s·2>/dev | 34 | ··0x000a01f0·2078202d·736f2025·7320323e·2f646576··x·-so·%s·2>/dev |
35 | ··0x000a0200·2f6e756c·6c006361·6e206e6f·74207265·/null.can·not·re | 35 | ··0x000a0200·2f6e756c·6c006361·6e206e6f·74207265·/null.can·not·re |
36 | ··0x000a0210·61642027·2573270a·00426f6f·6c656374·ad·'%s'..Boolect | 36 | ··0x000a0210·61642027·2573270a·00426f6f·6c656374·ad·'%s'..Boolect |
37 | ··0x000a0220·6f722056·65727369·6f6e2025·73202573·or·Version·%s·%s | 37 | ··0x000a0220·6f722056·65727369·6f6e2025·73202573·or·Version·%s·%s |
38 | ··0x000a0230·0a005361·74204f63·74203133·2031333a·..Sat·Oct·13·13: | 38 | ··0x000a0230·0a005361·74204f63·74203133·2031333a·..Sat·Oct·13·13: |
39 | ··0x000a0240·35393a30·39204345·53542032·30313200·59:09·CEST·2012. | 39 | ··0x000a0240·35393a30·39204345·53542032·30313200·59:09·CEST·2012. |
40 | ··0x000a0250·53617420·4 | 40 | ··0x000a0250·53617420·4a616e20·20362031·383a3137·Sat·Jan··6·18:17 |
41 | ··0x000a0260·3a3 | 41 | ··0x000a0260·3a333420·20323032·34007365·7474696e·:34··2024.settin |
42 | ··0x000a0270·67207369·676e616c·2068616e·646c6572·g·signal·handler | 42 | ··0x000a0270·67207369·676e616c·2068616e·646c6572·g·signal·handler |
43 | ··0x000a0280·730a006e·6f207469·6d65206c·696d6974·s..no·time·limit | 43 | ··0x000a0280·730a006e·6f207469·6d65206c·696d6974·s..no·time·limit |
44 | ··0x000a0290·0a002e73·6d743200·64756d70·696e6720·...smt2.dumping· | 44 | ··0x000a0290·0a002e73·6d743200·64756d70·696e6720·...smt2.dumping· |
45 | ··0x000a02a0·42544f52·20657870·72657373·696f6e73·BTOR·expressions | 45 | ··0x000a02a0·42544f52·20657870·72657373·696f6e73·BTOR·expressions |
46 | ··0x000a02b0·0a006475·6d70696e·6720696e·20534d54·..dumping·in·SMT | 46 | ··0x000a02b0·0a006475·6d70696e·6720696e·20534d54·..dumping·in·SMT |
47 | ··0x000a02c0·20666f72·6d61740a·00737461·74757320··format..status· | 47 | ··0x000a02c0·20666f72·6d61740a·00737461·74757320··format..status· |
48 | ··0x000a02d0·7361740a·00737461·74757320·756e7361·sat..status·unsa | 48 | ··0x000a02d0·7361740a·00737461·74757320·756e7361·sat..status·unsa |
Offset 3113, 23 lines modified | Offset 3113, 24 lines modified | ||
3113 | ··0x000ac260·53415420·00000000·62303261·61316130·SAT·....b02aa1a0 | 3113 | ··0x000ac260·53415420·00000000·62303261·61316130·SAT·....b02aa1a0 |
3114 | ··0x000ac270·34333433·35353863·34323532·62356634·4343558c4252b5f4 | 3114 | ··0x000ac270·34333433·35353863·34323532·62356634·4343558c4252b5f4 |
3115 | ··0x000ac280·61373233·62653032·31393634·66363532·a723be021964f652 | 3115 | ··0x000ac280·61373233·62653032·31393634·66363532·a723be021964f652 |
3116 | ··0x000ac290·00000000·00000000·2573436f·70797269·........%sCopyri | 3116 | ··0x000ac290·00000000·00000000·2573436f·70797269·........%sCopyri |
3117 | ··0x000ac2a0·67687420·28432920·32303130·2d323031·ght·(C)·2010-201 | 3117 | ··0x000ac2a0·67687420·28432920·32303130·2d323031·ght·(C)·2010-201 |
3118 | ··0x000ac2b0·32204172·6d696e20·42696572·65204a4b·2·Armin·Biere·JK | 3118 | ··0x000ac2b0·32204172·6d696e20·42696572·65204a4b·2·Armin·Biere·JK |
3119 | ··0x000ac2c0·55204c69·6e7a2041·75737472·69612e0a·U·Linz·Austria.. | 3119 | ··0x000ac2c0·55204c69·6e7a2041·75737472·69612e0a·U·Linz·Austria.. |
3120 | ··0x000ac2d0·00000000·00000000·4c696e75·782069 | 3120 | ··0x000ac2d0·00000000·00000000·4c696e75·7820692d·........Linux·i- |
3121 | ··0x000ac2e0·6e6f7335·2d616d64·36342036·2e352e30·nos5-amd64·6.5.0 | ||
3122 | ··0x000ac2f0·2d302e64·65623132·2e342d61·6d643634·-0.deb12.4-amd64 | ||
3123 | ··0x000ac300·20783836·5f363400·616c6120·62303261··x86_64.ala·b02a | ||
3124 | ··0x000ac310·61316130·34333433·35353863·34323532·a1a04343558c4252 | ||
3125 | ··0x000ac320·62356634·61373233·62653032·31393634·b5f4a723be021964 | ||
3126 | ··0x000ac330·66363532·00257325·730a0061·6c610025·f652.%s%s..ala.% | ||
3127 | ··0x000ac340·73566572·73696f6e·20257320·25730a00·sVersion·%s·%s.. | ||
3128 | ··0x000ac350·2573416c·6c207269·67687473·20726573·%sAll·rights·res | ||
3129 | ··0x000ac360·65727665·642e0a00·53617420·4f637420·erved...Sat·Oct· | ||
3130 | ··0x000ac370·31332031·343a3035·3a323620·43455354·13·14:05:26·CEST | ||
3131 | ··0x000ac380·20323031·32002573·72656c65·61736564··2012.%sreleased | ||
3132 | ··0x000ac390·2025730a·00536174·20466562·20203820··%s..Sat·Feb··8· | ||
3133 | ··0x000ac3a0·30303a33·383a3538·20203230·32350025·00:38:58··2025.% | ||
3134 | ··0x000ac | 3121 | ··0x000ac2e0·63617074·7572652d·7468652d·686f7374·capture-the-host |
3122 | ··0x000ac2f0·6e616d65·20362e31·2e302d31·372d616d·name·6.1.0-17-am | ||
3123 | ··0x000ac300·64363420·7838365f·36340000·00000000·d64·x86_64...... | ||
3124 | ··0x000ac310·616c6120·62303261·61316130·34333433·ala·b02aa1a04343 | ||
3125 | ··0x000ac320·35353863·34323532·62356634·61373233·558c4252b5f4a723 | ||
3126 | ··0x000ac330·62653032·31393634·66363532·00257325·be021964f652.%s% | ||
3127 | ··0x000ac340·730a0061·6c610025·73566572·73696f6e·s..ala.%sVersion | ||
3128 | ··0x000ac350·20257320·25730a00·2573416c·6c207269··%s·%s..%sAll·ri | ||
3129 | ··0x000ac360·67687473·20726573·65727665·642e0a00·ghts·reserved... | ||
3130 | ··0x000ac370·53617420·4f637420·31332031·343a3035·Sat·Oct·13·14:05 | ||
3131 | ··0x000ac380·3a323620·43455354·20323031·32002573·:26·CEST·2012.%s | ||
3132 | ··0x000ac390·72656c65·61736564·2025730a·00536174·released·%s..Sat | ||
3133 | ··0x000ac3a0·204a616e·20203620·31383a31·373a3238··Jan··6·18:17:28 | ||
3134 | ··0x000ac3b0·20203230·32340025·73636f6d·70696c65···2024.%scompile | ||
3135 | ··0x000ac3c0·64202573·0a00·······················d·%s.. | ||
Offset 1, 413 lines modified | Offset 1, 413 lines modified | ||
Diff chunk too large, falling back to line-by-line diff (410 lines added, 410 lines removed) | |||
1 | Hex·dump·of·section·'.eh_frame_hdr': | 1 | Hex·dump·of·section·'.eh_frame_hdr': |
2 | ··0x000ac3c | 2 | ··0x000ac3c8·011b033b·94190000·31030000·585cf5ff·...;....1...X\.. |
3 | ··0x000ac3d | 3 | ··0x000ac3d8·e0190000·685ff5ff·081a0000·785ff5ff·....h_......x_.. |
4 | ··0x000ac3e | 4 | ··0x000ac3e8·202a0000·905ff5ff·68300000·995ff5ff··*..._..h0..._.. |
5 | ··0x000ac3f | 5 | ··0x000ac3f8·b48e0000·9e5ff5ff·7c950000·a85ff5ff·....._..|...._.. |
6 | ··0x000ac40 | 6 | ··0x000ac408·201a0000·b85ff5ff·b0190000·a860f5ff··...._.......`.. |
7 | ··0x000ac41 | 7 | ··0x000ac418·381a0000·f860f5ff·701a0000·5861f5ff·8....`..p...Xa.. |
8 | ··0x000ac42 | 8 | ··0x000ac428·881a0000·8861f5ff·a01a0000·5862f5ff·.....a......Xb.. |
9 | ··0x000ac43 | 9 | ··0x000ac438·b81a0000·f862f5ff·001b0000·c863f5ff·.....b.......c.. |
10 | ··0x000ac44 | 10 | ··0x000ac448·241b0000·8864f5ff·481b0000·c865f5ff·$....d..H....e.. |
11 | ··0x000ac45 | 11 | ··0x000ac458·601b0000·0866f5ff·7c1b0000·8866f5ff·`....f..|....f.. |
12 | ··0x000ac46 | 12 | ··0x000ac468·981b0000·9869f5ff·e81b0000·e869f5ff·.....i.......i.. |
13 | ··0x000ac47 | 13 | ··0x000ac478·041c0000·388df5ff·581c0000·888df5ff·....8...X....... |
14 | ··0x000ac48 | 14 | ··0x000ac488·741c0000·f88df5ff·a81c0000·688ef5ff·t...........h... |
15 | ··0x000ac49 | 15 | ··0x000ac498·d41c0000·d88ef5ff·001d0000·e88ef5ff·................ |
16 | ··0x000ac4a | 16 | ··0x000ac4a8·141d0000·688ff5ff·4c1d0000·a88ff5ff·....h...L....... |
17 | ··0x000ac4b | 17 | ··0x000ac4b8·781d0000·b88ff5ff·8c1d0000·a890f5ff·x............... |
18 | ··0x000ac4c | 18 | ··0x000ac4c8·b81d0000·c891f5ff·081e0000·d891f5ff·................ |
19 | ··0x000ac4d | 19 | ··0x000ac4d8·1c1e0000·e891f5ff·301e0000·f891f5ff·........0....... |
20 | ··0x000ac4e | 20 | ··0x000ac4e8·441e0000·1892f5ff·581e0000·4892f5ff·D.......X...H... |
21 | ··0x000ac4f | 21 | ··0x000ac4f8·801e0000·5892f5ff·941e0000·7892f5ff·....X.......x... |
22 | ··0x000ac50 | 22 | ··0x000ac508·a81e0000·8892f5ff·bc1e0000·d892f5ff·................ |
23 | ··0x000ac51 | 23 | ··0x000ac518·f01e0000·e892f5ff·041f0000·f892f5ff·................ |
24 | ··0x000ac52 | 24 | ··0x000ac528·181f0000·0893f5ff·2c1f0000·1893f5ff·........,....... |
25 | ··0x000ac53 | 25 | ··0x000ac538·401f0000·2893f5ff·541f0000·3893f5ff·@...(...T...8... |
26 | ··0x000ac54 | 26 | ··0x000ac548·681f0000·1894f5ff·8c1f0000·5894f5ff·h...........X... |
27 | ··0x000ac55 | 27 | ··0x000ac558·b41f0000·8896f5ff·1c200000·3899f5ff·.........·..8... |
28 | ··0x000ac56 | 28 | ··0x000ac568·68200000·d899f5ff·90200000·a89bf5ff·h·.......·...... |
29 | ··0x000ac57 | 29 | ··0x000ac578·bc200000·b89bf5ff·d0200000·c89bf5ff·.·.......·...... |
30 | ··0x000ac58 | 30 | ··0x000ac588·e4200000·789cf5ff·1c210000·a89cf5ff·.·..x....!...... |
31 | ··0x000ac59 | 31 | ··0x000ac598·30210000·b89cf5ff·44210000·189df5ff·0!......D!...... |
32 | ··0x000ac5a | 32 | ··0x000ac5a8·60210000·089ef5ff·8c210000·c89ef5ff·`!.......!...... |
33 | ··0x000ac5b | 33 | ··0x000ac5b8·c4210000·d89ef5ff·d8210000·189ff5ff·.!.......!...... |
34 | ··0x000ac5c | 34 | ··0x000ac5c8·f4210000·289ff5ff·08220000·989ff5ff·.!..(...."...... |
35 | ··0x000ac5d | 35 | ··0x000ac5d8·30220000·a89ff5ff·44220000·b89ff5ff·0"......D"...... |
36 | ··0x000ac5e | 36 | ··0x000ac5e8·58220000·f89ff5ff·74220000·08a0f5ff·X"......t"...... |
37 | ··0x000ac5f | 37 | ··0x000ac5f8·88220000·18a0f5ff·9c220000·28a0f5ff·."......."..(... |
38 | ··0x000ac60 | 38 | ··0x000ac608·b0220000·38a0f5ff·c4220000·48a0f5ff·."..8...."..H... |
39 | ··0x000ac61 | 39 | ··0x000ac618·d8220000·18a2f5ff·08230000·78a2f5ff·.".......#..x... |
40 | ··0x000ac62 | 40 | ··0x000ac628·28230000·c8a3f5ff·84230000·f8a4f5ff·(#.......#...... |
41 | ··0x000ac63 | 41 | ··0x000ac638·c0230000·88a6f5ff·04240000·98a7f5ff·.#.......$...... |
42 | ··0x000ac64 | 42 | ··0x000ac648·48240000·f8aaf5ff·94240000·98abf5ff·H$.......$...... |
43 | ··0x000ac65 | 43 | ··0x000ac658·d0240000·e8adf5ff·1c250000·d8b6f5ff·.$.......%...... |
44 | ··0x000ac66 | 44 | ··0x000ac668·58250000·e8b9f5ff·a4250000·48bcf5ff·X%.......%..H... |
45 | ··0x000ac67 | 45 | ··0x000ac678·e0250000·98bdf5ff·0c260000·d8c2f5ff·.%.......&...... |
46 | ··0x000ac68 | 46 | ··0x000ac688·70260000·48c4f5ff·e8260000·88c5f5ff·p&..H....&...... |
47 | ··0x000ac69 | 47 | ··0x000ac698·64270000·58c6f5ff·c0270000·18c8f5ff·d'..X....'...... |
48 | ··0x000ac6a | 48 | ··0x000ac6a8·3c280000·58c9f5ff·b4280000·58cdf5ff·<(..X....(..X... |
49 | ··0x000ac6b | 49 | ··0x000ac6b8·48290000·48e9f5ff·94290000·4802f6ff·H)..H....)..H... |
50 | ··0x000ac6c | 50 | ··0x000ac6c8·342a0000·7817f6ff·842a0000·2818f6ff·4*..x....*..(... |
51 | ··0x000ac6d | 51 | ··0x000ac6d8·b02a0000·3818f6ff·c82a0000·f818f6ff·.*..8....*...... |
52 | ··0x000ac6e | 52 | ··0x000ac6e8·fc2a0000·8819f6ff·382b0000·281af6ff·.*......8+..(... |
53 | ··0x000ac6f | 53 | ··0x000ac6f8·842b0000·f81cf6ff·e82b0000·081df6ff·.+.......+...... |
54 | ··0x000ac70 | 54 | ··0x000ac708·fc2b0000·181df6ff·102c0000·281df6ff·.+.......,..(... |
55 | ··0x000ac71 | 55 | ··0x000ac718·242c0000·381ef6ff·682c0000·181ff6ff·$,..8...h,...... |
56 | ··0x000ac72 | 56 | ··0x000ac728·cc2c0000·1821f6ff·482d0000·e821f6ff·.,...!..H-...!.. |
57 | ··0x000ac73 | 57 | ··0x000ac738·6c2d0000·9822f6ff·982d0000·c822f6ff·l-..."...-...".. |
58 | ··0x000ac74 | 58 | ··0x000ac748·b42d0000·a825f6ff·f42d0000·4826f6ff·.-...%...-..H&.. |
59 | ··0x000ac75 | 59 | ··0x000ac758·402e0000·6828f6ff·8c2e0000·384cf6ff·@...h(......8L.. |
60 | ··0x000ac76 | 60 | ··0x000ac768·bc2e0000·686af6ff·fc2e0000·486bf6ff·....hj......Hk.. |
61 | ··0x000ac77 | 61 | ··0x000ac778·402f0000·a86cf6ff·7c2f0000·1870f6ff·@/...l..|/...p.. |
62 | ··0x000ac78 | 62 | ··0x000ac788·e02f0000·88a1f6ff·7c300000·98a1f6ff·./......|0...... |
63 | ··0x000ac79 | 63 | ··0x000ac798·90300000·a8a1f6ff·a4300000·d8a1f6ff·.0.......0...... |
64 | ··0x000ac7a | 64 | ··0x000ac7a8·b8300000·08a2f6ff·cc300000·38a2f6ff·.0.......0..8... |
65 | ··0x000ac7b | 65 | ··0x000ac7b8·e0300000·68a2f6ff·f4300000·d8a2f6ff·.0..h....0...... |
66 | ··0x000ac7c | 66 | ··0x000ac7c8·10310000·08a3f6ff·28310000·18a3f6ff·.1......(1...... |
67 | ··0x000ac7d | 67 | ··0x000ac7d8·3c310000·28a3f6ff·50310000·d8a3f6ff·<1..(...P1...... |
68 | ··0x000ac7e | 68 | ··0x000ac7e8·6c310000·78a4f6ff·88310000·08a5f6ff·l1..x....1...... |
69 | ··0x000ac7f | 69 | ··0x000ac7f8·a4310000·c8a5f6ff·c0310000·18a6f6ff·.1.......1...... |
70 | ··0x000ac80 | 70 | ··0x000ac808·d4310000·68a6f6ff·e8310000·28a7f6ff·.1..h....1..(... |
71 | ··0x000ac81 | 71 | ··0x000ac818·04320000·b8a7f6ff·20320000·08a8f6ff·.2......·2...... |
72 | ··0x000ac82 | 72 | ··0x000ac828·34320000·98a8f6ff·50320000·e8a8f6ff·42......P2...... |
73 | ··0x000ac83 | 73 | ··0x000ac838·64320000·78a9f6ff·80320000·08aaf6ff·d2..x....2...... |
74 | ··0x000ac84 | 74 | ··0x000ac848·9c320000·98aaf6ff·b8320000·48abf6ff·.2.......2..H... |
75 | ··0x000ac85 | 75 | ··0x000ac858·d8320000·08acf6ff·f8320000·08adf6ff·.2.......2...... |
76 | ··0x000ac86 | 76 | ··0x000ac868·18330000·08aef6ff·38330000·08aff6ff·.3......83...... |
77 | ··0x000ac87 | 77 | ··0x000ac878·58330000·08b0f6ff·78330000·08b1f6ff·X3......x3...... |
78 | ··0x000ac88 | 78 | ··0x000ac888·98330000·88b2f6ff·c8330000·d8b3f6ff·.3.......3...... |
79 | ··0x000ac89 | 79 | ··0x000ac898·f4330000·28b5f6ff·20340000·58b7f6ff·.3..(...·4..X... |
80 | ··0x000ac8a | 80 | ··0x000ac8a8·50340000·88b9f6ff·80340000·a8bbf6ff·P4.......4...... |
81 | ··0x000ac8b | 81 | ··0x000ac8b8·b0340000·c8bdf6ff·e0340000·e8bff6ff·.4.......4...... |
82 | ··0x000ac8c | 82 | ··0x000ac8c8·10350000·08c2f6ff·40350000·28c4f6ff·.5......@5..(... |
83 | ··0x000ac8d | 83 | ··0x000ac8d8·70350000·48c6f6ff·a0350000·78c8f6ff·p5..H....5..x... |
84 | ··0x000ac8e | 84 | ··0x000ac8e8·d0350000·78caf6ff·00360000·98ccf6ff·.5..x....6...... |
85 | ··0x000ac8f | 85 | ··0x000ac8f8·30360000·b8cef6ff·60360000·d8d0f6ff·06......`6...... |
86 | ··0x000ac90 | 86 | ··0x000ac908·90360000·f8d2f6ff·c0360000·18d5f6ff·.6.......6...... |
87 | ··0x000ac91 | 87 | ··0x000ac918·f0360000·38d7f6ff·20370000·58d9f6ff·.6..8...·7..X... |
88 | ··0x000ac92 | 88 | ··0x000ac928·50370000·78dbf6ff·80370000·98ddf6ff·P7..x....7...... |
89 | ··0x000ac93 | 89 | ··0x000ac938·b0370000·b8dff6ff·e0370000·d8e1f6ff·.7.......7...... |
90 | ··0x000ac94 | 90 | ··0x000ac948·10380000·f8e3f6ff·40380000·18e6f6ff·.8......@8...... |
91 | ··0x000ac95 | 91 | ··0x000ac958·70380000·38e8f6ff·a0380000·88eaf6ff·p8..8....8...... |
92 | ··0x000ac96 | 92 | ··0x000ac968·e0380000·d8ecf6ff·20390000·28eff6ff·.8......·9..(... |
93 | ··0x000ac97 | 93 | ··0x000ac978·60390000·78f1f6ff·a0390000·c8f3f6ff·`9..x....9...... |
94 | ··0x000ac98 | 94 | ··0x000ac988·e0390000·e8f5f6ff·103a0000·08f8f6ff·.9.......:...... |
95 | ··0x000ac99 | 95 | ··0x000ac998·403a0000·28faf6ff·703a0000·48fcf6ff·@:..(...p:..H... |
96 | ··0x000ac9a | 96 | ··0x000ac9a8·a03a0000·68fef6ff·d03a0000·8800f7ff·.:..h....:...... |
97 | ··0x000ac9b | 97 | ··0x000ac9b8·003b0000·a802f7ff·303b0000·c804f7ff·.;......0;...... |
98 | ··0x000ac9c | 98 | ··0x000ac9c8·603b0000·e806f7ff·903b0000·0809f7ff·`;.......;...... |
99 | ··0x000ac9d | 99 | ··0x000ac9d8·c03b0000·180bf7ff·f03b0000·280ef7ff·.;.......;..(... |
100 | ··0x000ac9e | 100 | ··0x000ac9e8·2c3c0000·5811f7ff·683c0000·5812f7ff·,<..X...h<..X... |
101 | ··0x000ac9f | 101 | ··0x000ac9f8·883c0000·5813f7ff·a83c0000·0814f7ff·.<..X....<...... |
102 | ··0x000aca0 | 102 | ··0x000aca08·c43c0000·c814f7ff·e03c0000·c815f7ff·.<.......<...... |
103 | ··0x000aca1 | 103 | ··0x000aca18·003d0000·7816f7ff·1c3d0000·2817f7ff·.=..x....=..(... |
104 | ··0x000aca2 | 104 | ··0x000aca28·383d0000·d817f7ff·543d0000·b818f7ff·8=......T=...... |
105 | ··0x000aca3 | 105 | ··0x000aca38·703d0000·9819f7ff·8c3d0000·d81af7ff·p=.......=...... |
106 | ··0x000aca4 | 106 | ··0x000aca48·ac3d0000·281cf7ff·cc3d0000·c81cf7ff·.=..(....=...... |
107 | ··0x000aca5 | 107 | ··0x000aca58·e83d0000·081ef7ff·083e0000·881ef7ff·.=.......>...... |
108 | ··0x000aca6 | 108 | ··0x000aca68·243e0000·6820f7ff·603e0000·3822f7ff·$>..h·..`>..8".. |
109 | ··0x000aca7 | 109 | ··0x000aca78·b03e0000·0823f7ff·f43e0000·d823f7ff·.>...#...>...#.. |
110 | ··0x000aca8 | 110 | ··0x000aca88·3c3f0000·0824f7ff·503f0000·7835f7ff·<?...$..P?..x5.. |
111 | ··0x000aca9 | 111 | ··0x000aca98·a03f0000·d835f7ff·b83f0000·7836f7ff·.?...5...?..x6.. |
112 | ··0x000acaa | 112 | ··0x000acaa8·ec3f0000·a836f7ff·00400000·f838f7ff·.?...6...@...8.. |
113 | ··0x000acab | 113 | ··0x000acab8·6c400000·7839f7ff·8c400000·a839f7ff·l@..x9...@...9.. |
114 | ··0x000acac | 114 | ··0x000acac8·a0400000·3843f7ff·08410000·5843f7ff·.@..8C...A..XC.. |
115 | ··0x000acad | 115 | ··0x000acad8·20410000·c843f7ff·5c410000·4844f7ff··A...C..\A..HD.. |
116 | ··0x000acae | 116 | ··0x000acae8·94410000·0850f7ff·f4410000·2850f7ff·.A...P...A..(P.. |
117 | ··0x000acaf | 117 | ··0x000acaf8·14420000·5850f7ff·34420000·c850f7ff·.B..XP..4B...P.. |
118 | ··0x000acb0 | 118 | ··0x000acb08·60420000·d850f7ff·74420000·4851f7ff·`B...P..tB..HQ.. |
119 | ··0x000acb1 | 119 | ··0x000acb18·9c420000·6851f7ff·b0420000·c851f7ff·.B..hQ...B...Q.. |
120 | ··0x000acb2 | 120 | ··0x000acb28·dc420000·9855f7ff·58430000·a855f7ff·.B...U..XC...U.. |
121 | ··0x000acb3 | 121 | ··0x000acb38·6c430000·0856f7ff·88430000·8857f7ff·lC...V...C...W.. |
122 | ··0x000acb4 | 122 | ··0x000acb48·d4430000·8860f7ff·24440000·0861f7ff·.C...`..$D...a.. |
123 | ··0x000acb5 | 123 | ··0x000acb58·5c440000·9861f7ff·98440000·0862f7ff·\D...a...D...b.. |
124 | ··0x000acb6 | 124 | ··0x000acb68·ac440000·9862f7ff·f4440000·5863f7ff·.D...b...D..Xc.. |
125 | ··0x000acb7 | 125 | ··0x000acb78·3c450000·f863f7ff·84450000·4865f7ff·<E...c...E..He.. |
Max diff block lines reached; 0/54978 bytes (0.00%) of diff not shown. |
Offset 1, 3020 lines modified | Offset 1, 3020 lines modified | ||
Diff chunk too large, falling back to line-by-line diff (3017 lines added, 3017 lines removed) | |||
1 | Hex·dump·of·section·'.eh_frame': | 1 | Hex·dump·of·section·'.eh_frame': |
2 | ··0x000add | 2 | ··0x000add60·14000000·00000000·017a5200·01781001·.........zR..x.. |
3 | ··0x000add | 3 | ··0x000add70·1b0c0708·90010710·14000000·1c000000·................ |
4 | ··0x000add | 4 | ··0x000add80·0046f5ff·2b000000·00000000·00000000·.F..+........... |
5 | ··0x000add | 5 | ··0x000add90·14000000·00000000·017a5200·01781001·.........zR..x.. |
6 | ··0x000add | 6 | ··0x000adda0·1b0c0708·90010000·24000000·1c000000·........$....... |
7 | ··0x000add | 7 | ··0x000addb0·7042f5ff·10030000·000e1046·0e184a0f·pB.........F..J. |
8 | ··0x000add | 8 | ··0x000addc0·0b770880·003f1a3b·2a332422·00000000·.w...?.;*3$".... |
9 | ··0x000add | 9 | ··0x000addd0·14000000·44000000·5845f5ff·08000000·....D...XE...... |
10 | ··0x000add | 10 | ··0x000adde0·00000000·00000000·14000000·5c000000·............\... |
11 | ··0x000add | 11 | ··0x000addf0·8045f5ff·05000000·00000000·00000000·.E.............. |
12 | ··0x000ad | 12 | ··0x000ade00·34000000·74000000·6846f5ff·4b000000·4...t...hF..K... |
13 | ··0x000ade | 13 | ··0x000ade10·00420e10·8c02440e·18860344·0e208304·.B....D....D.·.. |
14 | ··0x000ade | 14 | ··0x000ade20·680a0e18·410e1044·0e08490b·440e1841·h...A..D..I.D..A |
15 | ··0x000ade | 15 | ··0x000ade30·0e10450e·08000000·14000000·ac000000·..E............. |
16 | ··0x000ade | 16 | ··0x000ade40·8046f5ff·5d000000·00440e10·02540e08·.F..]....D...T.. |
17 | ··0x000ade | 17 | ··0x000ade50·14000000·c4000000·c846f5ff·2c000000·.........F..,... |
18 | ··0x000ade | 18 | ··0x000ade60·00440e10·630e0800·14000000·dc000000·.D..c........... |
19 | ··0x000ade | 19 | ··0x000ade70·e046f5ff·c3000000·00470e10·86020000·.F.......G...... |
20 | ··0x000ade | 20 | ··0x000ade80·44000000·f4000000·9847f5ff·9c000000·D........G...... |
21 | ··0x000ade | 21 | ··0x000ade90·00420e10·8f02420e·188e0345·0e208d04·.B....B....E.·.. |
22 | ··0x000ade | 22 | ··0x000adea0·420e288c·05440e30·8606410e·38830744·B.(..D.0..A.8..D |
23 | ··0x000ade | 23 | ··0x000adeb0·0e40027d·0e38410e·30410e28·420e2042·.@.}.8A.0A.(B.·B |
24 | ··0x000ade | 24 | ··0x000adec0·0e18420e·10420e08·20000000·3c010000·..B..B..·...<... |
25 | ··0x000ade | 25 | ··0x000aded0·f047f5ff·c2000000·00410e10·86024a0e·.G.......A....J. |
26 | ··0x000ade | 26 | ··0x000adee0·e00102b5·0e10410e·08000000·20000000·......A.....·... |
27 | ··0x000ade | 27 | ··0x000adef0·60010000·9c48f5ff·c0000000·00410e10·`....H.......A.. |
28 | ··0x000ad | 28 | ··0x000adf00·86024a0e·e00102b3·0e10410e·08000000·..J.......A..... |
29 | ··0x000adf | 29 | ··0x000adf10·14000000·84010000·3849f5ff·32010000·........8I..2... |
30 | ··0x000adf | 30 | ··0x000adf20·00470e10·86020000·18000000·9c010000·.G.............. |
31 | ··0x000adf | 31 | ··0x000adf30·604af5ff·31000000·00410e10·86026b0e·`J..1....A....k. |
32 | ··0x000adf | 32 | ··0x000adf40·08000000·18000000·b8010000·844af5ff·.............J.. |
33 | ··0x000adf | 33 | ··0x000adf50·74000000·00500e10·8302025b·0e0845c3·t....P.....[..E. |
34 | ··0x000adf | 34 | ··0x000adf60·4c000000·d4010000·e84af5ff·0f030000·L........J...... |
35 | ··0x000adf | 35 | ··0x000adf70·00420e10·8f02420e·188e0342·0e208d04·.B....B....B.·.. |
36 | ··0x000adf | 36 | ··0x000adf80·420e288c·05410e30·8606410e·38830744·B.(..A.0..A.8..D |
37 | ··0x000adf | 37 | ··0x000adf90·0e900103·e6020a0e·38410e30·410e2842·........8A.0A.(B |
38 | ··0x000adf | 38 | ··0x000adfa0·0e20420e·18420e10·420e0842·0b000000·.·B..B..B..B.... |
39 | ··0x000adf | 39 | ··0x000adfb0·18000000·24020000·a84df5ff·4e000000·....$....M..N... |
40 | ··0x000adf | 40 | ··0x000adfc0·00410e10·8302024c·0e080000·50000000·.A.....L....P... |
41 | ··0x000adf | 41 | ··0x000adfd0·40020000·dc4df5ff·4e230000·00420e10·@....M..N#...B.. |
42 | ··0x000adf | 42 | ··0x000adfe0·8f02490e·188e0349·0e208d04·420e288c·..I....I.·..B.(. |
43 | ··0x000adf | 43 | ··0x000adff0·05480e30·8606430e·3883074a·0ee00203·.H.0..C.8..J.... |
44 | ··0x000a | 44 | ··0x000ae000·15090a0e·38410e30·410e2842·0e20420e·....8A.0A.(B.·B. |
45 | ··0x000ae0 | 45 | ··0x000ae010·18420e10·420e0846·0b000000·00000000·.B..B..F........ |
46 | ··0x000ae0 | 46 | ··0x000ae020·18000000·94020000·d870f5ff·46000000·.........p..F... |
47 | ··0x000ae0 | 47 | ··0x000ae030·00440e10·5a0a0e08·410b0000·30000000·.D..Z...A...0... |
48 | ··0x000ae0 | 48 | ··0x000ae040·b0020000·0c71f5ff·6a000000·00460e10·.....q..j....F.. |
49 | ··0x000ae0 | 49 | ··0x000ae050·8602470e·18830347·0e20600e·18410e10·..G....G.·`..A.. |
50 | ··0x000ae0 | 50 | ··0x000ae060·410e084a·c3c6430e·20830386·02000000·A..J..C.·....... |
51 | ··0x000ae0 | 51 | ··0x000ae070·28000000·e4020000·4871f5ff·61000000·(.......Hq..a... |
52 | ··0x000ae0 | 52 | ··0x000ae080·00420e10·8c02440e·1886034a·0e208304·.B....D....J.·.. |
53 | ··0x000ae0 | 53 | ··0x000ae090·660a0e18·410e1042·0e08410b·28000000·f...A..B..A.(... |
54 | ··0x000ae0 | 54 | ··0x000ae0a0·10030000·8c71f5ff·67000000·00410e10·.....q..g....A.. |
55 | ··0x000ae0 | 55 | ··0x000ae0b0·8602410e·18830354·0e20640a·0e18440e·..A....T.·d...D. |
56 | ··0x000ae0 | 56 | ··0x000ae0c0·10410e08·410b0000·10000000·3c030000·.A..A.......<... |
57 | ··0x000ae0 | 57 | ··0x000ae0d0·d071f5ff·0e000000·00000000·34000000·.q..........4... |
58 | ··0x000ae0 | 58 | ··0x000ae0e0·50030000·cc71f5ff·7e000000·00470e10·P....q..~....G.. |
59 | ··0x000ae0 | 59 | ··0x000ae0f0·8c02470e·18860344·0e208304·790e1841·..G....D.·..y..A |
60 | ··0x000ae | 60 | ··0x000ae100·0e10420e·0842c3c6·cc470e20·83048603·..B..B...G.·.... |
61 | ··0x000ae1 | 61 | ··0x000ae110·8c020000·28000000·88030000·1472f5ff·....(........r.. |
62 | ··0x000ae1 | 62 | ··0x000ae120·31000000·00460e10·8602440e·1883034a·1....F....D....J |
63 | ··0x000ae1 | 63 | ··0x000ae130·0e20520e·1841c30e·1041c60e·08000000·.·R..A...A...... |
64 | ··0x000ae1 | 64 | ··0x000ae140·10000000·b4030000·2872f5ff·05000000·........(r...... |
65 | ··0x000ae1 | 65 | ··0x000ae150·00000000·28000000·c8030000·2472f5ff·....(.......$r.. |
66 | ··0x000ae1 | 66 | ··0x000ae160·e7000000·00420e10·8c02410e·18860344·.....B....A....D |
67 | ··0x000ae1 | 67 | ··0x000ae170·0e208304·700a0e18·410e1042·0e08460b·.·..p...A..B..F. |
68 | ··0x000ae1 | 68 | ··0x000ae180·4c000000·f4030000·e872f5ff·1e010000·L........r...... |
69 | ··0x000ae1 | 69 | ··0x000ae190·00420e10·8f02450e·188e0345·0e208d04·.B....E....E.·.. |
70 | ··0x000ae1 | 70 | ··0x000ae1a0·450e288c·05440e30·8606410e·38830747·E.(..D.0..A.8..G |
71 | ··0x000ae1 | 71 | ··0x000ae1b0·0e5002b2·0a0e3844·0e30410e·28420e20·.P....8D.0A.(B.· |
72 | ··0x000ae1 | 72 | ··0x000ae1c0·420e1842·0e10420e·08440b00·00000000·B..B..B..D...... |
73 | ··0x000ae1 | 73 | ··0x000ae1d0·10000000·44040000·b873f5ff·0b000000·....D....s...... |
74 | ··0x000ae1 | 74 | ··0x000ae1e0·00000000·10000000·58040000·b473f5ff·........X....s.. |
75 | ··0x000ae1 | 75 | ··0x000ae1f0·0b000000·00000000·10000000·6c040000·............l... |
76 | ··0x000ae | 76 | ··0x000ae200·b073f5ff·0b000000·00000000·10000000·.s.............. |
77 | ··0x000ae2 | 77 | ··0x000ae210·80040000·ac73f5ff·17000000·00000000·.....s.......... |
78 | ··0x000ae2 | 78 | ··0x000ae220·24000000·94040000·b873f5ff·2c000000·$........s..,... |
79 | ··0x000ae2 | 79 | ··0x000ae230·00410e10·8602410e·18830347·0e20540e·.A....A....G.·T. |
80 | ··0x000ae2 | 80 | ··0x000ae240·18440e10·460e0800·10000000·bc040000·.D..F........... |
81 | ··0x000ae2 | 81 | ··0x000ae250·c073f5ff·0b000000·00000000·10000000·.s.............. |
82 | ··0x000ae2 | 82 | ··0x000ae260·d0040000·bc73f5ff·1b000000·00000000·.....s.......... |
83 | ··0x000ae2 | 83 | ··0x000ae270·10000000·e4040000·c873f5ff·0b000000·.........s...... |
84 | ··0x000ae2 | 84 | ··0x000ae280·00000000·30000000·f8040000·c473f5ff·....0........s.. |
85 | ··0x000ae2 | 85 | ··0x000ae290·4a000000·00410e10·8602410e·18830347·J....A....A....G |
86 | ··0x000ae2 | 86 | ··0x000ae2a0·0e305e0a·0e18410e·10410e08·470b570e·.0^...A..A..G.W. |
87 | ··0x000ae2 | 87 | ··0x000ae2b0·18410e10·410e0800·10000000·2c050000·.A..A.......,... |
88 | ··0x000ae2 | 88 | ··0x000ae2c0·e073f5ff·0b000000·00000000·10000000·.s.............. |
89 | ··0x000ae2 | 89 | ··0x000ae2d0·40050000·dc73f5ff·0b000000·00000000·@....s.......... |
90 | ··0x000ae2 | 90 | ··0x000ae2e0·10000000·54050000·d873f5ff·0b000000·....T....s...... |
91 | ··0x000ae2 | 91 | ··0x000ae2f0·00000000·10000000·68050000·d473f5ff·........h....s.. |
92 | ··0x000ae | 92 | ··0x000ae300·0b000000·00000000·10000000·7c050000·............|... |
93 | ··0x000ae3 | 93 | ··0x000ae310·d073f5ff·0b000000·00000000·10000000·.s.............. |
94 | ··0x000ae3 | 94 | ··0x000ae320·90050000·cc73f5ff·0b000000·00000000·.....s.......... |
95 | ··0x000ae3 | 95 | ··0x000ae330·20000000·a4050000·c873f5ff·d8000000··........s...... |
96 | ··0x000ae3 | 96 | ··0x000ae340·00410e10·86024a0e·e00102cb·0e10410e·.A....J.......A. |
97 | ··0x000ae3 | 97 | ··0x000ae350·08000000·24000000·c8050000·8474f5ff·....$........t.. |
98 | ··0x000ae3 | 98 | ··0x000ae360·33000000·00410e10·8602440e·18830344·3....A....D....D |
99 | ··0x000ae3 | 99 | ··0x000ae370·0e20520e·18440e10·4f0e0800·64000000·.·R..D..O...d... |
100 | ··0x000ae3 | 100 | ··0x000ae380·f0050000·9c74f5ff·29020000·00420e10·.....t..)....B.. |
101 | ··0x000ae3 | 101 | ··0x000ae390·8f02470e·188e0342·0e208d04·420e288c·..G....B.·..B.(. |
102 | ··0x000ae3 | 102 | ··0x000ae3a0·054b0e30·8606410e·38830747·0e900102·.K.0..A.8..G.... |
103 | ··0x000ae3 | 103 | ··0x000ae3b0·520a0e38·440e3041·0e28420e·20420e18·R..8D.0A.(B.·B.. |
104 | ··0x000ae3 | 104 | ··0x000ae3c0·420e1042·0e08490b·0377010a·0e38440e·B..B..I..w...8D. |
105 | ··0x000ae3 | 105 | ··0x000ae3d0·30410e28·420e2042·0e18420e·10420e08·0A.(B.·B..B..B.. |
106 | ··0x000ae3 | 106 | ··0x000ae3e0·440b0000·48000000·58060000·6476f5ff·D...H...X...dv.. |
107 | ··0x000ae3 | 107 | ··0x000ae3f0·aa020000·00420e10·8f02420e·188e0345·.....B....B....E |
108 | ··0x000ae | 108 | ··0x000ae400·0e208d04·420e288c·05440e30·8606470e·.·..B.(..D.0..G. |
109 | ··0x000ae4 | 109 | ··0x000ae410·38830744·0e700307·010a0e38·410e3041·8..D.p.....8A.0A |
110 | ··0x000ae4 | 110 | ··0x000ae420·0e28420e·20420e18·420e1042·0e08450b·.(B.·B..B..B..E. |
111 | ··0x000ae4 | 111 | ··0x000ae430·24000000·a4060000·c878f5ff·97000000·$........x...... |
112 | ··0x000ae4 | 112 | ··0x000ae440·00420e10·8c02410e·18860347·0e200286·.B....A....G.·.. |
113 | ··0x000ae4 | 113 | ··0x000ae450·0e18440e·10420e08·28000000·cc060000·..D..B..(....... |
114 | ··0x000ae4 | 114 | ··0x000ae460·4079f5ff·c7010000·00420e10·8c02460e·@y.......B....F. |
115 | ··0x000ae4 | 115 | ··0x000ae470·18830347·0e2003b1·010e1844·0e10420e·...G.·.....D..B. |
116 | ··0x000ae4 | 116 | ··0x000ae480·08000000·10000000·f8060000·e47af5ff·.............z.. |
117 | ··0x000ae4 | 117 | ··0x000ae490·04000000·00000000·10000000·0c070000·................ |
118 | ··0x000ae4 | 118 | ··0x000ae4a0·e07af5ff·04000000·00000000·34000000·.z..........4... |
119 | ··0x000ae4 | 119 | ··0x000ae4b0·20070000·dc7af5ff·ae000000·00420e10··....z.......B.. |
120 | ··0x000ae4 | 120 | ··0x000ae4c0·8c02410e·18860347·0e200242·0a0e1844·..A....G.·.B...D |
121 | ··0x000ae4 | 121 | ··0x000ae4d0·0e10420e·08460b5d·0a0e1844·0e10420e·..B..F.]...D..B. |
122 | ··0x000ae4 | 122 | ··0x000ae4e0·08410b00·10000000·58070000·547bf5ff·.A......X...T{.. |
123 | ··0x000ae4 | 123 | ··0x000ae4f0·29000000·00000000·10000000·6c070000·)...........l... |
124 | ··0x000ae | 124 | ··0x000ae500·707bf5ff·06000000·00000000·18000000·p{.............. |
125 | ··0x000ae5 | 125 | ··0x000ae510·80070000·6c7bf5ff·51000000·00410e10·....l{..Q....A.. |
Max diff block lines reached; 0/404322 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·34343337·33346231·37616364·35393138·443734b17acd5918 | ||
3 | ··0x000000 | 2 | ··0x00000000·63633030·64623532·39333831·31346238·cc00db52938114b8 |
3 | ··0x00000010·34396438·61316266·36653831·62333233·49d8a1bf6e81b323 | ||
4 | ··0x00000020· | 4 | ··0x00000020·37633235·30612e64·65627567·00000000·7c250a.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·7280bd0c····························r... |
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····115 | 3 | -rw-r--r--···0········0········0····11548·2012-10-16·12:01:32.000000·data.tar.xz |
Offset 5, 8 lines modified | Offset 5, 8 lines modified | ||
5 | Architecture:·amd64 | 5 | Architecture:·amd64 |
6 | Maintainer:·Michael·Tautschnig·<mt@debian.org> | 6 | Maintainer:·Michael·Tautschnig·<mt@debian.org> |
7 | Installed-Size:·57 | 7 | Installed-Size:·57 |
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:·09cc00db52938114b849d8a1bf6e81b3237c250a |
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/09/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)····47248·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ | 7 | -rw-r--r--···0·root·········(0)·root·········(0)····47248·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/09/cc00db52938114b849d8a1bf6e81b3237c250a.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···········0x000040·0x0000000000000040·0x0000000000000040·0x000268·0x000268·R···0x8 | 7 | ··PHDR···········0x000040·0x0000000000000040·0x0000000000000040·0x000268·0x000268·R···0x8 |
8 | ··INTERP·········0x0002a8·0x00000000000002a8·0x00000000000002a8·0x000000·0x00001c·R···0x1 | 8 | ··INTERP·········0x0002a8·0x00000000000002a8·0x00000000000002a8·0x000000·0x00001c·R···0x1 |
9 | ··LOAD···········0x000000·0x0000000000000000·0x0000000000000000·0x000308·0x001980·R···0x1000 | 9 | ··LOAD···········0x000000·0x0000000000000000·0x0000000000000000·0x000308·0x001980·R···0x1000 |
10 | ··LOAD···········0x000000·0x0000000000002000·0x0000000000002000·0x000000·0x09d3dd·R·E·0x1000 | 10 | ··LOAD···········0x000000·0x0000000000002000·0x0000000000002000·0x000000·0x09d3dd·R·E·0x1000 |
11 | ··LOAD···········0x000000·0x00000000000a0000·0x00000000000a0000·0x000000·0x0199e | 11 | ··LOAD···········0x000000·0x00000000000a0000·0x00000000000a0000·0x000000·0x0199e8·R···0x1000 |
12 | ··LOAD···········0x000b50·0x00000000000bab50·0x00000000000bab50·0x000000·0x000778·RW··0x1000 | 12 | ··LOAD···········0x000b50·0x00000000000bab50·0x00000000000bab50·0x000000·0x000778·RW··0x1000 |
13 | ··DYNAMIC········0x000b50·0x00000000000badd0·0x00000000000badd0·0x000000·0x0001f0·RW··0x8 | 13 | ··DYNAMIC········0x000b50·0x00000000000badd0·0x00000000000badd0·0x000000·0x0001f0·RW··0x8 |
14 | ··NOTE···········0x0002c4·0x00000000000002c4·0x00000000000002c4·0x000044·0x000044·R···0x4 | 14 | ··NOTE···········0x0002c4·0x00000000000002c4·0x00000000000002c4·0x000044·0x000044·R···0x4 |
15 | ··GNU_EH_FRAME···0x001000·0x00000000000ac3c | 15 | ··GNU_EH_FRAME···0x001000·0x00000000000ac3c8·0x00000000000ac3c8·0x000000·0x001994·R···0x4 |
16 | ··GNU_STACK······0x000000·0x0000000000000000·0x0000000000000000·0x000000·0x000000·RW··0x10 | 16 | ··GNU_STACK······0x000000·0x0000000000000000·0x0000000000000000·0x000000·0x000000·RW··0x10 |
17 | ··GNU_RELRO······0x000b50·0x00000000000bab50·0x00000000000bab50·0x000000·0x0004b0·R···0x1 | 17 | ··GNU_RELRO······0x000b50·0x00000000000bab50·0x00000000000bab50·0x000000·0x0004b0·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]·.rela.dyn·········NOBITS··········0000000000000bd0·000308·000930·18···A··5···0··8 | 14 | ··[·9]·.rela.dyn·········NOBITS··········0000000000000bd0·000308·000930·18···A··5···0··8 |
15 | ··[10]·.rela.plt·········NOBITS··········0000000000001500·000308·000480·18··AI··5··24··8 | 15 | ··[10]·.rela.plt·········NOBITS··········0000000000001500·000308·000480·18··AI··5··24··8 |
16 | ··[11]·.init·············NOBITS··········0000000000002000·001000·000017·00··AX··0···0··4 | 16 | ··[11]·.init·············NOBITS··········0000000000002000·001000·000017·00··AX··0···0··4 |
17 | ··[12]·.plt··············NOBITS··········0000000000002020·001000·000310·10··AX··0···0·16 | 17 | ··[12]·.plt··············NOBITS··········0000000000002020·001000·000310·10··AX··0···0·16 |
18 | ··[13]·.plt.got··········NOBITS··········0000000000002330·001000·000008·08··AX··0···0··8 | 18 | ··[13]·.plt.got··········NOBITS··········0000000000002330·001000·000008·08··AX··0···0··8 |
19 | ··[14]·.text·············NOBITS··········0000000000002340·001000·09d091·00··AX··0···0·16 | 19 | ··[14]·.text·············NOBITS··········0000000000002340·001000·09d091·00··AX··0···0·16 |
20 | ··[15]·.fini·············NOBITS··········000000000009f3d4·001000·000009·00··AX··0···0··4 | 20 | ··[15]·.fini·············NOBITS··········000000000009f3d4·001000·000009·00··AX··0···0··4 |
21 | ··[16]·.rodata···········NOBITS··········00000000000a0000·001000·00c3 | 21 | ··[16]·.rodata···········NOBITS··········00000000000a0000·001000·00c3c6·00···A··0···0·32 |
22 | ··[17]·.eh_frame_hdr·····NOBITS··········00000000000ac3c | 22 | ··[17]·.eh_frame_hdr·····NOBITS··········00000000000ac3c8·001000·001994·00···A··0···0··4 |
23 | ··[18]·.eh_frame·········NOBITS··········00000000000add | 23 | ··[18]·.eh_frame·········NOBITS··········00000000000add60·001000·00bc88·00···A··0···0··8 |
24 | ··[19]·.init_array·······NOBITS··········00000000000bab50·000b50·000008·08··WA··0···0··8 | 24 | ··[19]·.init_array·······NOBITS··········00000000000bab50·000b50·000008·08··WA··0···0··8 |
25 | ··[20]·.fini_array·······NOBITS··········00000000000bab58·000b50·000008·08··WA··0···0··8 | 25 | ··[20]·.fini_array·······NOBITS··········00000000000bab58·000b50·000008·08··WA··0···0··8 |
26 | ··[21]·.data.rel.ro······NOBITS··········00000000000bab60·000b50·000270·00··WA··0···0·32 | 26 | ··[21]·.data.rel.ro······NOBITS··········00000000000bab60·000b50·000270·00··WA··0···0·32 |
27 | ··[22]·.dynamic··········NOBITS··········00000000000badd0·000b50·0001f0·10··WA··6···0··8 | 27 | ··[22]·.dynamic··········NOBITS··········00000000000badd0·000b50·0001f0·10··WA··6···0··8 |
28 | ··[23]·.got··············NOBITS··········00000000000bafc0·000b50·000030·08··WA··0···0··8 | 28 | ··[23]·.got··············NOBITS··········00000000000bafc0·000b50·000030·08··WA··0···0··8 |
29 | ··[24]·.got.plt··········NOBITS··········00000000000bb000·000b50·000198·08··WA··0···0··8 | 29 | ··[24]·.got.plt··········NOBITS··········00000000000bb000·000b50·000198·08··WA··0···0··8 |
30 | ··[25]·.data·············NOBITS··········00000000000bb1a0·000b50·000068·00··WA··0···0·16 | 30 | ··[25]·.data·············NOBITS··········00000000000bb1a0·000b50·000068·00··WA··0···0·16 |
Offset 14, 16 lines modified | Offset 14, 16 lines modified | ||
14 | ····10:·0000000000001500·····0·SECTION·LOCAL··DEFAULT···10·.rela.plt | 14 | ····10:·0000000000001500·····0·SECTION·LOCAL··DEFAULT···10·.rela.plt |
15 | ····11:·0000000000002000·····0·SECTION·LOCAL··DEFAULT···11·.init | 15 | ····11:·0000000000002000·····0·SECTION·LOCAL··DEFAULT···11·.init |
16 | ····12:·0000000000002020·····0·SECTION·LOCAL··DEFAULT···12·.plt | 16 | ····12:·0000000000002020·····0·SECTION·LOCAL··DEFAULT···12·.plt |
17 | ····13:·0000000000002330·····0·SECTION·LOCAL··DEFAULT···13·.plt.got | 17 | ····13:·0000000000002330·····0·SECTION·LOCAL··DEFAULT···13·.plt.got |
18 | ····14:·0000000000002340·····0·SECTION·LOCAL··DEFAULT···14·.text | 18 | ····14:·0000000000002340·····0·SECTION·LOCAL··DEFAULT···14·.text |
19 | ····15:·000000000009f3d4·····0·SECTION·LOCAL··DEFAULT···15·.fini | 19 | ····15:·000000000009f3d4·····0·SECTION·LOCAL··DEFAULT···15·.fini |
20 | ····16:·00000000000a0000·····0·SECTION·LOCAL··DEFAULT···16·.rodata | 20 | ····16:·00000000000a0000·····0·SECTION·LOCAL··DEFAULT···16·.rodata |
21 | ····17:·00000000000ac3c | 21 | ····17:·00000000000ac3c8·····0·SECTION·LOCAL··DEFAULT···17·.eh_frame_hdr |
22 | ····18:·00000000000add | 22 | ····18:·00000000000add60·····0·SECTION·LOCAL··DEFAULT···18·.eh_frame |
23 | ····19:·00000000000bab50·····0·SECTION·LOCAL··DEFAULT···19·.init_array | 23 | ····19:·00000000000bab50·····0·SECTION·LOCAL··DEFAULT···19·.init_array |
24 | ····20:·00000000000bab58·····0·SECTION·LOCAL··DEFAULT···20·.fini_array | 24 | ····20:·00000000000bab58·····0·SECTION·LOCAL··DEFAULT···20·.fini_array |
25 | ····21:·00000000000bab60·····0·SECTION·LOCAL··DEFAULT···21·.data.rel.ro | 25 | ····21:·00000000000bab60·····0·SECTION·LOCAL··DEFAULT···21·.data.rel.ro |
26 | ····22:·00000000000badd0·····0·SECTION·LOCAL··DEFAULT···22·.dynamic | 26 | ····22:·00000000000badd0·····0·SECTION·LOCAL··DEFAULT···22·.dynamic |
27 | ····23:·00000000000bafc0·····0·SECTION·LOCAL··DEFAULT···23·.got | 27 | ····23:·00000000000bafc0·····0·SECTION·LOCAL··DEFAULT···23·.got |
28 | ····24:·00000000000bb000·····0·SECTION·LOCAL··DEFAULT···24·.got.plt | 28 | ····24:·00000000000bb000·····0·SECTION·LOCAL··DEFAULT···24·.got.plt |
29 | ····25:·00000000000bb1a0·····0·SECTION·LOCAL··DEFAULT···25·.data | 29 | ····25:·00000000000bb1a0·····0·SECTION·LOCAL··DEFAULT···25·.data |
Offset 619, 20 lines modified | Offset 619, 20 lines modified | ||
619 | ···615:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·btorhash.c | 619 | ···615:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·btorhash.c |
620 | ···616:·0000000000043330·····7·FUNC····LOCAL··DEFAULT···14·btor_hash_ptr | 620 | ···616:·0000000000043330·····7·FUNC····LOCAL··DEFAULT···14·btor_hash_ptr |
621 | ···617:·0000000000043340·····7·FUNC····LOCAL··DEFAULT···14·btor_cmp_ptr | 621 | ···617:·0000000000043340·····7·FUNC····LOCAL··DEFAULT···14·btor_cmp_ptr |
622 | ···618:·0000000000043350···346·FUNC····LOCAL··DEFAULT···14·btor_findpos_in_ptr_hash_table_pos | 622 | ···618:·0000000000043350···346·FUNC····LOCAL··DEFAULT···14·btor_findpos_in_ptr_hash_table_pos |
623 | ···619:·00000000000a6500····16·OBJECT··LOCAL··DEFAULT···16·btor_hash_primes | 623 | ···619:·00000000000a6500····16·OBJECT··LOCAL··DEFAULT···16·btor_hash_primes |
624 | ···620:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·lglbnr.c | 624 | ···620:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·lglbnr.c |
625 | ···621:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·crtstuff.c | 625 | ···621:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·crtstuff.c |
626 | ···622:·00000000000b99 | 626 | ···622:·00000000000b99e4·····0·OBJECT··LOCAL··DEFAULT···18·__FRAME_END__ |
627 | ···623:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS· | 627 | ···623:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS· |
628 | ···624:·00000000000bab58·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_end | 628 | ···624:·00000000000bab58·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_end |
629 | ···625:·00000000000badd0·····0·OBJECT··LOCAL··DEFAULT···22·_DYNAMIC | 629 | ···625:·00000000000badd0·····0·OBJECT··LOCAL··DEFAULT···22·_DYNAMIC |
630 | ···626:·00000000000bab50·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_start | 630 | ···626:·00000000000bab50·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_start |
631 | ···627:·00000000000ac3c | 631 | ···627:·00000000000ac3c8·····0·NOTYPE··LOCAL··DEFAULT···17·__GNU_EH_FRAME_HDR |
632 | ···628:·00000000000bb000·····0·OBJECT··LOCAL··DEFAULT···24·_GLOBAL_OFFSET_TABLE_ | 632 | ···628:·00000000000bb000·····0·OBJECT··LOCAL··DEFAULT···24·_GLOBAL_OFFSET_TABLE_ |
633 | ···629:·0000000000002000·····0·FUNC····LOCAL··DEFAULT···11·_init | 633 | ···629:·0000000000002000·····0·FUNC····LOCAL··DEFAULT···11·_init |
634 | ···630:·000000000002b070····44·FUNC····GLOBAL·DEFAULT···14·btor_udiv_const | 634 | ···630:·000000000002b070····44·FUNC····GLOBAL·DEFAULT···14·btor_udiv_const |
635 | ···631:·000000000009f3d0·····1·FUNC····GLOBAL·DEFAULT···14·__libc_csu_fini | 635 | ···631:·000000000009f3d0·····1·FUNC····GLOBAL·DEFAULT···14·__libc_csu_fini |
636 | ···632:·0000000000000000·····0·FUNC····GLOBAL·DEFAULT··UND·__ctype_toupper_loc@GLIBC_2.3 | 636 | ···632:·0000000000000000·····0·FUNC····GLOBAL·DEFAULT··UND·__ctype_toupper_loc@GLIBC_2.3 |
637 | ···633:·0000000000034cc0···161·FUNC····GLOBAL·DEFAULT···14·btor_nand_exp | 637 | ···633:·0000000000034cc0···161·FUNC····GLOBAL·DEFAULT···14·btor_nand_exp |
638 | ···634:·000000000003aec0··1013·FUNC····GLOBAL·DEFAULT···14·btor_srem_exp | 638 | ···634:·000000000003aec0··1013·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:·09cc00db52938114b849d8a1bf6e81b3237c250a |
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 |