⊟
24.9 MB
/srv/reproducible-results/rbuild-debian/r-b-build.tBRbRGp4/b1/cvc5_1.1.2-2_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.tBRbRGp4/b2/cvc5_1.1.2-2_amd64.changes
⊟
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·773906e18482426249338eb273231fa0·1883300·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb 
2 ·3a36e0ffa60740808bf287bbb289389d·107580·math·optional·cvc5_1.1.2-2_amd64.deb 
3 ·bbdfddbc5d8bf93b695f7db08972d6e5·182745716·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb 
4 ·1dcc459cba863f4da52fd00b9952ecd3·6681752·libs·optional·libcvc5-1_1.1.2-2_amd64.deb1 ·0ab136fc53d09b28d90015aa07ccb518·1883632·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb
 2 ·51c6acbf472be1b04411dd4d8605e84c·108224·math·optional·cvc5_1.1.2-2_amd64.deb
 3 ·66d312da8ae89fca0e52b826bba57ac1·182750268·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb
 4 ·137c605dacbb93ff93c0cf8ac62f3893·6683948·libs·optional·libcvc5-1_1.1.2-2_amd64.deb
5 ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb5 ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb
6 ·2bac293adcb0d4d197f0cda02d2ddc14·4093288·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb 
7 ·c8ad4e50d72d239352113cc42990a6b6·236580·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb 
8 ·91eb6fcb06635f03f880029065b0dc7e·2667700·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb 
9 ·d9d90e8f928252755b37312265baed39·339380·python·optional·python3-cvc5_1.1.2-2_amd64.deb6 ·e60ef6146f31500ac650e8938d55e68f·4093020·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
 7 ·5512e80bcd21db411897e5fbe1a7740b·236580·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb
 8 ·abcd22093fc49775f3557b3c28722ffc·2668020·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb
 9 ·510573fc762f65e00ff7388cf918e972·340228·python·optional·python3-cvc5_1.1.2-2_amd64.deb
⊟
2.27 KB
cvc5_1.1.2-2_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···106272·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···106916·2024-03-19·00:06:23.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
⊟
1.77 KB
data.tar.xz
⊟
1.75 KB
data.tar
⊟
1.74 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
821 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline
  
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:·a4eff7e1148d0bce3045c683bc6cbf4b0566c0066 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·08487812106eff125d787b1ffd08219aa0d17a04
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
⊟
866 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: Unable to find program interpreter name 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·65666637·65313134·38643062·63653330·eff7e1148d0bce30 
3 ··0x00000010·34356336·38336263·36636266·34623035·45c683bc6cbf4b052 ··0x00000000·34383738·31323130·36656666·31323564·487812106eff125d
 3 ··0x00000010·37383762·31666664·30383231·39616130·787b1ffd08219aa0
4 ··0x00000020·36366330·30362e64·65627567·00000000·66c006.debug....4 ··0x00000020·64313761·30342e64·65627567·00000000·d17a04.debug....
5 ··0x00000030·6935a061····························i5.a5 ··0x00000030·38f9316e····························8.1n
  
⊟
7.65 KB
libcvc5-1_1.1.2-2_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··6680280·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··6682476·2024-03-19·00:06:23.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
⊟
7.14 KB
data.tar.xz
⊟
7.12 KB
data.tar
⊟
7.1 KB
./usr/lib/x86_64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·0cc5bcdfc4930f026a8649d400d3f6e42608cf8c3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e130a96c7388e6670f37ed581faca4bfa5004e6f
⊟
5.75 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 669621, 19 lines modifiedOffset 669621, 19 lines modified
669621 »       movl···$0x52,0xd20(%rsp)669621 »       movl···$0x52,0xd20(%rsp)
669622 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669622 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669623 »       lea····0xd50(%rsp),%rdi669623 »       lea····0xd50(%rsp),%rdi
669624 »       lea····0x12cf289(%rip),%rsi········669624 »       lea····0x12cf289(%rip),%rsi········
669625 »       movl···$0x53,0xd48(%rsp)669625 »       movl···$0x53,0xd48(%rsp)
669626 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669626 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669627 »       lea····0xd78(%rsp),%rdi669627 »       lea····0xd78(%rsp),%rdi
669628 »       lea····0x12d0545(%rip),%rsi········669628 »       lea····0x12cd738(%rip),%rsi········
669629 »       movl···$0x54,0xd70(%rsp)669629 »       movl···$0x54,0xd70(%rsp)
669630 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669630 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669631 »       lea····0xda0(%rsp),%rdi669631 »       lea····0xda0(%rsp),%rdi
669632 »       lea····0x12cd719(%rip),%rsi········669632 »       lea····0x12d0526(%rip),%rsi········
669633 »       movl···$0x55,0xd98(%rsp)669633 »       movl···$0x55,0xd98(%rsp)
669634 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669634 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669635 »       lea····0xdc8(%rsp),%rdi669635 »       lea····0xdc8(%rsp),%rdi
669636 »       lea····0x12ccd52(%rip),%rsi········669636 »       lea····0x12ccd52(%rip),%rsi········
669637 »       movl···$0x55,0xdc0(%rsp)669637 »       movl···$0x55,0xdc0(%rsp)
669638 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669638 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669639 »       lea····0xdf0(%rsp),%rdi669639 »       lea····0xdf0(%rsp),%rdi
Offset 669765, 19 lines modifiedOffset 669765, 19 lines modified
669765 »       movl···$0x75,0x12c0(%rsp)669765 »       movl···$0x75,0x12c0(%rsp)
669766 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669766 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669767 »       lea····0x12f0(%rsp),%rdi669767 »       lea····0x12f0(%rsp),%rdi
669768 »       lea····0x12ce7a3(%rip),%rsi········669768 »       lea····0x12ce7a3(%rip),%rsi········
669769 »       movl···$0x76,0x12e8(%rsp)669769 »       movl···$0x76,0x12e8(%rsp)
669770 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669770 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669771 »       lea····0x1318(%rsp),%rdi669771 »       lea····0x1318(%rsp),%rdi
669772 »       lea····0x12c2b41(%rip),%rsi········669772 »       lea····0x12c07bc(%rip),%rsi········
669773 »       movl···$0x77,0x1310(%rsp)669773 »       movl···$0x77,0x1310(%rsp)
669774 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669774 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669775 »       lea····0x1340(%rsp),%rdi669775 »       lea····0x1340(%rsp),%rdi
669776 »       lea····0x12c079d(%rip),%rsi········669776 »       lea····0x12c2b22(%rip),%rsi········
669777 »       movl···$0x78,0x1338(%rsp)669777 »       movl···$0x78,0x1338(%rsp)
669778 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669778 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669779 »       lea····0x1368(%rsp),%rdi669779 »       lea····0x1368(%rsp),%rdi
669780 »       lea····0x12cd2f2(%rip),%rsi········669780 »       lea····0x12cd2f2(%rip),%rsi········
669781 »       movl···$0x78,0x1360(%rsp)669781 »       movl···$0x78,0x1360(%rsp)
669782 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669782 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669783 »       lea····0x1390(%rsp),%rdi669783 »       lea····0x1390(%rsp),%rdi
Offset 670217, 19 lines modifiedOffset 670217, 19 lines modified
670217 »       movl···$0xe4,0x2468(%rsp)670217 »       movl···$0xe4,0x2468(%rsp)
670218 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670218 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670219 »       lea····0x2498(%rsp),%rdi670219 »       lea····0x2498(%rsp),%rdi
670220 »       lea····0x12cdbde(%rip),%rsi········670220 »       lea····0x12cdbde(%rip),%rsi········
670221 »       movl···$0xe5,0x2490(%rsp)670221 »       movl···$0xe5,0x2490(%rsp)
670222 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670222 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670223 »       lea····0x24c0(%rsp),%rdi670223 »       lea····0x24c0(%rsp),%rdi
670224 »       lea····0x12bfa27(%rip),%rsi········670224 »       lea····0x12cce65(%rip),%rsi········
670225 »       movl···$0xe6,0x24b8(%rsp)670225 »       movl···$0xe6,0x24b8(%rsp)
670226 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670226 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670227 »       lea····0x24e8(%rsp),%rdi670227 »       lea····0x24e8(%rsp),%rdi
670228 »       lea····0x12cce46(%rip),%rsi········670228 »       lea····0x12bfa08(%rip),%rsi········
670229 »       movl···$0xe7,0x24e0(%rsp)670229 »       movl···$0xe7,0x24e0(%rsp)
670230 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670230 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670231 »       lea····0x2510(%rsp),%rdi670231 »       lea····0x2510(%rsp),%rdi
670232 »       lea····0x12cc775(%rip),%rsi········670232 »       lea····0x12cc775(%rip),%rsi········
670233 »       movl···$0xe7,0x2508(%rsp)670233 »       movl···$0xe7,0x2508(%rsp)
670234 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670234 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670235 »       lea····0x2538(%rsp),%rdi670235 »       lea····0x2538(%rsp),%rdi
Offset 670245, 19 lines modifiedOffset 670245, 19 lines modified
670245 »       movl···$0xe9,0x2580(%rsp)670245 »       movl···$0xe9,0x2580(%rsp)
670246 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670246 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670247 »       lea····0x25b0(%rsp),%rdi670247 »       lea····0x25b0(%rsp),%rdi
670248 »       lea····0x12cdb10(%rip),%rsi········670248 »       lea····0x12cdb10(%rip),%rsi········
670249 »       movl···$0xea,0x25a8(%rsp)670249 »       movl···$0xea,0x25a8(%rsp)
670250 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670250 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670251 »       lea····0x25d8(%rsp),%rdi670251 »       lea····0x25d8(%rsp),%rdi
670252 »       lea····0x12cc6ed(%rip),%rsi········670252 »       lea····0x12c3964(%rip),%rsi········
670253 »       movl···$0xeb,0x25d0(%rsp)670253 »       movl···$0xeb,0x25d0(%rsp)
670254 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670254 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670255 »       lea····0x2600(%rsp),%rdi670255 »       lea····0x2600(%rsp),%rdi
670256 »       lea····0x12c3945(%rip),%rsi········670256 »       lea····0x12cc6ce(%rip),%rsi········
670257 »       movl···$0xec,0x25f8(%rsp)670257 »       movl···$0xec,0x25f8(%rsp)
670258 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670258 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670259 »       lea····0x2628(%rsp),%rdi670259 »       lea····0x2628(%rsp),%rdi
670260 »       lea····0x12cc6bf(%rip),%rsi········670260 »       lea····0x12cc6bf(%rip),%rsi········
670261 »       movl···$0xec,0x2620(%rsp)670261 »       movl···$0xec,0x2620(%rsp)
670262 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670262 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670263 »       lea····0x2650(%rsp),%rdi670263 »       lea····0x2650(%rsp),%rdi
Offset 670349, 19 lines modifiedOffset 670349, 19 lines modified
670349 »       movl···$0x101,0x2990(%rsp)670349 »       movl···$0x101,0x2990(%rsp)
670350 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670350 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670351 »       lea····0x29c0(%rsp),%rdi670351 »       lea····0x29c0(%rsp),%rdi
670352 »       lea····0x12cdd3d(%rip),%rsi········670352 »       lea····0x12cdd3d(%rip),%rsi········
670353 »       movl···$0x102,0x29b8(%rsp)670353 »       movl···$0x102,0x29b8(%rsp)
670354 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670354 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670355 »       lea····0x29e8(%rsp),%rdi670355 »       lea····0x29e8(%rsp),%rdi
670356 »       lea····0x12cdd47(%rip),%rsi········670356 »       lea····0x12cdd31(%rip),%rsi········
670357 »       movl···$0x103,0x29e0(%rsp)670357 »       movl···$0x103,0x29e0(%rsp)
670358 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670358 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670359 »       lea····0x2a10(%rsp),%rdi670359 »       lea····0x2a10(%rsp),%rdi
670360 »       lea····0x12cdd12(%rip),%rsi········670360 »       lea····0x12cdd28(%rip),%rsi········
670361 »       movl···$0x104,0x2a08(%rsp)670361 »       movl···$0x104,0x2a08(%rsp)
670362 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670362 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670363 »       lea····0x2a38(%rsp),%rdi670363 »       lea····0x2a38(%rsp),%rdi
670364 »       lea····0x12cdd1d(%rip),%rsi········670364 »       lea····0x12cdd1d(%rip),%rsi········
670365 »       movl···$0x104,0x2a30(%rsp)670365 »       movl···$0x104,0x2a30(%rsp)
670366 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670366 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670367 »       lea····0x2a60(%rsp),%rdi670367 »       lea····0x2a60(%rsp),%rdi
Offset 670557, 19 lines modifiedOffset 670557, 19 lines modified
670557 »       movl···$0x133,0x31b0(%rsp)670557 »       movl···$0x133,0x31b0(%rsp)
670558 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670558 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670559 »       lea····0x31e0(%rsp),%rdi670559 »       lea····0x31e0(%rsp),%rdi
670560 »       lea····0x12cbff1(%rip),%rsi········670560 »       lea····0x12cbff1(%rip),%rsi········
670561 »       movl···$0x134,0x31d8(%rsp)670561 »       movl···$0x134,0x31d8(%rsp)
670562 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670562 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670563 »       lea····0x3208(%rsp),%rdi670563 »       lea····0x3208(%rsp),%rdi
670564 »       lea····0x12cbfd9(%rip),%rsi········670564 »       lea····0x12beff3(%rip),%rsi········
670565 »       movl···$0x135,0x3200(%rsp)670565 »       movl···$0x135,0x3200(%rsp)
670566 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670566 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670567 »       lea····0x3230(%rsp),%rdi670567 »       lea····0x3230(%rsp),%rdi
670568 »       lea····0x12befd4(%rip),%rsi········670568 »       lea····0x12cbfba(%rip),%rsi········
670569 »       movl···$0x136,0x3228(%rsp)670569 »       movl···$0x136,0x3228(%rsp)
670570 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670570 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670571 »       lea····0x3258(%rsp),%rdi670571 »       lea····0x3258(%rsp),%rdi
670572 »       lea····0x12cbfa6(%rip),%rsi········670572 »       lea····0x12cbfa6(%rip),%rsi········
670573 »       movl···$0x136,0x3250(%rsp)670573 »       movl···$0x136,0x3250(%rsp)
670574 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670574 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670575 »       lea····0x3280(%rsp),%rdi670575 »       lea····0x3280(%rsp),%rdi
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 »       ja·····d0bda6·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xf00d6>4194296 »       ja·····d0bda6·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xf00d6>
4194297 ./obj-x86_64-linux-gnu/src/./src/./expr/node_value.h:2994194297 ./obj-x86_64-linux-gnu/src/./src/./expr/node_value.h:299
4194298 »       add····$0x1,%eax4194298 »       add····$0x1,%eax
4194299 »       and····$0xf00000ff,%edx4194299 »       and····$0xf00000ff,%edx
4194300 »       and····$0xfffff,%eax4194300 »       and····$0xfffff,%eax
4194301 »       shl····$0x8,%eax4194301 »       shl····$0x8,%eax
4194302 »       or·····%eax,%edx4194302 »       or·····%eax,%edx
Max diff block lines reached; -1/5707 bytes (-0.02%) of diff not shown.
⊟
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·63356263·64666334·39333066·30323661·c5bcdfc4930f026a 
3 ··0x00000010·38363439·64343030·64336636·65343236·8649d400d3f6e4262 ··0x00000000·33306139·36633733·38386536·36373066·30a96c7388e6670f
 3 ··0x00000010·33376564·35383166·61636134·62666135·37ed581faca4bfa5
4 ··0x00000020·30386366·38632e64·65627567·00000000·08cf8c.debug....4 ··0x00000020·30303465·36662e64·65627567·00000000·004e6f.debug....
5 ··0x00000030·c0d3c377····························...w5 ··0x00000030·d00bc7bf····························....
  
⊟
1.56 KB
libcvc5parser1_1.1.2-2_amd64.deb
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
1.4 KB
data.tar.xz
⊟
1.38 KB
data.tar
⊟
1.36 KB
./usr/lib/x86_64-linux-gnu/libcvc5parser.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·5499ca6deeaa0e85f15c6520cfbf16f70d88e0f23 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·67a194b381c8951222cd813bfa0fdca9c2a29c56
⊟
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·39396361·36646565·61613065·38356631·99ca6deeaa0e85f1 
3 ··0x00000010·35633635·32306366·62663136·66373064·5c6520cfbf16f70d2 ··0x00000000·61313934·62333831·63383935·31323232·a194b381c8951222
 3 ··0x00000010·63643831·33626661·30666463·61396332·cd813bfa0fdca9c2
4 ··0x00000020·38386530·66322e64·65627567·00000000·88e0f2.debug....4 ··0x00000020·61323963·35362e64·65627567·00000000·a29c56.debug....
5 ··0x00000030·fa2a5a52····························.*ZR5 ··0x00000030·91b8e9eb····························....
  
⊟
1.99 KB
python3-cvc5_1.1.2-2_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1680·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1680·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···337508·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···338356·2024-03-19·00:06:23.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
⊟
1.48 KB
data.tar.xz
⊟
1.45 KB
data.tar
⊟
1.44 KB
./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-312-x86_64-linux-gnu.so
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·fcb218ffaa895894937adb1f81774f38c17a64083 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·81aa9f66595f4a5bf0e61126e17ebab331da09bc
⊟
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·62323138·66666161·38393538·39343933·b218ffaa89589493 
3 ··0x00000010·37616462·31663831·37373466·33386331·7adb1f81774f38c12 ··0x00000000·61613966·36363539·35663461·35626630·aa9f66595f4a5bf0
 3 ··0x00000010·65363131·32366531·37656261·62333331·e61126e17ebab331
4 ··0x00000020·37613634·30382e64·65627567·00000000·7a6408.debug....4 ··0x00000020·64613039·62632e64·65627567·00000000·da09bc.debug....
5 ··0x00000030·df5c46a9····························.\F.5 ··0x00000030·11d12a02····························..*.
  
⊟
2.46 KB
cvc5-dbgsym_1.1.2-2_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1882576·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1882908·2024-03-19·00:06:23.000000·data.tar.xz
⊟
652 B
control.tar.xz
⊟
624 B
control.tar
⊟
376 B
./control
    
Offset 5, 8 lines modifiedOffset 5, 8 lines modified
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·19637 Installed-Size:·1963
8 Depends:·cvc5·(=·1.1.2-2)8 Depends:·cvc5·(=·1.1.2-2)
9 Section:·debug9 Section:·debug
10 Priority:·optional10 Priority:·optional
11 Description:·debug·symbols·for·cvc511 Description:·debug·symbols·for·cvc5
12 Build-Ids:·a4eff7e1148d0bce3045c683bc6cbf4b0566c00612 Build-Ids:·08487812106eff125d787b1ffd08219aa0d17a04
⊟
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/a4/eff7e1148d0bce3045c683bc6cbf4b0566c006.debug1 usr/lib/debug/.build-id/08/487812106eff125d787b1ffd08219aa0d17a04.debug
⊟
1.41 KB
data.tar.xz
⊟
1.39 KB
data.tar
⊟
1.37 KB
file list
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/a4/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/08/
7 -rw-r--r--···0·root·········(0)·root·········(0)··1999440·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/a4/eff7e1148d0bce3045c683bc6cbf4b0566c006.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··1999456·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/08/487812106eff125d787b1ffd08219aa0d17a04.debug
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/
10 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc510 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5
⊟
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_amd64.deb
⊟
369 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0·182744972·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·182749524·2024-03-19·00:06:23.000000·data.tar.xz
⊟
802 B
control.tar.xz
⊟
774 B
control.tar
⊟
526 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libcvc5-1-dbgsym1 Package:·libcvc5-1-dbgsym
2 Source:·cvc52 Source:·cvc5
3 Version:·1.1.2-23 Version:·1.1.2-2
4 Auto-Built-Package:·debug-symbols4 Auto-Built-Package:·debug-symbols
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·1823437 Installed-Size:·182346
8 Depends:·libcvc5-1·(=·1.1.2-2)8 Depends:·libcvc5-1·(=·1.1.2-2)
9 Section:·debug9 Section:·debug
10 Priority:·optional10 Priority:·optional
11 Multi-Arch:·same11 Multi-Arch:·same
12 Description:·debug·symbols·for·libcvc5-112 Description:·debug·symbols·for·libcvc5-1
13 Build-Ids:·0cc5bcdfc4930f026a8649d400d3f6e42608cf8c13 Build-Ids:·e130a96c7388e6670f37ed581faca4bfa5004e6f
⊟
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/0c/c5bcdfc4930f026a8649d400d3f6e42608cf8c.debug1 usr/lib/debug/.build-id/e1/30a96c7388e6670f37ed581faca4bfa5004e6f.debug
⊟
24.9 MB
data.tar.xz
⊟
24.9 MB
data.tar
⊟
1.39 KB
file list
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/0c/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e1/
7 -rw-r--r--···0·root·········(0)·root·········(0)·186708608·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/0c/c5bcdfc4930f026a8649d400d3f6e42608cf8c.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·186712032·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e1/30a96c7388e6670f37ed581faca4bfa5004e6f.debug
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/
10 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/libcvc5-1-dbgsym·->·libcvc5-110 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/libcvc5-1-dbgsym·->·libcvc5-1
⊟
24.9 MB
./usr/lib/debug/.build-id/0c/c5bcdfc4930f026a8649d400d3f6e42608cf8c.debug vs.
./usr/lib/debug/.build-id/e1/30a96c7388e6670f37ed581faca4bfa5004e6f.debug
Timeout exceeded; details may be incomplete. File has been modified after NT_GNU_BUILD_ID has been applied. Files 96% similar despite different names
⊟
887 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·GNU6 ··OS/ABI:····························UNIX·-·GNU
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··Entry·point·address:···············0x0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········186706048·(bytes·into·file)13 ··Start·of·section·headers:··········186709472·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············64·(bytes)15 ··Size·of·this·header:···············64·(bytes)
16 ··Size·of·program·headers:···········56·(bytes)16 ··Size·of·program·headers:···········56·(bytes)
17 ··Number·of·program·headers:·········1017 ··Number·of·program·headers:·········10
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4019 ··Number·of·section·headers:·········40
20 ··Section·header·string·table·index:·3920 ··Section·header·string·table·index:·39
⊟
3.52 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0xb20e880:1 There·are·40·section·headers,·starting·at·offset·0xb20f5e0:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4
6 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d18·00···A··3···0··86 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d18·00···A··3···0··8
7 ··[·3]·.dynsym···········NOBITS··········0000000000004fb0·000294·00fea0·18···A··4···1··87 ··[·3]·.dynsym···········NOBITS··········0000000000004fb0·000294·00fea0·18···A··4···1··8
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········0000000001863760·000550·014ad0·00··WA··0···0·3227 ··[22]·.data.rel.ro······NOBITS··········0000000001863760·000550·014ad0·00··WA··0···0·32
28 ··[23]·.dynamic··········NOBITS··········0000000001878230·000550·000250·10··WA··4···0··828 ··[23]·.dynamic··········NOBITS··········0000000001878230·000550·000250·10··WA··4···0··8
29 ··[24]·.got··············NOBITS··········0000000001878480·000550·003b68·08··WA··0···0··829 ··[24]·.got··············NOBITS··········0000000001878480·000550·003b68·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········000000000187c000·000550·008240·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········000000000187c000·000550·008240·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········0000000001884240·000550·001a00·00··WA··0···0·3231 ··[26]·.bss··············NOBITS··········0000000001884240·000550·001a00·00··WA··0···0·32
32 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001e·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001e·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00de1e·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00de1e·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00e0d8·87f0278·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00e0d8·87f0fa2·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87fe350·0dcef9·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87ff080·0dcef9·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88db250·86ab7a·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88dbf80·86ab7a·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·9145dd0·3dfbfb·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·9146b00·3dfbf7·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·95259d0·0028b3·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·95266f8·0028b3·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9528288·12857cc·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9528fb0·12857cb·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7ada58·161c24·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7ae780·161c5f·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a90f680·583aa7·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a9103e0·583aa7·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·ae93128·0ca758·18·····38·31838··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·ae93e88·0ca758·18·····38·31838··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·af5d880·2b0e68·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·af5e5e0·2b0e68·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b20e6e8·000191·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b20f448·000191·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)49 ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·0cc5bcdfc4930f026a8649d400d3f6e42608cf8c3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e130a96c7388e6670f37ed581faca4bfa5004e6f
⊟
24.2 MB
readelf --wide --debug-dump=info {}
    
Offset 8, 27 lines modifiedOffset 8, 27 lines modified
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)
10 ····<d>···DW_AT_stmt_list···:·(sec_offset)·010 ····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src
12 ·<1><15>:·Abbrev·Number:·25·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·25·(DW_TAG_base_type)
13 ····<16>···DW_AT_byte_size···:·(data1)·813 ····<16>···DW_AT_byte_size···:·(data1)·8
14 ····<17>···DW_AT_encoding····:·(data1)·5»    (signed)14 ····<17>···DW_AT_encoding····:·(data1)·5»    (signed)
15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x15de2):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x15dfc):·long·int
16 ·<1><1c>:·Abbrev·Number:·25·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·25·(DW_TAG_base_type)
17 ····<1d>···DW_AT_byte_size···:·(data1)·817 ····<1d>···DW_AT_byte_size···:·(data1)·8
18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)
19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xe860):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xe860):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·25·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·25·(DW_TAG_base_type)
21 ····<24>···DW_AT_byte_size···:·(data1)·121 ····<24>···DW_AT_byte_size···:·(data1)·1
22 ····<25>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)22 ····<25>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1a9a7):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1a9a7):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·25·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·25·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·225 ····<2b>···DW_AT_byte_size···:·(data1)·2
26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x125bc):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x125d6):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·25·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·25·(DW_TAG_base_type)
29 ····<32>···DW_AT_byte_size···:·(data1)·429 ····<32>···DW_AT_byte_size···:·(data1)·4
30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)
31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc6c9):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc6c9):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·25·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·25·(DW_TAG_base_type)
33 ····<39>···DW_AT_byte_size···:·(data1)·133 ····<39>···DW_AT_byte_size···:·(data1)·1
34 ····<3a>···DW_AT_encoding····:·(data1)·6»    (signed·char)34 ····<3a>···DW_AT_encoding····:·(data1)·6»    (signed·char)
Offset 100, 15 lines modifiedOffset 100, 15 lines modified
100 ·<1><b8>:·Abbrev·Number:·25·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·25·(DW_TAG_base_type)
101 ····<b9>···DW_AT_byte_size···:·(data1)·4101 ····<b9>···DW_AT_byte_size···:·(data1)·4
102 ····<ba>···DW_AT_encoding····:·(data1)·16»   (unicode·string)102 ····<ba>···DW_AT_encoding····:·(data1)·16»   (unicode·string)
103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fa38):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fa38):·char32_t
104 ·<1><bf>:·Abbrev·Number:·25·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·25·(DW_TAG_base_type)
105 ····<c0>···DW_AT_byte_size···:·(data1)·16105 ····<c0>···DW_AT_byte_size···:·(data1)·16
106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)
107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x13f64):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x13f7e):·__int128
108 ·<1><c6>:·Abbrev·Number:·25·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·25·(DW_TAG_base_type)
109 ····<c7>···DW_AT_byte_size···:·(data1)·16109 ····<c7>···DW_AT_byte_size···:·(data1)·16
110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)
111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x2317e):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x2317e):·__int128·unsigned
112 ·<1><cd>:·Abbrev·Number:·0112 ·<1><cd>:·Abbrev·Number:·0
113 ··Compilation·Unit·@·offset·0xce:113 ··Compilation·Unit·@·offset·0xce:
114 ···Length:········0xff6·(32-bit)114 ···Length:········0xff6·(32-bit)
Offset 807, 29 lines modifiedOffset 807, 29 lines modified
807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1ed0a):·_IO_read_end807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1ed0a):·_IO_read_end
808 ····<45b>···DW_AT_decl_file···:·(data1)·69808 ····<45b>···DW_AT_decl_file···:·(data1)·69
809 ····<45c>···DW_AT_decl_line···:·(data1)·55809 ····<45c>···DW_AT_decl_line···:·(data1)·55
810 ····<45d>···DW_AT_decl_column·:·(data1)·9810 ····<45d>···DW_AT_decl_column·:·(data1)·9
811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>
812 ····<45f>···DW_AT_data_member_location:·(data1)·16812 ····<45f>···DW_AT_data_member_location:·(data1)·16
813 ·<2><460>:·Abbrev·Number:·71·(DW_TAG_member)813 ·<2><460>:·Abbrev·Number:·71·(DW_TAG_member)
814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10423):·_IO_read_base814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x1043d):·_IO_read_base
815 ····<465>···DW_AT_decl_file···:·(data1)·69815 ····<465>···DW_AT_decl_file···:·(data1)·69
816 ····<466>···DW_AT_decl_line···:·(data1)·56816 ····<466>···DW_AT_decl_line···:·(data1)·56
817 ····<467>···DW_AT_decl_column·:·(data1)·9817 ····<467>···DW_AT_decl_column·:·(data1)·9
818 ····<468>···DW_AT_type········:·(ref_udata)·<0x13d>818 ····<468>···DW_AT_type········:·(ref_udata)·<0x13d>
819 ····<469>···DW_AT_data_member_location:·(data1)·24819 ····<469>···DW_AT_data_member_location:·(data1)·24
820 ·<2><46a>:·Abbrev·Number:·71·(DW_TAG_member)820 ·<2><46a>:·Abbrev·Number:·71·(DW_TAG_member)
821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x50d3):·_IO_write_base821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x50d3):·_IO_write_base
822 ····<46f>···DW_AT_decl_file···:·(data1)·69822 ····<46f>···DW_AT_decl_file···:·(data1)·69
823 ····<470>···DW_AT_decl_line···:·(data1)·57823 ····<470>···DW_AT_decl_line···:·(data1)·57
824 ····<471>···DW_AT_decl_column·:·(data1)·9824 ····<471>···DW_AT_decl_column·:·(data1)·9
825 ····<472>···DW_AT_type········:·(ref_udata)·<0x13d>825 ····<472>···DW_AT_type········:·(ref_udata)·<0x13d>
826 ····<473>···DW_AT_data_member_location:·(data1)·32826 ····<473>···DW_AT_data_member_location:·(data1)·32
827 ·<2><474>:·Abbrev·Number:·71·(DW_TAG_member)827 ·<2><474>:·Abbrev·Number:·71·(DW_TAG_member)
828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfac7):·_IO_write_ptr828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfae1):·_IO_write_ptr
829 ····<479>···DW_AT_decl_file···:·(data1)·69829 ····<479>···DW_AT_decl_file···:·(data1)·69
830 ····<47a>···DW_AT_decl_line···:·(data1)·58830 ····<47a>···DW_AT_decl_line···:·(data1)·58
831 ····<47b>···DW_AT_decl_column·:·(data1)·9831 ····<47b>···DW_AT_decl_column·:·(data1)·9
832 ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>832 ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>
833 ····<47d>···DW_AT_data_member_location:·(data1)·40833 ····<47d>···DW_AT_data_member_location:·(data1)·40
834 ·<2><47e>:·Abbrev·Number:·71·(DW_TAG_member)834 ·<2><47e>:·Abbrev·Number:·71·(DW_TAG_member)
835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe147):·_IO_write_end835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe147):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb472):·_IO_buf_base842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb472):·_IO_buf_base
843 ····<48d>···DW_AT_decl_file···:·(data1)·69843 ····<48d>···DW_AT_decl_file···:·(data1)·69
844 ····<48e>···DW_AT_decl_line···:·(data1)·60844 ····<48e>···DW_AT_decl_line···:·(data1)·60
845 ····<48f>···DW_AT_decl_column·:·(data1)·9845 ····<48f>···DW_AT_decl_column·:·(data1)·9
846 ····<490>···DW_AT_type········:·(ref_udata)·<0x13d>846 ····<490>···DW_AT_type········:·(ref_udata)·<0x13d>
847 ····<491>···DW_AT_data_member_location:·(data1)·56847 ····<491>···DW_AT_data_member_location:·(data1)·56
848 ·<2><492>:·Abbrev·Number:·71·(DW_TAG_member)848 ·<2><492>:·Abbrev·Number:·71·(DW_TAG_member)
849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x15182):·_IO_buf_end849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x1519c):·_IO_buf_end
850 ····<497>···DW_AT_decl_file···:·(data1)·69850 ····<497>···DW_AT_decl_file···:·(data1)·69
851 ····<498>···DW_AT_decl_line···:·(data1)·61851 ····<498>···DW_AT_decl_line···:·(data1)·61
852 ····<499>···DW_AT_decl_column·:·(data1)·9852 ····<499>···DW_AT_decl_column·:·(data1)·9
853 ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>853 ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>
854 ····<49b>···DW_AT_data_member_location:·(data1)·64854 ····<49b>···DW_AT_data_member_location:·(data1)·64
855 ·<2><49c>:·Abbrev·Number:·71·(DW_TAG_member)855 ·<2><49c>:·Abbrev·Number:·71·(DW_TAG_member)
856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe1ba):·_IO_save_base856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe1ba):·_IO_save_base
857 ····<4a1>···DW_AT_decl_file···:·(data1)·69857 ····<4a1>···DW_AT_decl_file···:·(data1)·69
858 ····<4a2>···DW_AT_decl_line···:·(data1)·64858 ····<4a2>···DW_AT_decl_line···:·(data1)·64
859 ····<4a3>···DW_AT_decl_column·:·(data1)·9859 ····<4a3>···DW_AT_decl_column·:·(data1)·9
860 ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>860 ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>
861 ····<4a5>···DW_AT_data_member_location:·(data1)·72861 ····<4a5>···DW_AT_data_member_location:·(data1)·72
862 ·<2><4a6>:·Abbrev·Number:·71·(DW_TAG_member)862 ·<2><4a6>:·Abbrev·Number:·71·(DW_TAG_member)
863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x10cea):·_IO_backup_base863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x10d04):·_IO_backup_base
864 ····<4ab>···DW_AT_decl_file···:·(data1)·69864 ····<4ab>···DW_AT_decl_file···:·(data1)·69
865 ····<4ac>···DW_AT_decl_line···:·(data1)·65865 ····<4ac>···DW_AT_decl_line···:·(data1)·65
866 ····<4ad>···DW_AT_decl_column·:·(data1)·9866 ····<4ad>···DW_AT_decl_column·:·(data1)·9
867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>
868 ····<4af>···DW_AT_data_member_location:·(data1)·80868 ····<4af>···DW_AT_data_member_location:·(data1)·80
869 ·<2><4b0>:·Abbrev·Number:·71·(DW_TAG_member)869 ·<2><4b0>:·Abbrev·Number:·71·(DW_TAG_member)
870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18a02):·_IO_save_end870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18a1c):·_IO_save_end
871 ····<4b5>···DW_AT_decl_file···:·(data1)·69871 ····<4b5>···DW_AT_decl_file···:·(data1)·69
872 ····<4b6>···DW_AT_decl_line···:·(data1)·66872 ····<4b6>···DW_AT_decl_line···:·(data1)·66
873 ····<4b7>···DW_AT_decl_column·:·(data1)·9873 ····<4b7>···DW_AT_decl_column·:·(data1)·9
874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>
875 ····<4b9>···DW_AT_data_member_location:·(data1)·88875 ····<4b9>···DW_AT_data_member_location:·(data1)·88
876 ·<2><4ba>:·Abbrev·Number:·71·(DW_TAG_member)876 ·<2><4ba>:·Abbrev·Number:·71·(DW_TAG_member)
877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4b2b):·_markers877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4b2b):·_markers
Offset 884, 15 lines modifiedOffset 884, 15 lines modified
884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83a255):·_chain884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83a255):·_chain
885 ····<4ca>···DW_AT_decl_file···:·(data1)·69885 ····<4ca>···DW_AT_decl_file···:·(data1)·69
886 ····<4cb>···DW_AT_decl_line···:·(data1)·70886 ····<4cb>···DW_AT_decl_line···:·(data1)·70
887 ····<4cc>···DW_AT_decl_column·:·(data1)·20887 ····<4cc>···DW_AT_decl_column·:·(data1)·20
888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>
889 ····<4cf>···DW_AT_data_member_location:·(data1)·104889 ····<4cf>···DW_AT_data_member_location:·(data1)·104
890 ·<2><4d0>:·Abbrev·Number:·51·(DW_TAG_member)890 ·<2><4d0>:·Abbrev·Number:·51·(DW_TAG_member)
891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x19c41):·_fileno891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x19c5b):·_fileno
892 ····<4d5>···DW_AT_decl_file···:·(data1)·69892 ····<4d5>···DW_AT_decl_file···:·(data1)·69
893 ····<4d6>···DW_AT_decl_line···:·(data1)·72893 ····<4d6>···DW_AT_decl_line···:·(data1)·72
894 ····<4d7>···DW_AT_decl_column·:·(data1)·7894 ····<4d7>···DW_AT_decl_column·:·(data1)·7
895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896 ····<4dc>···DW_AT_data_member_location:·(data1)·112896 ····<4dc>···DW_AT_data_member_location:·(data1)·112
897 ·<2><4dd>:·Abbrev·Number:·51·(DW_TAG_member)897 ·<2><4dd>:·Abbrev·Number:·51·(DW_TAG_member)
898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1be68):·_flags2898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1be68):·_flags2
Offset 905, 29 lines modifiedOffset 905, 29 lines modified
Max diff block lines reached; 25373900/25380936 bytes (99.97%) of diff not shown.
⊟
2.71 KB
readelf --wide --debug-dump=macro {}
    
Offset 1526, 16 lines modifiedOffset 1526, 16 lines modified
1526 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11526 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1527 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11527 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1528 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11528 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1529 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11529 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1530 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11530 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1531 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11531 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1532 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21532 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1533 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1533 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1534 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1534 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1535 ··Offset:······················0x19511535 ··Offset:······················0x1951
1536 ··Version:·····················51536 ··Version:·····················5
1537 ··Offset·size:·················41537 ··Offset·size:·················4
  
1538 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11538 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1539 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11539 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52197, 16 lines modifiedOffset 52197, 16 lines modified
52197 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152197 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52198 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152198 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52199 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152199 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52200 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152200 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52201 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152201 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52202 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152202 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52203 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252203 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52204 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52204 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52205 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52205 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52206 ··Offset:······················0x4898c52206 ··Offset:······················0x4898c
52207 ··Version:·····················552207 ··Version:·····················5
52208 ··Offset·size:·················452208 ··Offset·size:·················4
  
52209 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52209 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52210 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52210 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1313617, 17 lines modifiedOffset 1313617, 17 lines modified
1313617 ·DW_MACRO_end_file1313617 ·DW_MACRO_end_file
1313618 ·DW_MACRO_end_file1313618 ·DW_MACRO_end_file
1313619 ·DW_MACRO_import·-·offset·:·0x9c6b1313619 ·DW_MACRO_import·-·offset·:·0x9c6b
1313620 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1771313620 ·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1313621 ·DW_MACRO_import·-·offset·:·0x4f6b551313621 ·DW_MACRO_import·-·offset·:·0x4f6b55
1313622 ·DW_MACRO_end_file1313622 ·DW_MACRO_end_file
1313623 ·DW_MACRO_end_file1313623 ·DW_MACRO_end_file
1313624 ·DW_MACRO_start_file·-·lineno:·51·filenum:·311313624 ·DW_MACRO_start_file·-·lineno:·51·filenum:·112
1313625 ·DW_MACRO_end_file1313625 ·DW_MACRO_end_file
1313626 ·DW_MACRO_start_file·-·lineno:·52·filenum:·1121313626 ·DW_MACRO_start_file·-·lineno:·53·filenum:·31
1313627 ·DW_MACRO_end_file1313627 ·DW_MACRO_end_file
1313628 ·DW_MACRO_start_file·-·lineno:·57·filenum:·831313628 ·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1313629 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1313629 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1313630 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1771313630 ·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1313631 ·DW_MACRO_import·-·offset·:·0x4f71411313631 ·DW_MACRO_import·-·offset·:·0x4f7141
1313632 ·DW_MACRO_end_file1313632 ·DW_MACRO_end_file
1313633 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1401313633 ·DW_MACRO_start_file·-·lineno:·43·filenum:·140
⊟
767 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ·············0000000000629394·000000000062939c·(DW_OP_fbreg:·-896)4194297 ·············0000000000629394·000000000062939c·(DW_OP_fbreg:·-896)
4194298 ····00c1c3ff·v000000000000000·v000000000000000·views·at·00c1c3dd·for:4194298 ····00c1c3ff·v000000000000000·v000000000000000·views·at·00c1c3dd·for:
4194299 ·············000000000062977e·000000000062978a·(DW_OP_fbreg:·-896)4194299 ·············000000000062977e·000000000062978a·(DW_OP_fbreg:·-896)
4194300 ····00c1c408·v000000000000000·v000000000000000·views·at·00c1c3df·for:4194300 ····00c1c408·v000000000000000·v000000000000000·views·at·00c1c3df·for:
4194301 ·············000000000062986e·000000000062987a·(DW_OP_fbreg:·-896)4194301 ·············000000000062986e·000000000062987a·(DW_OP_fbreg:·-896)
4194302 ····00c1c411·000000000014a5e8·(base·address)4194302 ····00c1c411·000000000014a5e8·(base·address)
4194303 ····00c1c41a·v000000000000000·v000000000000000·views·at·00c1c3e1·for:4194303 ····00c1c41a·v000000000000000·v000000000000000·views·at·00c1c3e1·for:
4194304 [·Too·much·input·for·diff·(SHA256:·eb75781c9ce0d36530cfd67e06bfab899f1b9df9ce3a28a82d012456834d87e1)·]4194304 [·Too·much·input·for·diff·(SHA256:·ca24939fe104743434b5c9215df2d34cc5d35b838b6e4c7e609d8abd9452f582)·]
⊟
656 KB
strings --all --bytes=8 {}
    
Offset 1, 30141 lines modifiedOffset 1, 30198 lines modified
1 GCC:·(Debian·14.2.0-7)·14.2.01 NoGCC:·(Debian·14.2.0-7)·14.2.0
2 z}JI|W~p2 z}JI|W~p
3 E~@~Oe/r3 E~@~Oe/r
4 K89$\Byu4 K89$\Byu
 5 W$%".NR@
 6 TgmC!4Ku
 7 N»      uc98-\Wpo
 8 _n4@zqm#
 9 9YQ9rq!Tno
 10 LE$]wtnw
 11 ]qeZWfnSz
 12 pQv-E(=j$
 13 /;FG0._p|
 14 loBaoB!6A
5 1}mwTP&s! 
6 O!5-$o%=G 
7 XB?S.YGy! 
8 n4AfI}3d 
9 3»      P{b8P] 
10 A'f#hSgl 
11 %N>|q!TV 
12 ,.h]yf"T 
13 yC|qBv@F 
14 xCTC^=N» 
15 jxC^GNU0 
16 #lmONU76 
17 a'q8]7ORDj 
18 `~i$!n]? 
19 m*/N}VUp 
20 3$`yQ8*k 
21 txC~bs» #+ 
22 KwI|wI}wIJ 
23 5BH7J8jsY: 
24 q.Lbt{M4 
25 D",a\1rZ15 D<,a\QrZ
26 Mc3wTzRZ 
27 bFL%s=Lp6 
28 Zw^|^rHJ^JHF^ 
29 (!:Sy^.# 
30 !3Ef0=lA 
31 9&$<SAb@ 
32 Rf@9mUQNC 
33 ?<2xl0k2< 
34 l·[]YO·Z5 
35 >y,%I`wVE 
36 G5gTYOv7T 
37 Bszmh1|@ 
38 %y5nE'<~a 
39 d?=&1n#C5 
40 #Gv_Ov:(r16 3Cu#tLuF
 17 c\7ABL<<[
 18 f%C\If!X
 19 4I3·I#MJ
 20 1a-Y*)f2
 21 *VY$·|~8
 22 h<9G/Q,S
 23 tHzn:t%>&K-
 24 >~c5}Oy·
 25 D~zw;*|/b`
 26 ^I9-UCT()
 27 D9]*RN;Kr
 28 D9]*RN;3r
 29 >:x\0ou4
 30 -03j.'Zu0
41 nLf4/{#D31 nLf4/{#D
 32 t1i=Uy*utFH
 33 #Q}z]z/1)
 34 Rny&mc9B
 35 DDE$!4^a
 36 3RVxV;6:|
 37 {6enc.ZU
 38 PZu!nIeqKs
 39 !M>(EUsm_
 40 aTfe»   dO&
 41 wQ9G*jq(
 42 >IzXTF*k\
 43 E}#M}#3.
 44 (RbtGkCm
 45 ,{<j@Y->
 46 VO's,OV?I
 47 [l]}M1c$
 48 vy7*Cu|&r}
 49 5A-594|O
 50 ~z*u_7dnQ
 51 :/nDx&lH8n<
 52 aH9-.nW6
 53 x.:WoDtL
 54 pJiQA98e
 55 i»      s4K5>/E
 56 -Eai;I!8qu
 57 mmvQ;(\:"
 58 *H[[`.+4
 59 @&"L(V}W
 60 NR%xs*0R
 61 0_w}:|\&
 62 Ek-3OX3/
 63 L|@[$>he
 64 A+C|·RJ|
 65 ·{}7T_$D
 66 E<mE-·vx\g
 67 X]b4·{H65
 68 =$#=s>^Q?
 69 .c»     '.XNKP
 70 at29?,PB1
 71 ·TcBC"$w
 72 0{[d<x5<
 73 "+>`=feK<j
 74 \`*\\`&kfi
 75 TL]`*\]`^
 76 ]kT\`*\]`&
 77 eiQ$deY2
 78 IWDZ6EZz
 79 s%&Y6Dt$
 80 J`'O1R"j
42 @)#YG;5b 
43 »       ]g·pV8D 
44 vr0}vU[. 
45 _}3F»   .5#>C 
46 %kr7·#8k~ 
47 Sfvgvgfg 
48 2_&w,l|~ 
49 \1k=GMR8j 
50 x.Y@n)sr 
51 VG!9:efJ 
52 z6gng.ZU 
53 :=?,E%y» 
54 fKU|g]:>b8o 
Max diff block lines reached; 669976/671909 bytes (99.71%) of diff not shown.
⊟
62.0 B
.gnu.hash
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.dynsym
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.dynstr
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.gnu.version
Timeout exceeded; details may be incomplete.
⊟
72.0 B
.gnu.version_r
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.rela.dyn
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.rela.plt
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.init
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.plt
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.plt.got
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.text
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.fini
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.rodata
Timeout exceeded; details may be incomplete.
⊟
70.0 B
.eh_frame_hdr
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.eh_frame
Timeout exceeded; details may be incomplete.
⊟
78.0 B
.gcc_except_table
Timeout exceeded; details may be incomplete.
⊟
56.0 B
.tdata
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.tbss
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.init_array
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.fini_array
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.data.rel.ro
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.dynamic
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.got
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.data
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.bss
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.comment
Timeout exceeded; details may be incomplete.
⊟
64.0 B
.debug_str
Timeout exceeded; details may be incomplete.
⊟
74.0 B
.debug_line_str
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.strtab
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
⊟
122 B
libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
Timeout exceeded; details may be incomplete.
⊟
118 B
python3-cvc5-dbgsym_1.1.2-2_amd64.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 282