24.9 MB
/srv/reproducible-results/rbuild-debian/r-b-build.GSaDzOnz/b1/cvc5_1.1.2-2_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.GSaDzOnz/b2/cvc5_1.1.2-2_amd64.changes
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·d93efc9d9a19607ccd655f0eebcfd4b2·1887004·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb 
2 ·e06b81fbbecd5ae4a1d253d815135df2·108156·math·optional·cvc5_1.1.2-2_amd64.deb 
3 ·e7a294920f83e963d69eb6fe5cc85e4e·183023976·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb 
4 ·9584f95747698b9d2629a5367babc39c·6694672·libs·optional·libcvc5-1_1.1.2-2_amd64.deb1 ·7485522998673ad1ba049a16dedc43aa·1887388·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb
 2 ·7a0a0465bd0115d5671ed40a6ba5cd74·107700·math·optional·cvc5_1.1.2-2_amd64.deb
 3 ·88e552d85450ab37292bb7c38035706f·183019640·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb
 4 ·22c8d66508678aa48fc4adbb8f9293cf·6696856·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 ·8dad779e9ed4ece23bef2d99d98c0865·4116456·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb 
7 ·3d928da3031a6da54853cb22d3a7bf78·237260·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb 
8 ·5337432d59870d9ae7f8532822167c6f·2664468·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb 
9 ·d5e13436b68c513ce23e9afe999545ec·338776·python·optional·python3-cvc5_1.1.2-2_amd64.deb6 ·56f814b903556194aeaff57aaf17fa6e·4116128·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
 7 ·c0f129419442a45041f158f42e695b22·237448·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb
 8 ·d003b02c79a1d3bad07ea9f67382dec1·2664312·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb
 9 ·a2034b9873fd05c82643c06ac0ea8a56·339308·python·optional·python3-cvc5_1.1.2-2_amd64.deb
2.7 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···106848·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···106392·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
2.2 KB
data.tar.xz
2.18 KB
data.tar
2.17 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:·e09ac595a9695ccccf37bec71b8c60ef3fc121de6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·b98f493e4a07806b66b8b3647db37bb1fb592259
  
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
440 B
strings --all --bytes=8 {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 /lib64/ld-linux-x86-64.so.21 Y"Y/lib64/ld-linux-x86-64.so.2
2 t<{~_d&'<oq|s2 t<{~_d&'<oq|s
3 _ZTIN4cvc58internal9ExceptionE3 _ZTIN4cvc58internal9ExceptionE
4 _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE4 _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
5 _ZNK4cvc56Result9isUnknownEv5 _ZNK4cvc56Result9isUnknownEv
6 _ZNK4cvc56Result7isUnsatEv6 _ZNK4cvc56Result7isUnsatEv
7 _ZNK4cvc510OptionInfo9boolValueEv7 _ZNK4cvc510OptionInfo9boolValueEv
8 _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE8 _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
866 B
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·39616335·39356139·36393563·63636366·9ac595a9695ccccf 
3 ··0x00000010·33376265·63373162·38633630·65663366·37bec71b8c60ef3f2 ··0x00000000·38663439·33653461·30373830·36623636·8f493e4a07806b66
 3 ··0x00000010·62386233·36343764·62333762·62316662·b8b3647db37bb1fb
4 ··0x00000020·63313231·64652e64·65627567·00000000·c121de.debug....4 ··0x00000020·35393232·35392e64·65627567·00000000·592259.debug....
5 ··0x00000030·9462ec04····························.b..5 ··0x00000030·b07bacb1····························.{..
  
6.61 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··6693200·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··6695384·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
6.1 KB
data.tar.xz
6.08 KB
data.tar
6.06 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:·68f6482e06b971f39f4432953946672ff32f97e83 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·0ce73674cf06710fb4d388d17724f6a036827a12
4.71 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 668460, 19 lines modifiedOffset 668460, 19 lines modified
668460 »       movl···$0x75,0x12c0(%rsp)668460 »       movl···$0x75,0x12c0(%rsp)
668461 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668461 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668462 »       lea····0x12f0(%rsp),%rdi668462 »       lea····0x12f0(%rsp),%rdi
668463 »       lea····0x12d1f13(%rip),%rsi········668463 »       lea····0x12d1f13(%rip),%rsi········
668464 »       movl···$0x76,0x12e8(%rsp)668464 »       movl···$0x76,0x12e8(%rsp)
668465 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668465 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668466 »       lea····0x1318(%rsp),%rdi668466 »       lea····0x1318(%rsp),%rdi
668467 »       lea····0x12c62b1(%rip),%rsi········668467 »       lea····0x12c3f2c(%rip),%rsi········
668468 »       movl···$0x77,0x1310(%rsp)668468 »       movl···$0x77,0x1310(%rsp)
668469 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668469 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668470 »       lea····0x1340(%rsp),%rdi668470 »       lea····0x1340(%rsp),%rdi
668471 »       lea····0x12c3f0d(%rip),%rsi········668471 »       lea····0x12c6292(%rip),%rsi········
668472 »       movl···$0x78,0x1338(%rsp)668472 »       movl···$0x78,0x1338(%rsp)
668473 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668473 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668474 »       lea····0x1368(%rsp),%rdi668474 »       lea····0x1368(%rsp),%rdi
668475 »       lea····0x12d0a62(%rip),%rsi········668475 »       lea····0x12d0a62(%rip),%rsi········
668476 »       movl···$0x78,0x1360(%rsp)668476 »       movl···$0x78,0x1360(%rsp)
668477 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668477 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668478 »       lea····0x1390(%rsp),%rdi668478 »       lea····0x1390(%rsp),%rdi
Offset 668912, 31 lines modifiedOffset 668912, 31 lines modified
668912 »       movl···$0xe4,0x2468(%rsp)668912 »       movl···$0xe4,0x2468(%rsp)
668913 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668913 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668914 »       lea····0x2498(%rsp),%rdi668914 »       lea····0x2498(%rsp),%rdi
668915 »       lea····0x12d134e(%rip),%rsi········668915 »       lea····0x12d134e(%rip),%rsi········
668916 »       movl···$0xe5,0x2490(%rsp)668916 »       movl···$0xe5,0x2490(%rsp)
668917 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668917 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668918 »       lea····0x24c0(%rsp),%rdi668918 »       lea····0x24c0(%rsp),%rdi
668919 »       lea····0x12d05c1(%rip),%rsi········668919 »       lea····0x12c3197(%rip),%rsi········
668920 »       movl···$0xe6,0x24b8(%rsp)668920 »       movl···$0xe6,0x24b8(%rsp)
668921 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668921 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668922 »       lea····0x24e8(%rsp),%rdi668922 »       lea····0x24e8(%rsp),%rdi
668923 »       lea····0x12c3178(%rip),%rsi········668923 »       lea····0x12d05a2(%rip),%rsi········
668924 »       movl···$0xe7,0x24e0(%rsp)668924 »       movl···$0xe7,0x24e0(%rsp)
668925 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668925 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668926 »       lea····0x2510(%rsp),%rdi668926 »       lea····0x2510(%rsp),%rdi
668927 »       lea····0x12cfee5(%rip),%rsi········668927 »       lea····0x12cfee5(%rip),%rsi········
668928 »       movl···$0xe7,0x2508(%rsp)668928 »       movl···$0xe7,0x2508(%rsp)
668929 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668929 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668930 »       lea····0x2538(%rsp),%rdi668930 »       lea····0x2538(%rsp),%rdi
668931 »       lea····0x12c8dcb(%rip),%rsi········668931 »       lea····0x12cfecd(%rip),%rsi········
668932 »       movl···$0xe8,0x2530(%rsp)668932 »       movl···$0xe8,0x2530(%rsp)
668933 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668933 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668934 »       lea····0x2560(%rsp),%rdi668934 »       lea····0x2560(%rsp),%rdi
668935 »       lea····0x12cfeae(%rip),%rsi········668935 »       lea····0x12c8dac(%rip),%rsi········
668936 »       movl···$0xe9,0x2558(%rsp)668936 »       movl···$0xe9,0x2558(%rsp)
668937 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668937 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668938 »       lea····0x2588(%rsp),%rdi668938 »       lea····0x2588(%rsp),%rdi
668939 »       lea····0x12d0948(%rip),%rsi········668939 »       lea····0x12d0948(%rip),%rsi········
668940 »       movl···$0xe9,0x2580(%rsp)668940 »       movl···$0xe9,0x2580(%rsp)
668941 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668941 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668942 »       lea····0x25b0(%rsp),%rdi668942 »       lea····0x25b0(%rsp),%rdi
Offset 668956, 19 lines modifiedOffset 668956, 19 lines modified
668956 »       movl···$0xec,0x2620(%rsp)668956 »       movl···$0xec,0x2620(%rsp)
668957 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668957 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668958 »       lea····0x2650(%rsp),%rdi668958 »       lea····0x2650(%rsp),%rdi
668959 »       lea····0x12cfe28(%rip),%rsi········668959 »       lea····0x12cfe28(%rip),%rsi········
668960 »       movl···$0xed,0x2648(%rsp)668960 »       movl···$0xed,0x2648(%rsp)
668961 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668961 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668962 »       lea····0x2678(%rsp),%rdi668962 »       lea····0x2678(%rsp),%rdi
668963 »       lea····0x12cfa9e(%rip),%rsi········668963 »       lea····0x12cfe1e(%rip),%rsi········
668964 »       movl···$0xee,0x2670(%rsp)668964 »       movl···$0xee,0x2670(%rsp)
668965 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668965 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668966 »       lea····0x26a0(%rsp),%rdi668966 »       lea····0x26a0(%rsp),%rdi
668967 »       lea····0x12cfdff(%rip),%rsi········668967 »       lea····0x12cfa7f(%rip),%rsi········
668968 »       movl···$0xef,0x2698(%rsp)668968 »       movl···$0xef,0x2698(%rsp)
668969 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668969 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668970 »       lea····0x26c8(%rsp),%rdi668970 »       lea····0x26c8(%rsp),%rdi
668971 »       lea····0x12cfdf3(%rip),%rsi········668971 »       lea····0x12cfdf3(%rip),%rsi········
668972 »       movl···$0xef,0x26c0(%rsp)668972 »       movl···$0xef,0x26c0(%rsp)
668973 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>668973 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
668974 »       lea····0x26f0(%rsp),%rdi668974 »       lea····0x26f0(%rsp),%rdi
Offset 669340, 19 lines modifiedOffset 669340, 19 lines modified
669340 »       movl···$0x148,0x3520(%rsp)669340 »       movl···$0x148,0x3520(%rsp)
669341 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>669341 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669342 »       lea····0x3550(%rsp),%rdi669342 »       lea····0x3550(%rsp),%rdi
669343 »       lea····0x12cf510(%rip),%rsi········669343 »       lea····0x12cf510(%rip),%rsi········
669344 »       movl···$0x149,0x3548(%rsp)669344 »       movl···$0x149,0x3548(%rsp)
669345 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>669345 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669346 »       lea····0x3578(%rsp),%rdi669346 »       lea····0x3578(%rsp),%rdi
669347 »       lea····0x12cf506(%rip),%rsi········669347 »       lea····0x12c7622(%rip),%rsi········
669348 »       movl···$0x14a,0x3570(%rsp)669348 »       movl···$0x14a,0x3570(%rsp)
669349 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>669349 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669350 »       lea····0x35a0(%rsp),%rdi669350 »       lea····0x35a0(%rsp),%rdi
669351 »       lea····0x12c7603(%rip),%rsi········669351 »       lea····0x12cf4e7(%rip),%rsi········
669352 »       movl···$0x14b,0x3598(%rsp)669352 »       movl···$0x14b,0x3598(%rsp)
669353 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>669353 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669354 »       lea····0x35c8(%rsp),%rdi669354 »       lea····0x35c8(%rsp),%rdi
669355 »       lea····0x12d0c86(%rip),%rsi········669355 »       lea····0x12d0c86(%rip),%rsi········
669356 »       movl···$0x14b,0x35c0(%rsp)669356 »       movl···$0x14b,0x35c0(%rsp)
669357 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>669357 »       call···13feab0·<cvc5::internal::Options::Options()@@Base+0x12d0>
669358 »       lea····0x35f0(%rsp),%rdi669358 »       lea····0x35f0(%rsp),%rdi
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 »       cmp····%rbx,-0x188(%rbp)4194296 »       cmp····%rbx,-0x188(%rbp)
4194297 »       je·····d07170·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xeb920>4194297 »       je·····d07170·<void·std::vector<long,·std::allocator<long>·>::_M_realloc_append<long>(long&&)@@Base+0xeb920>
4194298 ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:5914194298 ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591
4194299 »       mov····(%rbx),%rsi4194299 »       mov····(%rbx),%rsi
4194300 ./obj-x86_64-linux-gnu/src/./src/./expr/node.h:10584194300 ./obj-x86_64-linux-gnu/src/./src/./expr/node.h:1058
4194301 »       mov····(%r12),%rdi4194301 »       mov····(%r12),%rdi
4194302 ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:5914194302 ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:591
4194303 [·Too·much·input·for·diff·(SHA256:·a0e8db96cf5b603d5353086a1ef21a7dab301c00cdb8e9f2cd396e26399df671)·]4194303 [·Too·much·input·for·diff·(SHA256:·3a97b1e50269b43f4c97e0f16307b0e5861e1fe2486075ce684a1415595f444b)·]
811 B
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·66363438·32653036·62393731·66333966·f6482e06b971f39f 
3 ··0x00000010·34343332·39353339·34363637·32666633·4432953946672ff32 ··0x00000000·65373336·37346366·30363731·30666234·e73674cf06710fb4
 3 ··0x00000010·64333838·64313737·32346636·61303336·d388d17724f6a036
4 ··0x00000020·32663937·65382e64·65627567·00000000·2f97e8.debug....4 ··0x00000020·38323761·31322e64·65627567·00000000·827a12.debug....
5 ··0x00000030·3c9a245a····························<.$Z5 ··0x00000030·03be0c2a····························...*
  
1.91 KB
libcvc5parser1_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·····1264·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1264·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···235804·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···235992·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.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:·2342407182300006934a19704d59d0568ec36d163 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·9a2f7120ebb607e36f7aaa713ce642b94ba23fe2
811 B
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·34323430·37313832·33303030·30363933·4240718230000693 
3 ··0x00000010·34613139·37303464·35396430·35363865·4a19704d59d0568e2 ··0x00000000·32663731·32306562·62363037·65333666·2f7120ebb607e36f
 3 ··0x00000010·37616161·37313363·65363432·62393462·7aaa713ce642b94b
4 ··0x00000020·63333664·31362e64·65627567·00000000·c36d16.debug....4 ··0x00000020·61323366·65322e64·65627567·00000000·a23fe2.debug....
5 ··0x00000030·bec5011e····························....5 ··0x00000030·3ef564c6····························>.d.
  
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·····1676·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1676·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···336908·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···337440·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-313-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:·400da8c677c7b764363d02941de11a20d01fd4103 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·2570bdc103ca0840bdffed22fcf2df2bdd925b02
811 B
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·30646138·63363737·63376237·36343336·0da8c677c7b76436 
3 ··0x00000010·33643032·39343164·65313161·32306430·3d02941de11a20d02 ··0x00000000·37306264·63313033·63613038·34306264·70bdc103ca0840bd
 3 ··0x00000010·66666564·32326663·66326466·32626464·ffed22fcf2df2bdd
4 ··0x00000020·31666434·31302e64·65627567·00000000·1fd410.debug....4 ··0x00000020·39323562·30322e64·65627567·00000000·925b02.debug....
5 ··0x00000030·171753c1····························..S.5 ··0x00000030·85ae19aa····························....
  
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··1886280·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1886664·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:·20907 Installed-Size:·2090
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:·e09ac595a9695ccccf37bec71b8c60ef3fc121de12 Build-Ids:·b98f493e4a07806b66b8b3647db37bb1fb592259
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/e0/9ac595a9695ccccf37bec71b8c60ef3fc121de.debug1 usr/lib/debug/.build-id/b9/8f493e4a07806b66b8b3647db37bb1fb592259.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/e0/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b9/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2128920·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e0/9ac595a9695ccccf37bec71b8c60ef3fc121de.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2129024·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/b9/8f493e4a07806b66b8b3647db37bb1fb592259.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.8 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·183023232·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·183018896·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:·1826127 Installed-Size:·182610
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:·68f6482e06b971f39f4432953946672ff32f97e813 Build-Ids:·0ce73674cf06710fb4d388d17724f6a036827a12
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/68/f6482e06b971f39f4432953946672ff32f97e8.debug1 usr/lib/debug/.build-id/0c/e73674cf06710fb4d388d17724f6a036827a12.debug
24.8 MB
data.tar.xz
24.8 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/68/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/0c/
7 -rw-r--r--···0·root·········(0)·root·········(0)·186983456·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/68/f6482e06b971f39f4432953946672ff32f97e8.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·186981496·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/0c/e73674cf06710fb4d388d17724f6a036827a12.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.8 MB
./usr/lib/debug/.build-id/68/f6482e06b971f39f4432953946672ff32f97e8.debug vs.
./usr/lib/debug/.build-id/0c/e73674cf06710fb4d388d17724f6a036827a12.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:··········186980896·(bytes·into·file)13 ··Start·of·section·headers:··········186978936·(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·0xb251a20:1 There·are·40·section·headers,·starting·at·offset·0xb251278:
  
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·004d0c·00···A··3···0··86 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d0c·00···A··3···0··8
7 ··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··87 ··[·3]·.dynsym···········NOBITS··········0000000000004fa8·000294·00fe58·18···A··4···1··8
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········0000000001864780·000570·014ad0·00··WA··0···0·3227 ··[22]·.data.rel.ro······NOBITS··········0000000001864780·000570·014ad0·00··WA··0···0·32
28 ··[23]·.dynamic··········NOBITS··········0000000001879250·000570·000250·10··WA··4···0··828 ··[23]·.dynamic··········NOBITS··········0000000001879250·000570·000250·10··WA··4···0··8
29 ··[24]·.got··············NOBITS··········00000000018794a0·000570·003b50·08··WA··0···0··829 ··[24]·.got··············NOBITS··········00000000018794a0·000570·003b50·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········000000000187d000·000570·008240·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········000000000187d000·000570·008240·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········0000000001885240·000570·001a00·00··WA··0···0·3231 ··[26]·.bss··············NOBITS··········0000000001885240·000570·001a00·00··WA··0···0·32
32 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dc19·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00dc19·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00ded8·881406e·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00ded8·8813870·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·8821f48·0dc9ab·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·8821748·0dc9ab·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88fe8f8·8726d8·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88fe0f8·8726d8·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·9170fd0·3e0068·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·91707d0·3e0064·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·9551038·0028d5·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·9550838·0028d5·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9553910·12960bd·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9553110·12960bf·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e99d0·16a60f·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7e91d0·16a666·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a953fe0·585e55·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a953838·585e55·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·aed9e38·0ca1a0·18·····38·31780··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·aed9690·0ca1a0·18·····38·31780··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·afa3fd8·2ad8b5·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·afa3830·2ad8b5·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b25188d·000191·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b2510e5·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:·68f6482e06b971f39f4432953946672ff32f97e83 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·0ce73674cf06710fb4d388d17724f6a036827a12
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:·29·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·29·(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:·0x1608e):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x160a8):·long·int
16 ·<1><1c>:·Abbrev·Number:·29·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·29·(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:·0xea17):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xea17):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·29·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·29·(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:·0x1ad34):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1ad34):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·29·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·29·(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:·0x127f5):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1280f):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·29·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·29·(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:·0xc7b8):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc7b8):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·29·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·29·(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:·29·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·29·(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:·0x1ff26):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1ff26):·char32_t
104 ·<1><bf>:·Abbrev·Number:·29·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·29·(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:·0x14164):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x1417e):·__int128
108 ·<1><c6>:·Abbrev·Number:·29·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·29·(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:·0x236b8):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x236b8):·__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:········0x1006·(32-bit)114 ···Length:········0x1006·(32-bit)
Offset 807, 29 lines modifiedOffset 807, 29 lines modified
807 ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f13f):·_IO_read_end807 ····<45a>···DW_AT_name········:·(strp)·(offset:·0x1f13f):·_IO_read_end
808 ····<45e>···DW_AT_decl_file···:·(data1)·69808 ····<45e>···DW_AT_decl_file···:·(data1)·69
809 ····<45f>···DW_AT_decl_line···:·(data1)·56809 ····<45f>···DW_AT_decl_line···:·(data1)·56
810 ····<460>···DW_AT_decl_column·:·(data1)·9810 ····<460>···DW_AT_decl_column·:·(data1)·9
811 ····<461>···DW_AT_type········:·(ref_udata)·<0x13d>811 ····<461>···DW_AT_type········:·(ref_udata)·<0x13d>
812 ····<462>···DW_AT_data_member_location:·(data1)·16812 ····<462>···DW_AT_data_member_location:·(data1)·16
813 ·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)813 ·<2><463>:·Abbrev·Number:·43·(DW_TAG_member)
814 ····<464>···DW_AT_name········:·(strp)·(offset:·0x10623):·_IO_read_base814 ····<464>···DW_AT_name········:·(strp)·(offset:·0x1063d):·_IO_read_base
815 ····<468>···DW_AT_decl_file···:·(data1)·69815 ····<468>···DW_AT_decl_file···:·(data1)·69
816 ····<469>···DW_AT_decl_line···:·(data1)·57816 ····<469>···DW_AT_decl_line···:·(data1)·57
817 ····<46a>···DW_AT_decl_column·:·(data1)·9817 ····<46a>···DW_AT_decl_column·:·(data1)·9
818 ····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>818 ····<46b>···DW_AT_type········:·(ref_udata)·<0x13d>
819 ····<46c>···DW_AT_data_member_location:·(data1)·24819 ····<46c>···DW_AT_data_member_location:·(data1)·24
820 ·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)820 ·<2><46d>:·Abbrev·Number:·43·(DW_TAG_member)
821 ····<46e>···DW_AT_name········:·(strp)·(offset:·0x519c):·_IO_write_base821 ····<46e>···DW_AT_name········:·(strp)·(offset:·0x519c):·_IO_write_base
822 ····<472>···DW_AT_decl_file···:·(data1)·69822 ····<472>···DW_AT_decl_file···:·(data1)·69
823 ····<473>···DW_AT_decl_line···:·(data1)·58823 ····<473>···DW_AT_decl_line···:·(data1)·58
824 ····<474>···DW_AT_decl_column·:·(data1)·9824 ····<474>···DW_AT_decl_column·:·(data1)·9
825 ····<475>···DW_AT_type········:·(ref_udata)·<0x13d>825 ····<475>···DW_AT_type········:·(ref_udata)·<0x13d>
826 ····<476>···DW_AT_data_member_location:·(data1)·32826 ····<476>···DW_AT_data_member_location:·(data1)·32
827 ·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)827 ·<2><477>:·Abbrev·Number:·43·(DW_TAG_member)
828 ····<478>···DW_AT_name········:·(strp)·(offset:·0xfccb):·_IO_write_ptr828 ····<478>···DW_AT_name········:·(strp)·(offset:·0xfce5):·_IO_write_ptr
829 ····<47c>···DW_AT_decl_file···:·(data1)·69829 ····<47c>···DW_AT_decl_file···:·(data1)·69
830 ····<47d>···DW_AT_decl_line···:·(data1)·59830 ····<47d>···DW_AT_decl_line···:·(data1)·59
831 ····<47e>···DW_AT_decl_column·:·(data1)·9831 ····<47e>···DW_AT_decl_column·:·(data1)·9
832 ····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>832 ····<47f>···DW_AT_type········:·(ref_udata)·<0x13d>
833 ····<480>···DW_AT_data_member_location:·(data1)·40833 ····<480>···DW_AT_data_member_location:·(data1)·40
834 ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)834 ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)
835 ····<482>···DW_AT_name········:·(strp)·(offset:·0xe2fe):·_IO_write_end835 ····<482>···DW_AT_name········:·(strp)·(offset:·0xe2fe):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb549):·_IO_buf_base842 ····<48c>···DW_AT_name········:·(strp)·(offset:·0xb549):·_IO_buf_base
843 ····<490>···DW_AT_decl_file···:·(data1)·69843 ····<490>···DW_AT_decl_file···:·(data1)·69
844 ····<491>···DW_AT_decl_line···:·(data1)·61844 ····<491>···DW_AT_decl_line···:·(data1)·61
845 ····<492>···DW_AT_decl_column·:·(data1)·9845 ····<492>···DW_AT_decl_column·:·(data1)·9
846 ····<493>···DW_AT_type········:·(ref_udata)·<0x13d>846 ····<493>···DW_AT_type········:·(ref_udata)·<0x13d>
847 ····<494>···DW_AT_data_member_location:·(data1)·56847 ····<494>···DW_AT_data_member_location:·(data1)·56
848 ·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)848 ·<2><495>:·Abbrev·Number:·43·(DW_TAG_member)
849 ····<496>···DW_AT_name········:·(strp)·(offset:·0x153ff):·_IO_buf_end849 ····<496>···DW_AT_name········:·(strp)·(offset:·0x15419):·_IO_buf_end
850 ····<49a>···DW_AT_decl_file···:·(data1)·69850 ····<49a>···DW_AT_decl_file···:·(data1)·69
851 ····<49b>···DW_AT_decl_line···:·(data1)·62851 ····<49b>···DW_AT_decl_line···:·(data1)·62
852 ····<49c>···DW_AT_decl_column·:·(data1)·9852 ····<49c>···DW_AT_decl_column·:·(data1)·9
853 ····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>853 ····<49d>···DW_AT_type········:·(ref_udata)·<0x13d>
854 ····<49e>···DW_AT_data_member_location:·(data1)·64854 ····<49e>···DW_AT_data_member_location:·(data1)·64
855 ·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)855 ·<2><49f>:·Abbrev·Number:·43·(DW_TAG_member)
856 ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe371):·_IO_save_base856 ····<4a0>···DW_AT_name········:·(strp)·(offset:·0xe371):·_IO_save_base
857 ····<4a4>···DW_AT_decl_file···:·(data1)·69857 ····<4a4>···DW_AT_decl_file···:·(data1)·69
858 ····<4a5>···DW_AT_decl_line···:·(data1)·65858 ····<4a5>···DW_AT_decl_line···:·(data1)·65
859 ····<4a6>···DW_AT_decl_column·:·(data1)·9859 ····<4a6>···DW_AT_decl_column·:·(data1)·9
860 ····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>860 ····<4a7>···DW_AT_type········:·(ref_udata)·<0x13d>
861 ····<4a8>···DW_AT_data_member_location:·(data1)·72861 ····<4a8>···DW_AT_data_member_location:·(data1)·72
862 ·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)862 ·<2><4a9>:·Abbrev·Number:·43·(DW_TAG_member)
863 ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10eea):·_IO_backup_base863 ····<4aa>···DW_AT_name········:·(strp)·(offset:·0x10f04):·_IO_backup_base
864 ····<4ae>···DW_AT_decl_file···:·(data1)·69864 ····<4ae>···DW_AT_decl_file···:·(data1)·69
865 ····<4af>···DW_AT_decl_line···:·(data1)·66865 ····<4af>···DW_AT_decl_line···:·(data1)·66
866 ····<4b0>···DW_AT_decl_column·:·(data1)·9866 ····<4b0>···DW_AT_decl_column·:·(data1)·9
867 ····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>867 ····<4b1>···DW_AT_type········:·(ref_udata)·<0x13d>
868 ····<4b2>···DW_AT_data_member_location:·(data1)·80868 ····<4b2>···DW_AT_data_member_location:·(data1)·80
869 ·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)869 ·<2><4b3>:·Abbrev·Number:·43·(DW_TAG_member)
870 ····<4b4>···DW_AT_name········:·(strp)·(offset:·0x18d1d):·_IO_save_end870 ····<4b4>···DW_AT_name········:·(strp)·(offset:·0x18d37):·_IO_save_end
871 ····<4b8>···DW_AT_decl_file···:·(data1)·69871 ····<4b8>···DW_AT_decl_file···:·(data1)·69
872 ····<4b9>···DW_AT_decl_line···:·(data1)·67872 ····<4b9>···DW_AT_decl_line···:·(data1)·67
873 ····<4ba>···DW_AT_decl_column·:·(data1)·9873 ····<4ba>···DW_AT_decl_column·:·(data1)·9
874 ····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>874 ····<4bb>···DW_AT_type········:·(ref_udata)·<0x13d>
875 ····<4bc>···DW_AT_data_member_location:·(data1)·88875 ····<4bc>···DW_AT_data_member_location:·(data1)·88
876 ·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)876 ·<2><4bd>:·Abbrev·Number:·43·(DW_TAG_member)
877 ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4be3):·_markers877 ····<4be>···DW_AT_name········:·(strp)·(offset:·0x4be3):·_markers
Offset 884, 58 lines modifiedOffset 884, 58 lines modified
884 ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac52):·_chain884 ····<4c9>···DW_AT_name········:·(strp)·(offset:·0x83ac52):·_chain
885 ····<4cd>···DW_AT_decl_file···:·(data1)·69885 ····<4cd>···DW_AT_decl_file···:·(data1)·69
886 ····<4ce>···DW_AT_decl_line···:·(data1)·71886 ····<4ce>···DW_AT_decl_line···:·(data1)·71
887 ····<4cf>···DW_AT_decl_column·:·(data1)·20887 ····<4cf>···DW_AT_decl_column·:·(data1)·20
888 ····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>888 ····<4d0>···DW_AT_type········:·(ref_udata)·<0xef0>
889 ····<4d2>···DW_AT_data_member_location:·(data1)·104889 ····<4d2>···DW_AT_data_member_location:·(data1)·104
890 ·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)890 ·<2><4d3>:·Abbrev·Number:·1·(DW_TAG_member)
891 ····<4d4>···DW_AT_name········:·(strp)·(offset:·0x19fce):·_fileno891 ····<4d4>···DW_AT_name········:·(strp)·(offset:·0x19fe8):·_fileno
892 ····<4d8>···DW_AT_decl_file···:·(data1)·69892 ····<4d8>···DW_AT_decl_file···:·(data1)·69
893 ····<4d9>···DW_AT_decl_line···:·(data1)·73893 ····<4d9>···DW_AT_decl_line···:·(data1)·73
894 ····<4da>···DW_AT_decl_column·:·(data1)·7894 ····<4da>···DW_AT_decl_column·:·(data1)·7
895 ····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int895 ····<4db>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896 ····<4df>···DW_AT_data_member_location:·(data1)·112896 ····<4df>···DW_AT_data_member_location:·(data1)·112
897 ·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)897 ·<2><4e0>:·Abbrev·Number:·44·(DW_TAG_member)
898 ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c219):·_flags2898 ····<4e1>···DW_AT_name········:·(strp)·(offset:·0x1c219):·_flags2
899 ····<4e5>···DW_AT_decl_file···:·(data1)·69899 ····<4e5>···DW_AT_decl_file···:·(data1)·69
Max diff block lines reached; 25374023/25381125 bytes (99.97%) of diff not shown.
3.54 KB
readelf --wide --debug-dump=macro {}
    
Offset 1568, 16 lines modifiedOffset 1568, 16 lines modified
1568 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11568 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1569 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11569 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1570 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11570 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1571 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11571 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1572 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11572 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1573 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11573 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1574 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21574 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1575 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1575 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1576 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1576 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1577 ··Offset:······················0x19e81577 ··Offset:······················0x19e8
1578 ··Version:·····················51578 ··Version:·····················5
1579 ··Offset·size:·················41579 ··Offset·size:·················4
  
1580 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11580 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1581 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11581 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52750, 16 lines modifiedOffset 52750, 16 lines modified
52750 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152750 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52751 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152751 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52752 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152752 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52753 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152753 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52754 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152754 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52755 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152755 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52756 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252756 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52757 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52757 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52758 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52758 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52759 ··Offset:······················0x4914f52759 ··Offset:······················0x4914f
52760 ··Version:·····················552760 ··Version:·····················5
52761 ··Offset·size:·················452761 ··Offset·size:·················4
  
52762 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52762 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52763 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52763 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1342746, 17 lines modifiedOffset 1342746, 19 lines modified
1342746 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1342746 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1342747 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421342747 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1342748 ·DW_MACRO_end_file1342748 ·DW_MACRO_end_file
1342749 ·DW_MACRO_import·-·offset·:·0x522601342749 ·DW_MACRO_import·-·offset·:·0x52260
1342750 ·DW_MACRO_end_file1342750 ·DW_MACRO_end_file
1342751 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1361342751 ·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1342752 ·DW_MACRO_end_file1342752 ·DW_MACRO_end_file
1342753 ·DW_MACRO_start_file·-·lineno:·50·filenum:·311342753 ·DW_MACRO_start_file·-·lineno:·51·filenum:·31
 1342754 ·DW_MACRO_end_file
 1342755 ·DW_MACRO_start_file·-·lineno:·52·filenum:·112
1342754 ·DW_MACRO_end_file1342756 ·DW_MACRO_end_file
1342755 ·DW_MACRO_start_file·-·lineno:·51·filenum:·3031342757 ·DW_MACRO_start_file·-·lineno:·53·filenum:·303
1342756 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11342758 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1342757 ·DW_MACRO_start_file·-·lineno:·41·filenum:·141342759 ·DW_MACRO_start_file·-·lineno:·41·filenum:·14
1342758 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1342760 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1342759 ·DW_MACRO_start_file·-·lineno:·33·filenum:·151342761 ·DW_MACRO_start_file·-·lineno:·33·filenum:·15
1342760 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11342762 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1342761 ·DW_MACRO_start_file·-·lineno:·35·filenum:·161342763 ·DW_MACRO_start_file·-·lineno:·35·filenum:·16
1342762 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11342764 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1342764, 16 lines modifiedOffset 1342766, 14 lines modified
1342764 ·DW_MACRO_end_file1342766 ·DW_MACRO_end_file
1342765 ·DW_MACRO_end_file1342767 ·DW_MACRO_end_file
1342766 ·DW_MACRO_import·-·offset·:·0x9e101342768 ·DW_MACRO_import·-·offset·:·0x9e10
1342767 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1771342769 ·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1342768 ·DW_MACRO_import·-·offset·:·0x5108201342770 ·DW_MACRO_import·-·offset·:·0x510820
1342769 ·DW_MACRO_end_file1342771 ·DW_MACRO_end_file
1342770 ·DW_MACRO_end_file1342772 ·DW_MACRO_end_file
1342771 ·DW_MACRO_start_file·-·lineno:·54·filenum:·112 
1342772 ·DW_MACRO_end_file 
1342773 ·DW_MACRO_start_file·-·lineno:·57·filenum:·831342773 ·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1342774 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1342774 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1342775 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1771342775 ·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1342776 ·DW_MACRO_import·-·offset·:·0x510e0c1342776 ·DW_MACRO_import·-·offset·:·0x510e0c
1342777 ·DW_MACRO_end_file1342777 ·DW_MACRO_end_file
1342778 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1401342778 ·DW_MACRO_start_file·-·lineno:·43·filenum:·140
1342779 ·DW_MACRO_import·-·offset·:·0x10b8a1342779 ·DW_MACRO_import·-·offset·:·0x10b8a
544 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
  
4194297 ····00c1aa78·v000000000000000·v000000000000000·views·at·00c1aa76·for:4194297 ····00c1aa78·v000000000000000·v000000000000000·views·at·00c1aa76·for:
4194298 ·············00000000006223e3·0000000000622422·(DW_OP_reg13·(r13))4194298 ·············00000000006223e3·0000000000622422·(DW_OP_reg13·(r13))
4194299 ····00c1aa84·<End·of·list>4194299 ····00c1aa84·<End·of·list>
  
4194300 ····00c1aa85·v000000000000000·v000000000000000·location·view·pair4194300 ····00c1aa85·v000000000000000·v000000000000000·location·view·pair
  
4194301 [·Too·much·input·for·diff·(SHA256:·e44b92820328af86beb4b3c80de82df524b42f4f55cfa8973f52503918eda3eb)·]4194301 [·Too·much·input·for·diff·(SHA256:·c71d9cdc5a09389892f7e511d35687a60a0838910f4b3d5fc726b6d47644446c)·]
646 KB
strings --all --bytes=8 {}
    
Offset 1, 30087 lines modifiedOffset 1, 30111 lines modified
1 GCC:·(Debian·14.2.0-19)·14.2.01 GCC:·(Debian·14.2.0-19)·14.2.0
2 }ggfggy<2 }ggfggy<
3 O.P__\{e3 O.P__\{e
4 o3~c`moG}4 o3~c`moG}
5 Fd~y_)K^%t5 Fd~y_)K^%t
6 #w{`~U=s;6 #w{`~U=s;
7 {rW~V{l5 
8 |\QiAcdG 
9 p*7e,*?) 
10 BXZXnpnpZ 
11 IEGH*:Bz 
12 ktD3BGd9 
13 Zd~T&LqG% 
14 uLsx0*;,: 
15 |m-(*^#% 
16 ]G~F9lZ6 
17 "j}]}=}y/ 
18 RC7Cvo2{) 
19 (N3Mqnq: 
20 L,?7@?rp 
21 >EpIzUj\'0 
22 d?s*n+$;4 
23 MK8gk?FU 
24 cfbEpL/Z 
25 88:`(gSie 
26 Pm&5sdze 
27 xA:;2,wTh 
28 ^csz]iT; 
29 jNj2*//A7 }W4P6Sy?072ay!)
 8 8ux\Oq1XSq
 9 _kk_r\tu
 10 F;KY#|TN
 11 IZ*ezPF;
 12 !"W>LpCd
 13 ma2LTMW9
 14 rY{st3L7
 15 q8]V&)"K
 16 »       U},6n_6
 17 \KiHYAt1
 18 ILssH<5(
 19 &W*Pv1WL
 20 -te»    YKks
 21 |LqJ·/hg
 22 a=s-0<pl
 23 QN7lDdUj
 24 uV!pW2n;
 25 f>alO2)'
 26 $%F_p{vL~=
 27 5C`5#_Kp
 28 T7nG?J<-\
 29 sfOEkX=A»       
 30 TXDfKK$o!t
 31 !jxTnOQyXI
 32 |<X1Vv5/
 33 o=)9*)_&
 34 .jd6~N/:
 35 t@»     rri'l
 36 w@»     rri'l<
 37 GA.;·M?T
30 @(mQPNSc38 @(mQPNSc
 39 oQRN+'uQ
31 hji@9mQPN 
32 8SN39PN[ 
33 PRNC6M!t 
34 D9]&RNK3L40 D9]&RNK5p
 41 v!Ts9Ls!4
 42 7p=:D?=g
 43 ou!W]n2Q0kq.
 44 5&J?/<~[
 45 ,0.1b:ex
 46 e2}*.Nu4
 47 f<J5?H3?J
 48 (w49zu@_B
 49 \n=`=L]k
 50 Z5{<FCFyN?)
 51 d2B9k%HA
 52 1RN/Hlc*
 53 c^·_v#T\
 54 zpH~·wVP
 55 ${]~y(xQQg
 56 $b.A"61vfl
 57 70nH·FWx
 58 Z;V1*u\*V
 59 kOR;zirEY
 60 )9)B]NXU
 61 @6;pQ·f!j
 62 |Jy»    k}Zy
 63 B]z~b}#3'
 64 :e1?{q6e
 65 61:k=lR&
 66 k1L[}0Lz
 67 0],q^.QbW
 68 IRH1%vU0L
 69 OzA|L'ugtE
 70 gi=%-]xW
 71 ^KQ»    :OD|
 72 p%EC6dz[
 73 KktHbO'M
 74 m98J[{^C
 75 #G#u]"Rw<
 76 v1IDew@*j
 77 ._Ud=x^V
 78 ~XhQWP/go
 79 GMKkkx+o
 80 |D$(-|f)S
 81 nr27/wE.
 82 WN&MM^)"
 83 v6vY|So`&
 84 Zk·Vx3bE;J
 85 3]A|cZc-c
 86 ${O{n_.w
 87 kj<$Kb4g
 88 ·!EROnA~Z
 89 pqb:\c<$
 90 eO/$WuwP
 91 -}dL<VHJ
 92 $5px*I~d\
 93 AAh6LbjA
 94 ]{rko^C·
 95 y+q·@GK_
 96 fL[nH[c4
 97 zj7E?Go+%
 98 }G$=Oz+Z8
 99 Z-HUnb4]
 100 0·Y/Y#]O
 101 PaJ#]x.X
35 8SN+rgZg 
Max diff block lines reached; 659131/661486 bytes (99.64%) 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.