⊟
477 KB
/srv/reproducible-results/rbuild-debian/tmp.mScLJMqqWy/b1/boolector_1.5.118.6b56be4.121013-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/tmp.mScLJMqqWy/b2/boolector_1.5.118.6b56be4.121013-1_amd64.changes
⊟
446 B
Files
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
  
1 ·2663145292e719cfc3a3160a59a8245c·12688·debug·optional·boolector-dbgsym_1.5.118.6b56be4.121013-1_amd64.deb 
2 ·f1fbd52214e51c9fa8839301de3f3a24·303576·science·extra·boolector_1.5.118.6b56be4.121013-1_amd64.deb1 ·51018ffc03e4af8ba30997d6c608e271·12752·debug·optional·boolector-dbgsym_1.5.118.6b56be4.121013-1_amd64.deb
 2 ·0dd14b2a6bc2fafc97c0edd8cdbce2b0·303624·science·extra·boolector_1.5.118.6b56be4.121013-1_amd64.deb
⊟
467 KB
boolector_1.5.118.6b56be4.121013-1_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary1 -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.xz2 -rw-r--r--···0········0········0······704·2012-10-16·12:01:32.000000·control.tar.xz
3 -rw-r--r--···0········0········0···302680·2012-10-16·12:01:32.000000·data.tar.xz3 -rw-r--r--···0········0········0···302728·2012-10-16·12:01:32.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
466 KB
data.tar.xz
⊟
466 KB
data.tar
⊟
466 KB
./usr/bin/boolector
⊟
1.52 KB
readelf --wide --program-header {}
    
Offset 6, 19 lines modifiedOffset 6, 19 lines modified
6 Program·Headers:6 Program·Headers:
7 ··Type···········Offset···VirtAddr···········PhysAddr···········FileSiz··MemSiz···Flg·Align7 ··Type···········Offset···VirtAddr···········PhysAddr···········FileSiz··MemSiz···Flg·Align
8 ··PHDR···········0x000040·0x0000000000000040·0x0000000000000040·0x000268·0x000268·R···0x88 ··PHDR···········0x000040·0x0000000000000040·0x0000000000000040·0x000268·0x000268·R···0x8
9 ··INTERP·········0x0002a8·0x00000000000002a8·0x00000000000002a8·0x00001c·0x00001c·R···0x19 ··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·0x001a10·0x001a10·R···0x100011 ··LOAD···········0x000000·0x0000000000000000·0x0000000000000000·0x001a10·0x001a10·R···0x1000
12 ··LOAD···········0x002000·0x0000000000002000·0x0000000000002000·0x09d59d·0x09d59d·R·E·0x100012 ··LOAD···········0x002000·0x0000000000002000·0x0000000000002000·0x09d59d·0x09d59d·R·E·0x1000
13 ··LOAD···········0x0a0000·0x00000000000a0000·0x00000000000a0000·0x019908·0x019908·R···0x100013 ··LOAD···········0x0a0000·0x00000000000a0000·0x00000000000a0000·0x019910·0x019910·R···0x1000
14 ··LOAD···········0x0b9b10·0x00000000000bab10·0x00000000000bab10·0x0006f8·0x0007b8·RW··0x100014 ··LOAD···········0x0b9b10·0x00000000000bab10·0x00000000000bab10·0x0006f8·0x0007b8·RW··0x1000
15 ··DYNAMIC········0x0b9dc8·0x00000000000badc8·0x00000000000badc8·0x0001f0·0x0001f0·RW··0x815 ··DYNAMIC········0x0b9dc8·0x00000000000badc8·0x00000000000badc8·0x0001f0·0x0001f0·RW··0x8
16 ··NOTE···········0x0002c4·0x00000000000002c4·0x00000000000002c4·0x000044·0x000044·R···0x416 ··NOTE···········0x0002c4·0x00000000000002c4·0x00000000000002c4·0x000044·0x000044·R···0x4
17 ··GNU_EH_FRAME···0x0ac114·0x00000000000ac114·0x00000000000ac114·0x001a1c·0x001a1c·R···0x417 ··GNU_EH_FRAME···0x0ac11c·0x00000000000ac11c·0x00000000000ac11c·0x001a1c·0x001a1c·R···0x4
18 ··GNU_STACK······0x000000·0x0000000000000000·0x0000000000000000·0x000000·0x000000·RW··0x1018 ··GNU_STACK······0x000000·0x0000000000000000·0x0000000000000000·0x000000·0x000000·RW··0x10
19 ··GNU_RELRO······0x0b9b10·0x00000000000bab10·0x00000000000bab10·0x0004f0·0x0004f0·R···0x119 ··GNU_RELRO······0x0b9b10·0x00000000000bab10·0x00000000000bab10·0x0004f0·0x0004f0·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·
⊟
1.83 KB
readelf --wide --sections {}
    
Offset 14, 17 lines modifiedOffset 14, 17 lines modified
14 ··[·9]·.rela.dyn·········RELA············0000000000000bd0·000bd0·0009c0·18···A··5···0··814 ··[·9]·.rela.dyn·········RELA············0000000000000bd0·000bd0·0009c0·18···A··5···0··8
15 ··[10]·.rela.plt·········RELA············0000000000001590·001590·000480·18··AI··5··24··815 ··[10]·.rela.plt·········RELA············0000000000001590·001590·000480·18··AI··5··24··8
16 ··[11]·.init·············PROGBITS········0000000000002000·002000·000017·00··AX··0···0··416 ··[11]·.init·············PROGBITS········0000000000002000·002000·000017·00··AX··0···0··4
17 ··[12]·.plt··············PROGBITS········0000000000002020·002020·000310·10··AX··0···0·1617 ··[12]·.plt··············PROGBITS········0000000000002020·002020·000310·10··AX··0···0·16
18 ··[13]·.plt.got··········PROGBITS········0000000000002330·002330·000008·08··AX··0···0··818 ··[13]·.plt.got··········PROGBITS········0000000000002330·002330·000008·08··AX··0···0··8
19 ··[14]·.text·············PROGBITS········0000000000002340·002340·09d251·00··AX··0···0·1619 ··[14]·.text·············PROGBITS········0000000000002340·002340·09d251·00··AX··0···0·16
20 ··[15]·.fini·············PROGBITS········000000000009f594·09f594·000009·00··AX··0···0··420 ··[15]·.fini·············PROGBITS········000000000009f594·09f594·000009·00··AX··0···0··4
21 ··[16]·.rodata···········PROGBITS········00000000000a0000·0a0000·00c114·00···A··0···0·3221 ··[16]·.rodata···········PROGBITS········00000000000a0000·0a0000·00c11c·00···A··0···0·32
22 ··[17]·.eh_frame_hdr·····PROGBITS········00000000000ac114·0ac114·001a1c·00···A··0···0··422 ··[17]·.eh_frame_hdr·····PROGBITS········00000000000ac11c·0ac11c·001a1c·00···A··0···0··4
23 ··[18]·.eh_frame·········PROGBITS········00000000000adb30·0adb30·00bdd8·00···A··0···0··823 ··[18]·.eh_frame·········PROGBITS········00000000000adb38·0adb38·00bdd8·00···A··0···0··8
24 ··[19]·.init_array·······INIT_ARRAY······00000000000bab10·0b9b10·000008·08··WA··0···0··824 ··[19]·.init_array·······INIT_ARRAY······00000000000bab10·0b9b10·000008·08··WA··0···0··8
25 ··[20]·.fini_array·······FINI_ARRAY······00000000000bab18·0b9b18·000008·08··WA··0···0··825 ··[20]·.fini_array·······FINI_ARRAY······00000000000bab18·0b9b18·000008·08··WA··0···0··8
26 ··[21]·.data.rel.ro······PROGBITS········00000000000bab20·0b9b20·0002a8·00··WA··0···0·3226 ··[21]·.data.rel.ro······PROGBITS········00000000000bab20·0b9b20·0002a8·00··WA··0···0·32
27 ··[22]·.dynamic··········DYNAMIC·········00000000000badc8·0b9dc8·0001f0·10··WA··6···0··827 ··[22]·.dynamic··········DYNAMIC·········00000000000badc8·0b9dc8·0001f0·10··WA··6···0··8
28 ··[23]·.got··············PROGBITS········00000000000bafb8·0b9fb8·000030·08··WA··0···0··828 ··[23]·.got··············PROGBITS········00000000000bafb8·0b9fb8·000030·08··WA··0···0··8
29 ··[24]·.got.plt··········PROGBITS········00000000000bb000·0ba000·000198·08··WA··0···0··829 ··[24]·.got.plt··········PROGBITS········00000000000bb000·0ba000·000198·08··WA··0···0··8
30 ··[25]·.data·············PROGBITS········00000000000bb1a0·0ba1a0·000068·00··WA··0···0·1630 ··[25]·.data·············PROGBITS········00000000000bb1a0·0ba1a0·000068·00··WA··0···0·16
⊟
615 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.ABI-tag1 Displaying·notes·found·in:·.note.ABI-tag
2 ··Owner·················Data·size»  Description2 ··Owner·················Data·size»  Description
3 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.03 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner·················Data·size»  Description5 ··Owner·················Data·size»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·2cab0ea70f491ac1ce5f51f3eb7b715a1f5a41976 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·d955ea3012993d080096df65a2f85b83d96fe11e
⊟
1.04 KB
strings --all --bytes=8 {}
    
Offset 640, 15 lines modifiedOffset 640, 15 lines modified
640 gunzip·-c·%s640 gunzip·-c·%s
641 bzcat·%s641 bzcat·%s
642 7z·x·-so·%s·2>/dev/null642 7z·x·-so·%s·2>/dev/null
643 can·not·read·'%s'643 can·not·read·'%s'
644 Boolector·Version·%s·%s644 Boolector·Version·%s·%s
645 gcc·(Debian·8.3.0-6)·8.3.0645 gcc·(Debian·8.3.0-6)·8.3.0
646 Sat·Oct·13·13:59:09·CEST·2012646 Sat·Oct·13·13:59:09·CEST·2012
647 Sun·Sep·11·06:45:11·-12·2022647 Tue·Aug·10·02:25:37·+14·2021
648 setting·signal·handlers648 setting·signal·handlers
649 no·time·limit649 no·time·limit
650 dumping·BTOR·expressions650 dumping·BTOR·expressions
651 dumping·in·SMT·format651 dumping·in·SMT·format
652 status·sat652 status·sat
653 status·unsat653 status·unsat
654 status·unknown654 status·unknown
Offset 1989, 21 lines modifiedOffset 1989, 21 lines modified
1989 can·not·fork·twice·yet1989 can·not·fork·twice·yet
1990 p·cnf·%d·%d1990 p·cnf·%d·%d
1991 not·forked1991 not·forked
1992 expected·forked·state1992 expected·forked·state
1993 .A-Wall·-O3·-DNLGLOG·-DNDEBUG·-DNCHKSOL·-DNLGLPICOSAT·1993 .A-Wall·-O3·-DNLGLOG·-DNDEBUG·-DNCHKSOL·-DNLGLPICOSAT·
1994 b02aa1a04343558c4252b5f4a723be021964f6521994 b02aa1a04343558c4252b5f4a723be021964f652
1995 %sCopyright·(C)·2010-2012·Armin·Biere·JKU·Linz·Austria.1995 %sCopyright·(C)·2010-2012·Armin·Biere·JKU·Linz·Austria.
1996 Linux·ionos5-amd64·5.10.0-0.bpo.8-amd64·x86_641996 Linux·i-capture-the-hostname·4.19.0-17-amd64·x86_64
1997 ala·b02aa1a04343558c4252b5f4a723be021964f6521997 ala·b02aa1a04343558c4252b5f4a723be021964f652
1998 %sVersion·%s·%s1998 %sVersion·%s·%s
1999 %sAll·rights·reserved.1999 %sAll·rights·reserved.
2000 Sat·Oct·13·14:05:26·CEST·20122000 Sat·Oct·13·14:05:26·CEST·2012
2001 %sreleased·%s2001 %sreleased·%s
2002 Sun·Sep·11·06:45:08·-12·20222002 Tue·Aug·10·02:25:27·+14·2021
2003 %scompiled·%s2003 %scompiled·%s
2004 .shstrtab2004 .shstrtab
2005 .note.ABI-tag2005 .note.ABI-tag
2006 .note.gnu.build-id2006 .note.gnu.build-id
2007 .gnu.hash2007 .gnu.hash
2008 .gnu.version2008 .gnu.version
2009 .gnu.version_r2009 .gnu.version_r
⊟
4.15 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 809, 19 lines modifiedOffset 809, 19 lines modified
809 »       xor····%eax,%eax809 »       xor····%eax,%eax
810 »       callq··2770·<__cxa_finalize@plt+0x440>810 »       callq··2770·<__cxa_finalize@plt+0x440>
811 »       lea····0x9dc5a(%rip),%rsi········811 »       lea····0x9dc5a(%rip),%rsi········
812 »       lea····0x9eaa1(%rip),%rdi········812 »       lea····0x9eaa1(%rip),%rdi········
813 »       xor····%eax,%eax813 »       xor····%eax,%eax
814 »       callq··2770·<__cxa_finalize@plt+0x440>814 »       callq··2770·<__cxa_finalize@plt+0x440>
815 »       lea····0x9d1ab(%rip),%rsi········815 »       lea····0x9d1ab(%rip),%rsi········
816 »       lea····0xa9029(%rip),%rdi········816 »       lea····0xa9031(%rip),%rdi········
817 »       xor····%eax,%eax817 »       xor····%eax,%eax
818 »       callq··2770·<__cxa_finalize@plt+0x440>818 »       callq··2770·<__cxa_finalize@plt+0x440>
819 »       lea····0x9d1b4(%rip),%rsi········819 »       lea····0x9d1b4(%rip),%rsi········
820 »       lea····0xa9040(%rip),%rdi········820 »       lea····0xa9048(%rip),%rdi········
821 »       xor····%eax,%eax821 »       xor····%eax,%eax
822 »       callq··2770·<__cxa_finalize@plt+0x440>822 »       callq··2770·<__cxa_finalize@plt+0x440>
823 »       lea····0x9d166(%rip),%rsi········823 »       lea····0x9d166(%rip),%rsi········
824 »       lea····0x9ea62(%rip),%rdi········824 »       lea····0x9ea62(%rip),%rdi········
825 »       xor····%eax,%eax825 »       xor····%eax,%eax
826 »       callq··2770·<__cxa_finalize@plt+0x440>826 »       callq··2770·<__cxa_finalize@plt+0x440>
827 »       xor····%r14d,%r14d827 »       xor····%r14d,%r14d
Offset 9511, 15 lines modifiedOffset 9511, 15 lines modified
9511 »       test···%rbx,%rbx9511 »       test···%rbx,%rbx
9512 »       je·····b860·<__cxa_finalize@plt+0x9530>9512 »       je·····b860·<__cxa_finalize@plt+0x9530>
9513 »       movzbl·(%rbx),%eax9513 »       movzbl·(%rbx),%eax
9514 »       and····$0x1f,%eax9514 »       and····$0x1f,%eax
9515 »       cmp····$0x2,%al9515 »       cmp····$0x2,%al
9516 »       je·····b8b0·<__cxa_finalize@plt+0x9580>9516 »       je·····b8b0·<__cxa_finalize@plt+0x9580>
9517 »       cmp····$0x3,%al9517 »       cmp····$0x3,%al
9518 »       lea····0xa0843(%rip),%rdx········9518 »       lea····0xa084b(%rip),%rdx········
9519 »       lea····0x962ff(%rip),%rax········9519 »       lea····0x962ff(%rip),%rax········
9520 »       cmovne·%rax,%rdx9520 »       cmovne·%rax,%rdx
9521 »       mov····0x10(%rbx),%ecx9521 »       mov····0x10(%rbx),%ecx
9522 »       jmp····b86c·<__cxa_finalize@plt+0x953c>9522 »       jmp····b86c·<__cxa_finalize@plt+0x953c>
9523 »       nopl···(%rax)9523 »       nopl···(%rax)
9524 »       lea····0x962ec(%rip),%rdx········9524 »       lea····0x962ec(%rip),%rdx········
9525 »       mov····$0xffffffff,%ecx9525 »       mov····$0xffffffff,%ecx
Offset 159996, 72 lines modifiedOffset 159996, 72 lines modified
159996 »       mov····%rsi,%rdi159996 »       mov····%rsi,%rdi
159997 »       sub····$0x8,%rsp159997 »       sub····$0x8,%rsp
159998 »       callq··2100·<strlen@plt>159998 »       callq··2100·<strlen@plt>
159999 »       mov····%rbx,%rcx159999 »       mov····%rbx,%rcx
160000 »       mov····%r13,%rdx160000 »       mov····%r13,%rdx
160001 »       mov····%r12,%rdi160001 »       mov····%r12,%rdi
160002 »       sub····%eax,%r14d160002 »       sub····%eax,%r14d
160003 »       lea····0xcdb3(%rip),%rsi········160003 »       lea····0xcdbb(%rip),%rsi········
160004 »       xor····%eax,%eax160004 »       xor····%eax,%eax
160005 »       callq··21e0·<fprintf@plt>160005 »       callq··21e0·<fprintf@plt>
160006 »       mov····%r13,%rdx160006 »       mov····%r13,%rdx
160007 »       mov····%r12,%rdi160007 »       mov····%r12,%rdi
160008 »       xor····%eax,%eax160008 »       xor····%eax,%eax
160009 »       lea····0x2853(%rip),%rsi········160009 »       lea····0x2853(%rip),%rsi········
160010 »       movslq·%r14d,%r14160010 »       movslq·%r14d,%r14
160011 »       callq··21e0·<fprintf@plt>160011 »       callq··21e0·<fprintf@plt>
160012 »       mov····%r13,%rdx160012 »       mov····%r13,%rdx
160013 »       mov····%r12,%rdi160013 »       mov····%r12,%rdi
160014 »       xor····%eax,%eax160014 »       xor····%eax,%eax
160015 »       lea····0xccb6(%rip),%r8········160015 »       lea····0xccb6(%rip),%r8········
160016 »       lea····0xcd85(%rip),%rcx········160016 »       lea····0xcd8d(%rip),%rcx········
160017 »       lea····0xcd82(%rip),%rsi········160017 »       lea····0xcd8a(%rip),%rsi········
160018 »       callq··21e0·<fprintf@plt>160018 »       callq··21e0·<fprintf@plt>
160019 »       mov····%r13,%rdx160019 »       mov····%r13,%rdx
160020 »       mov····%r12,%rdi160020 »       mov····%r12,%rdi
160021 »       xor····%eax,%eax160021 »       xor····%eax,%eax
160022 »       lea····0x281a(%rip),%rsi········160022 »       lea····0x281a(%rip),%rsi········
160023 »       callq··21e0·<fprintf@plt>160023 »       callq··21e0·<fprintf@plt>
160024 »       mov····%r13,%rdx160024 »       mov····%r13,%rdx
160025 »       mov····%r12,%rdi160025 »       mov····%r12,%rdi
160026 »       xor····%eax,%eax160026 »       xor····%eax,%eax
160027 »       lea····0xccb0(%rip),%rsi········160027 »       lea····0xccb0(%rip),%rsi········
160028 »       callq··21e0·<fprintf@plt>160028 »       callq··21e0·<fprintf@plt>
160029 »       mov····%r13,%rdx160029 »       mov····%r13,%rdx
160030 »       mov····%r12,%rdi160030 »       mov····%r12,%rdi
160031 »       xor····%eax,%eax160031 »       xor····%eax,%eax
160032 »       lea····0xcd57(%rip),%rsi········160032 »       lea····0xcd5f(%rip),%rsi········
160033 »       callq··21e0·<fprintf@plt>160033 »       callq··21e0·<fprintf@plt>
160034 »       mov····%r13,%rdx160034 »       mov····%r13,%rdx
160035 »       mov····%r12,%rdi160035 »       mov····%r12,%rdi
160036 »       xor····%eax,%eax160036 »       xor····%eax,%eax
160037 »       lea····0x27de(%rip),%rsi········160037 »       lea····0x27de(%rip),%rsi········
160038 »       callq··21e0·<fprintf@plt>160038 »       callq··21e0·<fprintf@plt>
160039 »       mov····%r13,%rdx160039 »       mov····%r13,%rdx
160040 »       mov····%r12,%rdi160040 »       mov····%r12,%rdi
160041 »       xor····%eax,%eax160041 »       xor····%eax,%eax
160042 »       lea····0xcd47(%rip),%rcx········160042 »       lea····0xcd4f(%rip),%rcx········
160043 »       lea····0xcd5e(%rip),%rsi········160043 »       lea····0xcd66(%rip),%rsi········
160044 »       callq··21e0·<fprintf@plt>160044 »       callq··21e0·<fprintf@plt>
160045 »       mov····%r13,%rdx160045 »       mov····%r13,%rdx
160046 »       mov····%r12,%rdi160046 »       mov····%r12,%rdi
160047 »       xor····%eax,%eax160047 »       xor····%eax,%eax
160048 »       lea····0xcd59(%rip),%rcx········160048 »       lea····0xcd61(%rip),%rcx········
160049 »       lea····0xcd6f(%rip),%rsi········160049 »       lea····0xcd77(%rip),%rsi········
160050 »       callq··21e0·<fprintf@plt>160050 »       callq··21e0·<fprintf@plt>
160051 »       mov····%r13,%rdx160051 »       mov····%r13,%rdx
160052 »       mov····%r12,%rdi160052 »       mov····%r12,%rdi
160053 »       xor····%eax,%eax160053 »       xor····%eax,%eax
160054 »       lea····0x2794(%rip),%rsi········160054 »       lea····0x2794(%rip),%rsi········
160055 »       callq··21e0·<fprintf@plt>160055 »       callq··21e0·<fprintf@plt>
160056 »       mov····%r13,%rdx160056 »       mov····%r13,%rdx
160057 »       mov····%r12,%rdi160057 »       mov····%r12,%rdi
160058 »       xor····%eax,%eax160058 »       xor····%eax,%eax
160059 »       lea····0xe7d(%rip),%rcx········160059 »       lea····0xe7d(%rip),%rcx········
160060 »       lea····0xccc3(%rip),%rsi········160060 »       lea····0xcccb(%rip),%rsi········
160061 »       callq··21e0·<fprintf@plt>160061 »       callq··21e0·<fprintf@plt>
160062 »       nopw···0x0(%rax,%rax,1)160062 »       nopw···0x0(%rax,%rax,1)
160063 »       mov····%r12,%rsi160063 »       mov····%r12,%rsi
160064 »       mov····%r13,%rdi160064 »       mov····%r13,%rdi
160065 »       callq··2150·<fputs@plt>160065 »       callq··2150·<fputs@plt>
160066 »       test···$0xdf,%r15b160066 »       test···$0xdf,%r15b
160067 »       je·····9f4af·<__cxa_finalize@plt+0x9d17f>160067 »       je·····9f4af·<__cxa_finalize@plt+0x9d17f>
Offset 160130, 15 lines modifiedOffset 160130, 15 lines modified
160130 »       mov····%r12,%rsi160130 »       mov····%r12,%rsi
160131 »       mov····$0xa,%edi160131 »       mov····$0xa,%edi
160132 »       callq··2190·<fputc@plt>160132 »       callq··2190·<fputc@plt>
160133 »       mov····%r13,%rdx160133 »       mov····%r13,%rdx
160134 »       mov····%r12,%rdi160134 »       mov····%r12,%rdi
160135 »       lea····0xcb4d(%rip),%rcx········160135 »       lea····0xcb4d(%rip),%rcx········
160136 »       xor····%eax,%eax160136 »       xor····%eax,%eax
160137 »       lea····0xcba4(%rip),%rsi········160137 »       lea····0xcbac(%rip),%rsi········
160138 »       callq··21e0·<fprintf@plt>160138 »       callq··21e0·<fprintf@plt>
160139 »       mov····%r12,%rdi160139 »       mov····%r12,%rdi
160140 »       mov····%r13,%rdx160140 »       mov····%r13,%rdx
160141 »       xor····%eax,%eax160141 »       xor····%eax,%eax
160142 »       lea····0x2646(%rip),%rsi········160142 »       lea····0x2646(%rip),%rsi········
160143 »       callq··21e0·<fprintf@plt>160143 »       callq··21e0·<fprintf@plt>
160144 »       add····$0x8,%rsp160144 »       add····$0x8,%rsp
Offset 160148, 15 lines modifiedOffset 160148, 15 lines modified
160148 »       pop····%r12160148 »       pop····%r12
160149 »       pop····%r13160149 »       pop····%r13
Max diff block lines reached; 279/4064 bytes (6.87%) of diff not shown.
⊟
3.85 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 35, 16 lines modifiedOffset 35, 16 lines modified
35 ··0x000a0200·25732032·3e2f6465·762f6e75·6c6c0063·%s·2>/dev/null.c35 ··0x000a0200·25732032·3e2f6465·762f6e75·6c6c0063·%s·2>/dev/null.c
36 ··0x000a0210·616e206e·6f742072·65616420·27257327·an·not·read·'%s'36 ··0x000a0210·616e206e·6f742072·65616420·27257327·an·not·read·'%s'
37 ··0x000a0220·0a00426f·6f6c6563·746f7220·56657273·..Boolector·Vers37 ··0x000a0220·0a00426f·6f6c6563·746f7220·56657273·..Boolector·Vers
38 ··0x000a0230·696f6e20·25732025·730a0067·63632028·ion·%s·%s..gcc·(38 ··0x000a0230·696f6e20·25732025·730a0067·63632028·ion·%s·%s..gcc·(
39 ··0x000a0240·44656269·616e2038·2e332e30·2d362920·Debian·8.3.0-6)·39 ··0x000a0240·44656269·616e2038·2e332e30·2d362920·Debian·8.3.0-6)·
40 ··0x000a0250·382e332e·30005361·74204f63·74203133·8.3.0.Sat·Oct·1340 ··0x000a0250·382e332e·30005361·74204f63·74203133·8.3.0.Sat·Oct·13
41 ··0x000a0260·2031333a·35393a30·39204345·53542032··13:59:09·CEST·241 ··0x000a0260·2031333a·35393a30·39204345·53542032··13:59:09·CEST·2
42 ··0x000a0270·30313200·53756e20·53657020·31312030·012.Sun·Sep·11·042 ··0x000a0270·30313200·54756520·41756720·31302030·012.Tue·Aug·10·0
43 ··0x000a0280·363a3435·3a313120·2d313220·32303232·6:45:11·-12·202243 ··0x000a0280·323a3235·3a333720·2b313420·32303231·2:25:37·+14·2021
44 ··0x000a0290·00736574·74696e67·20736967·6e616c20·.setting·signal·44 ··0x000a0290·00736574·74696e67·20736967·6e616c20·.setting·signal·
45 ··0x000a02a0·68616e64·6c657273·0a006e6f·2074696d·handlers..no·tim45 ··0x000a02a0·68616e64·6c657273·0a006e6f·2074696d·handlers..no·tim
46 ··0x000a02b0·65206c69·6d69740a·002e736d·74320064·e·limit...smt2.d46 ··0x000a02b0·65206c69·6d69740a·002e736d·74320064·e·limit...smt2.d
47 ··0x000a02c0·756d7069·6e672042·544f5220·65787072·umping·BTOR·expr47 ··0x000a02c0·756d7069·6e672042·544f5220·65787072·umping·BTOR·expr
48 ··0x000a02d0·65737369·6f6e730a·0064756d·70696e67·essions..dumping48 ··0x000a02d0·65737369·6f6e730a·0064756d·70696e67·essions..dumping
49 ··0x000a02e0·20696e20·534d5420·666f726d·61740a00··in·SMT·format..49 ··0x000a02e0·20696e20·534d5420·666f726d·61740a00··in·SMT·format..
50 ··0x000a02f0·73746174·75732073·61740a00·73746174·status·sat..stat50 ··0x000a02f0·73746174·75732073·61740a00·73746174·status·sat..stat
Offset 3070, 24 lines modifiedOffset 3070, 24 lines modified
3070 ··0x000abfb0·53415420·00000000·62303261·61316130·SAT·....b02aa1a03070 ··0x000abfb0·53415420·00000000·62303261·61316130·SAT·....b02aa1a0
3071 ··0x000abfc0·34333433·35353863·34323532·62356634·4343558c4252b5f43071 ··0x000abfc0·34333433·35353863·34323532·62356634·4343558c4252b5f4
3072 ··0x000abfd0·61373233·62653032·31393634·66363532·a723be021964f6523072 ··0x000abfd0·61373233·62653032·31393634·66363532·a723be021964f652
3073 ··0x000abfe0·00000000·00000000·2573436f·70797269·........%sCopyri3073 ··0x000abfe0·00000000·00000000·2573436f·70797269·........%sCopyri
3074 ··0x000abff0·67687420·28432920·32303130·2d323031·ght·(C)·2010-2013074 ··0x000abff0·67687420·28432920·32303130·2d323031·ght·(C)·2010-201
3075 ··0x000ac000·32204172·6d696e20·42696572·65204a4b·2·Armin·Biere·JK3075 ··0x000ac000·32204172·6d696e20·42696572·65204a4b·2·Armin·Biere·JK
3076 ··0x000ac010·55204c69·6e7a2041·75737472·69612e0a·U·Linz·Austria..3076 ··0x000ac010·55204c69·6e7a2041·75737472·69612e0a·U·Linz·Austria..
3077 ··0x000ac020·00000000·00000000·4c696e75·7820696f·........Linux·io3077 ··0x000ac020·00000000·00000000·4c696e75·7820692d·........Linux·i-
3078 ··0x000ac030·6e6f7335·2d616d64·36342035·2e31302e·nos5-amd64·5.10. 
3079 ··0x000ac040·302d302e·62706f2e·382d616d·64363420·0-0.bpo.8-amd64· 
3080 ··0x000ac050·7838365f·36340000·616c6120·62303261·x86_64..ala·b02a 
3081 ··0x000ac060·61316130·34333433·35353863·34323532·a1a04343558c4252 
3082 ··0x000ac070·62356634·61373233·62653032·31393634·b5f4a723be021964 
3083 ··0x000ac080·66363532·00000000·25732573·0a00616c·f652....%s%s..al 
3084 ··0x000ac090·61002573·56657273·696f6e20·25732025·a.%sVersion·%s·% 
3085 ··0x000ac0a0·730a0025·73416c6c·20726967·68747320·s..%sAll·rights· 
3086 ··0x000ac0b0·72657365·72766564·2e0a0053·6174204f·reserved...Sat·O 
3087 ··0x000ac0c0·63742031·33203134·3a30353a·32362043·ct·13·14:05:26·C 
3088 ··0x000ac0d0·45535420·32303132·00257372·656c6561·EST·2012.%srelea 
3089 ··0x000ac0e0·73656420·25730a00·53756e20·53657020·sed·%s..Sun·Sep· 
3090 ··0x000ac0f0·31312030·363a3435·3a303820·2d313220·11·06:45:08·-12· 
3091 ··0x000ac100·32303232·00257363·6f6d7069·6c656420·2022.%scompiled· 
3092 ··0x000ac110·25730a00····························%s..3078 ··0x000ac030·63617074·7572652d·7468652d·686f7374·capture-the-host
 3079 ··0x000ac040·6e616d65·20342e31·392e302d·31372d61·name·4.19.0-17-a
 3080 ··0x000ac050·6d643634·20783836·5f363400·00000000·md64·x86_64.....
 3081 ··0x000ac060·616c6120·62303261·61316130·34333433·ala·b02aa1a04343
 3082 ··0x000ac070·35353863·34323532·62356634·61373233·558c4252b5f4a723
 3083 ··0x000ac080·62653032·31393634·66363532·00000000·be021964f652....
 3084 ··0x000ac090·25732573·0a00616c·61002573·56657273·%s%s..ala.%sVers
 3085 ··0x000ac0a0·696f6e20·25732025·730a0025·73416c6c·ion·%s·%s..%sAll
 3086 ··0x000ac0b0·20726967·68747320·72657365·72766564··rights·reserved
 3087 ··0x000ac0c0·2e0a0053·6174204f·63742031·33203134·...Sat·Oct·13·14
 3088 ··0x000ac0d0·3a30353a·32362043·45535420·32303132·:05:26·CEST·2012
 3089 ··0x000ac0e0·00257372·656c6561·73656420·25730a00·.%sreleased·%s..
 3090 ··0x000ac0f0·54756520·41756720·31302030·323a3235·Tue·Aug·10·02:25
 3091 ··0x000ac100·3a323720·2b313420·32303231·00257363·:27·+14·2021.%sc
 3092 ··0x000ac110·6f6d7069·6c656420·25730a00··········ompiled·%s..
  
⊟
54.9 KB
readelf --wide --decompress --hex-dump=.eh_frame_hdr {}
    
Offset 1, 421 lines modifiedOffset 1, 421 lines modified
  
⊟
398 KB
readelf --wide --decompress --hex-dump=.eh_frame {}
    
Offset 1, 3041 lines modifiedOffset 1, 3041 lines modified
  
⊟
811 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·61623065·61373066·34393161·63316365·ab0ea70f491ac1ce 
3 ··0x00000010·35663531·66336562·37623731·35613166·5f51f3eb7b715a1f2 ··0x00000000·35356561·33303132·39393364·30383030·55ea3012993d0800
 3 ··0x00000010·39366466·36356132·66383562·38336439·96df65a2f85b83d9
4 ··0x00000020·35613431·39372e64·65627567·00000000·5a4197.debug....4 ··0x00000020·36666531·31652e64·65627567·00000000·6fe11e.debug....
5 ··0x00000030·de838b3a····························...:5 ··0x00000030·0db2e4c7····························....
  
⊟
9.4 KB
boolector-dbgsym_1.5.118.6b56be4.121013-1_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary1 -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary
2 -rw-r--r--···0········0········0······532·2012-10-16·12:01:32.000000·control.tar.xz2 -rw-r--r--···0········0········0······532·2012-10-16·12:01:32.000000·control.tar.xz
3 -rw-r--r--···0········0········0····11964·2012-10-16·12:01:32.000000·data.tar.xz3 -rw-r--r--···0········0········0····12028·2012-10-16·12:01:32.000000·data.tar.xz
⊟
632 B
control.tar.xz
⊟
604 B
control.tar
⊟
356 B
./control
    
Offset 5, 8 lines modifiedOffset 5, 8 lines modified
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Michael·Tautschnig·<mt@debian.org>6 Maintainer:·Michael·Tautschnig·<mt@debian.org>
7 Installed-Size:·587 Installed-Size:·58
8 Depends:·boolector·(=·1.5.118.6b56be4.121013-1)8 Depends:·boolector·(=·1.5.118.6b56be4.121013-1)
9 Section:·debug9 Section:·debug
10 Priority:·optional10 Priority:·optional
11 Description:·debug·symbols·for·boolector11 Description:·debug·symbols·for·boolector
12 Build-Ids:·2cab0ea70f491ac1ce5f51f3eb7b715a1f5a419712 Build-Ids:·d955ea3012993d080096df65a2f85b83d96fe11e
⊟
226 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
178 B
line order
    
Offset 1, 1 lines modifiedOffset 1, 1 lines modified
1 usr/lib/debug/.build-id/2c/ab0ea70f491ac1ce5f51f3eb7b715a1f5a4197.debug1 usr/lib/debug/.build-id/d9/55ea3012993d080096df65a2f85b83d96fe11e.debug
⊟
8.33 KB
data.tar.xz
⊟
8.31 KB
data.tar
⊟
1.38 KB
file list
    
Offset 1, 10 lines modifiedOffset 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/2c/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/d9/
7 -rw-r--r--···0·root·········(0)·root·········(0)····48704·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/2c/ab0ea70f491ac1ce5f51f3eb7b715a1f5a4197.debug7 -rw-r--r--···0·root·········(0)·root·········(0)····48704·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/d9/55ea3012993d080096df65a2f85b83d96fe11e.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·->·boolector10 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/boolector-dbgsym·->·boolector
⊟
6.91 KB
./usr/lib/debug/.build-id/2c/ab0ea70f491ac1ce5f51f3eb7b715a1f5a4197.debug vs.
./usr/lib/debug/.build-id/d9/55ea3012993d080096df65a2f85b83d96fe11e.debug
Files 0% similar despite different names
⊟
1.49 KB
readelf --wide --program-header {}
    
Offset 6, 19 lines modifiedOffset 6, 19 lines modified
6 Program·Headers:6 Program·Headers:
7 ··Type···········Offset···VirtAddr···········PhysAddr···········FileSiz··MemSiz···Flg·Align7 ··Type···········Offset···VirtAddr···········PhysAddr···········FileSiz··MemSiz···Flg·Align
8 ··PHDR···········0x000040·0x0000000000000040·0x0000000000000040·0x000268·0x000268·R···0x88 ··PHDR···········0x000040·0x0000000000000040·0x0000000000000040·0x000268·0x000268·R···0x8
9 ··INTERP·········0x0002a8·0x00000000000002a8·0x00000000000002a8·0x000000·0x00001c·R···0x19 ··INTERP·········0x0002a8·0x00000000000002a8·0x00000000000002a8·0x000000·0x00001c·R···0x1
10 ······[Requesting·program·interpreter:·]10 ······[Requesting·program·interpreter:·]
11 ··LOAD···········0x000000·0x0000000000000000·0x0000000000000000·0x000308·0x001a10·R···0x100011 ··LOAD···········0x000000·0x0000000000000000·0x0000000000000000·0x000308·0x001a10·R···0x1000
12 ··LOAD···········0x001000·0x0000000000002000·0x0000000000002000·0x000000·0x09d59d·R·E·0x100012 ··LOAD···········0x001000·0x0000000000002000·0x0000000000002000·0x000000·0x09d59d·R·E·0x1000
13 ··LOAD···········0x001000·0x00000000000a0000·0x00000000000a0000·0x000000·0x019908·R···0x100013 ··LOAD···········0x001000·0x00000000000a0000·0x00000000000a0000·0x000000·0x019910·R···0x1000
14 ··LOAD···········0x000b10·0x00000000000bab10·0x00000000000bab10·0x000000·0x0007b8·RW··0x100014 ··LOAD···········0x000b10·0x00000000000bab10·0x00000000000bab10·0x000000·0x0007b8·RW··0x1000
15 ··DYNAMIC········0x000b10·0x00000000000badc8·0x00000000000badc8·0x000000·0x0001f0·RW··0x815 ··DYNAMIC········0x000b10·0x00000000000badc8·0x00000000000badc8·0x000000·0x0001f0·RW··0x8
16 ··NOTE···········0x0002c4·0x00000000000002c4·0x00000000000002c4·0x000044·0x000044·R···0x416 ··NOTE···········0x0002c4·0x00000000000002c4·0x00000000000002c4·0x000044·0x000044·R···0x4
17 ··GNU_EH_FRAME···0x001000·0x00000000000ac114·0x00000000000ac114·0x000000·0x001a1c·R···0x417 ··GNU_EH_FRAME···0x001000·0x00000000000ac11c·0x00000000000ac11c·0x000000·0x001a1c·R···0x4
18 ··GNU_STACK······0x000000·0x0000000000000000·0x0000000000000000·0x000000·0x000000·RW··0x1018 ··GNU_STACK······0x000000·0x0000000000000000·0x0000000000000000·0x000000·0x000000·RW··0x10
19 ··GNU_RELRO······0x000b10·0x00000000000bab10·0x00000000000bab10·0x000000·0x0004f0·R···0x119 ··GNU_RELRO······0x000b10·0x00000000000bab10·0x00000000000bab10·0x000000·0x0004f0·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·
⊟
1.83 KB
readelf --wide --sections {}
    
Offset 14, 17 lines modifiedOffset 14, 17 lines modified
14 ··[·9]·.rela.dyn·········NOBITS··········0000000000000bd0·000308·0009c0·18···A··5···0··814 ··[·9]·.rela.dyn·········NOBITS··········0000000000000bd0·000308·0009c0·18···A··5···0··8
15 ··[10]·.rela.plt·········NOBITS··········0000000000001590·000308·000480·18···A··5··24··815 ··[10]·.rela.plt·········NOBITS··········0000000000001590·000308·000480·18···A··5··24··8
16 ··[11]·.init·············NOBITS··········0000000000002000·001000·000017·00··AX··0···0··416 ··[11]·.init·············NOBITS··········0000000000002000·001000·000017·00··AX··0···0··4
17 ··[12]·.plt··············NOBITS··········0000000000002020·001000·000310·10··AX··0···0·1617 ··[12]·.plt··············NOBITS··········0000000000002020·001000·000310·10··AX··0···0·16
18 ··[13]·.plt.got··········NOBITS··········0000000000002330·001000·000008·08··AX··0···0··818 ··[13]·.plt.got··········NOBITS··········0000000000002330·001000·000008·08··AX··0···0··8
19 ··[14]·.text·············NOBITS··········0000000000002340·001000·09d251·00··AX··0···0·1619 ··[14]·.text·············NOBITS··········0000000000002340·001000·09d251·00··AX··0···0·16
20 ··[15]·.fini·············NOBITS··········000000000009f594·001000·000009·00··AX··0···0··420 ··[15]·.fini·············NOBITS··········000000000009f594·001000·000009·00··AX··0···0··4
21 ··[16]·.rodata···········NOBITS··········00000000000a0000·001000·00c114·00···A··0···0·3221 ··[16]·.rodata···········NOBITS··········00000000000a0000·001000·00c11c·00···A··0···0·32
22 ··[17]·.eh_frame_hdr·····NOBITS··········00000000000ac114·001000·001a1c·00···A··0···0··422 ··[17]·.eh_frame_hdr·····NOBITS··········00000000000ac11c·001000·001a1c·00···A··0···0··4
23 ··[18]·.eh_frame·········NOBITS··········00000000000adb30·001000·00bdd8·00···A··0···0··823 ··[18]·.eh_frame·········NOBITS··········00000000000adb38·001000·00bdd8·00···A··0···0··8
24 ··[19]·.init_array·······NOBITS··········00000000000bab10·000b10·000008·08··WA··0···0··824 ··[19]·.init_array·······NOBITS··········00000000000bab10·000b10·000008·08··WA··0···0··8
25 ··[20]·.fini_array·······NOBITS··········00000000000bab18·000b10·000008·08··WA··0···0··825 ··[20]·.fini_array·······NOBITS··········00000000000bab18·000b10·000008·08··WA··0···0··8
26 ··[21]·.data.rel.ro······NOBITS··········00000000000bab20·000b10·0002a8·00··WA··0···0·3226 ··[21]·.data.rel.ro······NOBITS··········00000000000bab20·000b10·0002a8·00··WA··0···0·32
27 ··[22]·.dynamic··········NOBITS··········00000000000badc8·000b10·0001f0·10··WA··6···0··827 ··[22]·.dynamic··········NOBITS··········00000000000badc8·000b10·0001f0·10··WA··6···0··8
28 ··[23]·.got··············NOBITS··········00000000000bafb8·000b10·000030·08··WA··0···0··828 ··[23]·.got··············NOBITS··········00000000000bafb8·000b10·000030·08··WA··0···0··8
29 ··[24]·.got.plt··········NOBITS··········00000000000bb000·000b10·000198·08··WA··0···0··829 ··[24]·.got.plt··········NOBITS··········00000000000bb000·000b10·000198·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········00000000000bb1a0·000b10·000068·00··WA··0···0·1630 ··[25]·.data·············NOBITS··········00000000000bb1a0·000b10·000068·00··WA··0···0·16
⊟
2.8 KB
readelf --wide --symbols {}
    
Offset 14, 16 lines modifiedOffset 14, 16 lines modified
14 ····10:·0000000000001590·····0·SECTION·LOCAL··DEFAULT···10·14 ····10:·0000000000001590·····0·SECTION·LOCAL··DEFAULT···10·
15 ····11:·0000000000002000·····0·SECTION·LOCAL··DEFAULT···11·15 ····11:·0000000000002000·····0·SECTION·LOCAL··DEFAULT···11·
16 ····12:·0000000000002020·····0·SECTION·LOCAL··DEFAULT···12·16 ····12:·0000000000002020·····0·SECTION·LOCAL··DEFAULT···12·
17 ····13:·0000000000002330·····0·SECTION·LOCAL··DEFAULT···13·17 ····13:·0000000000002330·····0·SECTION·LOCAL··DEFAULT···13·
18 ····14:·0000000000002340·····0·SECTION·LOCAL··DEFAULT···14·18 ····14:·0000000000002340·····0·SECTION·LOCAL··DEFAULT···14·
19 ····15:·000000000009f594·····0·SECTION·LOCAL··DEFAULT···15·19 ····15:·000000000009f594·····0·SECTION·LOCAL··DEFAULT···15·
20 ····16:·00000000000a0000·····0·SECTION·LOCAL··DEFAULT···16·20 ····16:·00000000000a0000·····0·SECTION·LOCAL··DEFAULT···16·
21 ····17:·00000000000ac114·····0·SECTION·LOCAL··DEFAULT···17·21 ····17:·00000000000ac11c·····0·SECTION·LOCAL··DEFAULT···17·
22 ····18:·00000000000adb30·····0·SECTION·LOCAL··DEFAULT···18·22 ····18:·00000000000adb38·····0·SECTION·LOCAL··DEFAULT···18·
23 ····19:·00000000000bab10·····0·SECTION·LOCAL··DEFAULT···19·23 ····19:·00000000000bab10·····0·SECTION·LOCAL··DEFAULT···19·
24 ····20:·00000000000bab18·····0·SECTION·LOCAL··DEFAULT···20·24 ····20:·00000000000bab18·····0·SECTION·LOCAL··DEFAULT···20·
25 ····21:·00000000000bab20·····0·SECTION·LOCAL··DEFAULT···21·25 ····21:·00000000000bab20·····0·SECTION·LOCAL··DEFAULT···21·
26 ····22:·00000000000badc8·····0·SECTION·LOCAL··DEFAULT···22·26 ····22:·00000000000badc8·····0·SECTION·LOCAL··DEFAULT···22·
27 ····23:·00000000000bafb8·····0·SECTION·LOCAL··DEFAULT···23·27 ····23:·00000000000bafb8·····0·SECTION·LOCAL··DEFAULT···23·
28 ····24:·00000000000bb000·····0·SECTION·LOCAL··DEFAULT···24·28 ····24:·00000000000bb000·····0·SECTION·LOCAL··DEFAULT···24·
29 ····25:·00000000000bb1a0·····0·SECTION·LOCAL··DEFAULT···25·29 ····25:·00000000000bb1a0·····0·SECTION·LOCAL··DEFAULT···25·
Offset 637, 20 lines modifiedOffset 637, 20 lines modified
637 ···633:·0000000000043b50····77·FUNC····LOCAL··DEFAULT···14·is_const_zero_exp637 ···633:·0000000000043b50····77·FUNC····LOCAL··DEFAULT···14·is_const_zero_exp
638 ···634:·0000000000043ba0···165·FUNC····LOCAL··DEFAULT···14·normalize_negated_add638 ···634:·0000000000043ba0···165·FUNC····LOCAL··DEFAULT···14·normalize_negated_add
639 ···635:·0000000000043c50···699·FUNC····LOCAL··DEFAULT···14·is_always_unequal639 ···635:·0000000000043c50···699·FUNC····LOCAL··DEFAULT···14·is_always_unequal
640 ···636:·00000000000470b0···188·FUNC····LOCAL··DEFAULT···14·try_rewrite_add_mul_distrib640 ···636:·00000000000470b0···188·FUNC····LOCAL··DEFAULT···14·try_rewrite_add_mul_distrib
641 ···637:·00000000000489f0··7446·FUNC····LOCAL··DEFAULT···14·rewrite_binary_exp641 ···637:·00000000000489f0··7446·FUNC····LOCAL··DEFAULT···14·rewrite_binary_exp
642 ···638:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·lglbnr.c642 ···638:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·lglbnr.c
643 ···639:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·crtstuff.c643 ···639:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·crtstuff.c
644 ···640:·00000000000b9904·····0·OBJECT··LOCAL··DEFAULT···18·__FRAME_END__644 ···640:·00000000000b990c·····0·OBJECT··LOCAL··DEFAULT···18·__FRAME_END__
645 ···641:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·645 ···641:·0000000000000000·····0·FILE····LOCAL··DEFAULT··ABS·
646 ···642:·00000000000bab18·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_end646 ···642:·00000000000bab18·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_end
647 ···643:·00000000000badc8·····0·OBJECT··LOCAL··DEFAULT···22·_DYNAMIC647 ···643:·00000000000badc8·····0·OBJECT··LOCAL··DEFAULT···22·_DYNAMIC
648 ···644:·00000000000bab10·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_start648 ···644:·00000000000bab10·····0·NOTYPE··LOCAL··DEFAULT···19·__init_array_start
649 ···645:·00000000000ac114·····0·NOTYPE··LOCAL··DEFAULT···17·__GNU_EH_FRAME_HDR649 ···645:·00000000000ac11c·····0·NOTYPE··LOCAL··DEFAULT···17·__GNU_EH_FRAME_HDR
650 ···646:·00000000000bb000·····0·OBJECT··LOCAL··DEFAULT···24·_GLOBAL_OFFSET_TABLE_650 ···646:·00000000000bb000·····0·OBJECT··LOCAL··DEFAULT···24·_GLOBAL_OFFSET_TABLE_
651 ···647:·0000000000002000·····0·FUNC····LOCAL··DEFAULT···11·_init651 ···647:·0000000000002000·····0·FUNC····LOCAL··DEFAULT···11·_init
652 ···648:·00000000000367a0····44·FUNC····GLOBAL·DEFAULT···14·btor_udiv_const652 ···648:·00000000000367a0····44·FUNC····GLOBAL·DEFAULT···14·btor_udiv_const
653 ···649:·000000000009f590·····1·FUNC····GLOBAL·DEFAULT···14·__libc_csu_fini653 ···649:·000000000009f590·····1·FUNC····GLOBAL·DEFAULT···14·__libc_csu_fini
654 ···650:·0000000000000000·····0·FUNC····GLOBAL·DEFAULT··UND·__ctype_toupper_loc@@GLIBC_2.3654 ···650:·0000000000000000·····0·FUNC····GLOBAL·DEFAULT··UND·__ctype_toupper_loc@@GLIBC_2.3
655 ···651:·0000000000013930···160·FUNC····GLOBAL·DEFAULT···14·btor_nand_exp655 ···651:·0000000000013930···160·FUNC····GLOBAL·DEFAULT···14·btor_nand_exp
656 ···652:·00000000000195c0···893·FUNC····GLOBAL·DEFAULT···14·btor_srem_exp656 ···652:·00000000000195c0···893·FUNC····GLOBAL·DEFAULT···14·btor_srem_exp
⊟
615 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.ABI-tag1 Displaying·notes·found·in:·.note.ABI-tag
2 ··Owner·················Data·size»  Description2 ··Owner·················Data·size»  Description
3 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.03 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner·················Data·size»  Description5 ··Owner·················Data·size»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·2cab0ea70f491ac1ce5f51f3eb7b715a1f5a41976 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·d955ea3012993d080096df65a2f85b83d96fe11e
Generated by diffoscope 180