⊟
64.8 MB
/srv/reproducible-results/rbuild-debian/r-b-build.LpArMR9k/b1/cvc5_1.1.2-2_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.LpArMR9k/b2/cvc5_1.1.2-2_i386.changes
⊟
1.5 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·fe14c580d608df7b8865eca28bdc8e51·1886868·debug·optional·cvc5-dbgsym_1.1.2-2_i386.deb 
2 ·ad09dce8c9fadd26f2a03f8b927e0ac0·111628·math·optional·cvc5_1.1.2-2_i386.deb 
3 ·10399d374b6f480524466fa66955b510·179661576·debug·optional·libcvc5-1-dbgsym_1.1.2-2_i386.deb 
4 ·055b1aaa817dabbd8a025e904f35c72e·7266024·libs·optional·libcvc5-1_1.1.2-2_i386.deb1 ·c4a17d94af3d7c9d6bb7b0d8f48820b7·1887540·debug·optional·cvc5-dbgsym_1.1.2-2_i386.deb
 2 ·106255d3c37dab2d6fca66847f675cd7·111220·math·optional·cvc5_1.1.2-2_i386.deb
 3 ·54db9956ba285439e90dbb04f4c4bce7·179654984·debug·optional·libcvc5-1-dbgsym_1.1.2-2_i386.deb
 4 ·f878ba3da32cc773b5b7ccb29bafd4a2·7266668·libs·optional·libcvc5-1_1.1.2-2_i386.deb
5 ·00393604f84ce28115e232ecc29c28a9·93008·libdevel·optional·libcvc5-dev_1.1.2-2_i386.deb5 ·00393604f84ce28115e232ecc29c28a9·93008·libdevel·optional·libcvc5-dev_1.1.2-2_i386.deb
6 ·69e983d45857668ff54b7d02a6e10c06·4039832·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_i386.deb 
7 ·d7cff41d3f1d08e6fd83c0e41b96d6fd·259120·libs·optional·libcvc5parser1_1.1.2-2_i386.deb 
8 ·619fc8de33e1ec57e236f9a711e8f4af·2598448·debug·optional·python3-cvc5-dbgsym_1.1.2-2_i386.deb 
9 ·f90f19c633b8d4320f375c4633768f20·325312·python·optional·python3-cvc5_1.1.2-2_i386.deb6 ·1fede63c2f81a346fd7725994939a2af·4039428·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_i386.deb
 7 ·fb222dbb9eff030e5df8af3970e12d38·259200·libs·optional·libcvc5parser1_1.1.2-2_i386.deb
 8 ·b414eafb529696e05576892c399f3080·2598824·debug·optional·python3-cvc5-dbgsym_1.1.2-2_i386.deb
 9 ·f4402396b4426adfa808259d12cd631c·325252·python·optional·python3-cvc5_1.1.2-2_i386.deb
⊟
2.47 KB
cvc5_1.1.2-2_i386.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···110320·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···109912·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.98 KB
data.tar.xz
⊟
1.96 KB
data.tar
⊟
1.94 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
615 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 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:·78629aae3ad404da32af4dab22e01d64b58d8c363 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e71d3675cb3eef1c2daba0653acb5e5be83ab05e
  
4 Displaying·notes·found·in:·.note.ABI-tag4 Displaying·notes·found·in:·.note.ABI-tag
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.06 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
⊟
416 B
strings --all --bytes=8 {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 6/lib/ld-linux.so.21 ^/lib/ld-linux.so.2
2 Ut<{~·U>2 Ut<{~·U>
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
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·36323961·61653361·64343034·64613332·629aae3ad404da32 
3 ··0x00000010·61663464·61623232·65303164·36346235·af4dab22e01d64b52 ··0x00000000·31643336·37356362·33656566·31633264·1d3675cb3eef1c2d
 3 ··0x00000010·61626130·36353361·63623565·35626538·aba0653acb5e5be8
4 ··0x00000020·38643863·33362e64·65627567·00000000·8d8c36.debug....4 ··0x00000020·33616230·35652e64·65627567·00000000·3ab05e.debug....
5 ··0x00000030·83ffaba5····························....5 ··0x00000030·8e5c3970····························.\9p
  
⊟
18.7 KB
libcvc5-1_1.1.2-2_i386.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·····1276·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1276·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··7264556·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··7265200·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
⊟
18.2 KB
data.tar.xz
⊟
18.2 KB
data.tar
⊟
18.2 KB
./usr/lib/i386-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:·28fd456089fa4b9525c359d8e7cf9e9582b8af023 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e0033cae79b41ebd22478c777ef22501ccecb40c
⊟
744 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 10472, 16 lines modifiedOffset 10472, 16 lines modified
10472 proof-granularity10472 proof-granularity
10473 proof-mode10473 proof-mode
10474 proof-pedantic10474 proof-pedantic
10475 proof-rewrite-rcons-rec-limit10475 proof-rewrite-rcons-rec-limit
10476 prop-row-length10476 prop-row-length
10477 quant-dsplit10477 quant-dsplit
10478 quant-rep-mode10478 quant-rep-mode
10479 random-frequency 
10480 random-freq10479 random-freq
 10480 random-frequency
10481 re-inter-mode10481 re-inter-mode
10482 replay-early-close-depth10482 replay-early-close-depth
10483 replay-lemma-reject-cut10483 replay-lemma-reject-cut
10484 replay-num-err-penalty10484 replay-num-err-penalty
10485 replay-reject-cut10485 replay-reject-cut
10486 restart-int-base10486 restart-int-base
10487 restart-int-inc10487 restart-int-inc
Offset 10537, 16 lines modifiedOffset 10537, 16 lines modified
10537 trigger-active-sel10537 trigger-active-sel
10538 trigger-sel10538 trigger-sel
10539 uf-ss-abort-card10539 uf-ss-abort-card
10540 unate-lemmas10540 unate-lemmas
10541 unsat-cores-mode10541 unsat-cores-mode
10542 user-pat10542 user-pat
10543 user-pool10543 user-pool
10544 write-partitions-to 
10545 partitions-out10544 partitions-out
 10545 write-partitions-to
10546 Argument·'10546 Argument·'
10547 '·for·bool·option·10547 '·for·bool·option·
10548 ·is·not·a·bool·constant10548 ·is·not·a·bool·constant
10549 ·is·negative10549 ·is·negative
10550 ·did·parse·only·partially·as·10550 ·did·parse·only·partially·as·
10551 ,·leaving·'10551 ,·leaving·'
10552 ·did·not·parse·as·10552 ·did·not·parse·as·
⊟
5.45 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 939165, 19 lines modifiedOffset 939165, 19 lines modified
939165 »       movl···$0x52,-0x2ba8(%ebp)939165 »       movl···$0x52,-0x2ba8(%ebp)
939166 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939166 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939167 »       lea····-0x2b88(%ebp),%eax939167 »       lea····-0x2b88(%ebp),%eax
939168 »       lea····-0x35da80(%esi),%edx939168 »       lea····-0x35da80(%esi),%edx
939169 »       movl···$0x53,-0x2b8c(%ebp)939169 »       movl···$0x53,-0x2b8c(%ebp)
939170 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939170 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939171 »       lea····-0x2b6c(%ebp),%eax939171 »       lea····-0x2b6c(%ebp),%eax
939172 »       lea····-0x35c7a5(%esi),%edx939172 »       lea····-0x35f5ac(%esi),%edx
939173 »       movl···$0x54,-0x2b70(%ebp)939173 »       movl···$0x54,-0x2b70(%ebp)
939174 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939174 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939175 »       lea····-0x2b50(%ebp),%eax939175 »       lea····-0x2b50(%ebp),%eax
939176 »       lea····-0x35f5ac(%esi),%edx939176 »       lea····-0x35c7a5(%esi),%edx
939177 »       movl···$0x55,-0x2b54(%ebp)939177 »       movl···$0x55,-0x2b54(%ebp)
939178 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939178 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939179 »       lea····-0x2b34(%ebp),%eax939179 »       lea····-0x2b34(%ebp),%eax
939180 »       lea····-0x35ff72(%esi),%edx939180 »       lea····-0x35ff72(%esi),%edx
939181 »       movl···$0x55,-0x2b38(%ebp)939181 »       movl···$0x55,-0x2b38(%ebp)
939182 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939182 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939183 »       lea····-0x2b18(%ebp),%eax939183 »       lea····-0x2b18(%ebp),%eax
Offset 939309, 19 lines modifiedOffset 939309, 19 lines modified
939309 »       movl···$0x75,-0x27b8(%ebp)939309 »       movl···$0x75,-0x27b8(%ebp)
939310 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939310 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939311 »       lea····-0x2798(%ebp),%eax939311 »       lea····-0x2798(%ebp),%eax
939312 »       lea····-0x35e10a(%esi),%edx939312 »       lea····-0x35e10a(%esi),%edx
939313 »       movl···$0x76,-0x279c(%ebp)939313 »       movl···$0x76,-0x279c(%ebp)
939314 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939314 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939315 »       lea····-0x277c(%ebp),%eax939315 »       lea····-0x277c(%ebp),%eax
939316 »       lea····-0x369d8c(%esi),%edx939316 »       lea····-0x36c11a(%esi),%edx
939317 »       movl···$0x77,-0x2780(%ebp)939317 »       movl···$0x77,-0x2780(%ebp)
939318 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939318 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939319 »       lea····-0x2760(%ebp),%eax939319 »       lea····-0x2760(%ebp),%eax
939320 »       lea····-0x36c11a(%esi),%edx939320 »       lea····-0x369d8c(%esi),%edx
939321 »       movl···$0x78,-0x2764(%ebp)939321 »       movl···$0x78,-0x2764(%ebp)
939322 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939322 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939323 »       lea····-0x2744(%ebp),%eax939323 »       lea····-0x2744(%ebp),%eax
939324 »       lea····-0x35f558(%esi),%edx939324 »       lea····-0x35f558(%esi),%edx
939325 »       movl···$0x78,-0x2748(%ebp)939325 »       movl···$0x78,-0x2748(%ebp)
939326 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939326 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939327 »       lea····-0x2728(%ebp),%eax939327 »       lea····-0x2728(%ebp),%eax
Offset 939761, 15 lines modifiedOffset 939761, 15 lines modified
939761 »       movl···$0xe4,-0x1b5c(%ebp)939761 »       movl···$0xe4,-0x1b5c(%ebp)
939762 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939762 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939763 »       lea····-0x1b3c(%ebp),%eax939763 »       lea····-0x1b3c(%ebp),%eax
939764 »       lea····-0x35df20(%esi),%edx939764 »       lea····-0x35df20(%esi),%edx
939765 »       movl···$0xe5,-0x1b40(%ebp)939765 »       movl···$0xe5,-0x1b40(%ebp)
939766 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939766 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939767 »       lea····-0x1b20(%ebp),%eax939767 »       lea····-0x1b20(%ebp),%eax
939768 »       lea····-0x35ec74(%esi),%edx939768 »       lea····-0x35ec88(%esi),%edx
939769 »       movl···$0xe6,-0x1b24(%ebp)939769 »       movl···$0xe6,-0x1b24(%ebp)
939770 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939770 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939771 »       lea····-0x1b04(%ebp),%eax939771 »       lea····-0x1b04(%ebp),%eax
939772 »       lea····-0x36c100(%esi),%edx939772 »       lea····-0x36c100(%esi),%edx
939773 »       movl···$0xe7,-0x1b08(%ebp)939773 »       movl···$0xe7,-0x1b08(%ebp)
939774 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939774 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939775 »       lea····-0x1ae8(%ebp),%eax939775 »       lea····-0x1ae8(%ebp),%eax
Offset 939789, 19 lines modifiedOffset 939789, 19 lines modified
939789 »       movl···$0xe9,-0x1a98(%ebp)939789 »       movl···$0xe9,-0x1a98(%ebp)
939790 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939790 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939791 »       lea····-0x1a78(%ebp),%eax939791 »       lea····-0x1a78(%ebp),%eax
939792 »       lea····-0x35df15(%esi),%edx939792 »       lea····-0x35df15(%esi),%edx
939793 »       movl···$0xea,-0x1a7c(%ebp)939793 »       movl···$0xea,-0x1a7c(%ebp)
939794 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939794 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939795 »       lea····-0x1a5c(%ebp),%eax939795 »       lea····-0x1a5c(%ebp),%eax
939796 »       lea····-0x35f313(%esi),%edx939796 »       lea····-0x3680cf(%esi),%edx
939797 »       movl···$0xeb,-0x1a60(%ebp)939797 »       movl···$0xeb,-0x1a60(%ebp)
939798 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939798 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939799 »       lea····-0x1a40(%ebp),%eax939799 »       lea····-0x1a40(%ebp),%eax
939800 »       lea····-0x3680cf(%esi),%edx939800 »       lea····-0x35f313(%esi),%edx
939801 »       movl···$0xec,-0x1a44(%ebp)939801 »       movl···$0xec,-0x1a44(%ebp)
939802 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939802 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939803 »       lea····-0x1a24(%ebp),%eax939803 »       lea····-0x1a24(%ebp),%eax
939804 »       lea····-0x35f303(%esi),%edx939804 »       lea····-0x35f303(%esi),%edx
939805 »       movl···$0xec,-0x1a28(%ebp)939805 »       movl···$0xec,-0x1a28(%ebp)
939806 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>939806 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939807 »       lea····-0x1a08(%ebp),%eax939807 »       lea····-0x1a08(%ebp),%eax
Offset 940029, 15 lines modifiedOffset 940029, 15 lines modified
940029 »       movl···$0x122,-0x1408(%ebp)940029 »       movl···$0x122,-0x1408(%ebp)
940030 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>940030 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940031 »       lea····-0x13e8(%ebp),%eax940031 »       lea····-0x13e8(%ebp),%eax
940032 »       lea····-0x35f187(%esi),%edx940032 »       lea····-0x35f187(%esi),%edx
940033 »       movl···$0x123,-0x13ec(%ebp)940033 »       movl···$0x123,-0x13ec(%ebp)
940034 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>940034 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940035 »       lea····-0x13cc(%ebp),%eax940035 »       lea····-0x13cc(%ebp),%eax
940036 »       lea····-0x35f176(%esi),%edx940036 »       lea····-0x35f17b(%esi),%edx
940037 »       movl···$0x124,-0x13d0(%ebp)940037 »       movl···$0x124,-0x13d0(%ebp)
940038 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>940038 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940039 »       lea····-0x13b0(%ebp),%eax940039 »       lea····-0x13b0(%ebp),%eax
940040 »       lea····-0x35e514(%esi),%edx940040 »       lea····-0x35e514(%esi),%edx
940041 »       movl···$0x124,-0x13b4(%ebp)940041 »       movl···$0x124,-0x13b4(%ebp)
940042 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>940042 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940043 »       lea····-0x1394(%ebp),%eax940043 »       lea····-0x1394(%ebp),%eax
Offset 940745, 15 lines modifiedOffset 940745, 15 lines modified
940745 »       movl···$0x1d2,-0x74(%ebp)940745 »       movl···$0x1d2,-0x74(%ebp)
940746 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>940746 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940747 »       lea····-0x54(%ebp),%eax940747 »       lea····-0x54(%ebp),%eax
940748 »       lea····-0x35ec93(%esi),%edx940748 »       lea····-0x35ec93(%esi),%edx
940749 »       movl···$0x1d3,-0x58(%ebp)940749 »       movl···$0x1d3,-0x58(%ebp)
940750 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>940750 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940751 »       lea····-0x38(%ebp),%eax940751 »       lea····-0x38(%ebp),%eax
940752 »       lea····-0x35ec7f(%esi),%edx940752 »       lea····-0x35ec84(%esi),%edx
940753 »       movl···$0x1d4,-0x3c(%ebp)940753 »       movl···$0x1d4,-0x3c(%ebp)
940754 »       mov····%eax,-0x3500(%ebp)940754 »       mov····%eax,-0x3500(%ebp)
940755 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>940755 »       call···15075f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940756 /usr/include/c++/14/bits/hashtable.h:499940756 /usr/include/c++/14/bits/hashtable.h:499
940757 »       lea····0x7794(%esi),%eax940757 »       lea····0x7794(%esi),%eax
940758 /usr/include/c++/14/bits/hashtable.h:1258940758 /usr/include/c++/14/bits/hashtable.h:1258
940759 »       sub····$0x8,%esp940759 »       sub····$0x8,%esp
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 ./obj-i686-linux-gnu/src/./src/theory/ff/theory_ff_type_rules.cpp:804194296 ./obj-i686-linux-gnu/src/./src/theory/ff/theory_ff_type_rules.cpp:80
4194297 »       mov····-0x5c(%ebp),%edi4194297 »       mov····-0x5c(%ebp),%edi
4194298 »       test···%edi,%edi4194298 »       test···%edi,%edi
4194299 »       je·····b5e9af·<cvc5::internal::TypeNode*·std::__do_uninit_copy<__gnu_cxx::__normal_iterator<cvc5::internal::TypeNode·const*,·std::vector<cvc5::internal::TypeNode,·std::allocator<cvc5::internal::TypeNode>·>·>,·cvc5::internal::TypeNode*>(__gnu_cxx::__normal_iterator<cvc5::internal::TypeNode·const*,·std::vector<cvc5::internal::TypeNode,·std::allocator<cvc5::internal::TypeNode>·>·>,·__gnu_cxx::__normal_iterator<cvc5::internal::TypeNode·const*,·std::vector<cvc5::internal::TypeNode,·std::allocator<cvc5::internal::TypeNode>·>·>,·cvc5::internal::TypeNode*)@@Base+0x357ef>4194299 »       je·····b5e9af·<cvc5::internal::TypeNode*·std::__do_uninit_copy<__gnu_cxx::__normal_iterator<cvc5::internal::TypeNode·const*,·std::vector<cvc5::internal::TypeNode,·std::allocator<cvc5::internal::TypeNode>·>·>,·cvc5::internal::TypeNode*>(__gnu_cxx::__normal_iterator<cvc5::internal::TypeNode·const*,·std::vector<cvc5::internal::TypeNode,·std::allocator<cvc5::internal::TypeNode>·>·>,·__gnu_cxx::__normal_iterator<cvc5::internal::TypeNode·const*,·std::vector<cvc5::internal::TypeNode,·std::allocator<cvc5::internal::TypeNode>·>·>,·cvc5::internal::TypeNode*)@@Base+0x357ef>
4194300 /usr/include/c++/14/ostream:6764194300 /usr/include/c++/14/ostream:676
4194301 »       mov····-0x3c(%ebp),%ebx4194301 »       mov····-0x3c(%ebp),%ebx
4194302 »       sub····$0x4,%esp4194302 »       sub····$0x4,%esp
4194303 [·Too·much·input·for·diff·(SHA256:·448940290645c10ea1726cc87e2ea22b76e721416acd76d28ee2b391cd7a85cd)·]4194303 [·Too·much·input·for·diff·(SHA256:·eb084ac79e05224f1eefbe2ab88bec9516bcdb8ae221a950e69575e0e173079e)·]
⊟
2.63 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 22273, 16 lines modifiedOffset 22273, 16 lines modified
22273 ··0x016befe0·72697479·0070726f·6f662d6d·6f646500·rity.proof-mode.22273 ··0x016befe0·72697479·0070726f·6f662d6d·6f646500·rity.proof-mode.
22274 ··0x016beff0·70726f6f·662d7065·64616e74·69630070·proof-pedantic.p22274 ··0x016beff0·70726f6f·662d7065·64616e74·69630070·proof-pedantic.p
22275 ··0x016bf000·726f6f66·2d726577·72697465·2d72636f·roof-rewrite-rco22275 ··0x016bf000·726f6f66·2d726577·72697465·2d72636f·roof-rewrite-rco
22276 ··0x016bf010·6e732d72·65632d6c·696d6974·0070726f·ns-rec-limit.pro22276 ··0x016bf010·6e732d72·65632d6c·696d6974·0070726f·ns-rec-limit.pro
22277 ··0x016bf020·702d726f·772d6c65·6e677468·00717561·p-row-length.qua22277 ··0x016bf020·702d726f·772d6c65·6e677468·00717561·p-row-length.qua
22278 ··0x016bf030·6e742d64·73706c69·74007175·616e742d·nt-dsplit.quant-22278 ··0x016bf030·6e742d64·73706c69·74007175·616e742d·nt-dsplit.quant-
22279 ··0x016bf040·7265702d·6d6f6465·0072616e·646f6d2d·rep-mode.random-22279 ··0x016bf040·7265702d·6d6f6465·0072616e·646f6d2d·rep-mode.random-
22280 ··0x016bf050·66726571·75656e63·79007261·6e646f6d·frequency.random22280 ··0x016bf050·66726571·0072616e·646f6d2d·66726571·freq.random-freq
22281 ··0x016bf060·2d667265·71007265·2d656c69·6d007265·-freq.re-elim.re22281 ··0x016bf060·75656e63·79007265·2d656c69·6d007265·uency.re-elim.re
22282 ··0x016bf070·2d696e74·65722d6d·6f646500·7265706c·-inter-mode.repl22282 ··0x016bf070·2d696e74·65722d6d·6f646500·7265706c·-inter-mode.repl
22283 ··0x016bf080·61792d65·61726c79·2d636c6f·73652d64·ay-early-close-d22283 ··0x016bf080·61792d65·61726c79·2d636c6f·73652d64·ay-early-close-d
22284 ··0x016bf090·65707468·00726570·6c61792d·6c656d6d·epth.replay-lemm22284 ··0x016bf090·65707468·00726570·6c61792d·6c656d6d·epth.replay-lemm
22285 ··0x016bf0a0·612d7265·6a656374·2d637574·00726570·a-reject-cut.rep22285 ··0x016bf0a0·612d7265·6a656374·2d637574·00726570·a-reject-cut.rep
22286 ··0x016bf0b0·6c61792d·6e756d2d·6572722d·70656e61·lay-num-err-pena22286 ··0x016bf0b0·6c61792d·6e756d2d·6572722d·70656e61·lay-num-err-pena
22287 ··0x016bf0c0·6c747900·7265706c·61792d72·656a6563·lty.replay-rejec22287 ··0x016bf0c0·6c747900·7265706c·61792d72·656a6563·lty.replay-rejec
22288 ··0x016bf0d0·742d6375·74007265·73746172·742d696e·t-cut.restart-in22288 ··0x016bf0d0·742d6375·74007265·73746172·742d696e·t-cut.restart-in
Offset 22351, 17 lines modifiedOffset 22351, 17 lines modified
22351 ··0x016bf4c0·74696d65·6f757400·74726163·65007472·timeout.trace.tr22351 ··0x016bf4c0·74696d65·6f757400·74726163·65007472·timeout.trace.tr
22352 ··0x016bf4d0·69676765·722d6163·74697665·2d73656c·igger-active-sel22352 ··0x016bf4d0·69676765·722d6163·74697665·2d73656c·igger-active-sel
22353 ··0x016bf4e0·00747269·67676572·2d73656c·0075662d·.trigger-sel.uf-22353 ··0x016bf4e0·00747269·67676572·2d73656c·0075662d·.trigger-sel.uf-
22354 ··0x016bf4f0·73730075·662d7373·2d61626f·72742d63·ss.uf-ss-abort-c22354 ··0x016bf4f0·73730075·662d7373·2d61626f·72742d63·ss.uf-ss-abort-c
22355 ··0x016bf500·61726400·756e6174·652d6c65·6d6d6173·ard.unate-lemmas22355 ··0x016bf500·61726400·756e6174·652d6c65·6d6d6173·ard.unate-lemmas
22356 ··0x016bf510·00756e73·61742d63·6f726573·2d6d6f64·.unsat-cores-mod22356 ··0x016bf510·00756e73·61742d63·6f726573·2d6d6f64·.unsat-cores-mod
22357 ··0x016bf520·65007573·65722d70·61740075·7365722d·e.user-pat.user-22357 ··0x016bf520·65007573·65722d70·61740075·7365722d·e.user-pat.user-
22358 ··0x016bf530·706f6f6c·00766572·626f7365·00777269·pool.verbose.wri22358 ··0x016bf530·706f6f6c·00766572·626f7365·00706172·pool.verbose.par
 22359 ··0x016bf540·74697469·6f6e732d·6f757400·77726974·titions-out.writ
22359 ··0x016bf540·74652d70·61727469·74696f6e·732d746f·te-partitions-to22360 ··0x016bf550·652d7061·72746974·696f6e73·2d746f00·e-partitions-to.
22360 ··0x016bf550·00706172·74697469·6f6e732d·6f757400·.partitions-out. 
22361 ··0x016bf560·41726775·6d656e74·20270027·20666f72·Argument·'.'·for22361 ··0x016bf560·41726775·6d656e74·20270027·20666f72·Argument·'.'·for
22362 ··0x016bf570·20626f6f·6c206f70·74696f6e·20002069··bool·option·.·i22362 ··0x016bf570·20626f6f·6c206f70·74696f6e·20002069··bool·option·.·i
22363 ··0x016bf580·73206e6f·74206120·626f6f6c·20636f6e·s·not·a·bool·con22363 ··0x016bf580·73206e6f·74206120·626f6f6c·20636f6e·s·not·a·bool·con
22364 ··0x016bf590·7374616e·74002566·00272066·6f722000·stant.%f.'·for·.22364 ··0x016bf590·7374616e·74002566·00272066·6f722000·stant.%f.'·for·.
22365 ··0x016bf5a0·20697320·6e656761·74697665·00206469··is·negative.·di22365 ··0x016bf5a0·20697320·6e656761·74697665·00206469··is·negative.·di
22366 ··0x016bf5b0·64207061·72736520·6f6e6c79·20706172·d·parse·only·par22366 ··0x016bf5b0·64207061·72736520·6f6e6c79·20706172·d·parse·only·par
22367 ··0x016bf5c0·7469616c·6c792061·7320002c·206c6561·tially·as·.,·lea22367 ··0x016bf5c0·7469616c·6c792061·7320002c·206c6561·tially·as·.,·lea
⊟
4.49 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 928, 15 lines modifiedOffset 928, 15 lines modified
928 ··0x01a17990·8ae36b01·42576b01·d6fe6b01·68e66b01·..k.BWk...k.h.k.928 ··0x01a17990·8ae36b01·42576b01·d6fe6b01·68e66b01·..k.BWk...k.h.k.
929 ··0x01a179a0·42576b01·64e66b01·d6fe6b01·42576b01·BWk.d.k...k.BWk.929 ··0x01a179a0·42576b01·64e66b01·d6fe6b01·42576b01·BWk.d.k...k.BWk.
930 ··0x01a179b0·14546c01·8ae36b01·90e36b01·42576b01·.Tl...k...k.BWk.930 ··0x01a179b0·14546c01·8ae36b01·90e36b01·42576b01·.Tl...k...k.BWk.
931 ··0x01a179c0·d6fe6b01·42576b01·5be66b01·8ae36b01·..k.BWk.[.k...k.931 ··0x01a179c0·d6fe6b01·42576b01·5be66b01·8ae36b01·..k.BWk.[.k...k.
932 ··0x01a179d0·50e66b01·c01b6c01·454d6b01·32e66b01·P.k...l.EMk.2.k.932 ··0x01a179d0·50e66b01·c01b6c01·454d6b01·32e66b01·P.k...l.EMk.2.k.
933 ··0x01a179e0·41e66b01·42576b01·f6cf6b01·efcf6b01·A.k.BWk...k...k.933 ··0x01a179e0·41e66b01·42576b01·f6cf6b01·efcf6b01·A.k.BWk...k...k.
934 ··0x01a179f0·30e16b01·3f4a6b01·594a6b01·30e16b01·0.k.?Jk.YJk.0.k.934 ··0x01a179f0·30e16b01·3f4a6b01·594a6b01·30e16b01·0.k.?Jk.YJk.0.k.
935 ··0x01a17a00·8e866b01·5cf56b01·21026c01·24e66b01·..k.\.k.!.l.$.k.935 ··0x01a17a00·8e866b01·48f56b01·21026c01·24e66b01·..k.H.k.!.l.$.k.
936 ··0x01a17a10·16e66b01·f2e56b01·fce56b01·05e66b01·..k...k...k...k.936 ··0x01a17a10·16e66b01·f2e56b01·fce56b01·05e66b01·..k...k...k...k.
937 ··0x01a17a20·d6e46b01·42576b01·e6e56b01·ede56b01·..k.BWk...k...k.937 ··0x01a17a20·d6e46b01·42576b01·e6e56b01·ede56b01·..k.BWk...k...k.
938 ··0x01a17a30·5de36b01·6ce36b01·64e36b01·7ce36b01·].k.l.k.d.k.|.k.938 ··0x01a17a30·5de36b01·6ce36b01·64e36b01·7ce36b01·].k.l.k.d.k.|.k.
939 ··0x01a17a40·42576b01·e0e56b01·42576b01·a6026c01·BWk...k.BWk...l.939 ··0x01a17a40·42576b01·e0e56b01·42576b01·a6026c01·BWk...k.BWk...l.
940 ··0x01a17a50·d4e56b01·cfe56b01·b0536c01·ec2e6c01·..k...k..Sl...l.940 ··0x01a17a50·d4e56b01·cfe56b01·b0536c01·ec2e6c01·..k...k..Sl...l.
941 ··0x01a17a60·bce56b01·c2e56b01·cae96b01·62ff6b01·..k...k...k.b.k.941 ··0x01a17a60·bce56b01·c2e56b01·cae96b01·62ff6b01·..k...k...k.b.k.
942 ··0x01a17a70·42576b01·d6e46b01·c3e96b01·ece86b01·BWk...k...k...k.942 ··0x01a17a70·42576b01·d6e46b01·c3e96b01·ece86b01·BWk...k...k...k.
Offset 1037, 31 lines modifiedOffset 1037, 31 lines modified
1037 ··0x01a18060·79026c01·93026c01·3df76b01·49f76b01·y.l...l.=.k.I.k.1037 ··0x01a18060·79026c01·93026c01·3df76b01·49f76b01·y.l...l.=.k.I.k.
1038 ··0x01a18070·53f76b01·3fee6b01·4bee6b01·5fee6b01·S.k.?.k.K.k._.k.1038 ··0x01a18070·53f76b01·3fee6b01·4bee6b01·5fee6b01·S.k.?.k.K.k._.k.
1039 ··0x01a18080·63f76b01·73f76b01·6bee6b01·86f76b01·c.k.s.k.k.k...k.1039 ··0x01a18080·63f76b01·73f76b01·6bee6b01·86f76b01·c.k.s.k.k.k...k.
1040 ··0x01a18090·99f76b01·aaf76b01·bdf76b01·cef76b01·..k...k...k...k.1040 ··0x01a18090·99f76b01·aaf76b01·bdf76b01·cef76b01·..k...k...k...k.
1041 ··0x01a180a0·dff76b01·f1f76b01·72ee6b01·06f86b01·..k...k.r.k...k.1041 ··0x01a180a0·dff76b01·f1f76b01·72ee6b01·06f86b01·..k...k.r.k...k.
1042 ··0x01a180b0·1bf86b01·2df86b01·4af86b01·87ee6b01·..k.-.k.J.k...k.1042 ··0x01a180b0·1bf86b01·2df86b01·4af86b01·87ee6b01·..k.-.k.J.k...k.
1043 ··0x01a180c0·54f86b01·e4076c01·8eee6b01·b0026c01·T.k...l...k...l.1043 ··0x01a180c0·54f86b01·e4076c01·8eee6b01·b0026c01·T.k...l...k...l.
1044 ··0x01a180d0·5cf56b01·aaee6b01·b1ee6b01·8b7d6b01·\.k...k...k..}k.1044 ··0x01a180d0·48f56b01·aaee6b01·b1ee6b01·8b7d6b01·H.k...k...k..}k.
1045 ··0x01a180e0·64f96b01·bb026c01·7aeb6b01·bdee6b01·d.k...l.z.k...k.1045 ··0x01a180e0·64f96b01·bb026c01·7aeb6b01·bdee6b01·d.k...l.z.k...k.
1046 ··0x01a180f0·cdee6b01·e5ee6b01·faee6b01·0def6b01·..k...k...k...k.1046 ··0x01a180f0·cdee6b01·e5ee6b01·faee6b01·0def6b01·..k...k...k...k.
1047 ··0x01a18100·25ef6b01·36ef6b01·51f56b01·6cf86b01·%.k.6.k.Q.k.l.k.1047 ··0x01a18100·25ef6b01·36ef6b01·3df56b01·6cf86b01·%.k.6.k.=.k.l.k.
1048 ··0x01a18110·45ef6b01·cf026c01·55ef6b01·64ef6b01·E.k...l.U.k.d.k.1048 ··0x01a18110·45ef6b01·cf026c01·55ef6b01·64ef6b01·E.k...l.U.k.d.k.
1049 ··0x01a18120·7bef6b01·dc026c01·8cef6b01·f7026c01·{.k...l...k...l.1049 ··0x01a18120·7bef6b01·dc026c01·8cef6b01·f7026c01·{.k...l...k...l.
1050 ··0x01a18130·72f96b01·99ef6b01·fa076c01·a0fd6b01·r.k...k...l...k.1050 ··0x01a18130·72f96b01·99ef6b01·fa076c01·a0fd6b01·r.k...k...l...k.
1051 ··0x01a18140·aaef6b01·0c036c01·8dfc6b01·0e086c01·..k...l...k...l.1051 ··0x01a18140·aaef6b01·0c036c01·8dfc6b01·0e086c01·..k...l...k...l.
1052 ··0x01a18150·21086c01·4b086c01·62086c01·78086c01·!.l.K.l.b.l.x.l.1052 ··0x01a18150·21086c01·4b086c01·62086c01·78086c01·!.l.K.l.b.l.x.l.
1053 ··0x01a18160·90086c01·ac086c01·be086c01·d0086c01·..l...l...l...l.1053 ··0x01a18160·90086c01·ac086c01·be086c01·d0086c01·..l...l...l...l.
1054 ··0x01a18170·ed086c01·b6fd6b01·d1fd6b01·b5ef6b01·..l...k...k...k.1054 ··0x01a18170·ed086c01·b6fd6b01·d1fd6b01·b5ef6b01·..l...k...k...k.
1055 ··0x01a18180·e3fd6b01·f7fd6b01·08fe6b01·c1ef6b01·..k...k...k...k.1055 ··0x01a18180·e3fd6b01·f7fd6b01·08fe6b01·c1ef6b01·..k...k...k...k.
1056 ··0x01a18190·d3ef6b01·e5ef6b01·f0ef6b01·1ffe6b01·..k...k...k...k.1056 ··0x01a18190·d3ef6b01·e5ef6b01·f0ef6b01·1ffe6b01·..k...k...k...k.
1057 ··0x01a181a0·31fe6b01·4bfe6b01·ffef6b01·0c506901·1.k.K.k...k..Pi.1057 ··0x01a181a0·31fe6b01·4bfe6b01·ffef6b01·0c506901·1.k.K.k...k..Pi.
1058 ··0x01a181b0·1df06b01·1f036c01·32036c01·2df06b01·..k...l.2.l.-.k.1058 ··0x01a181b0·1df06b01·1f036c01·32036c01·2df06b01·..k...l.2.l.-.k.
1059 ··0x01a181c0·47036c01·57036c01·3af06b01·5b6b6b01·G.l.W.l.:.k.[kk.1059 ··0x01a181c0·47036c01·57036c01·3af06b01·5b6b6b01·G.l.W.l.:.k.[kk.
1060 ··0x01a181d0·5af06b01·49f06b01·bcfc6b01·66f06b01·Z.k.I.k...k.f.k.1060 ··0x01a181d0·49f06b01·55f06b01·bcfc6b01·66f06b01·I.k.U.k...k.f.k.
1061 ··0x01a181e0·6ef06b01·64036c01·d0206b01·81036c01·n.k.d.l..·k...l.1061 ··0x01a181e0·6ef06b01·64036c01·d0206b01·81036c01·n.k.d.l..·k...l.
1062 ··0x01a181f0·570b6c01·98036c01·04096c01·7cf06b01·W.l...l...l.|.k.1062 ··0x01a181f0·570b6c01·98036c01·04096c01·7cf06b01·W.l...l...l.|.k.
1063 ··0x01a18200·95f06b01·adf06b01·c4f06b01·e7206b01·..k...k...k..·k.1063 ··0x01a18200·95f06b01·adf06b01·c4f06b01·e7206b01·..k...k...k..·k.
1064 ··0x01a18210·d6f06b01·e7f06b01·7bf86b01·f7f06b01·..k...k.{.k...k.1064 ··0x01a18210·d6f06b01·e7f06b01·7bf86b01·f7f06b01·..k...k.{.k...k.
1065 ··0x01a18220·14f16b01·1bf16b01·26f16b01·2ff16b01·..k...k.&.k./.k.1065 ··0x01a18220·14f16b01·1bf16b01·26f16b01·2ff16b01·..k...k.&.k./.k.
1066 ··0x01a18230·85f96b01·37f16b01·18eb6b01·8ef86b01·..k.7.k...k...k.1066 ··0x01a18230·85f96b01·37f16b01·18eb6b01·8ef86b01·..k.7.k...k...k.
1067 ··0x01a18240·492e6c01·9efc6b01·15fd6b01·4a066c01·I.l...k...k.J.l.1067 ··0x01a18240·492e6c01·9efc6b01·15fd6b01·4a066c01·I.l...k...k.J.l.
Offset 1098, 15 lines modifiedOffset 1098, 15 lines modified
1098 ··0x01a18430·b3f46b01·2fef6b01·03216b01·c8f46b01·..k./.k..!k...k.1098 ··0x01a18430·b3f46b01·2fef6b01·03216b01·c8f46b01·..k./.k..!k...k.
1099 ··0x01a18440·cef46b01·e1f46b01·60fb6b01·960b6c01·..k...k.`.k...l.1099 ··0x01a18440·cef46b01·e1f46b01·60fb6b01·960b6c01·..k...k.`.k...l.
1100 ··0x01a18450·a30b6c01·edf46b01·f3f46b01·b10b6c01·..l...k...k...l.1100 ··0x01a18450·a30b6c01·edf46b01·f3f46b01·b10b6c01·..l...k...k...l.
1101 ··0x01a18460·bf0b6c01·04f56b01·8a096c01·11f56b01·..l...k...l...k.1101 ··0x01a18460·bf0b6c01·04f56b01·8a096c01·11f56b01·..l...k...l...k.
1102 ··0x01a18470·a8f86b01·b6f86b01·abfc6b01·c7f86b01·..k...k...k...k.1102 ··0x01a18470·a8f86b01·b6f86b01·abfc6b01·c7f86b01·..k...k...k...k.
1103 ··0x01a18480·22f56b01·2bf56b01·21066c01·33066c01·".k.+.k.!.l.3.l.1103 ··0x01a18480·22f56b01·2bf56b01·21066c01·33066c01·".k.+.k.!.l.3.l.
1104 ··0x01a18490·35f56b01·96206b01·3b206b01·71fb6b01·5.k..·k.;·k.q.k.1104 ··0x01a18490·35f56b01·96206b01·3b206b01·71fb6b01·5.k..·k.;·k.q.k.
1105 ··0x01a184a0·3df56b01·00000000·a4dda101·c06b5b01·=.k..........k[.1105 ··0x01a184a0·4cf56b01·00000000·a4dda101·c06b5b01·L.k..........k[.
1106 ··0x01a184b0·a06c5b01·c0695b01·f08d5b01·a0695b01·.l[..i[...[..i[.1106 ··0x01a184b0·a06c5b01·c0695b01·f08d5b01·a0695b01·.l[..i[...[..i[.
1107 ··0x01a184c0·a06d5b01·00000000·bcdda101·706e5b01·.m[.........pn[.1107 ··0x01a184c0·a06d5b01·00000000·bcdda101·706e5b01·.m[.........pn[.
1108 ··0x01a184d0·10745b01·d0695b01·406a5b01·307f5b01·.t[..i[.@j[.0.[.1108 ··0x01a184d0·10745b01·d0695b01·406a5b01·307f5b01·.t[..i[.@j[.0.[.
1109 ··0x01a184e0·60725b01·00000000·d4dda101·006f5b01·`r[..........o[.1109 ··0x01a184e0·60725b01·00000000·d4dda101·006f5b01·`r[..........o[.
1110 ··0x01a184f0·b0745b01·e0695b01·907a5b01·f07c5b01·.t[..i[..z[..|[.1110 ··0x01a184f0·b0745b01·e0695b01·907a5b01·f07c5b01·.t[..i[..z[..|[.
1111 ··0x01a18500·90715b01·00000000·ecdda101·906f5b01·.q[..........o[.1111 ··0x01a18500·90715b01·00000000·ecdda101·906f5b01·.q[..........o[.
1112 ··0x01a18510·50755b01·e0795b01·10905b01·507b5b01·Pu[..y[...[.P{[.1112 ··0x01a18510·50755b01·e0795b01·10905b01·507b5b01·Pu[..y[...[.P{[.
⊟
3.56 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 155, 15 lines modifiedOffset 155, 15 lines modified
155 ··0x01a20980·44446b01·01000000·00000000·70010000·DDk.........p...155 ··0x01a20980·44446b01·01000000·00000000·70010000·DDk.........p...
156 ··0x01a20990·b6206b01·01000000·00000000·71010000·.·k.........q...156 ··0x01a20990·b6206b01·01000000·00000000·71010000·.·k.........q...
157 ··0x01a209a0·8e866b01·01000000·00000000·72010000·..k.........r...157 ··0x01a209a0·8e866b01·01000000·00000000·72010000·..k.........r...
158 ··0x01a209b0·55f96b01·00000000·00000000·73010000·U.k.........s...158 ··0x01a209b0·55f96b01·00000000·00000000·73010000·U.k.........s...
159 ··0x01a209c0·52f96b01·00000000·00000000·74010000·R.k.........t...159 ··0x01a209c0·52f96b01·00000000·00000000·74010000·R.k.........t...
160 ··0x01a209d0·b8ee6b01·01000000·00000000·75010000·..k.........u...160 ··0x01a209d0·b8ee6b01·01000000·00000000·75010000·..k.........u...
161 ··0x01a209e0·7eed6b01·01000000·00000000·76010000·~.k.........v...161 ··0x01a209e0·7eed6b01·01000000·00000000·76010000·~.k.........v...
162 ··0x01a209f0·5cf56b01·01000000·00000000·77010000·\.k.........w...162 ··0x01a209f0·48f56b01·01000000·00000000·77010000·H.k.........w...
163 ··0x01a20a00·d0206b01·01000000·00000000·78010000·.·k.........x...163 ··0x01a20a00·d0206b01·01000000·00000000·78010000·.·k.........x...
164 ··0x01a20a10·aaee6b01·01000000·00000000·79010000·..k.........y...164 ··0x01a20a10·aaee6b01·01000000·00000000·79010000·..k.........y...
165 ··0x01a20a20·64f96b01·00000000·00000000·7a010000·d.k.........z...165 ··0x01a20a20·64f96b01·00000000·00000000·7a010000·d.k.........z...
166 ··0x01a20a30·61f96b01·00000000·00000000·7b010000·a.k.........{...166 ··0x01a20a30·61f96b01·00000000·00000000·7b010000·a.k.........{...
167 ··0x01a20a40·72f96b01·00000000·00000000·7c010000·r.k.........|...167 ··0x01a20a40·72f96b01·00000000·00000000·7c010000·r.k.........|...
168 ··0x01a20a50·6ff96b01·00000000·00000000·7d010000·o.k.........}...168 ··0x01a20a50·6ff96b01·00000000·00000000·7d010000·o.k.........}...
169 ··0x01a20a60·5b6b6b01·00000000·00000000·7e010000·[kk.........~...169 ··0x01a20a60·5b6b6b01·00000000·00000000·7e010000·[kk.........~...
Offset 306, 16 lines modifiedOffset 306, 16 lines modified
306 ··0x01a212f0·faee6b01·01000000·00000000·07020000·..k.............306 ··0x01a212f0·faee6b01·01000000·00000000·07020000·..k.............
307 ··0x01a21300·7aeb6b01·01000000·00000000·08020000·z.k.............307 ··0x01a21300·7aeb6b01·01000000·00000000·08020000·z.k.............
308 ··0x01a21310·0def6b01·01000000·00000000·09020000·..k.............308 ··0x01a21310·0def6b01·01000000·00000000·09020000·..k.............
309 ··0x01a21320·25ef6b01·01000000·00000000·0a020000·%.k.............309 ··0x01a21320·25ef6b01·01000000·00000000·0a020000·%.k.............
310 ··0x01a21330·36ef6b01·01000000·00000000·0b020000·6.k.............310 ··0x01a21330·36ef6b01·01000000·00000000·0b020000·6.k.............
311 ··0x01a21340·bcfc6b01·00000000·00000000·0c020000·..k.............311 ··0x01a21340·bcfc6b01·00000000·00000000·0c020000·..k.............
312 ··0x01a21350·b9fc6b01·00000000·00000000·0d020000·..k.............312 ··0x01a21350·b9fc6b01·00000000·00000000·0d020000·..k.............
 313 ··0x01a21360·4cf56b01·01000000·00000000·0e020000·L.k.............
313 ··0x01a21360·3df56b01·01000000·00000000·0e020000·=.k.............314 ··0x01a21370·3df56b01·01000000·00000000·0f020000·=.k.............
314 ··0x01a21370·51f56b01·01000000·00000000·0f020000·Q.k............. 
315 ··0x01a21380·d3fc6b01·00000000·00000000·10020000·..k.............315 ··0x01a21380·d3fc6b01·00000000·00000000·10020000·..k.............
316 ··0x01a21390·d0fc6b01·00000000·00000000·11020000·..k.............316 ··0x01a21390·d0fc6b01·00000000·00000000·11020000·..k.............
317 ··0x01a213a0·d3ec6b01·01000000·00000000·12020000·..k.............317 ··0x01a213a0·d3ec6b01·01000000·00000000·12020000·..k.............
318 ··0x01a213b0·e8fc6b01·00000000·00000000·13020000·..k.............318 ··0x01a213b0·e8fc6b01·00000000·00000000·13020000·..k.............
319 ··0x01a213c0·e5fc6b01·00000000·00000000·14020000·..k.............319 ··0x01a213c0·e5fc6b01·00000000·00000000·14020000·..k.............
320 ··0x01a213d0·fefc6b01·00000000·00000000·15020000·..k.............320 ··0x01a213d0·fefc6b01·00000000·00000000·15020000·..k.............
321 ··0x01a213e0·fbfc6b01·00000000·00000000·16020000·..k.............321 ··0x01a213e0·fbfc6b01·00000000·00000000·16020000·..k.............
Offset 366, 16 lines modifiedOffset 366, 16 lines modified
366 ··0x01a216b0·48fe6b01·00000000·00000000·43020000·H.k.........C...366 ··0x01a216b0·48fe6b01·00000000·00000000·43020000·H.k.........C...
367 ··0x01a216c0·ffef6b01·01000000·00000000·44020000·..k.........D...367 ··0x01a216c0·ffef6b01·01000000·00000000·44020000·..k.........D...
368 ··0x01a216d0·0c506901·01000000·00000000·45020000·.Pi.........E...368 ··0x01a216d0·0c506901·01000000·00000000·45020000·.Pi.........E...
369 ··0x01a216e0·60fe6b01·00000000·00000000·46020000·`.k.........F...369 ··0x01a216e0·60fe6b01·00000000·00000000·46020000·`.k.........F...
370 ··0x01a216f0·5dfe6b01·00000000·00000000·47020000·].k.........G...370 ··0x01a216f0·5dfe6b01·00000000·00000000·47020000·].k.........G...
371 ··0x01a21700·d1716b01·01000000·00000000·48020000·.qk.........H...371 ··0x01a21700·d1716b01·01000000·00000000·48020000·.qk.........H...
372 ··0x01a21710·99ef6b01·01000000·00000000·49020000·..k.........I...372 ··0x01a21710·99ef6b01·01000000·00000000·49020000·..k.........I...
373 ··0x01a21720·5af06b01·01000000·00000000·4a020000·Z.k.........J...373 ··0x01a21720·49f06b01·01000000·00000000·4a020000·I.k.........J...
374 ··0x01a21730·49f06b01·01000000·00000000·4b020000·I.k.........K...374 ··0x01a21730·55f06b01·01000000·00000000·4b020000·U.k.........K...
375 ··0x01a21740·d6f06b01·01000000·00000000·4c020000·..k.........L...375 ··0x01a21740·d6f06b01·01000000·00000000·4c020000·..k.........L...
376 ··0x01a21750·e7f06b01·01000000·00000000·4d020000·..k.........M...376 ··0x01a21750·e7f06b01·01000000·00000000·4d020000·..k.........M...
377 ··0x01a21760·37f16b01·01000000·00000000·4e020000·7.k.........N...377 ··0x01a21760·37f16b01·01000000·00000000·4e020000·7.k.........N...
378 ··0x01a21770·18eb6b01·01000000·00000000·4f020000·..k.........O...378 ··0x01a21770·18eb6b01·01000000·00000000·4f020000·..k.........O...
379 ··0x01a21780·b1036c01·00000000·00000000·50020000·..l.........P...379 ··0x01a21780·b1036c01·00000000·00000000·50020000·..l.........P...
380 ··0x01a21790·74fe6b01·00000000·00000000·51020000·t.k.........Q...380 ··0x01a21790·74fe6b01·00000000·00000000·51020000·t.k.........Q...
381 ··0x01a217a0·7ffe6b01·00000000·00000000·52020000·..k.........R...381 ··0x01a217a0·7ffe6b01·00000000·00000000·52020000·..k.........R...
⊟
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·66643435·36303839·66613462·39353235·fd456089fa4b9525 
3 ··0x00000010·63333539·64386537·63663965·39353832·c359d8e7cf9e95822 ··0x00000000·30333363·61653739·62343165·62643232·033cae79b41ebd22
 3 ··0x00000010·34373863·37373765·66323235·30316363·478c777ef22501cc
4 ··0x00000020·62386166·30322e64·65627567·00000000·b8af02.debug....4 ··0x00000020·65636234·30632e64·65627567·00000000·ecb40c.debug....
5 ··0x00000030·17a0b777····························...w5 ··0x00000030·63067c12····························c.|.
  
⊟
1.91 KB
libcvc5parser1_1.1.2-2_i386.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·····1260·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1260·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···257668·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···257748·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.39 KB
data.tar.xz
⊟
1.37 KB
data.tar
⊟
1.36 KB
./usr/lib/i386-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:·73640982aaae628e146dc9683a48e3447aead3dd3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·f9dac5836fe8f6261ea92fc966094489fbfd3ccd
⊟
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·36343039·38326161·61653632·38653134·640982aaae628e14 
3 ··0x00000010·36646339·36383361·34386533·34343761·6dc9683a48e3447a2 ··0x00000000·64616335·38333666·65386636·32363165·dac5836fe8f6261e
 3 ··0x00000010·61393266·63393636·30393434·38396662·a92fc966094489fb
4 ··0x00000020·65616433·64642e64·65627567·00000000·ead3dd.debug....4 ··0x00000020·66643363·63642e64·65627567·00000000·fd3ccd.debug....
5 ··0x00000030·879eb757····························...W5 ··0x00000030·a05134a3····························.Q4.
  
⊟
1.98 KB
python3-cvc5_1.1.2-2_i386.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·····1672·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1672·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···323448·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···323388·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.47 KB
data.tar.xz
⊟
1.45 KB
data.tar
⊟
1.43 KB
./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-313-i386-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:·c02a4126eb9dc4744642807b96ca17d6263672e13 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·4b82424fb36ac497e584e7b8a7943fcdce12d689
⊟
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·32613431·32366562·39646334·37343436·2a4126eb9dc47446 
3 ··0x00000010·34323830·37623936·63613137·64363236·42807b96ca17d6262 ··0x00000000·38323432·34666233·36616334·39376535·82424fb36ac497e5
 3 ··0x00000010·38346537·62386137·39343366·63646365·84e7b8a7943fcdce
4 ··0x00000020·33363732·65312e64·65627567·00000000·3672e1.debug....4 ··0x00000020·31326436·38392e64·65627567·00000000·12d689.debug....
5 ··0x00000030·4f934b77····························O.Kw5 ··0x00000030·c6dd68a0····························..h.
  
⊟
39.8 MB
cvc5-dbgsym_1.1.2-2_i386.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······528·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······528·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1886148·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1886820·2024-03-19·00:06:23.000000·data.tar.xz
⊟
651 B
control.tar.xz
⊟
623 B
control.tar
⊟
375 B
./control
    
Offset 5, 8 lines modifiedOffset 5, 8 lines modified
5 Architecture:·i3865 Architecture:·i386
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:·20997 Installed-Size:·2099
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:·78629aae3ad404da32af4dab22e01d64b58d8c3612 Build-Ids:·e71d3675cb3eef1c2daba0653acb5e5be83ab05e
⊟
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/78/629aae3ad404da32af4dab22e01d64b58d8c36.debug1 usr/lib/debug/.build-id/e7/1d3675cb3eef1c2daba0653acb5e5be83ab05e.debug
⊟
39.8 MB
data.tar.xz
⊟
39.8 MB
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/78/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e7/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2138296·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/78/629aae3ad404da32af4dab22e01d64b58d8c36.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2138316·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e7/1d3675cb3eef1c2daba0653acb5e5be83ab05e.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
⊟
39.8 MB
./usr/lib/debug/.build-id/78/629aae3ad404da32af4dab22e01d64b58d8c36.debug vs.
./usr/lib/debug/.build-id/e7/1d3675cb3eef1c2daba0653acb5e5be83ab05e.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 78% similar despite different names
⊟
974 B
readelf --wide --file-header {}
error from `readelf --wide --file-header {}`: readelf: Error: Unable to find program interpreter name
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·System·V6 ··OS/ABI:····························UNIX·-·System·V
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Intel·803869 ··Machine:···························Intel·80386
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x13e8011 ··Entry·point·address:···············0x13e80
12 ··Start·of·program·headers:··········52·(bytes·into·file)12 ··Start·of·program·headers:··········52·(bytes·into·file)
13 ··Start·of·section·headers:··········2136696·(bytes·into·file)13 ··Start·of·section·headers:··········2136716·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············52·(bytes)15 ··Size·of·this·header:···············52·(bytes)
16 ··Size·of·program·headers:···········32·(bytes)16 ··Size·of·program·headers:···········32·(bytes)
17 ··Number·of·program·headers:·········1217 ··Number·of·program·headers:·········12
18 ··Size·of·section·headers:···········40·(bytes)18 ··Size·of·section·headers:···········40·(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.3 KB
readelf --wide --sections {}
error from `readelf --wide --sections {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0x209a78:1 There·are·40·section·headers,·starting·at·offset·0x209a8c:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············00000000·000000·000000·00······0···0··04 ··[·0]···················NULL············00000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············000001b4·0001b4·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············000001b4·0001b4·000024·00···A··0···0··4
6 ··[·2]·.interp···········NOBITS··········000001d8·0001d8·000013·00···A··0···0··16 ··[·2]·.interp···········NOBITS··········000001d8·0001d8·000013·00···A··0···0··1
7 ··[·3]·.gnu.hash·········NOBITS··········000001ec·0001d8·000064·04···A··4···0··47 ··[·3]·.gnu.hash·········NOBITS··········000001ec·0001d8·000064·04···A··4···0··4
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········0006cb34·021b20·0000a8·00··WA··0···0··427 ··[22]·.data.rel.ro······NOBITS··········0006cb34·021b20·0000a8·00··WA··0···0··4
28 ··[23]·.dynamic··········NOBITS··········0006cbdc·021b20·000120·08··WA··5···0··428 ··[23]·.dynamic··········NOBITS··········0006cbdc·021b20·000120·08··WA··5···0··4
29 ··[24]·.got··············NOBITS··········0006ccfc·021b20·000304·04··WA··0···0··429 ··[24]·.got··············NOBITS··········0006ccfc·021b20·000304·04··WA··0···0··4
30 ··[25]·.data·············NOBITS··········0006d000·021b20·0030c0·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········0006d000·021b20·0030c0·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········000700c0·021b20·0000ac·00··WA··0···0··431 ··[26]·.bss··············NOBITS··········000700c0·021b20·0000ac·00··WA··0···0··4
32 ··[27]·.comment··········PROGBITS········00000000·0218dc·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········00000000·0218dc·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········00000000·0218fc·0001b4·00···C··0···0··433 ··[28]·.debug_aranges····PROGBITS········00000000·0218fc·0001b4·00···C··0···0··4
34 ··[29]·.debug_info·······PROGBITS········00000000·021ab0·151d40·00···C··0···0··434 ··[29]·.debug_info·······PROGBITS········00000000·021ab0·151d47·00···C··0···0··4
35 ··[30]·.debug_abbrev·····PROGBITS········00000000·1737f0·0033bf·00···C··0···0··435 ··[30]·.debug_abbrev·····PROGBITS········00000000·1737f8·0033bf·00···C··0···0··4
36 ··[31]·.debug_line·······PROGBITS········00000000·176bb0·011640·00···C··0···0··436 ··[31]·.debug_line·······PROGBITS········00000000·176bb8·011640·00···C··0···0··4
37 ··[32]·.debug_str········PROGBITS········00000000·1881f0·02ed14·01·MSC··0···0··437 ··[32]·.debug_str········PROGBITS········00000000·1881f8·02ed16·01·MSC··0···0··4
38 ··[33]·.debug_line_str···PROGBITS········00000000·1b6f04·0007bd·01·MSC··0···0··438 ··[33]·.debug_line_str···PROGBITS········00000000·1b6f10·0007bd·01·MSC··0···0··4
39 ··[34]·.debug_loclists···PROGBITS········00000000·1b76c4·0330df·00···C··0···0··439 ··[34]·.debug_loclists···PROGBITS········00000000·1b76d0·0330df·00···C··0···0··4
40 ··[35]·.debug_macro······PROGBITS········00000000·1ea7a4·009dfe·00···C··0···0··440 ··[35]·.debug_macro······PROGBITS········00000000·1ea7b0·009e05·00···C··0···0··4
41 ··[36]·.debug_rnglists···PROGBITS········00000000·1f45a4·00aeea·00···C··0···0··441 ··[36]·.debug_rnglists···PROGBITS········00000000·1f45b8·00aeea·00···C··0···0··4
42 ··[37]·.symtab···········SYMTAB··········00000000·1ff490·0049b0·10·····38·860··442 ··[37]·.symtab···········SYMTAB··········00000000·1ff4a4·0049b0·10·····38·860··4
43 ··[38]·.strtab···········STRTAB··········00000000·203e40·005aa0·00······0···0··143 ··[38]·.strtab···········STRTAB··········00000000·203e54·005aa0·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········00000000·2098e0·000198·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········00000000·2098f4·000198·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 ··D·(mbind),·p·(processor·specific)49 ··D·(mbind),·p·(processor·specific)
⊟
709 B
readelf --wide --notes {}
error from `readelf --wide --notes {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 8 lines modifiedOffset 1, 8 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:·78629aae3ad404da32af4dab22e01d64b58d8c363 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e71d3675cb3eef1c2daba0653acb5e5be83ab05e
  
4 Displaying·notes·found·in:·.note.ABI-tag4 Displaying·notes·found·in:·.note.ABI-tag
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.06 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
⊟
38.0 MB
readelf --wide --debug-dump=info {}
error from `readelf --wide --debug-dump=info {}`: readelf: Error: Unable to find program interpreter name
    
Offset 8, 83 lines modifiedOffset 8, 83 lines modified
8 ···Pointer·Size:··48 ···Pointer·Size:··4
9 ·<0><c>:·Abbrev·Number:·26·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·26·(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:·0x1e):·./obj-i686-linux-gnu/src/main11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x1e):·./obj-i686-linux-gnu/src/main
12 ·<1><15>:·Abbrev·Number:·17·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·17·(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)·7»    (unsigned)14 ····<17>···DW_AT_encoding····:·(data1)·7»    (unsigned)
15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x2fa17):·long·long·unsigned·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x2f9b0):·long·long·unsigned·int
16 ·<1><1c>:·Abbrev·Number:·17·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·17·(DW_TAG_base_type)
17 ····<1d>···DW_AT_byte_size···:·(data1)·417 ····<1d>···DW_AT_byte_size···:·(data1)·4
18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)
19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x35765):·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x356fe):·unsigned·int
20 ·<1><23>:·Abbrev·Number:·17·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·17·(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:·0xa331f):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xa3305):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·17·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·17·(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:·0xd88c9):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0xd88c9):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·17·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·17·(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:·0x2fa1c):·long·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0x2f9b5):·long·unsigned·int
32 ·<1><38>:·Abbrev·Number:·36·(DW_TAG_typedef)32 ·<1><38>:·Abbrev·Number:·36·(DW_TAG_typedef)
33 ····<39>···DW_AT_name········:·(strp)·(offset:·0xb191):·__int8_t33 ····<39>···DW_AT_name········:·(strp)·(offset:·0xb191):·__int8_t
34 ····<3d>···DW_AT_decl_file···:·(data1)·3134 ····<3d>···DW_AT_decl_file···:·(data1)·31
35 ····<3e>···DW_AT_decl_line···:·(data1)·3735 ····<3e>···DW_AT_decl_line···:·(data1)·37
36 ····<3f>···DW_AT_decl_column·:·(data1)·2136 ····<3f>···DW_AT_decl_column·:·(data1)·21
37 ····<40>···DW_AT_type········:·(ref_udata)·<0x41>,·signed·char37 ····<40>···DW_AT_type········:·(ref_udata)·<0x41>,·signed·char
38 ·<1><41>:·Abbrev·Number:·17·(DW_TAG_base_type)38 ·<1><41>:·Abbrev·Number:·17·(DW_TAG_base_type)
39 ····<42>···DW_AT_byte_size···:·(data1)·139 ····<42>···DW_AT_byte_size···:·(data1)·1
40 ····<43>···DW_AT_encoding····:·(data1)·6»    (signed·char)40 ····<43>···DW_AT_encoding····:·(data1)·6»    (signed·char)
41 ····<44>···DW_AT_name········:·(strp)·(offset:·0xb28ab):·signed·char41 ····<44>···DW_AT_name········:·(strp)·(offset:·0xb2891):·signed·char
42 ·<1><48>:·Abbrev·Number:·36·(DW_TAG_typedef)42 ·<1><48>:·Abbrev·Number:·36·(DW_TAG_typedef)
43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x41da5):·__uint8_t43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x41d3e):·__uint8_t
44 ····<4d>···DW_AT_decl_file···:·(data1)·3144 ····<4d>···DW_AT_decl_file···:·(data1)·31
45 ····<4e>···DW_AT_decl_line···:·(data1)·3845 ····<4e>···DW_AT_decl_line···:·(data1)·38
46 ····<4f>···DW_AT_decl_column·:·(data1)·2346 ····<4f>···DW_AT_decl_column·:·(data1)·23
47 ····<50>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·char47 ····<50>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·char
48 ·<1><51>:·Abbrev·Number:·36·(DW_TAG_typedef)48 ·<1><51>:·Abbrev·Number:·36·(DW_TAG_typedef)
49 ····<52>···DW_AT_name········:·(strp)·(offset:·0xb3bcb):·__int16_t49 ····<52>···DW_AT_name········:·(strp)·(offset:·0xb3bb1):·__int16_t
50 ····<56>···DW_AT_decl_file···:·(data1)·3150 ····<56>···DW_AT_decl_file···:·(data1)·31
51 ····<57>···DW_AT_decl_line···:·(data1)·3951 ····<57>···DW_AT_decl_line···:·(data1)·39
52 ····<58>···DW_AT_decl_column·:·(data1)·2652 ····<58>···DW_AT_decl_column·:·(data1)·26
53 ····<59>···DW_AT_type········:·(ref_udata)·<0x5a>,·short·int53 ····<59>···DW_AT_type········:·(ref_udata)·<0x5a>,·short·int
54 ·<1><5a>:·Abbrev·Number:·17·(DW_TAG_base_type)54 ·<1><5a>:·Abbrev·Number:·17·(DW_TAG_base_type)
55 ····<5b>···DW_AT_byte_size···:·(data1)·255 ····<5b>···DW_AT_byte_size···:·(data1)·2
56 ····<5c>···DW_AT_encoding····:·(data1)·5»    (signed)56 ····<5c>···DW_AT_encoding····:·(data1)·5»    (signed)
57 ····<5d>···DW_AT_name········:·(strp)·(offset:·0x8ae32):·short·int57 ····<5d>···DW_AT_name········:·(strp)·(offset:·0x8adfc):·short·int
58 ·<1><61>:·Abbrev·Number:·36·(DW_TAG_typedef)58 ·<1><61>:·Abbrev·Number:·36·(DW_TAG_typedef)
59 ····<62>···DW_AT_name········:·(strp)·(offset:·0xb880d):·__uint16_t59 ····<62>···DW_AT_name········:·(strp)·(offset:·0xb87f3):·__uint16_t
60 ····<66>···DW_AT_decl_file···:·(data1)·3160 ····<66>···DW_AT_decl_file···:·(data1)·31
61 ····<67>···DW_AT_decl_line···:·(data1)·4061 ····<67>···DW_AT_decl_line···:·(data1)·40
62 ····<68>···DW_AT_decl_column·:·(data1)·2862 ····<68>···DW_AT_decl_column·:·(data1)·28
63 ····<69>···DW_AT_type········:·(ref_udata)·<0x2a>,·short·unsigned·int63 ····<69>···DW_AT_type········:·(ref_udata)·<0x2a>,·short·unsigned·int
64 ·<1><6a>:·Abbrev·Number:·36·(DW_TAG_typedef)64 ·<1><6a>:·Abbrev·Number:·36·(DW_TAG_typedef)
65 ····<6b>···DW_AT_name········:·(strp)·(offset:·0x8ac8b):·__int32_t65 ····<6b>···DW_AT_name········:·(strp)·(offset:·0x8ac55):·__int32_t
66 ····<6f>···DW_AT_decl_file···:·(data1)·3166 ····<6f>···DW_AT_decl_file···:·(data1)·31
67 ····<70>···DW_AT_decl_line···:·(data1)·4167 ····<70>···DW_AT_decl_line···:·(data1)·41
68 ····<71>···DW_AT_decl_column·:·(data1)·2068 ····<71>···DW_AT_decl_column·:·(data1)·20
69 ····<72>···DW_AT_type········:·(ref_udata)·<0x73>,·int69 ····<72>···DW_AT_type········:·(ref_udata)·<0x73>,·int
70 ·<1><73>:·Abbrev·Number:·41·(DW_TAG_base_type)70 ·<1><73>:·Abbrev·Number:·41·(DW_TAG_base_type)
71 ····<74>···DW_AT_byte_size···:·(data1)·471 ····<74>···DW_AT_byte_size···:·(data1)·4
72 ····<75>···DW_AT_encoding····:·(data1)·5»    (signed)72 ····<75>···DW_AT_encoding····:·(data1)·5»    (signed)
73 ····<76>···DW_AT_name········:·(string)·int73 ····<76>···DW_AT_name········:·(string)·int
74 ·<1><7a>:·Abbrev·Number:·31·(DW_TAG_const_type)74 ·<1><7a>:·Abbrev·Number:·31·(DW_TAG_const_type)
75 ····<7b>···DW_AT_type········:·(ref_udata)·<0x73>,·int75 ····<7b>···DW_AT_type········:·(ref_udata)·<0x73>,·int
76 ·<1><7c>:·Abbrev·Number:·36·(DW_TAG_typedef)76 ·<1><7c>:·Abbrev·Number:·36·(DW_TAG_typedef)
77 ····<7d>···DW_AT_name········:·(strp)·(offset:·0x8f69a):·__uint32_t77 ····<7d>···DW_AT_name········:·(strp)·(offset:·0x8f664):·__uint32_t
78 ····<81>···DW_AT_decl_file···:·(data1)·3178 ····<81>···DW_AT_decl_file···:·(data1)·31
79 ····<82>···DW_AT_decl_line···:·(data1)·4279 ····<82>···DW_AT_decl_line···:·(data1)·42
80 ····<83>···DW_AT_decl_column·:·(data1)·2280 ····<83>···DW_AT_decl_column·:·(data1)·22
81 ····<84>···DW_AT_type········:·(ref_udata)·<0x1c>,·unsigned·int81 ····<84>···DW_AT_type········:·(ref_udata)·<0x1c>,·unsigned·int
82 ·<1><85>:·Abbrev·Number:·36·(DW_TAG_typedef)82 ·<1><85>:·Abbrev·Number:·36·(DW_TAG_typedef)
83 ····<86>···DW_AT_name········:·(strp)·(offset:·0x9f9a6):·__int64_t83 ····<86>···DW_AT_name········:·(strp)·(offset:·0x9f98c):·__int64_t
84 ····<8a>···DW_AT_decl_file···:·(data1)·3184 ····<8a>···DW_AT_decl_file···:·(data1)·31
85 ····<8b>···DW_AT_decl_line···:·(data1)·4785 ····<8b>···DW_AT_decl_line···:·(data1)·47
86 ····<8c>···DW_AT_decl_column·:·(data1)·4486 ····<8c>···DW_AT_decl_column·:·(data1)·44
87 ····<8d>···DW_AT_type········:·(ref_udata)·<0x8f>,·long·long·int87 ····<8d>···DW_AT_type········:·(ref_udata)·<0x8f>,·long·long·int
88 ·<1><8f>:·Abbrev·Number:·17·(DW_TAG_base_type)88 ·<1><8f>:·Abbrev·Number:·17·(DW_TAG_base_type)
89 ····<90>···DW_AT_byte_size···:·(data1)·889 ····<90>···DW_AT_byte_size···:·(data1)·8
90 ····<91>···DW_AT_encoding····:·(data1)·5»    (signed)90 ····<91>···DW_AT_encoding····:·(data1)·5»    (signed)
Offset 92, 83 lines modifiedOffset 92, 83 lines modified
92 ·<1><96>:·Abbrev·Number:·36·(DW_TAG_typedef)92 ·<1><96>:·Abbrev·Number:·36·(DW_TAG_typedef)
93 ····<97>···DW_AT_name········:·(strp)·(offset:·0xe83f):·__uint64_t93 ····<97>···DW_AT_name········:·(strp)·(offset:·0xe83f):·__uint64_t
94 ····<9b>···DW_AT_decl_file···:·(data1)·3194 ····<9b>···DW_AT_decl_file···:·(data1)·31
95 ····<9c>···DW_AT_decl_line···:·(data1)·4895 ····<9c>···DW_AT_decl_line···:·(data1)·48
96 ····<9d>···DW_AT_decl_column·:·(data1)·4696 ····<9d>···DW_AT_decl_column·:·(data1)·46
97 ····<9e>···DW_AT_type········:·(ref_udata)·<0x15>,·long·long·unsigned·int97 ····<9e>···DW_AT_type········:·(ref_udata)·<0x15>,·long·long·unsigned·int
98 ·<1><9f>:·Abbrev·Number:·36·(DW_TAG_typedef)98 ·<1><9f>:·Abbrev·Number:·36·(DW_TAG_typedef)
99 ····<a0>···DW_AT_name········:·(strp)·(offset:·0x59eda):·__int_least8_t99 ····<a0>···DW_AT_name········:·(strp)·(offset:·0x59ea4):·__int_least8_t
100 ····<a4>···DW_AT_decl_file···:·(data1)·31100 ····<a4>···DW_AT_decl_file···:·(data1)·31
101 ····<a5>···DW_AT_decl_line···:·(data1)·52101 ····<a5>···DW_AT_decl_line···:·(data1)·52
102 ····<a6>···DW_AT_decl_column·:·(data1)·18102 ····<a6>···DW_AT_decl_column·:·(data1)·18
103 ····<a7>···DW_AT_type········:·(ref_udata)·<0x38>,·__int8_t,·signed·char103 ····<a7>···DW_AT_type········:·(ref_udata)·<0x38>,·__int8_t,·signed·char
104 ·<1><a8>:·Abbrev·Number:·36·(DW_TAG_typedef)104 ·<1><a8>:·Abbrev·Number:·36·(DW_TAG_typedef)
105 ····<a9>···DW_AT_name········:·(strp)·(offset:·0x601a3):·__uint_least8_t105 ····<a9>···DW_AT_name········:·(strp)·(offset:·0x6016d):·__uint_least8_t
106 ····<ad>···DW_AT_decl_file···:·(data1)·31106 ····<ad>···DW_AT_decl_file···:·(data1)·31
107 ····<ae>···DW_AT_decl_line···:·(data1)·53107 ····<ae>···DW_AT_decl_line···:·(data1)·53
108 ····<af>···DW_AT_decl_column·:·(data1)·19108 ····<af>···DW_AT_decl_column·:·(data1)·19
109 ····<b0>···DW_AT_type········:·(ref_udata)·<0x48>,·__uint8_t,·unsigned·char109 ····<b0>···DW_AT_type········:·(ref_udata)·<0x48>,·__uint8_t,·unsigned·char
110 ·<1><b1>:·Abbrev·Number:·36·(DW_TAG_typedef)110 ·<1><b1>:·Abbrev·Number:·36·(DW_TAG_typedef)
111 ····<b2>···DW_AT_name········:·(strp)·(offset:·0x7f922):·__int_least16_t111 ····<b2>···DW_AT_name········:·(strp)·(offset:·0x7f8ec):·__int_least16_t
112 ····<b6>···DW_AT_decl_file···:·(data1)·31112 ····<b6>···DW_AT_decl_file···:·(data1)·31
113 ····<b7>···DW_AT_decl_line···:·(data1)·54113 ····<b7>···DW_AT_decl_line···:·(data1)·54
114 ····<b8>···DW_AT_decl_column·:·(data1)·19114 ····<b8>···DW_AT_decl_column·:·(data1)·19
115 ····<b9>···DW_AT_type········:·(ref_udata)·<0x51>,·__int16_t,·short·int115 ····<b9>···DW_AT_type········:·(ref_udata)·<0x51>,·__int16_t,·short·int
116 ·<1><ba>:·Abbrev·Number:·36·(DW_TAG_typedef)116 ·<1><ba>:·Abbrev·Number:·36·(DW_TAG_typedef)
117 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x10fc9):·__uint_least16_t117 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x10fc9):·__uint_least16_t
118 ····<bf>···DW_AT_decl_file···:·(data1)·31118 ····<bf>···DW_AT_decl_file···:·(data1)·31
119 ····<c0>···DW_AT_decl_line···:·(data1)·55119 ····<c0>···DW_AT_decl_line···:·(data1)·55
120 ····<c1>···DW_AT_decl_column·:·(data1)·20120 ····<c1>···DW_AT_decl_column·:·(data1)·20
121 ····<c2>···DW_AT_type········:·(ref_udata)·<0x61>,·__uint16_t,·short·unsigned·int121 ····<c2>···DW_AT_type········:·(ref_udata)·<0x61>,·__uint16_t,·short·unsigned·int
122 ·<1><c3>:·Abbrev·Number:·36·(DW_TAG_typedef)122 ·<1><c3>:·Abbrev·Number:·36·(DW_TAG_typedef)
123 ····<c4>···DW_AT_name········:·(strp)·(offset:·0x570fc):·__int_least32_t123 ····<c4>···DW_AT_name········:·(strp)·(offset:·0x570c6):·__int_least32_t
124 ····<c8>···DW_AT_decl_file···:·(data1)·31124 ····<c8>···DW_AT_decl_file···:·(data1)·31
125 ····<c9>···DW_AT_decl_line···:·(data1)·56125 ····<c9>···DW_AT_decl_line···:·(data1)·56
126 ····<ca>···DW_AT_decl_column·:·(data1)·19126 ····<ca>···DW_AT_decl_column·:·(data1)·19
127 ····<cb>···DW_AT_type········:·(ref_udata)·<0x6a>,·__int32_t,·int127 ····<cb>···DW_AT_type········:·(ref_udata)·<0x6a>,·__int32_t,·int
128 ·<1><cc>:·Abbrev·Number:·36·(DW_TAG_typedef)128 ·<1><cc>:·Abbrev·Number:·36·(DW_TAG_typedef)
129 ····<cd>···DW_AT_name········:·(strp)·(offset:·0xcad05):·__uint_least32_t129 ····<cd>···DW_AT_name········:·(strp)·(offset:·0xcaceb):·__uint_least32_t
130 ····<d1>···DW_AT_decl_file···:·(data1)·31130 ····<d1>···DW_AT_decl_file···:·(data1)·31
131 ····<d2>···DW_AT_decl_line···:·(data1)·57131 ····<d2>···DW_AT_decl_line···:·(data1)·57
132 ····<d3>···DW_AT_decl_column·:·(data1)·20132 ····<d3>···DW_AT_decl_column·:·(data1)·20
133 ····<d4>···DW_AT_type········:·(ref_udata)·<0x7c>,·__uint32_t,·unsigned·int133 ····<d4>···DW_AT_type········:·(ref_udata)·<0x7c>,·__uint32_t,·unsigned·int
134 ·<1><d5>:·Abbrev·Number:·36·(DW_TAG_typedef)134 ·<1><d5>:·Abbrev·Number:·36·(DW_TAG_typedef)
Max diff block lines reached; 39886827/39894896 bytes (99.98%) of diff not shown.
⊟
2.11 KB
readelf --wide --debug-dump=macro {}
error from `readelf --wide --debug-dump=macro {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1694, 16 lines modifiedOffset 1694, 16 lines modified
1694 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11694 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1695 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11695 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1696 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11696 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1697 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11697 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1698 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·11698 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1699 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11699 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1700 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21700 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1701 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1701 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1702 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1702 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1703 ··Offset:······················0x1bb51703 ··Offset:······················0x1bb5
1704 ··Version:·····················51704 ··Version:·····················5
1705 ··Offset·size:·················41705 ··Offset·size:·················4
  
1706 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11706 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1707 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11707 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 13953, 16 lines modifiedOffset 13953, 16 lines modified
13953 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·113953 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
13954 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·113954 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
13955 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·113955 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
13956 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·113956 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
13957 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·113957 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
13958 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·113958 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
13959 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·213959 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
13960 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"13960 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
13961 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"13961 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
13962 ··Offset:······················0x12e1513962 ··Offset:······················0x12e15
13963 ··Version:·····················513963 ··Version:·····················5
13964 ··Offset·size:·················413964 ··Offset·size:·················4
  
13965 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU13965 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
13966 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE13966 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE
⊟
7.75 KB
strings --all --bytes=8 {}
    
Offset 1, 309 lines modifiedOffset 1, 285 lines modified
1 GCC:·(Debian·14.2.0-16)·14.2.01 GCC:·(Debian·14.2.0-16)·14.2.0
 2 VqQaN/-<
 3 7Zt>Y4|S
 4 QCCSsSzL
 5 r"BD9Ie"
 6 ablBLEBlu6
 7 IMbpaey!
 8 uScf}\h_\N
 9 Vh.»    a_RV
 10 ^zGz>S~>S
 11 C<NBL$d1
 12 3{+pvA`9!
 13 :hQ9m\.%
 14 kC=*:bH^
 15 >N$y6i7»o
 16 hGl#D'ED
 17 ^GF"pf?\·
 18 2Wn5)2uJ
 19 7{1=ON('
 20 \Ms6is6w
 21 ^4cdZnR|
 22 .I>3KB`·,,
 23 B]{n%dk2
 24 }>[@`!4,&
 25 QmE!»   )d~
 26 qXKBm0OBi
 27 |ffggggg
 28 n%LYUO·F
 29 #|<#{'hJ
 30 k^y]H`/?L
2 O5.2Q8W- 
3 b:2v*|Y#»        
4 ;mix»   N#C 
5 *s1D[/541 
6 !jeI{.[q 
7 e:dQ!vu0 
8 o*DZk5$r 
9 rq~\&D[g 
10 2Ev!f#!>- 
11 "Ih.»   QyUI!P 
12 V»      tp<};^ 
13 R\\a-IqG 
14 Y2$mDZq'Og 
15 `b_^K&jW 
16 cWT/$a» T 
17 5|b~<2tl(\ 
18 N4Fs-KYe 
19 }pU·HkM~k 
20 7fl`2MOu%Ov%_ 
21 P~zHCp)» 
22 12bb##&SJ 
23 Cg?8;h{P 
24 ?wg>8y>^ 
25 UlXu&pQ&z 
26 Nq"/\Cwv 
27 [y$m>FjK% 
28 W4SC|ky;[_ 
29 [W'Yx9""40g 
30 »       Ri`2r0t 
31 P":h*TK3 
32 AVPJWCnl 
33 nARp)»  /5* 
34 ]j)I/eq`·{ 
35 dE&34.-= 
36 {L·{!XBI 
37 5bu?6l@/ 
38 mLLLb4jL 
39 ~_MKcjnW»        
40 (t]9Ks#!>;V· 
41 P_Bn)d<OkF6 
42 0QNx`#cM 
43 g-,20}nt 
44 VZ6^NC.n 
45 ?]1H'$NG8F31 ?]1H'$NG8F
 32 w#~(0"%]
 33 .»      j.Qcif
 34 7'`WkyS!
 35 +F@`X>]WLA>9
 36 sTu;·-pE
 37 <»      LB>)ROX
 38 +lH*{O`_
 39 TP8dK5vL>X%
 40 ,Otf\;9l
 41 DRTO#qe>
 42 <,^5zI+N
 43 z3Fe+\» t,a
 44 ~?'5sa1J
 45 ·v?5xw#F7)
 46 1·3oDhA3^
 47 `vYW_;6.
 48 Nf&Re<Y#
 49 dd;V`$IS^}
 50 )Rtf"F{*
 51 %#N,RkApa
 52 \pa9s%EZ
 53 C.Od!7&2W
 54 K*$N4*s$
 55 6»      $OsZ2u
 56 r{:Io[;S
 57 (xp)4(`i
 58 nhxBF7OH
 59 7bt~/k(A
 60 hM%^_IW[-Z
 61 qMxZ(HWrE
 62 aN7osbP6@Au
 63 =IavO!n#0
 64 ?2*:=iC·
 65 n8.093?=
 66 @933?rAJ
 67 }wfnZ!rm
 68 RIs*kHD\c
 69 +!JN»   ))a
 70 "ISL?<%Al
 71 bc>.zo;=i»      
 72 [!2AML`ZC
 73 4@l9\»  3=
 74 b_DaT^jK
 75 ]"cR,7Bl
 76 j^2»    M&JU
 77 *>>Fzms)
 78 |RZ2i4d\
 79 ,luxX3Bw
 80 ',eHgCWu
 81 7,T(d41F
 82 ~FaX~eQSQ
46 -P1|Uwr» 
47 77b>5b>5B 
Max diff block lines reached; 5858/7887 bytes (74.27%) of diff not shown.
⊟
1.76 MB
readelf --wide --decompress --string-dump=.debug_str {}
error from `readelf --wide --decompress --string-dump=.debug_str {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1219, 11886 lines modifiedOffset 1219, 11886 lines modified
1219 ··[·13ad7]··_ZNSt6vectorIN4cvc516DatatypeSelectorESaIS1_EE11_S_relocateEPS1_S4_S4_RS2_1219 ··[·13ad7]··_ZNSt6vectorIN4cvc516DatatypeSelectorESaIS1_EE11_S_relocateEPS1_S4_S4_RS2_
1220 ··[·13b22]··_ZNKSt6vectorIN4cvc54TermESaIS1_EE4backEv1220 ··[·13b22]··_ZNKSt6vectorIN4cvc54TermESaIS1_EE4backEv
1221 ··[·13b4c]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEESt10_Select1stISA_ESt4lessIS1_ESaISA_EE6rbeginEv1221 ··[·13b4c]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEESt10_Select1stISA_ESt4lessIS1_ESaISA_EE6rbeginEv
1222 ··[·13bda]··_S_eofbit1222 ··[·13bda]··_S_eofbit
1223 ··[·13be4]··_ZNSt6locale5_ImplC4Ej1223 ··[·13be4]··_ZNSt6locale5_ImplC4Ej
1224 ··[·13bfb]··unique_ptr<cvc5::internal::options::HolderARITH,·std::default_delete<cvc5::internal::options::HolderARITH>·>1224 ··[·13bfb]··unique_ptr<cvc5::internal::options::HolderARITH,·std::default_delete<cvc5::internal::options::HolderARITH>·>
Diff chunk too large, falling back to line-by-line diff (11872 lines added, 11872 lines removed)
1225 ··[·13c68]··tmpfile1225 ··[·13c68]··tmpfile
1226 ··[·13c70]··__isleap(year)·((year)·%·4·==·0·&&·((year)·%·100·!=·0·||·(year)·%·400·==·0))1226 ··[·13c70]··_ZNK4cvc519DatatypeConstructor7getTermEv
1227 ··[·13cbd]··_ZNK4cvc519DatatypeConstructor7getTermEv1227 ··[·13c99]··_ZNSt11_Tuple_implILj0EJPN4cvc56parser11InputParserESt14default_deleteIS2_EEEC4ERKS3_RKS5_
1228 ··[·13ce6]··_ZNSt11_Tuple_implILj0EJPN4cvc56parser11InputParserESt14default_deleteIS2_EEEC4ERKS3_RKS5_1228 ··[·13cf4]··_M_copy
1229 ··[·13d41]··_M_copy1229 ··[·13cfc]··Warning·(!cvc5::internal::WarningChannel.isOn())·?·cvc5::internal::nullStream·:·cvc5::internal::WarningChannel
1230 ··[·13d49]··Warning·(!cvc5::internal::WarningChannel.isOn())·?·cvc5::internal::nullStream·:·cvc5::internal::WarningChannel1230 ··[·13d6b]··_ZNSt16allocator_traitsISaINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE37select_on_container_copy_constructionERKS6_
1231 ··[·13db8]··_ZNSt16allocator_traitsISaINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE37select_on_container_copy_constructionERKS6_1231 ··[·13dea]··SAT_UNKNOWN
1232 ··[·13e37]··SAT_UNKNOWN1232 ··[·13df6]··_ZNK4cvc54SortgeERKS0_
1233 ··[·13e43]··_ZNK4cvc54SortgeERKS0_1233 ··[·13e0d]··_ZNSt15__uniq_ptr_implIN4cvc58internal7options8HolderBVESt14default_deleteIS3_EE7releaseEv
1234 ··[·13e5a]··_ZNSt15__uniq_ptr_implIN4cvc58internal7options8HolderBVESt14default_deleteIS3_EE7releaseEv1234 ··[·13e68]··_ZNSt5tupleIJPN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEEC4EOS7_
1235 ··[·13eb5]··_ZNSt5tupleIJPN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEEC4EOS7_1235 ··[·13ebd]··_GLIBCXX_DEPRECATED_PAIR_CTOR·__attribute__·((__deprecated__·("use·'nullptr'·instead·of·'0'·to·"·"initialize·std::pair·of·move-only·"·"type·and·pointer")))
1236 ··[·13f0a]··_GLIBCXX_DEPRECATED_PAIR_CTOR·__attribute__·((__deprecated__·("use·'nullptr'·instead·of·'0'·to·"·"initialize·std::pair·of·move-only·"·"type·and·pointer")))1236 ··[·13f59]··_ZNSt15__uniq_ptr_implIN4cvc58internal6RandomESt14default_deleteIS2_EEC4EPS2_
1237 ··[·13fa6]··_ZNSt15__uniq_ptr_implIN4cvc58internal6RandomESt14default_deleteIS2_EEC4EPS2_1237 ··[·13fa7]··STRING_TO_LOWER
1238 ··[·13ff4]··STRING_TO_LOWER1238 ··[·13fb7]··__glibcxx_want_destroying_delete
1239 ··[·14004]··__glibcxx_want_destroying_delete1239 ··[·13fd8]··_ZNSt10_Head_baseILj1ESt14default_deleteIN4cvc58internal3smt14ContextManagerEELb1EE7_M_headERS6_
1240 ··[·14025]··_ZNSt10_Head_baseILj1ESt14default_deleteIN4cvc58internal3smt14ContextManagerEELb1EE7_M_headERS6_1240 ··[·14039]··ESRMNT·69
1241 ··[·14086]··ESRMNT·691241 ··[·14043]··_ZNK4cvc56Solver6mkTrueEv
1242 ··[·14090]··_ZNK4cvc56Solver6mkTrueEv1242 ··[·1405d]··_ZNSt15__new_allocatorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEE8allocateEjPKv
1243 ··[·140aa]··_ZNSt15__new_allocatorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEE8allocateEjPKv1243 ··[·140c2]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEptEv
1244 ··[·1410f]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEptEv1244 ··[·14118]··_GLIBCXX_ASAN_ANNOTATE_GREW
1245 ··[·14165]··_GLIBCXX_ASAN_ANNOTATE_GREW1245 ··[·14134]··_ZNOSt8optionalIyEdeEv
1246 ··[·14181]··_ZNOSt8optionalIyEdeEv1246 ··[·1414b]··_GLIBCXX17_INLINE·inline
1247 ··[·14198]··_GLIBCXX17_INLINE·inline1247 ··[·14164]··_SC_XOPEN_SHM·_SC_XOPEN_SHM
1248 ··[·141b1]··_SC_XOPEN_SHM·_SC_XOPEN_SHM1248 ··[·14180]··REGEXP_LOOP
1249 ··[·141cd]··REGEXP_LOOP1249 ··[·1418c]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_ELb1ELb1EEaSEOS6_
1250 ··[·141d9]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_ELb1ELb1EEaSEOS6_1250 ··[·141f2]··__FLT64X_DECIMAL_DIG__·21
1251 ··[·1423f]··__FLT64X_DECIMAL_DIG__·211251 ··[·1420c]··_ZNSt6locale5_Impl21_M_replace_categoriesEPKS0_i
1252 ··[·14259]··_ZNSt6locale5_Impl21_M_replace_categoriesEPKS0_i1252 ··[·1423d]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderARRAYSESt14default_deleteIS3_EEptEv
1253 ··[·1428a]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderARRAYSESt14default_deleteIS3_EEptEv1253 ··[·14293]··_ZNK4cvc54Sort16isDatatypeTesterEv
1254 ··[·142e0]··_ZNK4cvc54Sort16isDatatypeTesterEv1254 ··[·142b6]··MATCH_CASE
1255 ··[·14303]··MATCH_CASE1255 ··[·142c1]··_ZNKSt15__new_allocatorImE7addressERm
1256 ··[·1430e]··_ZNKSt15__new_allocatorImE7addressERm1256 ··[·142e7]··__get<2,·std::variant<cvc5::OptionInfo::VoidInfo,·cvc5::OptionInfo::ValueInfo<bool>,·cvc5::OptionInfo::ValueInfo<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>,·cvc5::OptionInfo::NumberInfo<long·long·int>,·cvc5::Opt[·...·truncated·by·diffoscope;·len:·112,·SHA:·c2e6db95b9b2b69121e9e02235e1cf1b958552d1be08bb9c1994345a0a0a35f8·...·]
1257 ··[·14334]··__get<2,·std::variant<cvc5::OptionInfo::VoidInfo,·cvc5::OptionInfo::ValueInfo<bool>,·cvc5::OptionInfo::ValueInfo<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>,·cvc5::OptionInfo::NumberInfo<long·long·int>,·cvc5::Opt[·...·truncated·by·diffoscope;·len:·112,·SHA:·c2e6db95b9b2b69121e9e02235e1cf1b958552d1be08bb9c1994345a0a0a35f8·...·]1257 ··[·14452]··_GLIBCXX_HAVE_UNLINKAT·1
1258 ··[·1449f]··_GLIBCXX_HAVE_UNLINKAT·11258 ··[·1446b]··CONST_BITVECTOR
1259 ··[·144b8]··CONST_BITVECTOR1259 ··[·1447b]··putwchar
1260 ··[·144c8]··putwchar1260 ··[·14484]··_ZNSt11_Tuple_implILj0EJPN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEE7_M_headERKS7_
1261 ··[·144d1]··_ZNSt11_Tuple_implILj0EJPN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEE7_M_headERKS7_1261 ··[·144ec]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options14HolderBOOLEANSELb0EEC4EOS5_
1262 ··[·14539]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options14HolderBOOLEANSELb0EEC4EOS5_1262 ··[·14538]··__normal_iterator<cvc5::main::PortfolioConfig*,·std::vector<cvc5::main::PortfolioConfig,·std::allocator<cvc5::main::PortfolioConfig>·>·>
1263 ··[·14585]··__normal_iterator<cvc5::main::PortfolioConfig*,·std::vector<cvc5::main::PortfolioConfig,·std::allocator<cvc5::main::PortfolioConfig>·>·>1263 ··[·145c1]··BITVECTOR_UADDO
1264 ··[·1460e]··BITVECTOR_UADDO1264 ··[·145d1]··SEQ_REPLACE_ALL
1265 ··[·1461e]··SEQ_REPLACE_ALL1265 ··[·145e1]··__STD_TYPE
1266 ··[·1462e]··__STD_TYPE1266 ··[·145ec]··_LARGEFILE_SOURCE·1
1267 ··[·14639]··_LARGEFILE_SOURCE·11267 ··[·14600]··__SC_THREAD_STACK_MIN_VALUE·75
1268 ··[·1464d]··__SC_THREAD_STACK_MIN_VALUE·751268 ··[·1461f]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE6cbeginEv
1269 ··[·1466c]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE6cbeginEv1269 ··[·1465f]··ENOLINK·67
1270 ··[·146ac]··ENOLINK·671270 ··[·1466a]··_ZNKSt10unique_ptrIN4cvc58internal3smt11CheckModelsESt14default_deleteIS3_EEptEv
1271 ··[·146b7]··_ZNKSt10unique_ptrIN4cvc58internal3smt11CheckModelsESt14default_deleteIS3_EEptEv1271 ··[·146bb]··_ZNKOSt8optionalIdEdeEv
1272 ··[·14708]··_ZNKOSt8optionalIdEdeEv1272 ··[·146d3]··_ZN9__gnu_cxx14__alloc_traitsISaIN4cvc54main15PortfolioConfigEES3_E20_S_propagate_on_swapEv
1273 ··[·14720]··_ZN9__gnu_cxx14__alloc_traitsISaIN4cvc54main15PortfolioConfigEES3_E20_S_propagate_on_swapEv1273 ··[·1472f]··__add_lvalue_reference_helper<cvc5::internal::options::HolderQUANTIFIERS,·void>
1274 ··[·1477c]··__add_lvalue_reference_helper<cvc5::internal::options::HolderQUANTIFIERS,·void>1274 ··[·1477f]··_ZNSt14_Optional_baseIxLb1ELb1EEaSEOS0_
1275 ··[·147cc]··_ZNSt14_Optional_baseIxLb1ELb1EEaSEOS0_1275 ··[·147a7]··_ZNK4cvc56Solver15declareSygusVarERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4SortE
1276 ··[·147f4]··_ZNK4cvc56Solver15declareSygusVarERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4SortE1276 ··[·1480b]··_ZNK4cvc516DatatypeSelector7getTermEv
1277 ··[·14858]··_ZNK4cvc516DatatypeSelector7getTermEv1277 ··[·14831]··_ZNSt15__uniq_ptr_implIN4cvc513APIStatisticsESt14default_deleteIS1_EE4swapERS4_
1278 ··[·1487e]··_ZNSt15__uniq_ptr_implIN4cvc513APIStatisticsESt14default_deleteIS1_EE4swapERS4_1278 ··[·14881]··_ZNKSt3setISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjESt4lessIS7_ESaIS7_EE11upper_boundERKS7_
1279 ··[·148ce]··_ZNKSt3setISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjESt4lessIS7_ESaIS7_EE11upper_boundERKS7_1279 ··[·148f2]··__is_single_threaded
1280 ··[·1493f]··__is_single_threaded1280 ··[·14907]··_Tuple_impl<1,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>·>
1281 ··[·14954]··_Tuple_impl<1,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>·>1281 ··[·14955]··_ZNSt5tupleIJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEEC4ERKS7_
1282 ··[·149a2]··_ZNSt5tupleIJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEEC4ERKS7_1282 ··[·149a3]··_ZNSt15__uniq_ptr_implIN4cvc58internal12SolverEngineESt14default_deleteIS2_EE5resetEPS2_
1283 ··[·149f0]··_ZNSt15__uniq_ptr_implIN4cvc58internal12SolverEngineESt14default_deleteIS2_EE5resetEPS2_1283 ··[·149fc]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE8_M_beginEv
1284 ··[·14a49]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE8_M_beginEv1284 ··[·14a7d]··_GLIBCXX_USE_TMPNAM·1
1285 ··[·14aca]··_GLIBCXX_USE_TMPNAM·11285 ··[·14a93]··allocator_type
1286 ··[·14ae0]··allocator_type1286 ··[·14aa2]··getUnsatCore
1287 ··[·14aef]··getUnsatCore1287 ··[·14aaf]··_ZNSt14default_deleteIN4cvc56parser13SymbolManagerEEC4Ev
1288 ··[·14afc]··_ZNSt14default_deleteIN4cvc56parser13SymbolManagerEEC4Ev1288 ··[·14ae8]··_ZNKSt10unique_ptrIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEdeEv
1289 ··[·14b35]··_ZNKSt10unique_ptrIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEdeEv1289 ··[·14b3f]··_ZNK4cvc58internal8WarningC9getStreamEv
1290 ··[·14b8c]··_ZNK4cvc58internal8WarningC9getStreamEv1290 ··[·14b67]··_ZNSt10unique_ptrIN4cvc58internal7options14OptionsHandlerESt14default_deleteIS3_EE4swapERS6_
1291 ··[·14bb4]··_ZNSt10unique_ptrIN4cvc58internal7options14OptionsHandlerESt14default_deleteIS3_EE4swapERS6_1291 ··[·14bc4]··default_delete<cvc5::internal::options::HolderSEP>
1292 ··[·14c11]··default_delete<cvc5::internal::options::HolderSEP>1292 ··[·14bf7]··unique_ptr<cvc5::main::CommandExecutor,·std::default_delete<cvc5::main::CommandExecutor>·>
1293 ··[·14c44]··unique_ptr<cvc5::main::CommandExecutor,·std::default_delete<cvc5::main::CommandExecutor>·>1293 ··[·14c52]··unique_ptr<cvc5::internal::smt::ResourceOutListener,·std::default_delete<cvc5::internal::smt::ResourceOutListener>·>
1294 ··[·14c9f]··unique_ptr<cvc5::internal::smt::ResourceOutListener,·std::default_delete<cvc5::internal::smt::ResourceOutListener>·>1294 ··[·14cc7]··__glibcxx_want_three_way_comparison
1295 ··[·14d14]··__glibcxx_want_three_way_comparison1295 ··[·14ceb]··_Construct
1296 ··[·14d38]··_Construct1296 ··[·14cf6]··_ZN4cvc54Term14const_iteratorppEi
1297 ··[·14d43]··_ZN4cvc54Term14const_iteratorppEi1297 ··[·14d18]··wctype_t
1298 ··[·14d65]··wctype_t1298 ··[·14d21]··isExpert
1299 ··[·14d6e]··isExpert1299 ··[·14d2a]··_ZNSt10unique_ptrIN4cvc54main15CommandExecutorESt14default_deleteIS2_EED4Ev
1300 ··[·14d77]··_ZNSt10unique_ptrIN4cvc54main15CommandExecutorESt14default_deleteIS2_EED4Ev1300 ··[·14d76]··_GLIBCXX_USE_C99_INTTYPES·1
1301 ··[·14dc3]··_GLIBCXX_USE_C99_INTTYPES·11301 ··[·14d92]··_ZNSt12__shared_ptrIN4cvc58internal5DTypeELN9__gnu_cxx12_Lock_policyE2EE4swapERS5_
1302 ··[·14ddf]··_ZNSt12__shared_ptrIN4cvc58internal5DTypeELN9__gnu_cxx12_Lock_policyE2EE4swapERS5_1302 ··[·14de5]··_ZN4cvc54Term14const_iteratorppEv
1303 ··[·14e32]··_ZN4cvc54Term14const_iteratorppEv1303 ··[·14e07]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5eraseERSB_
1304 ··[·14e54]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5eraseERSB_1304 ··[·14e7e]··_ZNSt15__new_allocatorIN4cvc523DatatypeConstructorDeclEED4Ev
1305 ··[·14ecb]··_ZNSt15__new_allocatorIN4cvc523DatatypeConstructorDeclEED4Ev1305 ··[·14ebb]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12find_last_ofEPKcjj
1306 ··[·14f08]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12find_last_ofEPKcjj1306 ··[·14f06]··_Ptr<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·void>
1307 ··[·14f53]··_Ptr<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·void>1307 ··[·14f6e]··value_compare
1308 ··[·14fbb]··value_compare1308 ··[·14f7c]··_ZN4cvc58internal12SolverEngine6getEnvEv
1309 ··[·14fc9]··_ZN4cvc58internal12SolverEngine6getEnvEv1309 ··[·14fa5]··_ZNSt10_Head_baseILj0EPN4cvc54Stat8StatDataELb0EEC4Ev
1310 ··[·14ff2]··_ZNSt10_Head_baseILj0EPN4cvc54Stat8StatDataELb0EEC4Ev1310 ··[·14fdb]··_ZNSt12_Vector_baseIjSaIjEEC4Ej
1311 ··[·15028]··_ZNSt12_Vector_baseIjSaIjEEC4Ej1311 ··[·14ffb]··_SC_XBS5_LP64_OFF64·_SC_XBS5_LP64_OFF64
1312 ··[·15048]··_SC_XBS5_LP64_OFF64·_SC_XBS5_LP64_OFF641312 ··[·15023]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEEbEaSEOS9_
1313 ··[·15070]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEEbEaSEOS9_1313 ··[·1508e]··xsputn
1314 ··[·150db]··xsputn1314 ··[·15095]··_ZNSt6vectorIN4cvc54TermESaIS1_EE18_M_fill_initializeEjRKS1_
1315 ··[·150e2]··_ZNSt6vectorIN4cvc54TermESaIS1_EE18_M_fill_initializeEjRKS1_1315 ··[·150d2]··__uniq_ptr_impl<cvc5::internal::options::HolderPRINTER,·std::default_delete<cvc5::internal::options::HolderPRINTER>·>
1316 ··[·1511f]··__uniq_ptr_impl<cvc5::internal::options::HolderPRINTER,·std::default_delete<cvc5::internal::options::HolderPRINTER>·>1316 ··[·15148]··_ZNSt12_Vector_baseIN4cvc54main15PortfolioConfigESaIS2_EE17_Vector_impl_dataC4Ev
1317 ··[·15195]··_ZNSt12_Vector_baseIN4cvc54main15PortfolioConfigESaIS2_EE17_Vector_impl_dataC4Ev1317 ··[·15199]··_ZNSt12__shared_ptrIN4cvc56parser3CmdELN9__gnu_cxx12_Lock_policyE2EEC4ERKSt10__weak_ptrIS2_LS4_2EESt9nothrow_t
1318 ··[·151e6]··_ZNSt12__shared_ptrIN4cvc56parser3CmdELN9__gnu_cxx12_Lock_policyE2EEC4ERKSt10__weak_ptrIS2_LS4_2EESt9nothrow_t1318 ··[·15208]··_ZNKSt12_Node_handleISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_SaISt13_Rb_tree_nodeIS7_EEE6_M_keyEv
1319 ··[·15255]··_ZNKSt12_Node_handleISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_SaISt13_Rb_tree_nodeIS7_EEE6_M_keyEv1319 ··[·15283]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS4_
1320 ··[·152d0]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS4_1320 ··[·152ca]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE12_Vector_implC4EOS2_OS4_
1321 ··[·15317]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE12_Vector_implC4EOS2_OS4_1321 ··[·15319]··__new_allocator<bool>
1322 ··[·15366]··__new_allocator<bool>1322 ··[·1532f]··__GLIBC_USE_LIB_EXT2·1
1323 ··[·1537c]··__GLIBC_USE_LIB_EXT2·11323 ··[·15346]··writeSmt
1324 ··[·15393]··writeSmt1324 ··[·1534f]··_ZNSt15__uniq_ptr_implIN4cvc54main15CommandExecutorESt14default_deleteIS2_EEC4EOS5_
1325 ··[·1539c]··_ZNSt15__uniq_ptr_implIN4cvc54main15CommandExecutorESt14default_deleteIS2_EEC4EOS5_1325 ··[·153a3]··crend
1326 ··[·153f0]··crend1326 ··[·153a9]··_ZN4cvc58internal12SolverEngine16checkSatInternalERKSt6vectorINS0_12NodeTemplateILb1EEESaIS4_EE
1327 ··[·153f6]··_ZN4cvc58internal12SolverEngine16checkSatInternalERKSt6vectorINS0_12NodeTemplateILb1EEESaIS4_EE1327 ··[·15409]··_STRINGFWD_H·1
1328 ··[·15456]··_STRINGFWD_H·11328 ··[·15418]··appendIncrementalStringInput
1329 ··[·15465]··appendIncrementalStringInput1329 ··[·15435]··_ZNKSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EE6rbeginEv
1330 ··[·15482]··_ZNKSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EE6rbeginEv1330 ··[·15472]··ProofFormat
1331 ··[·154bf]··ProofFormat1331 ··[·1547e]··checkSatAssuming
1332 ··[·154cb]··checkSatAssuming1332 ··[·1548f]··_ZNSt16allocator_traitsISaIN4cvc523DatatypeConstructorDeclEEE10deallocateERS2_PS1_j
1333 ··[·154dc]··_ZNSt16allocator_traitsISaIN4cvc523DatatypeConstructorDeclEEE10deallocateERS2_PS1_j1333 ··[·154e3]··_ZN4cvc58internal12SolverEngine21getStatisticsRegistryEv
1334 ··[·15530]··_ZN4cvc58internal12SolverEngine21getStatisticsRegistryEv1334 ··[·1551c]··~Proof
1335 ··[·15569]··~Proof1335 ··[·15523]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEmiEi
1336 ··[·15570]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEmiEi1336 ··[·15596]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7compareERKS4_
1337 ··[·155e3]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7compareERKS4_1337 ··[·155db]··_ZNSt11_Tuple_implILj1EJSt14default_deleteIN4cvc58internal3smt17SolverEngineStateEEEEC4ERKS6_
1338 ··[·15628]··_ZNSt11_Tuple_implILj1EJSt14default_deleteIN4cvc58internal3smt17SolverEngineStateEEEEC4ERKS6_1338 ··[·15639]··__cpp_lib_is_invocable·201703L
1339 ··[·15686]··__cpp_lib_is_invocable·201703L1339 ··[·15658]··ARITH_MULT_TANGENT
1340 ··[·156a5]··ARITH_MULT_TANGENT1340 ··[·1566b]··ATOMIC_CHAR_LOCK_FREE·__GCC_ATOMIC_CHAR_LOCK_FREE
1341 ··[·156b8]··ATOMIC_CHAR_LOCK_FREE·__GCC_ATOMIC_CHAR_LOCK_FREE1341 ··[·1569d]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4EOS4_
1342 ··[·156ea]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4EOS4_1342 ··[·156da]··_ZNSoD2Ev
1343 ··[·15727]··_ZNSoD2Ev1343 ··[·156e4]··__glibcxx_want_bitops
1344 ··[·15731]··__glibcxx_want_bitops1344 ··[·156fa]··_M_swap
Max diff block lines reached; 400/1842256 bytes (0.02%) of diff not shown.
⊟
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_i386.deb
⊟
454 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······548·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0·179660832·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·179654244·2024-03-19·00:06:23.000000·data.tar.xz
⊟
801 B
control.tar.xz
⊟
773 B
control.tar
⊟
525 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:·i3865 Architecture:·i386
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:·1791047 Installed-Size:·179102
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:·28fd456089fa4b9525c359d8e7cf9e9582b8af0213 Build-Ids:·e0033cae79b41ebd22478c777ef22501ccecb40c
⊟
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/28/fd456089fa4b9525c359d8e7cf9e9582b8af02.debug1 usr/lib/debug/.build-id/e0/033cae79b41ebd22478c777ef22501ccecb40c.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/28/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e0/
7 -rw-r--r--···0·root·········(0)·root·········(0)·183391508·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/28/fd456089fa4b9525c359d8e7cf9e9582b8af02.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·183390100·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e0/033cae79b41ebd22478c777ef22501ccecb40c.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/28/fd456089fa4b9525c359d8e7cf9e9582b8af02.debug vs.
./usr/lib/debug/.build-id/e0/033cae79b41ebd22478c777ef22501ccecb40c.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
⊟
869 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:···························Intel·803869 ··Machine:···························Intel·80386
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··Entry·point·address:···············0x0
12 ··Start·of·program·headers:··········52·(bytes·into·file)12 ··Start·of·program·headers:··········52·(bytes·into·file)
13 ··Start·of·section·headers:··········183389908·(bytes·into·file)13 ··Start·of·section·headers:··········183388500·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············52·(bytes)15 ··Size·of·this·header:···············52·(bytes)
16 ··Size·of·program·headers:···········32·(bytes)16 ··Size·of·program·headers:···········32·(bytes)
17 ··Number·of·program·headers:·········1017 ··Number·of·program·headers:·········10
18 ··Size·of·section·headers:···········40·(bytes)18 ··Size·of·section·headers:···········40·(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.24 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0xaee4ed4:1 There·are·40·section·headers,·starting·at·offset·0xaee4954:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············00000000·000000·000000·00······0···0··04 ··[·0]···················NULL············00000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············00000174·000174·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············00000174·000174·000024·00···A··0···0··4
6 ··[·2]·.gnu.hash·········NOBITS··········00000198·000198·004d00·04···A··3···0··46 ··[·2]·.gnu.hash·········NOBITS··········00000198·000198·004d00·04···A··3···0··4
7 ··[·3]·.dynsym···········NOBITS··········00004e98·000198·00a9f0·10···A··4···1··47 ··[·3]·.dynsym···········NOBITS··········00004e98·000198·00a9f0·10···A··4···1··4
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········01a13fc0·0006b0·00a0e8·00··WA··0···0·3227 ··[22]·.data.rel.ro······NOBITS··········01a13fc0·0006b0·00a0e8·00··WA··0···0·32
28 ··[23]·.dynamic··········NOBITS··········01a1e0a8·0006b0·000128·08··WA··4···0··428 ··[23]·.dynamic··········NOBITS··········01a1e0a8·0006b0·000128·08··WA··4···0··4
29 ··[24]·.got··············NOBITS··········01a1e1d0·0006b0·001e1c·04··WA··0···0··429 ··[24]·.got··············NOBITS··········01a1e1d0·0006b0·001e1c·04··WA··0···0··4
30 ··[25]·.data·············NOBITS··········01a20000·0006b0·004690·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········01a20000·0006b0·004690·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········01a246a0·0006b0·001580·00··WA··0···0·3231 ··[26]·.bss··············NOBITS··········01a246a0·0006b0·001580·00··WA··0···0·32
32 ··[27]·.comment··········PROGBITS········00000000·000198·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········00000000·000198·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········00000000·0001b8·00c8ed·00···C··0···0··433 ··[28]·.debug_aranges····PROGBITS········00000000·0001b8·00c8ed·00···C··0···0··4
34 ··[29]·.debug_info·······PROGBITS········00000000·00caa8·85cd8b2·00···C··0···0··434 ··[29]·.debug_info·······PROGBITS········00000000·00caa8·85cd2fd·00···C··0···0··4
35 ··[30]·.debug_abbrev·····PROGBITS········00000000·85da35c·0d91a6·00···C··0···0··435 ··[30]·.debug_abbrev·····PROGBITS········00000000·85d9da8·0d91a6·00···C··0···0··4
36 ··[31]·.debug_line·······PROGBITS········00000000·86b3504·8ec3f5·00···C··0···0··436 ··[31]·.debug_line·······PROGBITS········00000000·86b2f50·8ec3f5·00···C··0···0··4
37 ··[32]·.debug_str········PROGBITS········00000000·8f9f8fc·3d86c1·01·MSC··0···0··437 ··[32]·.debug_str········PROGBITS········00000000·8f9f348·3d86bb·01·MSC··0···0··4
38 ··[33]·.debug_line_str···PROGBITS········00000000·9377fc0·00289b·01·MSC··0···0··438 ··[33]·.debug_line_str···PROGBITS········00000000·9377a04·00289b·01·MSC··0···0··4
39 ··[34]·.debug_loclists···PROGBITS········00000000·937a85c·1105e6a·00···C··0···0··439 ··[34]·.debug_loclists···PROGBITS········00000000·937a2a0·1105e69·00···C··0···0··4
40 ··[35]·.debug_macro······PROGBITS········00000000·a4806c8·1623ba·00···C··0···0··440 ··[35]·.debug_macro······PROGBITS········00000000·a48010c·1623f5·00···C··0···0··4
41 ··[36]·.debug_rnglists···PROGBITS········00000000·a5e2a84·5af19a·00···C··0···0··441 ··[36]·.debug_rnglists···PROGBITS········00000000·a5e2504·5af19a·00···C··0···0··4
42 ··[37]·.symtab···········SYMTAB··········00000000·ab91c20·0a2d10·10·····38·38963··442 ··[37]·.symtab···········SYMTAB··········00000000·ab916a0·0a2d10·10·····38·38963··4
43 ··[38]·.strtab···········STRTAB··········00000000·ac34930·2b0415·00······0···0··143 ··[38]·.strtab···········STRTAB··········00000000·ac343b0·2b0415·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········00000000·aee4d45·00018f·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········00000000·aee47c5·00018f·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),·p·(processor·specific)49 ··R·(retain),·D·(mbind),·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:·28fd456089fa4b9525c359d8e7cf9e9582b8af023 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e0033cae79b41ebd22478c777ef22501ccecb40c
⊟
24.3 MB
readelf --wide --debug-dump=info {}
    
Offset 24, 35 lines modifiedOffset 24, 35 lines modified
24 ·<1><2a>:·Abbrev·Number:·11·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·11·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·125 ····<2b>···DW_AT_byte_size···:·(data1)·1
26 ····<2c>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)26 ····<2c>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1a6f0):·unsigned·char27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1a6f0):·unsigned·char
28 ·<1><31>:·Abbrev·Number:·11·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·11·(DW_TAG_base_type)
29 ····<32>···DW_AT_byte_size···:·(data1)·229 ····<32>···DW_AT_byte_size···:·(data1)·2
30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)
31 ····<34>···DW_AT_name········:·(strp)·(offset:·0x120d5):·short·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0x120ef):·short·unsigned·int
32 ·<1><38>:·Abbrev·Number:·11·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·11·(DW_TAG_base_type)
33 ····<39>···DW_AT_byte_size···:·(data1)·433 ····<39>···DW_AT_byte_size···:·(data1)·4
34 ····<3a>···DW_AT_encoding····:·(data1)·7»    (unsigned)34 ····<3a>···DW_AT_encoding····:·(data1)·7»    (unsigned)
35 ····<3b>···DW_AT_name········:·(strp)·(offset:·0x136fd):·long·unsigned·int35 ····<3b>···DW_AT_name········:·(strp)·(offset:·0x13717):·long·unsigned·int
36 ·<1><3f>:·Abbrev·Number:·11·(DW_TAG_base_type)36 ·<1><3f>:·Abbrev·Number:·11·(DW_TAG_base_type)
37 ····<40>···DW_AT_byte_size···:·(data1)·137 ····<40>···DW_AT_byte_size···:·(data1)·1
38 ····<41>···DW_AT_encoding····:·(data1)·6»    (signed·char)38 ····<41>···DW_AT_encoding····:·(data1)·6»    (signed·char)
39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x1baed):·signed·char39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x1baed):·signed·char
40 ·<1><46>:·Abbrev·Number:·11·(DW_TAG_base_type)40 ·<1><46>:·Abbrev·Number:·11·(DW_TAG_base_type)
41 ····<47>···DW_AT_byte_size···:·(data1)·241 ····<47>···DW_AT_byte_size···:·(data1)·2
42 ····<48>···DW_AT_encoding····:·(data1)·5»    (signed)42 ····<48>···DW_AT_encoding····:·(data1)·5»    (signed)
43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x1d792):·short·int43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x1d792):·short·int
44 ·<1><4d>:·Abbrev·Number:·11·(DW_TAG_base_type)44 ·<1><4d>:·Abbrev·Number:·11·(DW_TAG_base_type)
45 ····<4e>···DW_AT_byte_size···:·(data1)·845 ····<4e>···DW_AT_byte_size···:·(data1)·8
46 ····<4f>···DW_AT_encoding····:·(data1)·7»    (unsigned)46 ····<4f>···DW_AT_encoding····:·(data1)·7»    (unsigned)
47 ····<50>···DW_AT_name········:·(strp)·(offset:·0x136f8):·long·long·unsigned·int47 ····<50>···DW_AT_name········:·(strp)·(offset:·0x13712):·long·long·unsigned·int
48 ·<1><54>:·Abbrev·Number:·11·(DW_TAG_base_type)48 ·<1><54>:·Abbrev·Number:·11·(DW_TAG_base_type)
49 ····<55>···DW_AT_byte_size···:·(data1)·449 ····<55>···DW_AT_byte_size···:·(data1)·4
50 ····<56>···DW_AT_encoding····:·(data1)·5»    (signed)50 ····<56>···DW_AT_encoding····:·(data1)·5»    (signed)
51 ····<57>···DW_AT_name········:·(strp)·(offset:·0x1788b):·long·int51 ····<57>···DW_AT_name········:·(strp)·(offset:·0x178a5):·long·int
52 ·<1><5b>:·Abbrev·Number:·11·(DW_TAG_base_type)52 ·<1><5b>:·Abbrev·Number:·11·(DW_TAG_base_type)
53 ····<5c>···DW_AT_byte_size···:·(data1)·153 ····<5c>···DW_AT_byte_size···:·(data1)·1
54 ····<5d>···DW_AT_encoding····:·(data1)·6»    (signed·char)54 ····<5d>···DW_AT_encoding····:·(data1)·6»    (signed·char)
55 ····<5e>···DW_AT_name········:·(strp)·(offset:·0x1baf4):·char55 ····<5e>···DW_AT_name········:·(strp)·(offset:·0x1baf4):·char
56 ·<1><62>:·Abbrev·Number:·056 ·<1><62>:·Abbrev·Number:·0
57 ··Compilation·Unit·@·offset·0x63:57 ··Compilation·Unit·@·offset·0x63:
58 ···Length:········0x20·(32-bit)58 ···Length:········0x20·(32-bit)
Offset 142, 15 lines modifiedOffset 142, 15 lines modified
142 ····<107>···DW_AT_decl_file···:·(implicit_const)·20142 ····<107>···DW_AT_decl_file···:·(implicit_const)·20
143 ····<107>···DW_AT_decl_line···:·(data2)·427143 ····<107>···DW_AT_decl_line···:·(data2)·427
144 ····<109>···DW_AT_decl_column·:·(data1)·15144 ····<109>···DW_AT_decl_column·:·(data1)·15
145 ····<10a>···DW_AT_type········:·(ref_addr)·<0x78>,·long·double145 ····<10a>···DW_AT_type········:·(ref_addr)·<0x78>,·long·double
146 ····<10e>···DW_AT_alignment···:·(data1)·4146 ····<10e>···DW_AT_alignment···:·(data1)·4
147 ····<10f>···DW_AT_data_member_location:·(data1)·8147 ····<10f>···DW_AT_data_member_location:·(data1)·8
148 ·<2><110>:·Abbrev·Number:·96·(DW_TAG_member)148 ·<2><110>:·Abbrev·Number:·96·(DW_TAG_member)
149 ····<111>···DW_AT_name········:·(strp)·(offset:·0xf7bb):·__max_align_f128149 ····<111>···DW_AT_name········:·(strp)·(offset:·0xf7d5):·__max_align_f128
150 ····<115>···DW_AT_decl_file···:·(implicit_const)·20150 ····<115>···DW_AT_decl_file···:·(implicit_const)·20
151 ····<115>···DW_AT_decl_line···:·(data2)·434151 ····<115>···DW_AT_decl_line···:·(data2)·434
152 ····<117>···DW_AT_decl_column·:·(data1)·14152 ····<117>···DW_AT_decl_column·:·(data1)·14
153 ····<118>···DW_AT_type········:·(ref_addr)·<0x7f>,·__float128153 ····<118>···DW_AT_type········:·(ref_addr)·<0x7f>,·__float128
154 ····<11c>···DW_AT_alignment···:·(data1)·16154 ····<11c>···DW_AT_alignment···:·(data1)·16
155 ····<11d>···DW_AT_data_member_location:·(data1)·32155 ····<11d>···DW_AT_data_member_location:·(data1)·32
156 ·<2><11e>:·Abbrev·Number:·0156 ·<2><11e>:·Abbrev·Number:·0
Offset 770, 15 lines modifiedOffset 770, 15 lines modified
770 ····<41e>···DW_AT_decl_column·:·(data1)·11770 ····<41e>···DW_AT_decl_column·:·(data1)·11
771 ····<41f>···DW_AT_import······:·(ref_udata)·<0x11f>»   [Abbrev·Number:·120·(DW_TAG_typedef)]771 ····<41f>···DW_AT_import······:·(ref_udata)·<0x11f>»   [Abbrev·Number:·120·(DW_TAG_typedef)]
772 ·<2><420>:·Abbrev·Number:·0772 ·<2><420>:·Abbrev·Number:·0
773 ·<1><421>:·Abbrev·Number:·12·(DW_TAG_pointer_type)773 ·<1><421>:·Abbrev·Number:·12·(DW_TAG_pointer_type)
774 ····<422>···DW_AT_byte_size···:·(implicit_const)·4774 ····<422>···DW_AT_byte_size···:·(implicit_const)·4
775 ····<422>···DW_AT_type········:·(ref_udata)·<0x152>,·char775 ····<422>···DW_AT_type········:·(ref_udata)·<0x152>,·char
776 ·<1><424>:·Abbrev·Number:·31·(DW_TAG_typedef)776 ·<1><424>:·Abbrev·Number:·31·(DW_TAG_typedef)
777 ····<425>···DW_AT_name········:·(strp)·(offset:·0x1715b):·wint_t777 ····<425>···DW_AT_name········:·(strp)·(offset:·0x17175):·wint_t
778 ····<429>···DW_AT_decl_file···:·(data1)·64778 ····<429>···DW_AT_decl_file···:·(data1)·64
779 ····<42a>···DW_AT_decl_line···:·(data1)·20779 ····<42a>···DW_AT_decl_line···:·(data1)·20
780 ····<42b>···DW_AT_decl_column·:·(data1)·23780 ····<42b>···DW_AT_decl_column·:·(data1)·23
781 ····<42c>···DW_AT_type········:·(ref_addr)·<0x1c>,·unsigned·int781 ····<42c>···DW_AT_type········:·(ref_addr)·<0x1c>,·unsigned·int
782 ·<1><430>:·Abbrev·Number:·106·(DW_TAG_array_type)782 ·<1><430>:·Abbrev·Number:·106·(DW_TAG_array_type)
783 ····<431>···DW_AT_type········:·(ref_addr)·<0x5b>,·char783 ····<431>···DW_AT_type········:·(ref_addr)·<0x5b>,·char
784 ····<435>···DW_AT_sibling·····:·(ref_udata)·<0x43e>784 ····<435>···DW_AT_sibling·····:·(ref_udata)·<0x43e>
Offset 817, 29 lines modifiedOffset 817, 29 lines modified
817 ····<46c>···DW_AT_name········:·(strp)·(offset:·0x1eaf8):·_IO_read_end817 ····<46c>···DW_AT_name········:·(strp)·(offset:·0x1eaf8):·_IO_read_end
818 ····<470>···DW_AT_decl_file···:·(data1)·68818 ····<470>···DW_AT_decl_file···:·(data1)·68
819 ····<471>···DW_AT_decl_line···:·(data1)·55819 ····<471>···DW_AT_decl_line···:·(data1)·55
820 ····<472>···DW_AT_decl_column·:·(data1)·9820 ····<472>···DW_AT_decl_column·:·(data1)·9
821 ····<473>···DW_AT_type········:·(ref_udata)·<0x14d>821 ····<473>···DW_AT_type········:·(ref_udata)·<0x14d>
822 ····<475>···DW_AT_data_member_location:·(data1)·8822 ····<475>···DW_AT_data_member_location:·(data1)·8
823 ·<2><476>:·Abbrev·Number:·42·(DW_TAG_member)823 ·<2><476>:·Abbrev·Number:·42·(DW_TAG_member)
824 ····<477>···DW_AT_name········:·(strp)·(offset:·0xfefe):·_IO_read_base824 ····<477>···DW_AT_name········:·(strp)·(offset:·0xff18):·_IO_read_base
825 ····<47b>···DW_AT_decl_file···:·(data1)·68825 ····<47b>···DW_AT_decl_file···:·(data1)·68
826 ····<47c>···DW_AT_decl_line···:·(data1)·56826 ····<47c>···DW_AT_decl_line···:·(data1)·56
827 ····<47d>···DW_AT_decl_column·:·(data1)·9827 ····<47d>···DW_AT_decl_column·:·(data1)·9
828 ····<47e>···DW_AT_type········:·(ref_udata)·<0x14d>828 ····<47e>···DW_AT_type········:·(ref_udata)·<0x14d>
829 ····<480>···DW_AT_data_member_location:·(data1)·12829 ····<480>···DW_AT_data_member_location:·(data1)·12
830 ·<2><481>:·Abbrev·Number:·42·(DW_TAG_member)830 ·<2><481>:·Abbrev·Number:·42·(DW_TAG_member)
831 ····<482>···DW_AT_name········:·(strp)·(offset:·0x4d1a):·_IO_write_base831 ····<482>···DW_AT_name········:·(strp)·(offset:·0x4d1a):·_IO_write_base
832 ····<486>···DW_AT_decl_file···:·(data1)·68832 ····<486>···DW_AT_decl_file···:·(data1)·68
833 ····<487>···DW_AT_decl_line···:·(data1)·57833 ····<487>···DW_AT_decl_line···:·(data1)·57
834 ····<488>···DW_AT_decl_column·:·(data1)·9834 ····<488>···DW_AT_decl_column·:·(data1)·9
835 ····<489>···DW_AT_type········:·(ref_udata)·<0x14d>835 ····<489>···DW_AT_type········:·(ref_udata)·<0x14d>
836 ····<48b>···DW_AT_data_member_location:·(data1)·16836 ····<48b>···DW_AT_data_member_location:·(data1)·16
837 ·<2><48c>:·Abbrev·Number:·42·(DW_TAG_member)837 ·<2><48c>:·Abbrev·Number:·42·(DW_TAG_member)
838 ····<48d>···DW_AT_name········:·(strp)·(offset:·0xf5dc):·_IO_write_ptr838 ····<48d>···DW_AT_name········:·(strp)·(offset:·0xf5f6):·_IO_write_ptr
839 ····<491>···DW_AT_decl_file···:·(data1)·68839 ····<491>···DW_AT_decl_file···:·(data1)·68
840 ····<492>···DW_AT_decl_line···:·(data1)·58840 ····<492>···DW_AT_decl_line···:·(data1)·58
841 ····<493>···DW_AT_decl_column·:·(data1)·9841 ····<493>···DW_AT_decl_column·:·(data1)·9
842 ····<494>···DW_AT_type········:·(ref_udata)·<0x14d>842 ····<494>···DW_AT_type········:·(ref_udata)·<0x14d>
843 ····<496>···DW_AT_data_member_location:·(data1)·20843 ····<496>···DW_AT_data_member_location:·(data1)·20
844 ·<2><497>:·Abbrev·Number:·42·(DW_TAG_member)844 ·<2><497>:·Abbrev·Number:·42·(DW_TAG_member)
845 ····<498>···DW_AT_name········:·(strp)·(offset:·0xdc6a):·_IO_write_end845 ····<498>···DW_AT_name········:·(strp)·(offset:·0xdc6a):·_IO_write_end
Offset 852, 36 lines modifiedOffset 852, 36 lines modified
852 ····<4a3>···DW_AT_name········:·(strp)·(offset:·0xadfd):·_IO_buf_base852 ····<4a3>···DW_AT_name········:·(strp)·(offset:·0xadfd):·_IO_buf_base
853 ····<4a7>···DW_AT_decl_file···:·(data1)·68853 ····<4a7>···DW_AT_decl_file···:·(data1)·68
854 ····<4a8>···DW_AT_decl_line···:·(data1)·60854 ····<4a8>···DW_AT_decl_line···:·(data1)·60
855 ····<4a9>···DW_AT_decl_column·:·(data1)·9855 ····<4a9>···DW_AT_decl_column·:·(data1)·9
856 ····<4aa>···DW_AT_type········:·(ref_udata)·<0x14d>856 ····<4aa>···DW_AT_type········:·(ref_udata)·<0x14d>
857 ····<4ac>···DW_AT_data_member_location:·(data1)·28857 ····<4ac>···DW_AT_data_member_location:·(data1)·28
858 ·<2><4ad>:·Abbrev·Number:·42·(DW_TAG_member)858 ·<2><4ad>:·Abbrev·Number:·42·(DW_TAG_member)
859 ····<4ae>···DW_AT_name········:·(strp)·(offset:·0x14d8a):·_IO_buf_end859 ····<4ae>···DW_AT_name········:·(strp)·(offset:·0x14da4):·_IO_buf_end
860 ····<4b2>···DW_AT_decl_file···:·(data1)·68860 ····<4b2>···DW_AT_decl_file···:·(data1)·68
861 ····<4b3>···DW_AT_decl_line···:·(data1)·61861 ····<4b3>···DW_AT_decl_line···:·(data1)·61
862 ····<4b4>···DW_AT_decl_column·:·(data1)·9862 ····<4b4>···DW_AT_decl_column·:·(data1)·9
863 ····<4b5>···DW_AT_type········:·(ref_udata)·<0x14d>863 ····<4b5>···DW_AT_type········:·(ref_udata)·<0x14d>
864 ····<4b7>···DW_AT_data_member_location:·(data1)·32864 ····<4b7>···DW_AT_data_member_location:·(data1)·32
865 ·<2><4b8>:·Abbrev·Number:·42·(DW_TAG_member)865 ·<2><4b8>:·Abbrev·Number:·42·(DW_TAG_member)
866 ····<4b9>···DW_AT_name········:·(strp)·(offset:·0xdd22):·_IO_save_base866 ····<4b9>···DW_AT_name········:·(strp)·(offset:·0xdd22):·_IO_save_base
867 ····<4bd>···DW_AT_decl_file···:·(data1)·68867 ····<4bd>···DW_AT_decl_file···:·(data1)·68
868 ····<4be>···DW_AT_decl_line···:·(data1)·64868 ····<4be>···DW_AT_decl_line···:·(data1)·64
869 ····<4bf>···DW_AT_decl_column·:·(data1)·9869 ····<4bf>···DW_AT_decl_column·:·(data1)·9
870 ····<4c0>···DW_AT_type········:·(ref_udata)·<0x14d>870 ····<4c0>···DW_AT_type········:·(ref_udata)·<0x14d>
871 ····<4c2>···DW_AT_data_member_location:·(data1)·36871 ····<4c2>···DW_AT_data_member_location:·(data1)·36
872 ·<2><4c3>:·Abbrev·Number:·42·(DW_TAG_member)872 ·<2><4c3>:·Abbrev·Number:·42·(DW_TAG_member)
873 ····<4c4>···DW_AT_name········:·(strp)·(offset:·0x10798):·_IO_backup_base873 ····<4c4>···DW_AT_name········:·(strp)·(offset:·0x107b2):·_IO_backup_base
874 ····<4c8>···DW_AT_decl_file···:·(data1)·68874 ····<4c8>···DW_AT_decl_file···:·(data1)·68
875 ····<4c9>···DW_AT_decl_line···:·(data1)·65875 ····<4c9>···DW_AT_decl_line···:·(data1)·65
876 ····<4ca>···DW_AT_decl_column·:·(data1)·9876 ····<4ca>···DW_AT_decl_column·:·(data1)·9
877 ····<4cb>···DW_AT_type········:·(ref_udata)·<0x14d>877 ····<4cb>···DW_AT_type········:·(ref_udata)·<0x14d>
878 ····<4cd>···DW_AT_data_member_location:·(data1)·40878 ····<4cd>···DW_AT_data_member_location:·(data1)·40
879 ·<2><4ce>:·Abbrev·Number:·42·(DW_TAG_member)879 ·<2><4ce>:·Abbrev·Number:·42·(DW_TAG_member)
880 ····<4cf>···DW_AT_name········:·(strp)·(offset:·0x1870f):·_IO_save_end880 ····<4cf>···DW_AT_name········:·(strp)·(offset:·0x18729):·_IO_save_end
Max diff block lines reached; 25462233/25469536 bytes (99.97%) of diff not shown.
⊟
3.56 KB
readelf --wide --debug-dump=macro {}
    
Offset 1521, 16 lines modifiedOffset 1521, 16 lines modified
1521 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11521 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1522 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11522 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1523 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11523 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1524 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11524 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1525 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11525 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1526 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11526 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1527 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21527 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1528 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1528 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1529 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1529 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1530 ··Offset:······················0x19291530 ··Offset:······················0x1929
1531 ··Version:·····················51531 ··Version:·····················5
1532 ··Offset·size:·················41532 ··Offset·size:·················4
  
1533 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11533 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1534 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11534 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52226, 16 lines modifiedOffset 52226, 16 lines modified
52226 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152226 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52227 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152227 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52228 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152228 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52229 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152229 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52230 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152230 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52231 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152231 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52232 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252232 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52233 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52233 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52234 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52234 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52235 ··Offset:······················0x4898252235 ··Offset:······················0x48982
52236 ··Version:·····················552236 ··Version:·····················5
52237 ··Offset·size:·················452237 ··Offset·size:·················4
  
52238 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52238 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52239 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52239 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1315676, 15 lines modifiedOffset 1315676, 19 lines modified
1315676 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1315676 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1315677 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421315677 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1315678 ·DW_MACRO_end_file1315678 ·DW_MACRO_end_file
1315679 ·DW_MACRO_import·-·offset·:·0x518911315679 ·DW_MACRO_import·-·offset·:·0x51891
1315680 ·DW_MACRO_end_file1315680 ·DW_MACRO_end_file
1315681 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1351315681 ·DW_MACRO_start_file·-·lineno:·49·filenum:·135
1315682 ·DW_MACRO_end_file1315682 ·DW_MACRO_end_file
 1315683 ·DW_MACRO_start_file·-·lineno:·50·filenum:·31
 1315684 ·DW_MACRO_end_file
 1315685 ·DW_MACRO_start_file·-·lineno:·52·filenum:·111
 1315686 ·DW_MACRO_end_file
1315683 ·DW_MACRO_start_file·-·lineno:·50·filenum:·2901315687 ·DW_MACRO_start_file·-·lineno:·54·filenum:·290
1315684 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11315688 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1315685 ·DW_MACRO_start_file·-·lineno:·41·filenum:·141315689 ·DW_MACRO_start_file·-·lineno:·41·filenum:·14
1315686 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1315690 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1315687 ·DW_MACRO_start_file·-·lineno:·33·filenum:·151315691 ·DW_MACRO_start_file·-·lineno:·33·filenum:·15
1315688 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11315692 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1315689 ·DW_MACRO_start_file·-·lineno:·35·filenum:·161315693 ·DW_MACRO_start_file·-·lineno:·35·filenum:·16
1315690 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11315694 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1315692, 18 lines modifiedOffset 1315696, 14 lines modified
1315692 ·DW_MACRO_end_file1315696 ·DW_MACRO_end_file
1315693 ·DW_MACRO_end_file1315697 ·DW_MACRO_end_file
1315694 ·DW_MACRO_import·-·offset·:·0x9c421315698 ·DW_MACRO_import·-·offset·:·0x9c42
1315695 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1761315699 ·DW_MACRO_start_file·-·lineno:·56·filenum:·176
1315696 ·DW_MACRO_import·-·offset·:·0x4f79281315700 ·DW_MACRO_import·-·offset·:·0x4f7928
1315697 ·DW_MACRO_end_file1315701 ·DW_MACRO_end_file
1315698 ·DW_MACRO_end_file1315702 ·DW_MACRO_end_file
1315699 ·DW_MACRO_start_file·-·lineno:·51·filenum:·31 
1315700 ·DW_MACRO_end_file 
1315701 ·DW_MACRO_start_file·-·lineno:·52·filenum:·111 
1315702 ·DW_MACRO_end_file 
1315703 ·DW_MACRO_start_file·-·lineno:·57·filenum:·821315703 ·DW_MACRO_start_file·-·lineno:·57·filenum:·82
1315704 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1315704 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1315705 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1761315705 ·DW_MACRO_start_file·-·lineno:·42·filenum:·176
1315706 ·DW_MACRO_import·-·offset·:·0x4f7f141315706 ·DW_MACRO_import·-·offset·:·0x4f7f14
1315707 ·DW_MACRO_end_file1315707 ·DW_MACRO_end_file
1315708 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1391315708 ·DW_MACRO_start_file·-·lineno:·43·filenum:·139
1315709 ·DW_MACRO_import·-·offset·:·0x108f31315709 ·DW_MACRO_import·-·offset·:·0x108f3
⊟
613 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
  
4194297 ····00a3e1bd·006a75cc·(base·address)4194297 ····00a3e1bd·006a75cc·(base·address)
4194298 ····00a3e1c2·v0000000·v0000000·views·at·00a3e1b1·for:4194298 ····00a3e1c2·v0000000·v0000000·views·at·00a3e1b1·for:
4194299 ·············006a75cc·006a76db·(DW_OP_fbreg:·-280)4194299 ·············006a75cc·006a76db·(DW_OP_fbreg:·-280)
4194300 ····00a3e1ca·v0000000·v0000000·views·at·00a3e1b3·for:4194300 ····00a3e1ca·v0000000·v0000000·views·at·00a3e1b3·for:
4194301 ·············006a864d·006a8654·(DW_OP_fbreg:·-280)4194301 ·············006a864d·006a8654·(DW_OP_fbreg:·-280)
4194302 ····00a3e1d3·v0000000·v0000000·views·at·00a3e1b5·for:4194302 ····00a3e1d3·v0000000·v0000000·views·at·00a3e1b5·for:
4194303 [·Too·much·input·for·diff·(SHA256:·1ae7d15dba65cac1446cfb84592c8de4e60d152016346ba08e308acd54993570)·]4194303 [·Too·much·input·for·diff·(SHA256:·2c85dbd0a10966c6f676444a3f46c825068b68150a644ef035ca2d7805ef11f1)·]
⊟
633 KB
strings --all --bytes=8 {}
    
Offset 4, 28961 lines modifiedOffset 4, 29217 lines modified
4 VK}7KwNbC4 VK}7KwNbC
5 oe?#<u4v5 oe?#<u4v
6 $FqSBnU|6 $FqSBnU|
7 /roe)Os(7 /roe)Os(
8 6}^5lz>=*O8 6}^5lz>=*O
9 xl}~»   lGuxBy&9 xl}~»   lGuxBy&
10 .X%DEC@L10 .X%DEC@L
11 ~A2rO"8S 
12 *nSWdW'\ 
13 523\V823 
14 "!E}%bSle 
15 |E{)t@#L11 2_4EtUV#
 12 _7g4o>(6)I»     
 13 oTAWY)m)
 14 tDVYtDJykr$-
 15 mjnP,lW»C
 16 Y»      `eaVBX
 17 f%HVUf%DU5f%HU
 18 2[yAUS/'`.»     5!y
 19 Jrm,F@A#
 20 0pS]n1EuQ
 21 N;NG5OSe
 22 ~I{)tj#L
 23 :tpm-,&d
16 c+:TEq·A24 c+:TEq·A
17 pR6%E(nL25 pR6%E(nL
18 Cj%z}G+_ 
19 /ZUN#U6* 
20 :r»     Rb|EG 
21 \u1]u1nS 
22 H2x+IdgHr 
23 m{_GAXM[ 
24 t!{4>7t! 
25 6gh»    *U>(7 
26 vs}'H7W[ 
27 %3;{./m926 i0R<T0F`v
 27 3nt'*9N*v
 28 K?YQ9ew>qe
 29 U4n]&lLT
 30 m1,sYC1j"
 31 #LP|-_·"
 32 xiG^r"c%p>(
 33 T7ivjD(Y
 34 (!2}5]&f
 35 1ZwE+X=A
 36 ,JP#k{<l
28 guR+_-z-37 guR+_-z%
29 x?7(M~-J 
30 TjZ(P9te 
31 YQI"+:Id 
32 L"+VK"+*Idq 
33 zh2o3]on 
34 "d&Y@|_q 
35 ^#$+'~@· 
36 yo]4CE$» 
37 ZvNPXP,8 
38 J+[$D.?f 
39 ch2Z7+K` 
40 3K-(gCl*e 
41 8»      ZQ~\)) 
42 `>}lzq·+aY 
43 Dv_BSpu9 
44 >x(p7+;{Y 
45 iu7dA/AM 
46 @nF<B,qt38 :-`QPxPs
 39 Rc=^W:q4
 40 4lMej<nM
 41 A"+*HdE'
 42 rF"+*IdE
 43 I"+*IdE7
 44 F"+:IdEF"[
 45 X6%mls!W
 46 xw$K>$=)
 47 RdJN=c$4
 48 "o·AXi$a
 49 ch2R7#[`
 50 P%@v!c{'I
 51 Q36JMvK{T
 52 y9-!.FQa^
 53 d»      :=/?/Q
 54 H(T~{^ZA
 55 mhGPrS}`
 56 WKB.]P,a?
 57 IiIh560/F\30/
 58 YiZory+·u
 59 !V,S1'Tm
 60 9MEv_LSpu9
 61 $q"U&/_F
 62 w»      {2P97w
 63 "R$v{$G7[
 64 }&v0Gxp4
 65 6!1z<^R:
 66 H$zzG7=_
 67 Zj(\i,\jpl3
 68 +<nvlHHG
 69 BkbH;Eo=2
 70 <>aMXYYNX
47 }@$$·AkJ71 u@$$·AkJ
 72 y.GT&?W^
 73 I+/R?]QV
 74 ,o7E1Y{D
48 }Y!9[,\M 
49 TxiYI*s= 
50 BK+!]OIc 
51 kQ@6=6"t 
52 Cn;Y/8[I 
53 vR&OE8KX 
54 j<TN3c3x 
55 R"yJ?5gS`Y.E 
56 Bs6e6ut6Eg 
57 *l'x=EdqS75 *l'x=EdsS
58 blOi6|_6d0 
59 uAMVbgFxCef 
60 gQ»     bcXQ, 
61 pwaXC8_lvKd 
62 'Y\yKt» |+ 
63 2w]VXt?I 
64 CLL@7^JY 
65 ·B1ztgK[76 @EO4x"a=
 77 4bdC1XLV
 78 %qa:6\!,}
 79 @}.uJ*O7V
 80 r5%kvRd/u~
 81 Fc1Svk+C
 82 (lk/w·S|f
 83 ]fA&{SOe
 84 {"t`r,AwF
Max diff block lines reached; 644841/648032 bytes (99.51%) 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.
⊟
60.0 B
.rel.dyn
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.rel.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.
⊟
120 B
libcvc5parser1-dbgsym_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.
⊟
116 B
python3-cvc5-dbgsym_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 288