⊟
64.8 MB
/srv/reproducible-results/rbuild-debian/r-b-build.Y2MKb48v/b1/cvc5_1.1.2-2_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.Y2MKb48v/b2/cvc5_1.1.2-2_i386.changes
⊟
1.5 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·476393744a5f5105eaaa5df4df326520·1889128·debug·optional·cvc5-dbgsym_1.1.2-2_i386.deb 
2 ·b4fec3345a3118f0c50d8fb59efa512d·111268·math·optional·cvc5_1.1.2-2_i386.deb 
3 ·74bcbc8d5cf6e0c75570528c4d6dd3d1·179711196·debug·optional·libcvc5-1-dbgsym_1.1.2-2_i386.deb 
4 ·efb10f84866e99e1b84e3d57c0371fe2·7264100·libs·optional·libcvc5-1_1.1.2-2_i386.deb1 ·cb696b25adfd57a8272d97ad14e98f0d·1889388·debug·optional·cvc5-dbgsym_1.1.2-2_i386.deb
 2 ·b8a6edb224b2d69c83b8599c5b5e54f8·111296·math·optional·cvc5_1.1.2-2_i386.deb
 3 ·3bae1622c6e24c9602a9bcc829eafd37·179712540·debug·optional·libcvc5-1-dbgsym_1.1.2-2_i386.deb
 4 ·4b1a2a9c03dc07f7e64d49b5273b845f·7265816·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 ·691a67581f4d46d5a7b7270a0d521c23·4042940·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_i386.deb 
7 ·af083d9ac61986644bf7e12a2c5b55c2·258996·libs·optional·libcvc5parser1_1.1.2-2_i386.deb 
8 ·f452f38fd78bc2c6afb4bb1b2a8a1483·2602224·debug·optional·python3-cvc5-dbgsym_1.1.2-2_i386.deb 
9 ·e4ab3abe61cc6c085b70beeceb5e480c·325316·python·optional·python3-cvc5_1.1.2-2_i386.deb6 ·6745702175b3a9a5de2c2c88b5e882f1·4042748·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_i386.deb
 7 ·b4fdd707720871c0c27fc10762ee4b84·259008·libs·optional·libcvc5parser1_1.1.2-2_i386.deb
 8 ·72e5252a5cd410d6bf05bcb4095960cc·2600860·debug·optional·python3-cvc5-dbgsym_1.1.2-2_i386.deb
 9 ·39e641926bf29754c7696b127dcadea7·325476·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···109960·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···109988·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:·e8935e43f089f1498d4228c548e5206bb73f1d343 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6f68a35da86a170a7c9b8a208658521f9641618b
  
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
⊟
415 B
strings --all --bytes=8 {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 4/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·39333565·34336630·38396631·34393864·935e43f089f1498d 
3 ··0x00000010·34323238·63353438·65353230·36626237·4228c548e5206bb72 ··0x00000000·36386133·35646138·36613137·30613763·68a35da86a170a7c
 3 ··0x00000010·39623861·32303836·35383532·31663936·9b8a208658521f96
4 ··0x00000020·33663164·33342e64·65627567·00000000·3f1d34.debug....4 ··0x00000020·34313631·38622e64·65627567·00000000·41618b.debug....
5 ··0x00000030·51e814bb····························Q...5 ··0x00000030·62256c1c····························b%l.
  
⊟
13.3 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··7262632·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··7264348·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
⊟
12.8 KB
data.tar.xz
⊟
12.8 KB
data.tar
⊟
12.7 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:·1315d3f16ce53e01cc4d46da58eda64ebd14a9e63 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·5aa769ff5115948bb52b4e4eaae70b50fe2ca881
⊟
395 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 10536, 16 lines modifiedOffset 10536, 16 lines modified
10536 trigger-active-sel10536 trigger-active-sel
10537 trigger-sel10537 trigger-sel
10538 uf-ss-abort-card10538 uf-ss-abort-card
10539 unate-lemmas10539 unate-lemmas
10540 unsat-cores-mode10540 unsat-cores-mode
10541 user-pat10541 user-pat
10542 user-pool10542 user-pool
10543 partitions-out 
10544 write-partitions-to10543 write-partitions-to
 10544 partitions-out
10545 Argument·'10545 Argument·'
10546 '·for·bool·option·10546 '·for·bool·option·
10547 ·is·not·a·bool·constant10547 ·is·not·a·bool·constant
10548 ·is·negative10548 ·is·negative
10549 ·did·parse·only·partially·as·10549 ·did·parse·only·partially·as·
10550 ,·leaving·'10550 ,·leaving·'
10551 ·did·not·parse·as·10551 ·did·not·parse·as·
⊟
3.65 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 939178, 19 lines modifiedOffset 939178, 19 lines modified
939178 »       movl···$0x52,-0x2ba8(%ebp)939178 »       movl···$0x52,-0x2ba8(%ebp)
939179 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>939179 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939180 »       lea····-0x2b88(%ebp),%eax939180 »       lea····-0x2b88(%ebp),%eax
939181 »       lea····-0x35da80(%esi),%edx939181 »       lea····-0x35da80(%esi),%edx
939182 »       movl···$0x53,-0x2b8c(%ebp)939182 »       movl···$0x53,-0x2b8c(%ebp)
939183 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>939183 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939184 »       lea····-0x2b6c(%ebp),%eax939184 »       lea····-0x2b6c(%ebp),%eax
939185 »       lea····-0x35f5ac(%esi),%edx939185 »       lea····-0x35c7a5(%esi),%edx
939186 »       movl···$0x54,-0x2b70(%ebp)939186 »       movl···$0x54,-0x2b70(%ebp)
939187 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>939187 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939188 »       lea····-0x2b50(%ebp),%eax939188 »       lea····-0x2b50(%ebp),%eax
939189 »       lea····-0x35c7a5(%esi),%edx939189 »       lea····-0x35f5ac(%esi),%edx
939190 »       movl···$0x55,-0x2b54(%ebp)939190 »       movl···$0x55,-0x2b54(%ebp)
939191 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>939191 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939192 »       lea····-0x2b34(%ebp),%eax939192 »       lea····-0x2b34(%ebp),%eax
939193 »       lea····-0x35ff72(%esi),%edx939193 »       lea····-0x35ff72(%esi),%edx
939194 »       movl···$0x55,-0x2b38(%ebp)939194 »       movl···$0x55,-0x2b38(%ebp)
939195 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>939195 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939196 »       lea····-0x2b18(%ebp),%eax939196 »       lea····-0x2b18(%ebp),%eax
Offset 939774, 15 lines modifiedOffset 939774, 15 lines modified
939774 »       movl···$0xe4,-0x1b5c(%ebp)939774 »       movl···$0xe4,-0x1b5c(%ebp)
939775 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>939775 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939776 »       lea····-0x1b3c(%ebp),%eax939776 »       lea····-0x1b3c(%ebp),%eax
939777 »       lea····-0x35df20(%esi),%edx939777 »       lea····-0x35df20(%esi),%edx
939778 »       movl···$0xe5,-0x1b40(%ebp)939778 »       movl···$0xe5,-0x1b40(%ebp)
939779 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>939779 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939780 »       lea····-0x1b20(%ebp),%eax939780 »       lea····-0x1b20(%ebp),%eax
939781 »       lea····-0x35ec88(%esi),%edx939781 »       lea····-0x35ec74(%esi),%edx
939782 »       movl···$0xe6,-0x1b24(%ebp)939782 »       movl···$0xe6,-0x1b24(%ebp)
939783 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>939783 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939784 »       lea····-0x1b04(%ebp),%eax939784 »       lea····-0x1b04(%ebp),%eax
939785 »       lea····-0x36c100(%esi),%edx939785 »       lea····-0x36c100(%esi),%edx
939786 »       movl···$0xe7,-0x1b08(%ebp)939786 »       movl···$0xe7,-0x1b08(%ebp)
939787 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>939787 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
939788 »       lea····-0x1ae8(%ebp),%eax939788 »       lea····-0x1ae8(%ebp),%eax
Offset 940202, 19 lines modifiedOffset 940202, 19 lines modified
940202 »       movl···$0x148,-0xfa8(%ebp)940202 »       movl···$0x148,-0xfa8(%ebp)
940203 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>940203 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940204 »       lea····-0xf88(%ebp),%eax940204 »       lea····-0xf88(%ebp),%eax
940205 »       lea····-0x35f063(%esi),%edx940205 »       lea····-0x35f063(%esi),%edx
940206 »       movl···$0x149,-0xf8c(%ebp)940206 »       movl···$0x149,-0xf8c(%ebp)
940207 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>940207 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940208 »       lea····-0xf6c(%ebp),%eax940208 »       lea····-0xf6c(%ebp),%eax
940209 »       lea····-0x35f04e(%esi),%edx940209 »       lea····-0x366f65(%esi),%edx
940210 »       movl···$0x14a,-0xf70(%ebp)940210 »       movl···$0x14a,-0xf70(%ebp)
940211 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>940211 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940212 »       lea····-0xf50(%ebp),%eax940212 »       lea····-0xf50(%ebp),%eax
940213 »       lea····-0x366f65(%esi),%edx940213 »       lea····-0x35f04e(%esi),%edx
940214 »       movl···$0x14b,-0xf54(%ebp)940214 »       movl···$0x14b,-0xf54(%ebp)
940215 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>940215 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940216 »       lea····-0xf34(%ebp),%eax940216 »       lea····-0xf34(%ebp),%eax
940217 »       lea····-0x35d896(%esi),%edx940217 »       lea····-0x35d896(%esi),%edx
940218 »       movl···$0x14b,-0xf38(%ebp)940218 »       movl···$0x14b,-0xf38(%ebp)
940219 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>940219 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940220 »       lea····-0xf18(%ebp),%eax940220 »       lea····-0xf18(%ebp),%eax
Offset 940758, 15 lines modifiedOffset 940758, 15 lines modified
940758 »       movl···$0x1d2,-0x74(%ebp)940758 »       movl···$0x1d2,-0x74(%ebp)
940759 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>940759 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940760 »       lea····-0x54(%ebp),%eax940760 »       lea····-0x54(%ebp),%eax
940761 »       lea····-0x35ec93(%esi),%edx940761 »       lea····-0x35ec93(%esi),%edx
940762 »       movl···$0x1d3,-0x58(%ebp)940762 »       movl···$0x1d3,-0x58(%ebp)
940763 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>940763 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940764 »       lea····-0x38(%ebp),%eax940764 »       lea····-0x38(%ebp),%eax
940765 »       lea····-0x35ec84(%esi),%edx940765 »       lea····-0x35ec7f(%esi),%edx
940766 »       movl···$0x1d4,-0x3c(%ebp)940766 »       movl···$0x1d4,-0x3c(%ebp)
940767 »       mov····%eax,-0x3500(%ebp)940767 »       mov····%eax,-0x3500(%ebp)
940768 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>940768 »       call···15065f0·<cvc5::internal::Options::Options()@@Base+0x1370>
940769 /usr/include/c++/14/bits/hashtable.h:499940769 /usr/include/c++/14/bits/hashtable.h:499
940770 »       lea····0x7794(%esi),%eax940770 »       lea····0x7794(%esi),%eax
940771 /usr/include/c++/14/bits/hashtable.h:1258940771 /usr/include/c++/14/bits/hashtable.h:1258
940772 »       sub····$0x8,%esp940772 »       sub····$0x8,%esp
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 »       push···%eax4194296 »       push···%eax
4194297 »       call···157daf0·<cvc5::internal::RegExpLoop·const&·cvc5::internal::expr::NodeValue::getConst<cvc5::internal::RegExpLoop>()·const@@Base+0xf990>4194297 »       call···157daf0·<cvc5::internal::RegExpLoop·const&·cvc5::internal::expr::NodeValue::getConst<cvc5::internal::RegExpLoop>()·const@@Base+0xf990>
4194298 cln::cl_gcobject::pointer_p()·const:4194298 cln::cl_gcobject::pointer_p()·const:
4194299 /usr/include/cln/object.h:2984194299 /usr/include/cln/object.h:298
4194300 »       mov····-0x20(%ebp),%eax4194300 »       mov····-0x20(%ebp),%eax
4194301 cvc5::internal::theory::ff::FieldObj::FieldObj(cvc5::internal::FfSize·const&):4194301 cvc5::internal::theory::ff::FieldObj::FieldObj(cvc5::internal::FfSize·const&):
4194302 ./obj-i686-linux-gnu/src/./src/theory/ff/util.cpp:37·(discriminator·4)4194302 ./obj-i686-linux-gnu/src/./src/theory/ff/util.cpp:37·(discriminator·4)
4194303 [·Too·much·input·for·diff·(SHA256:·f94c464e272294690036b322c15b832cfe22668a210bcdc95ba530e24533f3b1)·]4194303 [·Too·much·input·for·diff·(SHA256:·99f097cb87cbcca144790a99428885873fccb6cf64d494cd1758c9c35e3635c2)·]
⊟
1.43 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 22351, 17 lines modifiedOffset 22351, 17 lines modified
22351 ··0x016be4c0·74696d65·6f757400·74726163·65007472·timeout.trace.tr22351 ··0x016be4c0·74696d65·6f757400·74726163·65007472·timeout.trace.tr
22352 ··0x016be4d0·69676765·722d6163·74697665·2d73656c·igger-active-sel22352 ··0x016be4d0·69676765·722d6163·74697665·2d73656c·igger-active-sel
22353 ··0x016be4e0·00747269·67676572·2d73656c·0075662d·.trigger-sel.uf-22353 ··0x016be4e0·00747269·67676572·2d73656c·0075662d·.trigger-sel.uf-
22354 ··0x016be4f0·73730075·662d7373·2d61626f·72742d63·ss.uf-ss-abort-c22354 ··0x016be4f0·73730075·662d7373·2d61626f·72742d63·ss.uf-ss-abort-c
22355 ··0x016be500·61726400·756e6174·652d6c65·6d6d6173·ard.unate-lemmas22355 ··0x016be500·61726400·756e6174·652d6c65·6d6d6173·ard.unate-lemmas
22356 ··0x016be510·00756e73·61742d63·6f726573·2d6d6f64·.unsat-cores-mod22356 ··0x016be510·00756e73·61742d63·6f726573·2d6d6f64·.unsat-cores-mod
22357 ··0x016be520·65007573·65722d70·61740075·7365722d·e.user-pat.user-22357 ··0x016be520·65007573·65722d70·61740075·7365722d·e.user-pat.user-
22358 ··0x016be530·706f6f6c·00766572·626f7365·00706172·pool.verbose.par22358 ··0x016be530·706f6f6c·00766572·626f7365·00777269·pool.verbose.wri
22359 ··0x016be540·74697469·6f6e732d·6f757400·77726974·titions-out.writ 
22360 ··0x016be550·652d7061·72746974·696f6e73·2d746f00·e-partitions-to.22359 ··0x016be540·74652d70·61727469·74696f6e·732d746f·te-partitions-to
 22360 ··0x016be550·00706172·74697469·6f6e732d·6f757400·.partitions-out.
22361 ··0x016be560·41726775·6d656e74·20270027·20666f72·Argument·'.'·for22361 ··0x016be560·41726775·6d656e74·20270027·20666f72·Argument·'.'·for
22362 ··0x016be570·20626f6f·6c206f70·74696f6e·20002069··bool·option·.·i22362 ··0x016be570·20626f6f·6c206f70·74696f6e·20002069··bool·option·.·i
22363 ··0x016be580·73206e6f·74206120·626f6f6c·20636f6e·s·not·a·bool·con22363 ··0x016be580·73206e6f·74206120·626f6f6c·20636f6e·s·not·a·bool·con
22364 ··0x016be590·7374616e·74002566·00272066·6f722000·stant.%f.'·for·.22364 ··0x016be590·7374616e·74002566·00272066·6f722000·stant.%f.'·for·.
22365 ··0x016be5a0·20697320·6e656761·74697665·00206469··is·negative.·di22365 ··0x016be5a0·20697320·6e656761·74697665·00206469··is·negative.·di
22366 ··0x016be5b0·64207061·72736520·6f6e6c79·20706172·d·parse·only·par22366 ··0x016be5b0·64207061·72736520·6f6e6c79·20706172·d·parse·only·par
22367 ··0x016be5c0·7469616c·6c792061·7320002c·206c6561·tially·as·.,·lea22367 ··0x016be5c0·7469616c·6c792061·7320002c·206c6561·tially·as·.,·lea
⊟
3.58 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 928, 15 lines modifiedOffset 928, 15 lines modified
928 ··0x01a16990·8ad36b01·42476b01·d6ee6b01·68d66b01·..k.BGk...k.h.k.928 ··0x01a16990·8ad36b01·42476b01·d6ee6b01·68d66b01·..k.BGk...k.h.k.
929 ··0x01a169a0·42476b01·64d66b01·d6ee6b01·42476b01·BGk.d.k...k.BGk.929 ··0x01a169a0·42476b01·64d66b01·d6ee6b01·42476b01·BGk.d.k...k.BGk.
930 ··0x01a169b0·14446c01·8ad36b01·90d36b01·42476b01·.Dl...k...k.BGk.930 ··0x01a169b0·14446c01·8ad36b01·90d36b01·42476b01·.Dl...k...k.BGk.
931 ··0x01a169c0·d6ee6b01·42476b01·5bd66b01·8ad36b01·..k.BGk.[.k...k.931 ··0x01a169c0·d6ee6b01·42476b01·5bd66b01·8ad36b01·..k.BGk.[.k...k.
932 ··0x01a169d0·50d66b01·c00b6c01·453d6b01·32d66b01·P.k...l.E=k.2.k.932 ··0x01a169d0·50d66b01·c00b6c01·453d6b01·32d66b01·P.k...l.E=k.2.k.
933 ··0x01a169e0·41d66b01·42476b01·f6bf6b01·efbf6b01·A.k.BGk...k...k.933 ··0x01a169e0·41d66b01·42476b01·f6bf6b01·efbf6b01·A.k.BGk...k...k.
934 ··0x01a169f0·30d16b01·3f3a6b01·593a6b01·30d16b01·0.k.?:k.Y:k.0.k.934 ··0x01a169f0·30d16b01·3f3a6b01·593a6b01·30d16b01·0.k.?:k.Y:k.0.k.
935 ··0x01a16a00·8e766b01·48e56b01·21f26b01·24d66b01·.vk.H.k.!.k.$.k.935 ··0x01a16a00·8e766b01·5ce56b01·21f26b01·24d66b01·.vk.\.k.!.k.$.k.
936 ··0x01a16a10·16d66b01·f2d56b01·fcd56b01·05d66b01·..k...k...k...k.936 ··0x01a16a10·16d66b01·f2d56b01·fcd56b01·05d66b01·..k...k...k...k.
937 ··0x01a16a20·d6d46b01·42476b01·e6d56b01·edd56b01·..k.BGk...k...k.937 ··0x01a16a20·d6d46b01·42476b01·e6d56b01·edd56b01·..k.BGk...k...k.
938 ··0x01a16a30·5dd36b01·6cd36b01·64d36b01·7cd36b01·].k.l.k.d.k.|.k.938 ··0x01a16a30·5dd36b01·6cd36b01·64d36b01·7cd36b01·].k.l.k.d.k.|.k.
939 ··0x01a16a40·42476b01·e0d56b01·42476b01·a6f26b01·BGk...k.BGk...k.939 ··0x01a16a40·42476b01·e0d56b01·42476b01·a6f26b01·BGk...k.BGk...k.
940 ··0x01a16a50·d4d56b01·cfd56b01·b0436c01·ec1e6c01·..k...k..Cl...l.940 ··0x01a16a50·d4d56b01·cfd56b01·b0436c01·ec1e6c01·..k...k..Cl...l.
941 ··0x01a16a60·bcd56b01·c2d56b01·cad96b01·62ef6b01·..k...k...k.b.k.941 ··0x01a16a60·bcd56b01·c2d56b01·cad96b01·62ef6b01·..k...k...k.b.k.
942 ··0x01a16a70·42476b01·d6d46b01·c3d96b01·ecd86b01·BGk...k...k...k.942 ··0x01a16a70·42476b01·d6d46b01·c3d96b01·ecd86b01·BGk...k...k...k.
Offset 1037, 18 lines modifiedOffset 1037, 18 lines modified
1037 ··0x01a17060·79f26b01·93f26b01·3de76b01·49e76b01·y.k...k.=.k.I.k.1037 ··0x01a17060·79f26b01·93f26b01·3de76b01·49e76b01·y.k...k.=.k.I.k.
1038 ··0x01a17070·53e76b01·3fde6b01·4bde6b01·5fde6b01·S.k.?.k.K.k._.k.1038 ··0x01a17070·53e76b01·3fde6b01·4bde6b01·5fde6b01·S.k.?.k.K.k._.k.
1039 ··0x01a17080·63e76b01·73e76b01·6bde6b01·86e76b01·c.k.s.k.k.k...k.1039 ··0x01a17080·63e76b01·73e76b01·6bde6b01·86e76b01·c.k.s.k.k.k...k.
1040 ··0x01a17090·99e76b01·aae76b01·bde76b01·cee76b01·..k...k...k...k.1040 ··0x01a17090·99e76b01·aae76b01·bde76b01·cee76b01·..k...k...k...k.
1041 ··0x01a170a0·dfe76b01·f1e76b01·72de6b01·06e86b01·..k...k.r.k...k.1041 ··0x01a170a0·dfe76b01·f1e76b01·72de6b01·06e86b01·..k...k.r.k...k.
1042 ··0x01a170b0·1be86b01·2de86b01·4ae86b01·87de6b01·..k.-.k.J.k...k.1042 ··0x01a170b0·1be86b01·2de86b01·4ae86b01·87de6b01·..k.-.k.J.k...k.
1043 ··0x01a170c0·54e86b01·e4f76b01·8ede6b01·b0f26b01·T.k...k...k...k.1043 ··0x01a170c0·54e86b01·e4f76b01·8ede6b01·b0f26b01·T.k...k...k...k.
1044 ··0x01a170d0·48e56b01·aade6b01·b1de6b01·8b6d6b01·H.k...k...k..mk.1044 ··0x01a170d0·5ce56b01·aade6b01·b1de6b01·8b6d6b01·\.k...k...k..mk.
1045 ··0x01a170e0·64e96b01·bbf26b01·7adb6b01·bdde6b01·d.k...k.z.k...k.1045 ··0x01a170e0·64e96b01·bbf26b01·7adb6b01·bdde6b01·d.k...k.z.k...k.
1046 ··0x01a170f0·cdde6b01·e5de6b01·fade6b01·0ddf6b01·..k...k...k...k.1046 ··0x01a170f0·cdde6b01·e5de6b01·fade6b01·0ddf6b01·..k...k...k...k.
1047 ··0x01a17100·25df6b01·36df6b01·3de56b01·6ce86b01·%.k.6.k.=.k.l.k.1047 ··0x01a17100·25df6b01·36df6b01·51e56b01·6ce86b01·%.k.6.k.Q.k.l.k.
1048 ··0x01a17110·45df6b01·cff26b01·55df6b01·64df6b01·E.k...k.U.k.d.k.1048 ··0x01a17110·45df6b01·cff26b01·55df6b01·64df6b01·E.k...k.U.k.d.k.
1049 ··0x01a17120·7bdf6b01·dcf26b01·8cdf6b01·f7f26b01·{.k...k...k...k.1049 ··0x01a17120·7bdf6b01·dcf26b01·8cdf6b01·f7f26b01·{.k...k...k...k.
1050 ··0x01a17130·72e96b01·99df6b01·faf76b01·a0ed6b01·r.k...k...k...k.1050 ··0x01a17130·72e96b01·99df6b01·faf76b01·a0ed6b01·r.k...k...k...k.
1051 ··0x01a17140·aadf6b01·0cf36b01·8dec6b01·0ef86b01·..k...k...k...k.1051 ··0x01a17140·aadf6b01·0cf36b01·8dec6b01·0ef86b01·..k...k...k...k.
1052 ··0x01a17150·21f86b01·4bf86b01·62f86b01·78f86b01·!.k.K.k.b.k.x.k.1052 ··0x01a17150·21f86b01·4bf86b01·62f86b01·78f86b01·!.k.K.k.b.k.x.k.
1053 ··0x01a17160·90f86b01·acf86b01·bef86b01·d0f86b01·..k...k...k...k.1053 ··0x01a17160·90f86b01·acf86b01·bef86b01·d0f86b01·..k...k...k...k.
1054 ··0x01a17170·edf86b01·b6ed6b01·d1ed6b01·b5df6b01·..k...k...k...k.1054 ··0x01a17170·edf86b01·b6ed6b01·d1ed6b01·b5df6b01·..k...k...k...k.
Offset 1098, 15 lines modifiedOffset 1098, 15 lines modified
1098 ··0x01a17430·b3e46b01·2fdf6b01·03116b01·c8e46b01·..k./.k...k...k.1098 ··0x01a17430·b3e46b01·2fdf6b01·03116b01·c8e46b01·..k./.k...k...k.
1099 ··0x01a17440·cee46b01·e1e46b01·60eb6b01·96fb6b01·..k...k.`.k...k.1099 ··0x01a17440·cee46b01·e1e46b01·60eb6b01·96fb6b01·..k...k.`.k...k.
1100 ··0x01a17450·a3fb6b01·ede46b01·f3e46b01·b1fb6b01·..k...k...k...k.1100 ··0x01a17450·a3fb6b01·ede46b01·f3e46b01·b1fb6b01·..k...k...k...k.
1101 ··0x01a17460·bffb6b01·04e56b01·8af96b01·11e56b01·..k...k...k...k.1101 ··0x01a17460·bffb6b01·04e56b01·8af96b01·11e56b01·..k...k...k...k.
1102 ··0x01a17470·a8e86b01·b6e86b01·abec6b01·c7e86b01·..k...k...k...k.1102 ··0x01a17470·a8e86b01·b6e86b01·abec6b01·c7e86b01·..k...k...k...k.
1103 ··0x01a17480·22e56b01·2be56b01·21f66b01·33f66b01·".k.+.k.!.k.3.k.1103 ··0x01a17480·22e56b01·2be56b01·21f66b01·33f66b01·".k.+.k.!.k.3.k.
1104 ··0x01a17490·35e56b01·96106b01·3b106b01·71eb6b01·5.k...k.;.k.q.k.1104 ··0x01a17490·35e56b01·96106b01·3b106b01·71eb6b01·5.k...k.;.k.q.k.
1105 ··0x01a174a0·4ce56b01·00000000·a4cda101·005b5b01·L.k..........[[.1105 ··0x01a174a0·3de56b01·00000000·a4cda101·005b5b01·=.k..........[[.
1106 ··0x01a174b0·e05b5b01·00595b01·307d5b01·e0585b01·.[[..Y[.0}[..X[.1106 ··0x01a174b0·e05b5b01·00595b01·307d5b01·e0585b01·.[[..Y[.0}[..X[.
1107 ··0x01a174c0·e05c5b01·00000000·bccda101·b05d5b01·.\[..........][.1107 ··0x01a174c0·e05c5b01·00000000·bccda101·b05d5b01·.\[..........][.
1108 ··0x01a174d0·50635b01·10595b01·80595b01·706e5b01·Pc[..Y[..Y[.pn[.1108 ··0x01a174d0·50635b01·10595b01·80595b01·706e5b01·Pc[..Y[..Y[.pn[.
1109 ··0x01a174e0·a0615b01·00000000·d4cda101·405e5b01·.a[.........@^[.1109 ··0x01a174e0·a0615b01·00000000·d4cda101·405e5b01·.a[.........@^[.
1110 ··0x01a174f0·f0635b01·20595b01·d0695b01·306c5b01·.c[.·Y[..i[.0l[.1110 ··0x01a174f0·f0635b01·20595b01·d0695b01·306c5b01·.c[.·Y[..i[.0l[.
1111 ··0x01a17500·d0605b01·00000000·eccda101·d05e5b01·.`[..........^[.1111 ··0x01a17500·d0605b01·00000000·eccda101·d05e5b01·.`[..........^[.
1112 ··0x01a17510·90645b01·20695b01·507f5b01·906a5b01·.d[.·i[.P.[..j[.1112 ··0x01a17510·90645b01·20695b01·507f5b01·906a5b01·.d[.·i[.P.[..j[.
⊟
2.36 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 155, 15 lines modifiedOffset 155, 15 lines modified
155 ··0x01a1f980·44346b01·01000000·00000000·70010000·D4k.........p...155 ··0x01a1f980·44346b01·01000000·00000000·70010000·D4k.........p...
156 ··0x01a1f990·b6106b01·01000000·00000000·71010000·..k.........q...156 ··0x01a1f990·b6106b01·01000000·00000000·71010000·..k.........q...
157 ··0x01a1f9a0·8e766b01·01000000·00000000·72010000·.vk.........r...157 ··0x01a1f9a0·8e766b01·01000000·00000000·72010000·.vk.........r...
158 ··0x01a1f9b0·55e96b01·00000000·00000000·73010000·U.k.........s...158 ··0x01a1f9b0·55e96b01·00000000·00000000·73010000·U.k.........s...
159 ··0x01a1f9c0·52e96b01·00000000·00000000·74010000·R.k.........t...159 ··0x01a1f9c0·52e96b01·00000000·00000000·74010000·R.k.........t...
160 ··0x01a1f9d0·b8de6b01·01000000·00000000·75010000·..k.........u...160 ··0x01a1f9d0·b8de6b01·01000000·00000000·75010000·..k.........u...
161 ··0x01a1f9e0·7edd6b01·01000000·00000000·76010000·~.k.........v...161 ··0x01a1f9e0·7edd6b01·01000000·00000000·76010000·~.k.........v...
162 ··0x01a1f9f0·48e56b01·01000000·00000000·77010000·H.k.........w...162 ··0x01a1f9f0·5ce56b01·01000000·00000000·77010000·\.k.........w...
163 ··0x01a1fa00·d0106b01·01000000·00000000·78010000·..k.........x...163 ··0x01a1fa00·d0106b01·01000000·00000000·78010000·..k.........x...
164 ··0x01a1fa10·aade6b01·01000000·00000000·79010000·..k.........y...164 ··0x01a1fa10·aade6b01·01000000·00000000·79010000·..k.........y...
165 ··0x01a1fa20·64e96b01·00000000·00000000·7a010000·d.k.........z...165 ··0x01a1fa20·64e96b01·00000000·00000000·7a010000·d.k.........z...
166 ··0x01a1fa30·61e96b01·00000000·00000000·7b010000·a.k.........{...166 ··0x01a1fa30·61e96b01·00000000·00000000·7b010000·a.k.........{...
167 ··0x01a1fa40·72e96b01·00000000·00000000·7c010000·r.k.........|...167 ··0x01a1fa40·72e96b01·00000000·00000000·7c010000·r.k.........|...
168 ··0x01a1fa50·6fe96b01·00000000·00000000·7d010000·o.k.........}...168 ··0x01a1fa50·6fe96b01·00000000·00000000·7d010000·o.k.........}...
169 ··0x01a1fa60·5b5b6b01·00000000·00000000·7e010000·[[k.........~...169 ··0x01a1fa60·5b5b6b01·00000000·00000000·7e010000·[[k.........~...
Offset 306, 16 lines modifiedOffset 306, 16 lines modified
306 ··0x01a202f0·fade6b01·01000000·00000000·07020000·..k.............306 ··0x01a202f0·fade6b01·01000000·00000000·07020000·..k.............
307 ··0x01a20300·7adb6b01·01000000·00000000·08020000·z.k.............307 ··0x01a20300·7adb6b01·01000000·00000000·08020000·z.k.............
308 ··0x01a20310·0ddf6b01·01000000·00000000·09020000·..k.............308 ··0x01a20310·0ddf6b01·01000000·00000000·09020000·..k.............
309 ··0x01a20320·25df6b01·01000000·00000000·0a020000·%.k.............309 ··0x01a20320·25df6b01·01000000·00000000·0a020000·%.k.............
310 ··0x01a20330·36df6b01·01000000·00000000·0b020000·6.k.............310 ··0x01a20330·36df6b01·01000000·00000000·0b020000·6.k.............
311 ··0x01a20340·bcec6b01·00000000·00000000·0c020000·..k.............311 ··0x01a20340·bcec6b01·00000000·00000000·0c020000·..k.............
312 ··0x01a20350·b9ec6b01·00000000·00000000·0d020000·..k.............312 ··0x01a20350·b9ec6b01·00000000·00000000·0d020000·..k.............
313 ··0x01a20360·4ce56b01·01000000·00000000·0e020000·L.k............. 
314 ··0x01a20370·3de56b01·01000000·00000000·0f020000·=.k.............313 ··0x01a20360·3de56b01·01000000·00000000·0e020000·=.k.............
 314 ··0x01a20370·51e56b01·01000000·00000000·0f020000·Q.k.............
315 ··0x01a20380·d3ec6b01·00000000·00000000·10020000·..k.............315 ··0x01a20380·d3ec6b01·00000000·00000000·10020000·..k.............
316 ··0x01a20390·d0ec6b01·00000000·00000000·11020000·..k.............316 ··0x01a20390·d0ec6b01·00000000·00000000·11020000·..k.............
317 ··0x01a203a0·d3dc6b01·01000000·00000000·12020000·..k.............317 ··0x01a203a0·d3dc6b01·01000000·00000000·12020000·..k.............
318 ··0x01a203b0·e8ec6b01·00000000·00000000·13020000·..k.............318 ··0x01a203b0·e8ec6b01·00000000·00000000·13020000·..k.............
319 ··0x01a203c0·e5ec6b01·00000000·00000000·14020000·..k.............319 ··0x01a203c0·e5ec6b01·00000000·00000000·14020000·..k.............
320 ··0x01a203d0·feec6b01·00000000·00000000·15020000·..k.............320 ··0x01a203d0·feec6b01·00000000·00000000·15020000·..k.............
321 ··0x01a203e0·fbec6b01·00000000·00000000·16020000·..k.............321 ··0x01a203e0·fbec6b01·00000000·00000000·16020000·..k.............
⊟
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·31356433·66313663·65353365·30316363·15d3f16ce53e01cc 
3 ··0x00000010·34643436·64613538·65646136·34656264·4d46da58eda64ebd2 ··0x00000000·61373639·66663531·31353934·38626235·a769ff5115948bb5
 3 ··0x00000010·32623465·34656161·65373062·35306665·2b4e4eaae70b50fe
4 ··0x00000020·31346139·65362e64·65627567·00000000·14a9e6.debug....4 ··0x00000020·32636138·38312e64·65627567·00000000·2ca881.debug....
5 ··0x00000030·78eccafb····························x...5 ··0x00000030·b4c9be2e····························....
  
⊟
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···257544·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···257556·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:·78a8eba256eb24e3c17b406552aaa630c5c279703 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·bded83d47971e7a5a82c8c80d32c2a2e6726ad7f
⊟
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·61386562·61323536·65623234·65336331·a8eba256eb24e3c1 
3 ··0x00000010·37623430·36353532·61616136·33306335·7b406552aaa630c52 ··0x00000000·65643833·64343739·37316537·61356138·ed83d47971e7a5a8
 3 ··0x00000010·32633863·38306433·32633261·32653637·2c8c80d32c2a2e67
4 ··0x00000020·63323739·37302e64·65627567·00000000·c27970.debug....4 ··0x00000020·32366164·37662e64·65627567·00000000·26ad7f.debug....
5 ··0x00000030·1b3797bf····························.7..5 ··0x00000030·55b3a616····························U...
  
⊟
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·····1668·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1668·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···323456·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···323616·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:·ea94ca62a45c100561e7ed4a0d5679c1b84c39d43 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·70ad53fbc3786692a0b0992fb234e2ee25e60291
⊟
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·39346361·36326134·35633130·30353631·94ca62a45c100561 
3 ··0x00000010·65376564·34613064·35363739·63316238·e7ed4a0d5679c1b82 ··0x00000000·61643533·66626333·37383636·39326130·ad53fbc3786692a0
 3 ··0x00000010·62303939·32666232·33346532·65653235·b0992fb234e2ee25
4 ··0x00000020·34633339·64342e64·65627567·00000000·4c39d4.debug....4 ··0x00000020·65363032·39312e64·65627567·00000000·e60291.debug....
5 ··0x00000030·19717085····························.qp.5 ··0x00000030·992d4bb6····························.-K.
  
⊟
39.8 MB
cvc5-dbgsym_1.1.2-2_i386.deb
⊟
452 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······532·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1888408·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1888664·2024-03-19·00:06:23.000000·data.tar.xz
⊟
764 B
control.tar.xz
⊟
736 B
control.tar
⊟
488 B
./control
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
1 Package:·cvc5-dbgsym1 Package:·cvc5-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:·21007 Installed-Size:·2101
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:·e8935e43f089f1498d4228c548e5206bb73f1d3412 Build-Ids:·6f68a35da86a170a7c9b8a208658521f9641618b
⊟
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/e8/935e43f089f1498d4228c548e5206bb73f1d34.debug1 usr/lib/debug/.build-id/6f/68a35da86a170a7c9b8a208658521f9641618b.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/e8/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6f/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2140108·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/e8/935e43f089f1498d4228c548e5206bb73f1d34.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2140248·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6f/68a35da86a170a7c9b8a208658521f9641618b.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/e8/935e43f089f1498d4228c548e5206bb73f1d34.debug vs.
./usr/lib/debug/.build-id/6f/68a35da86a170a7c9b8a208658521f9641618b.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 77% 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:··········2138508·(bytes·into·file)13 ··Start·of·section·headers:··········2138648·(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·0x20a18c:1 There·are·40·section·headers,·starting·at·offset·0x20a218:
  
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·151d69·00···C··0···0··434 ··[29]·.debug_info·······PROGBITS········00000000·021ab0·151df5·00···C··0···0··4
35 ··[30]·.debug_abbrev·····PROGBITS········00000000·17381c·0033b2·00···C··0···0··435 ··[30]·.debug_abbrev·····PROGBITS········00000000·1738a8·0033b2·00···C··0···0··4
36 ··[31]·.debug_line·······PROGBITS········00000000·176bd0·011714·00···C··0···0··436 ··[31]·.debug_line·······PROGBITS········00000000·176c5c·011714·00···C··0···0··4
37 ··[32]·.debug_str········PROGBITS········00000000·1882e4·02f02c·01·MSC··0···0··437 ··[32]·.debug_str········PROGBITS········00000000·188370·02f02f·01·MSC··0···0··4
38 ··[33]·.debug_line_str···PROGBITS········00000000·1b7310·0007d4·01·MSC··0···0··438 ··[33]·.debug_line_str···PROGBITS········00000000·1b73a0·0007d4·01·MSC··0···0··4
39 ··[34]·.debug_loclists···PROGBITS········00000000·1b7ae4·0330db·00···C··0···0··439 ··[34]·.debug_loclists···PROGBITS········00000000·1b7b74·0330db·00···C··0···0··4
40 ··[35]·.debug_macro······PROGBITS········00000000·1eabc0·00a0f8·00···C··0···0··440 ··[35]·.debug_macro······PROGBITS········00000000·1eac50·00a0f3·00···C··0···0··4
41 ··[36]·.debug_rnglists···PROGBITS········00000000·1f4cb8·00aeea·00···C··0···0··441 ··[36]·.debug_rnglists···PROGBITS········00000000·1f4d44·00aeea·00···C··0···0··4
42 ··[37]·.symtab···········SYMTAB··········00000000·1ffba4·0049b0·10·····38·860··442 ··[37]·.symtab···········SYMTAB··········00000000·1ffc30·0049b0·10·····38·860··4
43 ··[38]·.strtab···········STRTAB··········00000000·204554·005aa0·00······0···0··143 ··[38]·.strtab···········STRTAB··········00000000·2045e0·005aa0·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········00000000·209ff4·000198·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········00000000·20a080·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:·e8935e43f089f1498d4228c548e5206bb73f1d343 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6f68a35da86a170a7c9b8a208658521f9641618b
  
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:·27·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·27·(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:·0x2fb8e):·long·long·unsigned·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x2fb27):·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:·0x35933):·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x358cc):·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:·0xa37d9):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xa37bf):·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:·0xd8e7a):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0xd8e7a):·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:·0x2fb93):·long·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0x2fb2c):·long·unsigned·int
32 ·<1><38>:·Abbrev·Number:·37·(DW_TAG_typedef)32 ·<1><38>:·Abbrev·Number:·37·(DW_TAG_typedef)
33 ····<39>···DW_AT_name········:·(strp)·(offset:·0xb1e2):·__int8_t33 ····<39>···DW_AT_name········:·(strp)·(offset:·0xb1e2):·__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:·0xb2dc8):·signed·char41 ····<44>···DW_AT_name········:·(strp)·(offset:·0xb2dae):·signed·char
42 ·<1><48>:·Abbrev·Number:·37·(DW_TAG_typedef)42 ·<1><48>:·Abbrev·Number:·37·(DW_TAG_typedef)
43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x41fc2):·__uint8_t43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x41f5b):·__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:·37·(DW_TAG_typedef)48 ·<1><51>:·Abbrev·Number:·37·(DW_TAG_typedef)
49 ····<52>···DW_AT_name········:·(strp)·(offset:·0xb40e8):·__int16_t49 ····<52>···DW_AT_name········:·(strp)·(offset:·0xb40ce):·__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:·0x8b2a5):·short·int57 ····<5d>···DW_AT_name········:·(strp)·(offset:·0x8b26f):·short·int
58 ·<1><61>:·Abbrev·Number:·37·(DW_TAG_typedef)58 ·<1><61>:·Abbrev·Number:·37·(DW_TAG_typedef)
59 ····<62>···DW_AT_name········:·(strp)·(offset:·0xb8d63):·__uint16_t59 ····<62>···DW_AT_name········:·(strp)·(offset:·0xb8d49):·__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:·37·(DW_TAG_typedef)64 ·<1><6a>:·Abbrev·Number:·37·(DW_TAG_typedef)
65 ····<6b>···DW_AT_name········:·(strp)·(offset:·0x8b0fe):·__int32_t65 ····<6b>···DW_AT_name········:·(strp)·(offset:·0x8b0c8):·__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:·21·(DW_TAG_base_type)70 ·<1><73>:·Abbrev·Number:·21·(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:·32·(DW_TAG_const_type)74 ·<1><7a>:·Abbrev·Number:·32·(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:·37·(DW_TAG_typedef)76 ·<1><7c>:·Abbrev·Number:·37·(DW_TAG_typedef)
77 ····<7d>···DW_AT_name········:·(strp)·(offset:·0x8fb2b):·__uint32_t77 ····<7d>···DW_AT_name········:·(strp)·(offset:·0x8faf5):·__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:·37·(DW_TAG_typedef)82 ·<1><85>:·Abbrev·Number:·37·(DW_TAG_typedef)
83 ····<86>···DW_AT_name········:·(strp)·(offset:·0x9fe48):·__int64_t83 ····<86>···DW_AT_name········:·(strp)·(offset:·0x9fe2e):·__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:·37·(DW_TAG_typedef)92 ·<1><96>:·Abbrev·Number:·37·(DW_TAG_typedef)
93 ····<97>···DW_AT_name········:·(strp)·(offset:·0xe8b1):·__uint64_t93 ····<97>···DW_AT_name········:·(strp)·(offset:·0xe8b1):·__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:·37·(DW_TAG_typedef)98 ·<1><9f>:·Abbrev·Number:·37·(DW_TAG_typedef)
99 ····<a0>···DW_AT_name········:·(strp)·(offset:·0x5a14e):·__int_least8_t99 ····<a0>···DW_AT_name········:·(strp)·(offset:·0x5a118):·__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:·37·(DW_TAG_typedef)104 ·<1><a8>:·Abbrev·Number:·37·(DW_TAG_typedef)
105 ····<a9>···DW_AT_name········:·(strp)·(offset:·0x60429):·__uint_least8_t105 ····<a9>···DW_AT_name········:·(strp)·(offset:·0x603f3):·__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:·37·(DW_TAG_typedef)110 ·<1><b1>:·Abbrev·Number:·37·(DW_TAG_typedef)
111 ····<b2>···DW_AT_name········:·(strp)·(offset:·0x7fd78):·__int_least16_t111 ····<b2>···DW_AT_name········:·(strp)·(offset:·0x7fd42):·__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:·37·(DW_TAG_typedef)116 ·<1><ba>:·Abbrev·Number:·37·(DW_TAG_typedef)
117 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1103b):·__uint_least16_t117 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1103b):·__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:·37·(DW_TAG_typedef)122 ·<1><c3>:·Abbrev·Number:·37·(DW_TAG_typedef)
123 ····<c4>···DW_AT_name········:·(strp)·(offset:·0x5735d):·__int_least32_t123 ····<c4>···DW_AT_name········:·(strp)·(offset:·0x57327):·__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:·37·(DW_TAG_typedef)128 ·<1><cc>:·Abbrev·Number:·37·(DW_TAG_typedef)
129 ····<cd>···DW_AT_name········:·(strp)·(offset:·0xcb25b):·__uint_least32_t129 ····<cd>···DW_AT_name········:·(strp)·(offset:·0xcb241):·__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:·37·(DW_TAG_typedef)134 ·<1><d5>:·Abbrev·Number:·37·(DW_TAG_typedef)
Max diff block lines reached; 39887299/39895368 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 1732, 16 lines modifiedOffset 1732, 16 lines modified
1732 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11732 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1733 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11733 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1734 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11734 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1735 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11735 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1736 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·11736 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1737 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11737 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1738 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21738 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1739 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1739 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1740 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1740 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1741 ··Offset:······················0x1c3d1741 ··Offset:······················0x1c3d
1742 ··Version:·····················51742 ··Version:·····················5
1743 ··Offset·size:·················41743 ··Offset·size:·················4
  
1744 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11744 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1745 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11745 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14161, 16 lines modifiedOffset 14161, 16 lines modified
14161 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·114161 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14162 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·114162 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14163 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·114163 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14164 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·114164 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14165 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·114165 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14166 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·114166 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14167 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·214167 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14168 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"14168 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
14169 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"14169 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
14170 ··Offset:······················0x130fd14170 ··Offset:······················0x130fd
14171 ··Version:·····················514171 ··Version:·····················5
14172 ··Offset·size:·················414172 ··Offset·size:·················4
  
14173 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU14173 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14174 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE14174 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE
⊟
8.04 KB
strings --all --bytes=8 {}
    
Offset 1, 311 lines modifiedOffset 1, 315 lines modified
1 GCC:·(Debian·14.2.0-19)·14.2.01 GCC:·(Debian·14.2.0-19)·14.2.0
2 5g25GikL 
3 o*58XY» m= 
4 :,!y`74; 
5 0NT;#WwQ 
6 K{N10A2v 
7 kzA!P"4i 
8 GgiZ'yZ' 
9 m1-Y"u[,w[, 
10 WVzUy)Mrc 
11 c3:h=f-L)g 
12 xUG/=ut; 
13 >b@kWwg. 
14 +7[pLCL^ 
15 PUE/=Ut& 
16 +0$aj"*b 
17 !>;~a<wPW 
18 6YXms!r7F 
19 EEEqaGVAAAQAAqA 
20 3<u-Aa_G 
21 q"27Ntz3 
22 W·o}@y`~),/ 
23 ?RMwv»  [0Y 
24 =aI;C}4h69 
25 QD!YU(Fd 
26 ?U8-7|:x 
27 v\|;F\g; 
28 @1y,>OjY 
29 "<G<MJ_*4 
30 t3TXul$= 
31 :UXm?E"NQ7 
32 ·s\0@vnT 
33 q|5l_PET 
34 &&jn*-{g:<4 
35 "gIl\/lx 
36 #E/!i%,^)j· 
37 lh&DfJpg( 
38 D/zymiOu 
39 ;b.Gh7$hy 
40 N.EjASuk 
41 X(:=[;'1gPo 
42 u(Q;*YO( 
43 H{KEaRh32 #=6rb$5vPa
 3 #==vV,5vPa
 4 {Ie"D+/k
 5 \Xg"DT{=
 6 (AYihM\8_V
 7 )&P.2/B!:l
 8 2'dB\oeD
 9 q9B8&[`{
 10 ^z_z9C~9C
 11 ]%-Y.]\.
 12 y'0z(j|u
 13 )$aP^:oK
 14 +_8-)Z2l
 15 W_]k*S<_
 16 7ud('/^z
 17 %X7elX,M37,Xt
 18 brX#):k8
 19 +Pt+:w8U
 20 ;Q0pcJ#0
 21 \9Icq~zb\k
 22 TPTTTPQT
 23 "%P%J·nV
 24 Z1I89»  1$
 25 69GgSr#|
 26 ·ZaBYE61
 27 x&@W,=lJ*R
 28 fJ6M7Auk
 29 %2Z!Ex^*[
 30 /,uDZw%z»       
 31 8»      /!%%JE»
 32 iCauJ450
 33 »       »       EU»     ·{f
 34 AQ@QyOuuW7<
 35 gjdU4k7I
 36 QZ,·{l!F
 37 »       l\K:u=6
 38 QP1h!q$"
 39 »       njFOQ@B
 40 jC`'Tx){
 41 ]("5YS#1
 42 5t`dL(+T
 43 qwT}}Y9p
 44 :S3%&c+F
 45 mm·$!$d#lY
 46 {2C6I?}]
 47 w@v=jHaw
 48 $B6V8V,7
44 r{i^R~» o49 jGi^R~» o
45 L]<9PNX, 
46 n@:UQf\P 
47 I]Y&d961XV\O 
48 }Ed_uqFc 
49 u,uu-#6d 
50 ZiBr-P7O 
51 =gB$=\[I 
52 v3CI»   6nfH 
53 ]#7G;QK'>+ 
54 ?WK(f)I\ 
55 FU[H=O'_ 
56 Ps1|E?Yo 
57 @R/»    M06<a 
58 »       ^1Q?»   zm 
59 WtPgtP'i 
60 {GPHz4&y4 
61 14'FXbth 
62 _5%:&pj`} 
63 ("((]AA) 
64 <AZ<2c$\ 
65 K[4K?,3sK 
66 mZ1,O-Fi 
67 e#jBvb» aj'S 
68 J)~4Db0$ 
69 hs*IK%J'T 
70 1YJ?~LA# 
71 |»      :lE;»  n 
72 @gdT,xKA 
73 1y2dzW)BPq 
74 »       7]?7L.s} 
75 E]4!V9-A, 
76 ·6v'Fbu550 >z3sdjQ·E
 51 "/',~.ww
 52 ~c|;]MR~c|1
 53 5\`Xjtn\
 54 m/HdZw-5>+
 55 4`{w;o!<]w
Max diff block lines reached; 2925/8179 bytes (35.76%) 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 1223, 11928 lines modifiedOffset 1223, 11928 lines modified
1223 ··[·13b59]··_ZNSt6vectorIN4cvc516DatatypeSelectorESaIS1_EE11_S_relocateEPS1_S4_S4_RS2_1223 ··[·13b59]··_ZNSt6vectorIN4cvc516DatatypeSelectorESaIS1_EE11_S_relocateEPS1_S4_S4_RS2_
1224 ··[·13ba4]··_ZNKSt6vectorIN4cvc54TermESaIS1_EE4backEv1224 ··[·13ba4]··_ZNKSt6vectorIN4cvc54TermESaIS1_EE4backEv
1225 ··[·13bce]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEESt10_Select1stISA_ESt4lessIS1_ESaISA_EE6rbeginEv1225 ··[·13bce]··_ZNKSt8_Rb_treeIN4cvc54TermESt4pairIKS1_NSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEESt10_Select1stISA_ESt4lessIS1_ESaISA_EE6rbeginEv
1226 ··[·13c5c]··_S_eofbit1226 ··[·13c5c]··_S_eofbit
1227 ··[·13c66]··_ZNSt6locale5_ImplC4Ej1227 ··[·13c66]··_ZNSt6locale5_ImplC4Ej
1228 ··[·13c7d]··unique_ptr<cvc5::internal::options::HolderARITH,·std::default_delete<cvc5::internal::options::HolderARITH>·>1228 ··[·13c7d]··unique_ptr<cvc5::internal::options::HolderARITH,·std::default_delete<cvc5::internal::options::HolderARITH>·>
Diff chunk too large, falling back to line-by-line diff (11914 lines added, 11914 lines removed)
1229 ··[·13cea]··tmpfile1229 ··[·13cea]··tmpfile
1230 ··[·13cf2]··__isleap(year)·((year)·%·4·==·0·&&·((year)·%·100·!=·0·||·(year)·%·400·==·0))1230 ··[·13cf2]··_ZNK4cvc519DatatypeConstructor7getTermEv
1231 ··[·13d3f]··_ZNK4cvc519DatatypeConstructor7getTermEv1231 ··[·13d1b]··_ZNSt11_Tuple_implILj0EJPN4cvc56parser11InputParserESt14default_deleteIS2_EEEC4ERKS3_RKS5_
1232 ··[·13d68]··_ZNSt11_Tuple_implILj0EJPN4cvc56parser11InputParserESt14default_deleteIS2_EEEC4ERKS3_RKS5_1232 ··[·13d76]··_M_copy
1233 ··[·13dc3]··_M_copy1233 ··[·13d7e]··Warning·(!cvc5::internal::WarningChannel.isOn())·?·cvc5::internal::nullStream·:·cvc5::internal::WarningChannel
1234 ··[·13dcb]··Warning·(!cvc5::internal::WarningChannel.isOn())·?·cvc5::internal::nullStream·:·cvc5::internal::WarningChannel1234 ··[·13ded]··_ZNSt16allocator_traitsISaINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE37select_on_container_copy_constructionERKS6_
1235 ··[·13e3a]··_ZNSt16allocator_traitsISaINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE37select_on_container_copy_constructionERKS6_1235 ··[·13e6c]··SAT_UNKNOWN
1236 ··[·13eb9]··SAT_UNKNOWN1236 ··[·13e78]··_ZNK4cvc54SortgeERKS0_
1237 ··[·13ec5]··_ZNK4cvc54SortgeERKS0_1237 ··[·13e8f]··_ZNSt15__uniq_ptr_implIN4cvc58internal7options8HolderBVESt14default_deleteIS3_EE7releaseEv
1238 ··[·13edc]··_ZNSt15__uniq_ptr_implIN4cvc58internal7options8HolderBVESt14default_deleteIS3_EE7releaseEv1238 ··[·13eea]··_ZNSt5tupleIJPN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEEC4EOS7_
1239 ··[·13f37]··_ZNSt5tupleIJPN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEEC4EOS7_1239 ··[·13f3f]··_GLIBCXX_DEPRECATED_PAIR_CTOR·__attribute__·((__deprecated__·("use·'nullptr'·instead·of·'0'·to·"·"initialize·std::pair·of·move-only·"·"type·and·pointer")))
1240 ··[·13f8c]··_GLIBCXX_DEPRECATED_PAIR_CTOR·__attribute__·((__deprecated__·("use·'nullptr'·instead·of·'0'·to·"·"initialize·std::pair·of·move-only·"·"type·and·pointer")))1240 ··[·13fdb]··_ZNSt15__uniq_ptr_implIN4cvc58internal6RandomESt14default_deleteIS2_EEC4EPS2_
1241 ··[·14028]··_ZNSt15__uniq_ptr_implIN4cvc58internal6RandomESt14default_deleteIS2_EEC4EPS2_1241 ··[·14029]··STRING_TO_LOWER
1242 ··[·14076]··STRING_TO_LOWER1242 ··[·14039]··__glibcxx_want_destroying_delete
1243 ··[·14086]··__glibcxx_want_destroying_delete1243 ··[·1405a]··_ZNSt10_Head_baseILj1ESt14default_deleteIN4cvc58internal3smt14ContextManagerEELb1EE7_M_headERS6_
1244 ··[·140a7]··_ZNSt10_Head_baseILj1ESt14default_deleteIN4cvc58internal3smt14ContextManagerEELb1EE7_M_headERS6_1244 ··[·140bb]··ESRMNT·69
1245 ··[·14108]··ESRMNT·691245 ··[·140c5]··_ZNK4cvc56Solver6mkTrueEv
1246 ··[·14112]··_ZNK4cvc56Solver6mkTrueEv1246 ··[·140df]··_ZNSt15__new_allocatorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEE8allocateEjPKv
1247 ··[·1412c]··_ZNSt15__new_allocatorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEE8allocateEjPKv1247 ··[·14144]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEptEv
1248 ··[·14191]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderTHEORYESt14default_deleteIS3_EEptEv1248 ··[·1419a]··_GLIBCXX_ASAN_ANNOTATE_GREW
1249 ··[·141e7]··_GLIBCXX_ASAN_ANNOTATE_GREW1249 ··[·141b6]··_ZNOSt8optionalIyEdeEv
1250 ··[·14203]··_ZNOSt8optionalIyEdeEv1250 ··[·141cd]··_GLIBCXX17_INLINE·inline
1251 ··[·1421a]··_GLIBCXX17_INLINE·inline1251 ··[·141e6]··_SC_XOPEN_SHM·_SC_XOPEN_SHM
1252 ··[·14233]··_SC_XOPEN_SHM·_SC_XOPEN_SHM1252 ··[·14202]··REGEXP_LOOP
1253 ··[·1424f]··REGEXP_LOOP1253 ··[·1420e]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_ELb1ELb1EEaSEOS6_
1254 ··[·1425b]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_ELb1ELb1EEaSEOS6_1254 ··[·14274]··__FLT64X_DECIMAL_DIG__·21
1255 ··[·142c1]··__FLT64X_DECIMAL_DIG__·211255 ··[·1428e]··_ZNSt6locale5_Impl21_M_replace_categoriesEPKS0_i
1256 ··[·142db]··_ZNSt6locale5_Impl21_M_replace_categoriesEPKS0_i1256 ··[·142bf]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderARRAYSESt14default_deleteIS3_EEptEv
1257 ··[·1430c]··_ZNKSt10unique_ptrIN4cvc58internal7options12HolderARRAYSESt14default_deleteIS3_EEptEv1257 ··[·14315]··_ZNK4cvc54Sort16isDatatypeTesterEv
1258 ··[·14362]··_ZNK4cvc54Sort16isDatatypeTesterEv1258 ··[·14338]··MATCH_CASE
1259 ··[·14385]··MATCH_CASE1259 ··[·14343]··_ZNKSt15__new_allocatorImE7addressERm
1260 ··[·14390]··_ZNKSt15__new_allocatorImE7addressERm1260 ··[·14369]··__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::Opti[·...·truncated·by·diffoscope;·len:·111,·SHA:·cbec37367996213fcb960f594a3f33543e2704f7c9f129e331d752a17326309e·...·]
1261 ··[·143b6]··__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·...·]1261 ··[·144d4]··_GLIBCXX_HAVE_UNLINKAT·1
1262 ··[·14521]··_GLIBCXX_HAVE_UNLINKAT·11262 ··[·144ed]··CONST_BITVECTOR
1263 ··[·1453a]··CONST_BITVECTOR1263 ··[·144fd]··putwchar
1264 ··[·1454a]··putwchar1264 ··[·14506]··_ZNSt11_Tuple_implILj0EJPN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEE7_M_headERKS7_
1265 ··[·14553]··_ZNSt11_Tuple_implILj0EJPN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEE7_M_headERKS7_1265 ··[·1456e]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options14HolderBOOLEANSELb0EEC4EOS5_
1266 ··[·145bb]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options14HolderBOOLEANSELb0EEC4EOS5_1266 ··[·145ba]··__normal_iterator<cvc5::main::PortfolioConfig*,·std::vector<cvc5::main::PortfolioConfig,·std::allocator<cvc5::main::PortfolioConfig>·>·>
1267 ··[·14607]··__normal_iterator<cvc5::main::PortfolioConfig*,·std::vector<cvc5::main::PortfolioConfig,·std::allocator<cvc5::main::PortfolioConfig>·>·>1267 ··[·14643]··BITVECTOR_UADDO
1268 ··[·14690]··BITVECTOR_UADDO1268 ··[·14653]··SEQ_REPLACE_ALL
1269 ··[·146a0]··SEQ_REPLACE_ALL1269 ··[·14663]··__STD_TYPE
1270 ··[·146b0]··__STD_TYPE1270 ··[·1466e]··_LARGEFILE_SOURCE·1
1271 ··[·146bb]··_LARGEFILE_SOURCE·11271 ··[·14682]··__SC_THREAD_STACK_MIN_VALUE·75
1272 ··[·146cf]··__SC_THREAD_STACK_MIN_VALUE·751272 ··[·146a1]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE6cbeginEv
1273 ··[·146ee]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE6cbeginEv1273 ··[·146e1]··ENOLINK·67
1274 ··[·1472e]··ENOLINK·671274 ··[·146ec]··_ZNKSt10unique_ptrIN4cvc58internal3smt11CheckModelsESt14default_deleteIS3_EEptEv
1275 ··[·14739]··_ZNKSt10unique_ptrIN4cvc58internal3smt11CheckModelsESt14default_deleteIS3_EEptEv1275 ··[·1473d]··_ZNKOSt8optionalIdEdeEv
1276 ··[·1478a]··_ZNKOSt8optionalIdEdeEv1276 ··[·14755]··_ZN9__gnu_cxx14__alloc_traitsISaIN4cvc54main15PortfolioConfigEES3_E20_S_propagate_on_swapEv
1277 ··[·147a2]··_ZN9__gnu_cxx14__alloc_traitsISaIN4cvc54main15PortfolioConfigEES3_E20_S_propagate_on_swapEv1277 ··[·147b1]··__add_lvalue_reference_helper<cvc5::internal::options::HolderQUANTIFIERS,·void>
1278 ··[·147fe]··__add_lvalue_reference_helper<cvc5::internal::options::HolderQUANTIFIERS,·void>1278 ··[·14801]··_ZNSt14_Optional_baseIxLb1ELb1EEaSEOS0_
1279 ··[·1484e]··_ZNSt14_Optional_baseIxLb1ELb1EEaSEOS0_1279 ··[·14829]··_ZNK4cvc56Solver15declareSygusVarERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4SortE
1280 ··[·14876]··_ZNK4cvc56Solver15declareSygusVarERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERKNS_4SortE1280 ··[·1488d]··_ZNK4cvc516DatatypeSelector7getTermEv
1281 ··[·148da]··_ZNK4cvc516DatatypeSelector7getTermEv1281 ··[·148b3]··_ZNSt15__uniq_ptr_implIN4cvc513APIStatisticsESt14default_deleteIS1_EE4swapERS4_
1282 ··[·14900]··_ZNSt15__uniq_ptr_implIN4cvc513APIStatisticsESt14default_deleteIS1_EE4swapERS4_1282 ··[·14903]··_ZNKSt3setISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjESt4lessIS7_ESaIS7_EE11upper_boundERKS7_
1283 ··[·14950]··_ZNKSt3setISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjESt4lessIS7_ESaIS7_EE11upper_boundERKS7_1283 ··[·14974]··__is_single_threaded
1284 ··[·149c1]··__is_single_threaded1284 ··[·14989]··_Tuple_impl<1,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>·>
1285 ··[·149d6]··_Tuple_impl<1,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>·>1285 ··[·149d7]··_ZNSt5tupleIJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEEC4ERKS7_
1286 ··[·14a24]··_ZNSt5tupleIJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEEC4ERKS7_1286 ··[·14a25]··_ZNSt15__uniq_ptr_implIN4cvc58internal12SolverEngineESt14default_deleteIS2_EE5resetEPS2_
1287 ··[·14a72]··_ZNSt15__uniq_ptr_implIN4cvc58internal12SolverEngineESt14default_deleteIS2_EE5resetEPS2_1287 ··[·14a7e]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE8_M_beginEv
1288 ··[·14acb]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE8_M_beginEv1288 ··[·14aff]··_GLIBCXX_USE_TMPNAM·1
1289 ··[·14b4c]··_GLIBCXX_USE_TMPNAM·11289 ··[·14b15]··allocator_type
1290 ··[·14b62]··allocator_type1290 ··[·14b24]··getUnsatCore
1291 ··[·14b71]··getUnsatCore1291 ··[·14b31]··_ZNSt14default_deleteIN4cvc56parser13SymbolManagerEEC4Ev
1292 ··[·14b7e]··_ZNSt14default_deleteIN4cvc56parser13SymbolManagerEEC4Ev1292 ··[·14b6a]··_ZNKSt10unique_ptrIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEdeEv
1293 ··[·14bb7]··_ZNKSt10unique_ptrIN4cvc58internal3smt17SolverEngineStateESt14default_deleteIS3_EEdeEv1293 ··[·14bc1]··_ZNK4cvc58internal8WarningC9getStreamEv
1294 ··[·14c0e]··_ZNK4cvc58internal8WarningC9getStreamEv1294 ··[·14be9]··_ZNSt10unique_ptrIN4cvc58internal7options14OptionsHandlerESt14default_deleteIS3_EE4swapERS6_
1295 ··[·14c36]··_ZNSt10unique_ptrIN4cvc58internal7options14OptionsHandlerESt14default_deleteIS3_EE4swapERS6_1295 ··[·14c46]··default_delete<cvc5::internal::options::HolderSEP>
1296 ··[·14c93]··default_delete<cvc5::internal::options::HolderSEP>1296 ··[·14c79]··unique_ptr<cvc5::main::CommandExecutor,·std::default_delete<cvc5::main::CommandExecutor>·>
1297 ··[·14cc6]··unique_ptr<cvc5::main::CommandExecutor,·std::default_delete<cvc5::main::CommandExecutor>·>1297 ··[·14cd4]··unique_ptr<cvc5::internal::smt::ResourceOutListener,·std::default_delete<cvc5::internal::smt::ResourceOutListener>·>
1298 ··[·14d21]··unique_ptr<cvc5::internal::smt::ResourceOutListener,·std::default_delete<cvc5::internal::smt::ResourceOutListener>·>1298 ··[·14d49]··__glibcxx_want_three_way_comparison
1299 ··[·14d96]··__glibcxx_want_three_way_comparison1299 ··[·14d6d]··_Construct
1300 ··[·14dba]··_Construct1300 ··[·14d78]··_ZN4cvc54Term14const_iteratorppEi
1301 ··[·14dc5]··_ZN4cvc54Term14const_iteratorppEi1301 ··[·14d9a]··wctype_t
1302 ··[·14de7]··wctype_t1302 ··[·14da3]··isExpert
1303 ··[·14df0]··isExpert1303 ··[·14dac]··_ZNSt10unique_ptrIN4cvc54main15CommandExecutorESt14default_deleteIS2_EED4Ev
1304 ··[·14df9]··_ZNSt10unique_ptrIN4cvc54main15CommandExecutorESt14default_deleteIS2_EED4Ev1304 ··[·14df8]··_GLIBCXX_USE_C99_INTTYPES·1
1305 ··[·14e45]··_GLIBCXX_USE_C99_INTTYPES·11305 ··[·14e14]··_ZNSt12__shared_ptrIN4cvc58internal5DTypeELN9__gnu_cxx12_Lock_policyE2EE4swapERS5_
1306 ··[·14e61]··_ZNSt12__shared_ptrIN4cvc58internal5DTypeELN9__gnu_cxx12_Lock_policyE2EE4swapERS5_1306 ··[·14e67]··_ZN4cvc54Term14const_iteratorppEv
1307 ··[·14eb4]··_ZN4cvc54Term14const_iteratorppEv1307 ··[·14e89]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5eraseERSB_
1308 ··[·14ed6]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5eraseERSB_1308 ··[·14f00]··_ZNSt15__new_allocatorIN4cvc523DatatypeConstructorDeclEED4Ev
1309 ··[·14f4d]··_ZNSt15__new_allocatorIN4cvc523DatatypeConstructorDeclEED4Ev1309 ··[·14f3d]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12find_last_ofEPKcjj
1310 ··[·14f8a]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12find_last_ofEPKcjj1310 ··[·14f88]··_Ptr<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·void>
1311 ··[·14fd5]··_Ptr<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·void>1311 ··[·14ff0]··value_compare
1312 ··[·1503d]··value_compare1312 ··[·14ffe]··_ZN4cvc58internal12SolverEngine6getEnvEv
1313 ··[·1504b]··_ZN4cvc58internal12SolverEngine6getEnvEv1313 ··[·15027]··_ZNSt10_Head_baseILj0EPN4cvc54Stat8StatDataELb0EEC4Ev
1314 ··[·15074]··_ZNSt10_Head_baseILj0EPN4cvc54Stat8StatDataELb0EEC4Ev1314 ··[·1505d]··_ZNSt12_Vector_baseIjSaIjEEC4Ej
1315 ··[·150aa]··_ZNSt12_Vector_baseIjSaIjEEC4Ej1315 ··[·1507d]··_SC_XBS5_LP64_OFF64·_SC_XBS5_LP64_OFF64
1316 ··[·150ca]··_SC_XBS5_LP64_OFF64·_SC_XBS5_LP64_OFF641316 ··[·150a5]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEEbEaSEOS9_
1317 ··[·150f2]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjEEbEaSEOS9_1317 ··[·15110]··xsputn
1318 ··[·1515d]··xsputn1318 ··[·15117]··_ZNSt6vectorIN4cvc54TermESaIS1_EE18_M_fill_initializeEjRKS1_
1319 ··[·15164]··_ZNSt6vectorIN4cvc54TermESaIS1_EE18_M_fill_initializeEjRKS1_1319 ··[·15154]··__uniq_ptr_impl<cvc5::internal::options::HolderPRINTER,·std::default_delete<cvc5::internal::options::HolderPRINTER>·>
1320 ··[·151a1]··__uniq_ptr_impl<cvc5::internal::options::HolderPRINTER,·std::default_delete<cvc5::internal::options::HolderPRINTER>·>1320 ··[·151ca]··_ZNSt12_Vector_baseIN4cvc54main15PortfolioConfigESaIS2_EE17_Vector_impl_dataC4Ev
1321 ··[·15217]··_ZNSt12_Vector_baseIN4cvc54main15PortfolioConfigESaIS2_EE17_Vector_impl_dataC4Ev1321 ··[·1521b]··_ZNSt12__shared_ptrIN4cvc56parser3CmdELN9__gnu_cxx12_Lock_policyE2EEC4ERKSt10__weak_ptrIS2_LS4_2EESt9nothrow_t
1322 ··[·15268]··_ZNSt12__shared_ptrIN4cvc56parser3CmdELN9__gnu_cxx12_Lock_policyE2EEC4ERKSt10__weak_ptrIS2_LS4_2EESt9nothrow_t1322 ··[·1528a]··_ZNKSt12_Node_handleISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_SaISt13_Rb_tree_nodeIS7_EEE6_M_keyEv
1323 ··[·152d7]··_ZNKSt12_Node_handleISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEjES7_SaISt13_Rb_tree_nodeIS7_EEE6_M_keyEv1323 ··[·15305]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS4_
1324 ··[·15352]··_ZNSt10_Head_baseILj0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS4_1324 ··[·1534c]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE12_Vector_implC4EOS2_OS4_
1325 ··[·15399]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE12_Vector_implC4EOS2_OS4_1325 ··[·1539b]··__new_allocator<bool>
1326 ··[·153e8]··__new_allocator<bool>1326 ··[·153b1]··__GLIBC_USE_LIB_EXT2·1
1327 ··[·153fe]··__GLIBC_USE_LIB_EXT2·11327 ··[·153c8]··writeSmt
1328 ··[·15415]··writeSmt1328 ··[·153d1]··_ZNSt15__uniq_ptr_implIN4cvc54main15CommandExecutorESt14default_deleteIS2_EEC4EOS5_
1329 ··[·1541e]··_ZNSt15__uniq_ptr_implIN4cvc54main15CommandExecutorESt14default_deleteIS2_EEC4EOS5_1329 ··[·15425]··crend
1330 ··[·15472]··crend1330 ··[·1542b]··_ZN4cvc58internal12SolverEngine16checkSatInternalERKSt6vectorINS0_12NodeTemplateILb1EEESaIS4_EE
1331 ··[·15478]··_ZN4cvc58internal12SolverEngine16checkSatInternalERKSt6vectorINS0_12NodeTemplateILb1EEESaIS4_EE1331 ··[·1548b]··_STRINGFWD_H·1
1332 ··[·154d8]··_STRINGFWD_H·11332 ··[·1549a]··appendIncrementalStringInput
1333 ··[·154e7]··appendIncrementalStringInput1333 ··[·154b7]··_ZNKSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EE6rbeginEv
1334 ··[·15504]··_ZNKSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EE6rbeginEv1334 ··[·154f4]··ProofFormat
1335 ··[·15541]··ProofFormat1335 ··[·15500]··checkSatAssuming
1336 ··[·1554d]··checkSatAssuming1336 ··[·15511]··_ZNSt16allocator_traitsISaIN4cvc523DatatypeConstructorDeclEEE10deallocateERS2_PS1_j
1337 ··[·1555e]··_ZNSt16allocator_traitsISaIN4cvc523DatatypeConstructorDeclEEE10deallocateERS2_PS1_j1337 ··[·15565]··_ZN4cvc58internal12SolverEngine21getStatisticsRegistryEv
1338 ··[·155b2]··_ZN4cvc58internal12SolverEngine21getStatisticsRegistryEv1338 ··[·1559e]··~Proof
1339 ··[·155eb]··~Proof1339 ··[·155a5]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEmiEi
1340 ··[·155f2]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEmiEi1340 ··[·15618]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7compareERKS4_
1341 ··[·15665]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7compareERKS4_1341 ··[·1565d]··_ZNSt11_Tuple_implILj1EJSt14default_deleteIN4cvc58internal3smt17SolverEngineStateEEEEC4ERKS6_
1342 ··[·156aa]··_ZNSt11_Tuple_implILj1EJSt14default_deleteIN4cvc58internal3smt17SolverEngineStateEEEEC4ERKS6_1342 ··[·156bb]··__cpp_lib_is_invocable·201703L
1343 ··[·15708]··__cpp_lib_is_invocable·201703L1343 ··[·156da]··ARITH_MULT_TANGENT
1344 ··[·15727]··ARITH_MULT_TANGENT1344 ··[·156ed]··ATOMIC_CHAR_LOCK_FREE·__GCC_ATOMIC_CHAR_LOCK_FREE
1345 ··[·1573a]··ATOMIC_CHAR_LOCK_FREE·__GCC_ATOMIC_CHAR_LOCK_FREE1345 ··[·1571f]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4EOS4_
1346 ··[·1576c]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4EOS4_1346 ··[·1575c]··_ZNSoD2Ev
1347 ··[·157a9]··_ZNSoD2Ev1347 ··[·15766]··__glibcxx_want_bitops
1348 ··[·157b3]··__glibcxx_want_bitops1348 ··[·1577c]··_M_swap
Max diff block lines reached; 400/1845922 bytes (0.02%) of diff not shown.
⊟
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_i386.deb
⊟
369 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0·179710452·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·179711796·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:·1791537 Installed-Size:·179154
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:·1315d3f16ce53e01cc4d46da58eda64ebd14a9e613 Build-Ids:·5aa769ff5115948bb52b4e4eaae70b50fe2ca881
⊟
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/13/15d3f16ce53e01cc4d46da58eda64ebd14a9e6.debug1 usr/lib/debug/.build-id/5a/a769ff5115948bb52b4e4eaae70b50fe2ca881.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/13/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5a/
7 -rw-r--r--···0·root·········(0)·root·········(0)·183441680·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/13/15d3f16ce53e01cc4d46da58eda64ebd14a9e6.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·183443444·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5a/a769ff5115948bb52b4e4eaae70b50fe2ca881.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/13/15d3f16ce53e01cc4d46da58eda64ebd14a9e6.debug vs.
./usr/lib/debug/.build-id/5a/a769ff5115948bb52b4e4eaae70b50fe2ca881.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:··········183440080·(bytes·into·file)13 ··Start·of·section·headers:··········183441844·(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·0xaef12d0:1 There·are·40·section·headers,·starting·at·offset·0xaef19b4:
  
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··········01a12fc0·0006b0·00a0e8·00··WA··0···0·3227 ··[22]·.data.rel.ro······NOBITS··········01a12fc0·0006b0·00a0e8·00··WA··0···0·32
28 ··[23]·.dynamic··········NOBITS··········01a1d0a8·0006b0·000128·08··WA··4···0··428 ··[23]·.dynamic··········NOBITS··········01a1d0a8·0006b0·000128·08··WA··4···0··4
29 ··[24]·.got··············NOBITS··········01a1d1d0·0006b0·001e1c·04··WA··0···0··429 ··[24]·.got··············NOBITS··········01a1d1d0·0006b0·001e1c·04··WA··0···0··4
30 ··[25]·.data·············NOBITS··········01a1f000·0006b0·004690·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········01a1f000·0006b0·004690·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········01a236a0·0006b0·001580·00··WA··0···0·3231 ··[26]·.bss··············NOBITS··········01a236a0·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·00c8cc·00···C··0···0··433 ··[28]·.debug_aranges····PROGBITS········00000000·0001b8·00c8cc·00···C··0···0··4
34 ··[29]·.debug_info·······PROGBITS········00000000·00ca84·85cd38c·00···C··0···0··434 ··[29]·.debug_info·······PROGBITS········00000000·00ca84·85cdadb·00···C··0···0··4
35 ··[30]·.debug_abbrev·····PROGBITS········00000000·85d9e10·0d9464·00···C··0···0··435 ··[30]·.debug_abbrev·····PROGBITS········00000000·85da560·0d9464·00···C··0···0··4
36 ··[31]·.debug_line·······PROGBITS········00000000·86b3274·8f1e85·00···C··0···0··436 ··[31]·.debug_line·······PROGBITS········00000000·86b39c4·8f1e85·00···C··0···0··4
37 ··[32]·.debug_str········PROGBITS········00000000·8fa50fc·3d8a36·01·MSC··0···0··437 ··[32]·.debug_str········PROGBITS········00000000·8fa584c·3d8a38·01·MSC··0···0··4
38 ··[33]·.debug_line_str···PROGBITS········00000000·937db34·0028be·01·MSC··0···0··438 ··[33]·.debug_line_str···PROGBITS········00000000·937e284·0028be·01·MSC··0···0··4
39 ··[34]·.debug_loclists···PROGBITS········00000000·93803f4·11054c5·00···C··0···0··439 ··[34]·.debug_loclists···PROGBITS········00000000·9380b44·11054c7·00···C··0···0··4
40 ··[35]·.debug_macro······PROGBITS········00000000·a4858bc·16a551·00···C··0···0··440 ··[35]·.debug_macro······PROGBITS········00000000·a48600c·16a4e8·00···C··0···0··4
41 ··[36]·.debug_rnglists···PROGBITS········00000000·a5efe10·5ae1d5·00···C··0···0··441 ··[36]·.debug_rnglists···PROGBITS········00000000·a5f04f4·5ae1d5·00···C··0···0··4
42 ··[37]·.symtab···········SYMTAB··········00000000·ab9dfe8·0a2d10·10·····38·38963··442 ··[37]·.symtab···········SYMTAB··········00000000·ab9e6cc·0a2d10·10·····38·38963··4
43 ··[38]·.strtab···········STRTAB··········00000000·ac40cf8·2b0446·00······0···0··143 ··[38]·.strtab···········STRTAB··········00000000·ac413dc·2b0446·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········00000000·aef113e·00018f·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········00000000·aef1822·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:·1315d3f16ce53e01cc4d46da58eda64ebd14a9e63 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·5aa769ff5115948bb52b4e4eaae70b50fe2ca881
⊟
24.3 MB
readelf --wide --debug-dump=info {}
    
Offset 24, 35 lines modifiedOffset 24, 35 lines modified
24 ·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·18·(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:·0x1aa9a):·unsigned·char27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1aa9a):·unsigned·char
28 ·<1><31>:·Abbrev·Number:·18·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·18·(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:·0x122e8):·short·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0x12302):·short·unsigned·int
32 ·<1><38>:·Abbrev·Number:·18·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·18·(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:·0x1391f):·long·unsigned·int35 ····<3b>···DW_AT_name········:·(strp)·(offset:·0x13939):·long·unsigned·int
36 ·<1><3f>:·Abbrev·Number:·18·(DW_TAG_base_type)36 ·<1><3f>:·Abbrev·Number:·18·(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:·0x1bed9):·signed·char39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x1bed9):·signed·char
40 ·<1><46>:·Abbrev·Number:·18·(DW_TAG_base_type)40 ·<1><46>:·Abbrev·Number:·18·(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:·0x1dbc0):·short·int43 ····<49>···DW_AT_name········:·(strp)·(offset:·0x1dbc0):·short·int
44 ·<1><4d>:·Abbrev·Number:·18·(DW_TAG_base_type)44 ·<1><4d>:·Abbrev·Number:·18·(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:·0x1391a):·long·long·unsigned·int47 ····<50>···DW_AT_name········:·(strp)·(offset:·0x13934):·long·long·unsigned·int
48 ·<1><54>:·Abbrev·Number:·18·(DW_TAG_base_type)48 ·<1><54>:·Abbrev·Number:·18·(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:·0x17b61):·long·int51 ····<57>···DW_AT_name········:·(strp)·(offset:·0x17b7b):·long·int
52 ·<1><5b>:·Abbrev·Number:·18·(DW_TAG_base_type)52 ·<1><5b>:·Abbrev·Number:·18·(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:·0x1bee0):·char55 ····<5e>···DW_AT_name········:·(strp)·(offset:·0x1bee0):·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:·5·(DW_TAG_member)148 ·<2><110>:·Abbrev·Number:·5·(DW_TAG_member)
149 ····<111>···DW_AT_name········:·(strp)·(offset:·0xf941):·__max_align_f128149 ····<111>···DW_AT_name········:·(strp)·(offset:·0xf95b):·__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:·35·(DW_TAG_typedef)]771 ····<41f>···DW_AT_import······:·(ref_udata)·<0x11f>»   [Abbrev·Number:·35·(DW_TAG_typedef)]
772 ·<2><420>:·Abbrev·Number:·0772 ·<2><420>:·Abbrev·Number:·0
773 ·<1><421>:·Abbrev·Number:·11·(DW_TAG_pointer_type)773 ·<1><421>:·Abbrev·Number:·11·(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:·28·(DW_TAG_typedef)776 ·<1><424>:·Abbrev·Number:·28·(DW_TAG_typedef)
777 ····<425>···DW_AT_name········:·(strp)·(offset:·0x17404):·wint_t777 ····<425>···DW_AT_name········:·(strp)·(offset:·0x1741e):·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:·18·(DW_TAG_array_type)782 ·<1><430>:·Abbrev·Number:·18·(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:·0x1ef41):·_IO_read_end817 ····<46c>···DW_AT_name········:·(strp)·(offset:·0x1ef41):·_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)·56819 ····<471>···DW_AT_decl_line···:·(data1)·56
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:·43·(DW_TAG_member)823 ·<2><476>:·Abbrev·Number:·43·(DW_TAG_member)
824 ····<477>···DW_AT_name········:·(strp)·(offset:·0x10080):·_IO_read_base824 ····<477>···DW_AT_name········:·(strp)·(offset:·0x1009a):·_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)·57826 ····<47c>···DW_AT_decl_line···:·(data1)·57
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:·43·(DW_TAG_member)830 ·<2><481>:·Abbrev·Number:·43·(DW_TAG_member)
831 ····<482>···DW_AT_name········:·(strp)·(offset:·0x4db0):·_IO_write_base831 ····<482>···DW_AT_name········:·(strp)·(offset:·0x4db0):·_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)·58833 ····<487>···DW_AT_decl_line···:·(data1)·58
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:·43·(DW_TAG_member)837 ·<2><48c>:·Abbrev·Number:·43·(DW_TAG_member)
838 ····<48d>···DW_AT_name········:·(strp)·(offset:·0xf762):·_IO_write_ptr838 ····<48d>···DW_AT_name········:·(strp)·(offset:·0xf77c):·_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)·59840 ····<492>···DW_AT_decl_line···:·(data1)·59
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:·43·(DW_TAG_member)844 ·<2><497>:·Abbrev·Number:·43·(DW_TAG_member)
845 ····<498>···DW_AT_name········:·(strp)·(offset:·0xde14):·_IO_write_end845 ····<498>···DW_AT_name········:·(strp)·(offset:·0xde14):·_IO_write_end
Offset 852, 36 lines modifiedOffset 852, 36 lines modified
852 ····<4a3>···DW_AT_name········:·(strp)·(offset:·0xaf11):·_IO_buf_base852 ····<4a3>···DW_AT_name········:·(strp)·(offset:·0xaf11):·_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)·61854 ····<4a8>···DW_AT_decl_line···:·(data1)·61
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:·43·(DW_TAG_member)858 ·<2><4ad>:·Abbrev·Number:·43·(DW_TAG_member)
859 ····<4ae>···DW_AT_name········:·(strp)·(offset:·0x1500b):·_IO_buf_end859 ····<4ae>···DW_AT_name········:·(strp)·(offset:·0x15025):·_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)·62861 ····<4b3>···DW_AT_decl_line···:·(data1)·62
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:·43·(DW_TAG_member)865 ·<2><4b8>:·Abbrev·Number:·43·(DW_TAG_member)
866 ····<4b9>···DW_AT_name········:·(strp)·(offset:·0xdecc):·_IO_save_base866 ····<4b9>···DW_AT_name········:·(strp)·(offset:·0xdecc):·_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)·65868 ····<4be>···DW_AT_decl_line···:·(data1)·65
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:·43·(DW_TAG_member)872 ·<2><4c3>:·Abbrev·Number:·43·(DW_TAG_member)
873 ····<4c4>···DW_AT_name········:·(strp)·(offset:·0x1091a):·_IO_backup_base873 ····<4c4>···DW_AT_name········:·(strp)·(offset:·0x10934):·_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)·66875 ····<4c9>···DW_AT_decl_line···:·(data1)·66
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:·43·(DW_TAG_member)879 ·<2><4ce>:·Abbrev·Number:·43·(DW_TAG_member)
880 ····<4cf>···DW_AT_name········:·(strp)·(offset:·0x18a3c):·_IO_save_end880 ····<4cf>···DW_AT_name········:·(strp)·(offset:·0x18a56):·_IO_save_end
Max diff block lines reached; 25461707/25469009 bytes (99.97%) of diff not shown.
⊟
3.48 KB
readelf --wide --debug-dump=macro {}
    
Offset 1559, 16 lines modifiedOffset 1559, 16 lines modified
1559 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11559 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1560 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11560 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1561 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11561 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1562 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11562 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1563 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11563 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1564 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11564 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1565 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21565 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1566 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1566 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1567 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1567 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1568 ··Offset:······················0x19b11568 ··Offset:······················0x19b1
1569 ··Version:·····················51569 ··Version:·····················5
1570 ··Offset·size:·················41570 ··Offset·size:·················4
  
1571 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11571 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1572 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11572 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52738, 16 lines modifiedOffset 52738, 16 lines modified
52738 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152738 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52739 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152739 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52740 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152740 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52741 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152741 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52742 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152742 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52743 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152743 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52744 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252744 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52745 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52745 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52746 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52746 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52747 ··Offset:······················0x490ab52747 ··Offset:······················0x490ab
52748 ··Version:·····················552748 ··Version:·····················5
52749 ··Offset·size:·················452749 ··Offset·size:·················4
  
52750 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52750 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52751 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52751 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1342043, 15 lines modifiedOffset 1342043, 15 lines modified
1342043 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1342043 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1342044 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421342044 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1342045 ·DW_MACRO_end_file1342045 ·DW_MACRO_end_file
1342046 ·DW_MACRO_import·-·offset·:·0x521931342046 ·DW_MACRO_import·-·offset·:·0x52193
1342047 ·DW_MACRO_end_file1342047 ·DW_MACRO_end_file
1342048 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1351342048 ·DW_MACRO_start_file·-·lineno:·49·filenum:·135
1342049 ·DW_MACRO_end_file1342049 ·DW_MACRO_end_file
1342050 ·DW_MACRO_start_file·-·lineno:·51·filenum:·3021342050 ·DW_MACRO_start_file·-·lineno:·50·filenum:·302
1342051 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11342051 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1342052 ·DW_MACRO_start_file·-·lineno:·41·filenum:·141342052 ·DW_MACRO_start_file·-·lineno:·41·filenum:·14
1342053 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1342053 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1342054 ·DW_MACRO_start_file·-·lineno:·33·filenum:·151342054 ·DW_MACRO_start_file·-·lineno:·33·filenum:·15
1342055 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11342055 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1342056 ·DW_MACRO_start_file·-·lineno:·35·filenum:·161342056 ·DW_MACRO_start_file·-·lineno:·35·filenum:·16
1342057 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11342057 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1342059, 17 lines modifiedOffset 1342059, 17 lines modified
1342059 ·DW_MACRO_end_file1342059 ·DW_MACRO_end_file
1342060 ·DW_MACRO_end_file1342060 ·DW_MACRO_end_file
1342061 ·DW_MACRO_import·-·offset·:·0x9dea1342061 ·DW_MACRO_import·-·offset·:·0x9dea
1342062 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1761342062 ·DW_MACRO_start_file·-·lineno:·56·filenum:·176
1342063 ·DW_MACRO_import·-·offset·:·0x50eb531342063 ·DW_MACRO_import·-·offset·:·0x50eb53
1342064 ·DW_MACRO_end_file1342064 ·DW_MACRO_end_file
1342065 ·DW_MACRO_end_file1342065 ·DW_MACRO_end_file
1342066 ·DW_MACRO_start_file·-·lineno:·52·filenum:·1111342066 ·DW_MACRO_start_file·-·lineno:·51·filenum:·31
1342067 ·DW_MACRO_end_file1342067 ·DW_MACRO_end_file
1342068 ·DW_MACRO_start_file·-·lineno:·54·filenum:·311342068 ·DW_MACRO_start_file·-·lineno:·53·filenum:·111
1342069 ·DW_MACRO_end_file1342069 ·DW_MACRO_end_file
1342070 ·DW_MACRO_start_file·-·lineno:·57·filenum:·821342070 ·DW_MACRO_start_file·-·lineno:·57·filenum:·82
1342071 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1342071 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1342072 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1761342072 ·DW_MACRO_start_file·-·lineno:·42·filenum:·176
1342073 ·DW_MACRO_import·-·offset·:·0x50f13f1342073 ·DW_MACRO_import·-·offset·:·0x50f13f
1342074 ·DW_MACRO_end_file1342074 ·DW_MACRO_end_file
1342075 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1391342075 ·DW_MACRO_start_file·-·lineno:·43·filenum:·139
⊟
627 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ····00a3e051·v0000000·v0000000·location·view·pair4194297 ····00a3e051·v0000000·v0000000·location·view·pair
  
4194298 ····00a3e053·006a75f4·(base·address)4194298 ····00a3e053·006a75f4·(base·address)
4194299 ····00a3e058·v0000002·v0000000·views·at·00a3e049·for:4194299 ····00a3e058·v0000002·v0000000·views·at·00a3e049·for:
4194300 ·············006a75f4·006a7621·(DW_OP_fbreg:·-132;·DW_OP_stack_value)4194300 ·············006a75f4·006a7621·(DW_OP_fbreg:·-132;·DW_OP_stack_value)
4194301 ····00a3e060·v0000000·v0000000·views·at·00a3e04b·for:4194301 ····00a3e060·v0000000·v0000000·views·at·00a3e04b·for:
4194302 ·············006a7621·006a762b·(DW_OP_reg2·(edx))4194302 ·············006a7621·006a762b·(DW_OP_reg2·(edx))
4194303 [·Too·much·input·for·diff·(SHA256:·789d8d9751147fc0662bd3b00adb995f6bae5504058c81782d36c510f3c03494)·]4194303 [·Too·much·input·for·diff·(SHA256:·7c88bc28a5d66d3b24b7a4445bcb0a3a3ae75eab9081d2a50fc6a6b87d96f646)·]
⊟
623 KB
strings --all --bytes=8 {}
    
Offset 1, 29095 lines modifiedOffset 1, 28857 lines modified
1 GCC:·(Debian·14.2.0-19)·14.2.01 GCC:·(Debian·14.2.0-19)·14.2.0
2 klGIWL3R2 klGIWL3R
3 gW:|Ita73 gW:|Ita7
4 fql?&h=64 fql?&h=6
5 _»      S>U/4}85 _»      S>U/4}8
6 LLoOZuFgm6 LLoOZuFgm
7 VS|7CwNbC7 VS|7CwNbC
8 qK<ILmRi 
9 Mg0vJqtg 
10 %GTf0Z^v 
11 yt<\W~$4 
12 ~Ke[T~[& 
13 Eq81+&h. 
14 Tl_KNyKOg 
15 +a.K85Cz 
16 KW»     rK{tP# 
17 8[4fQXe08 »       \(#Yj*>
 9 Cl4T(kZw
 10 ,b0~jqtk
 11 %_Cx.gRM
 12 +tDmBGd8
 13 tfvBhuavBhuevBhuc
 14 ja.>RLy5D.
 15 })]}i!^9
 16 pFI~TMTaY
 17 O·7L+N/w
18 4vXoSR`))|18 4vXoSR`))|
 19 A|T|j|A|M
 20 s!t$%:x8
 21 LCmwMPTC
 22 m4Dxen<lP
 23 A[u7Vyc%
 24 X?hc#Rv1
 25 R@MsZ3`7
 26 SyRvme*u
 27 Cpbl>B,8
 28 !ki6GzwUc{3Ug
 29 ·oM6vD~0
 30 »       ·os<j"2
 31 *PCR6dXc<
 32 NKAq}]VA;
19 PT^{QK3i 
20 ')J(NT+}x 
21 a4_9N(>F# 
22 T?<ABneA 
23 +OI3kIE5> 
24 hL5]LO<- 
25 KrB!c{)) 
26 dv{Ho_gt 
27 5r7oY}wuh8 
28 J!R{XN|X 
29 a`-h|tbM 
30 MT1IR\`p 
31 $'E[/Od}K 
32 Uji^E&Sb@ 
33 P:BiUt#'(5 
34 VN"+$+j-33 VN"+$+j-
35 NPlhAj3^ 
36 ·DI9V-K0~ 
37 :_N'aOWPW 
38 `]khW\!kiU 
39 :#hj)^Sg 
40 _O&@rjgt 
41 Vmdm·{uG 
42 KK/tLCtt 
43 [xf"x^!R. 
44 O5=M^B`s 
45 k$fmnp9h 
46 =M{Iu<SU 
47 B?(tbJ8QJ 
48 4v·gY&mr 
49 ({&a~^>0^Z) 
50 U345x0ae 
51 ]SY<ULcl 
52 oW!kR6#] 
53 gu)@nG=d 
54 ?)R·='(c 
55 ]0LKE[Sw2f 
56 v+J8C*D> 
57 dW#yn,w6 
58 &zDv\M%< 
59 [@zjpggWO 
60 f28O{lge 
61 77oazqqs 
62 "~:acPj. 
63 8C32O*@, 
64 C^>Vag*dA 
65 06:`4,5E? 
66 F+)aenI: 
67 v]JX)=i· 
68 6#h>E:)H( 
69 F_o-xI3»> 
70 Lx=Pi&A% 
71 H_n-xI3) 
72 90B?ZO}c 
73 Kr?<UuxHV 
74 7»      ,66ib' 
75 \h)?6<FN2 
76 g&H;)A:=" 
77 &%e<4<fN 
78 qCCQC&}W$ 
79 SP]Qeh+* 
80 N>w»    P>h? 
81 ·ys5M&@r 
82 P!]O&!aE34 ]IFe@HP*
 35 u+x(P{TE
 36 [e>E>j6b
 37 9;I3KXDZ
 38 yg9[w5)CG
 39 uND*65ux
 40 l,vl-u\qX
 41 ;tj}5]Z7
 42 -F1)tj(F
 43 !;l:Y+]u
 44 b!jKeQ[C
 45 o%%aIE» E
 46 JxJ*E9A=
 47 ]h=`=BM]
 48 S=i7R&xb
 49 t-xHGHH>
 50 iuVxdaDk
 51 *q+TNt]L
 52 rFS$:E)-{{
 53 9J~GyE6Sx[
 54 yk;UB<Ym
 55 NH_rgjRZ5
 56 tW'M'E+Z
Max diff block lines reached; 633862/637400 bytes (99.44%) 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 293