⊟
24.9 MB
/srv/reproducible-results/rbuild-debian/r-b-build.vRqyaN31/b1/cvc5_1.1.2-2_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.vRqyaN31/b2/cvc5_1.1.2-2_amd64.changes
⊟
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·cec1995d68567ef7cd497604fbbcd453·1883416·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb 
2 ·d89cc212e09b9e475fdfa31804c51367·108072·math·optional·cvc5_1.1.2-2_amd64.deb 
3 ·ffa0ad7f2b03b50da525b21deefd76af·182741836·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb 
4 ·087946a04f060cf37827f3f176dd295d·6686424·libs·optional·libcvc5-1_1.1.2-2_amd64.deb1 ·2835fe1558bfc4e14fc246d8c80393ff·1883532·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb
 2 ·ec4a687676e7127445b87388674e05e9·107516·math·optional·cvc5_1.1.2-2_amd64.deb
 3 ·e03996b1d71a2557a1a08814990ae6b7·182742624·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb
 4 ·c3a3c719ed87efe5f23f68196c6b5ee4·6684904·libs·optional·libcvc5-1_1.1.2-2_amd64.deb
5 ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb5 ·ac8ddc29b51a2e586d2e7f24e288929b·93012·libdevel·optional·libcvc5-dev_1.1.2-2_amd64.deb
6 ·d34cc8945640cfd8acbc5c891359a26e·4093400·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb 
7 ·9508c95df19b76c9bb9a72d0e1d76147·236328·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb6 ·80d431b7c487b4f1cfa82a66263cc9bb·4093400·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
 7 ·6f5c4b1c4823088a46c928b93159f0e6·236344·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb
8 ·7a5a58391cb1fe7c5fa69d13dd755100·2667272·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb8 ·670ab201c51977ec23c15b10fe70a40e·2667708·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb
9 ·3449071908763b7ad76962ee08c5df06·339748·python·optional·python3-cvc5_1.1.2-2_amd64.deb9 ·e1d237e011d6b4826b131318a4b9b0fd·340560·python·optional·python3-cvc5_1.1.2-2_amd64.deb
⊟
2.27 KB
cvc5_1.1.2-2_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···106764·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···106208·2024-03-19·00:06:23.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
1.77 KB
data.tar.xz
⊟
1.75 KB
data.tar
⊟
1.74 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
821 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.property1 Displaying·notes·found·in:·.note.gnu.property
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·x86·ISA·needed:·x86-64-baseline
  
4 Displaying·notes·found·in:·.note.gnu.build-id4 Displaying·notes·found·in:·.note.gnu.build-id
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·d22670b43f3965192f629672519af78c1334b2f26 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·1fecacf074498ccb2e339e8ece6cf013086f40b3
  
7 Displaying·notes·found·in:·.note.ABI-tag7 Displaying·notes·found·in:·.note.ABI-tag
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
⊟
866 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: Unable to find program interpreter name readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·32363730·62343366·33393635·31393266·2670b43f3965192f 
3 ··0x00000010·36323936·37323531·39616637·38633133·629672519af78c132 ··0x00000000·65636163·66303734·34393863·63623265·ecacf074498ccb2e
 3 ··0x00000010·33333965·38656365·36636630·31333038·339e8ece6cf01308
4 ··0x00000020·33346232·66322e64·65627567·00000000·34b2f2.debug....4 ··0x00000020·36663430·62332e64·65627567·00000000·6f40b3.debug....
5 ··0x00000030·97a1484a····························..HJ5 ··0x00000030·4230fdfa····························B0..
  
⊟
22.2 KB
libcvc5-1_1.1.2-2_amd64.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·····1280·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··6684952·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··6683436·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
⊟
21.6 KB
data.tar.xz
⊟
21.6 KB
data.tar
⊟
21.6 KB
./usr/lib/x86_64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
8.31 KB
readelf --wide --relocs {}
    
Offset 3796, 15 lines modifiedOffset 3796, 15 lines modified
3796 000000000186afa8··0000000000000008·R_X86_64_RELATIVE·························15a025f3796 000000000186afa8··0000000000000008·R_X86_64_RELATIVE·························15a025f
3797 000000000186afb0··0000000000000008·R_X86_64_RELATIVE·························15a02583797 000000000186afb0··0000000000000008·R_X86_64_RELATIVE·························15a0258
3798 000000000186afc0··0000000000000008·R_X86_64_RELATIVE·························15a13933798 000000000186afc0··0000000000000008·R_X86_64_RELATIVE·························15a1393
3799 000000000186afc8··0000000000000008·R_X86_64_RELATIVE·························1597cc93799 000000000186afc8··0000000000000008·R_X86_64_RELATIVE·························1597cc9
3800 000000000186afd0··0000000000000008·R_X86_64_RELATIVE·························1597ce33800 000000000186afd0··0000000000000008·R_X86_64_RELATIVE·························1597ce3
3801 000000000186afe0··0000000000000008·R_X86_64_RELATIVE·························15a13933801 000000000186afe0··0000000000000008·R_X86_64_RELATIVE·························15a1393
3802 000000000186afe8··0000000000000008·R_X86_64_RELATIVE·························159b8f73802 000000000186afe8··0000000000000008·R_X86_64_RELATIVE·························159b8f7
3803 000000000186aff0··0000000000000008·R_X86_64_RELATIVE·························15a278d3803 000000000186aff0··0000000000000008·R_X86_64_RELATIVE·························15a27a1
3804 000000000186b000··0000000000000008·R_X86_64_RELATIVE·························15a346c3804 000000000186b000··0000000000000008·R_X86_64_RELATIVE·························15a346c
3805 000000000186b008··0000000000000008·R_X86_64_RELATIVE·························15a18873805 000000000186b008··0000000000000008·R_X86_64_RELATIVE·························15a1887
3806 000000000186b010··0000000000000008·R_X86_64_RELATIVE·························15a18793806 000000000186b010··0000000000000008·R_X86_64_RELATIVE·························15a1879
3807 000000000186b020··0000000000000008·R_X86_64_RELATIVE·························15a18553807 000000000186b020··0000000000000008·R_X86_64_RELATIVE·························15a1855
3808 000000000186b028··0000000000000008·R_X86_64_RELATIVE·························15a185f3808 000000000186b028··0000000000000008·R_X86_64_RELATIVE·························15a185f
3809 000000000186b030··0000000000000008·R_X86_64_RELATIVE·························15a18683809 000000000186b030··0000000000000008·R_X86_64_RELATIVE·························15a1868
3810 000000000186b038··0000000000000008·R_X86_64_RELATIVE·························15a17393810 000000000186b038··0000000000000008·R_X86_64_RELATIVE·························15a1739
Offset 4227, 29 lines modifiedOffset 4227, 29 lines modified
4227 000000000186bf08··0000000000000008·R_X86_64_RELATIVE·························15a2a784227 000000000186bf08··0000000000000008·R_X86_64_RELATIVE·························15a2a78
4228 000000000186bf10··0000000000000008·R_X86_64_RELATIVE·························15a2a954228 000000000186bf10··0000000000000008·R_X86_64_RELATIVE·························15a2a95
4229 000000000186bf18··0000000000000008·R_X86_64_RELATIVE·························15a20cc4229 000000000186bf18··0000000000000008·R_X86_64_RELATIVE·························15a20cc
4230 000000000186bf20··0000000000000008·R_X86_64_RELATIVE·························15a2a9f4230 000000000186bf20··0000000000000008·R_X86_64_RELATIVE·························15a2a9f
4231 000000000186bf28··0000000000000008·R_X86_64_RELATIVE·························15a3a2f4231 000000000186bf28··0000000000000008·R_X86_64_RELATIVE·························15a3a2f
4232 000000000186bf30··0000000000000008·R_X86_64_RELATIVE·························15a20d34232 000000000186bf30··0000000000000008·R_X86_64_RELATIVE·························15a20d3
4233 000000000186bf38··0000000000000008·R_X86_64_RELATIVE·························15a34fb4233 000000000186bf38··0000000000000008·R_X86_64_RELATIVE·························15a34fb
4234 000000000186bf40··0000000000000008·R_X86_64_RELATIVE·························15a278d4234 000000000186bf40··0000000000000008·R_X86_64_RELATIVE·························15a27a1
4235 000000000186bf48··0000000000000008·R_X86_64_RELATIVE·························15a20ef4235 000000000186bf48··0000000000000008·R_X86_64_RELATIVE·························15a20ef
4236 000000000186bf50··0000000000000008·R_X86_64_RELATIVE·························15a20f64236 000000000186bf50··0000000000000008·R_X86_64_RELATIVE·························15a20f6
4237 000000000186bf58··0000000000000008·R_X86_64_RELATIVE·························159aff44237 000000000186bf58··0000000000000008·R_X86_64_RELATIVE·························159aff4
4238 000000000186bf60··0000000000000008·R_X86_64_RELATIVE·························15a2baf4238 000000000186bf60··0000000000000008·R_X86_64_RELATIVE·························15a2baf
4239 000000000186bf68··0000000000000008·R_X86_64_RELATIVE·························15a35064239 000000000186bf68··0000000000000008·R_X86_64_RELATIVE·························15a3506
4240 000000000186bf70··0000000000000008·R_X86_64_RELATIVE·························15a1dbf4240 000000000186bf70··0000000000000008·R_X86_64_RELATIVE·························15a1dbf
4241 000000000186bf78··0000000000000008·R_X86_64_RELATIVE·························15a21024241 000000000186bf78··0000000000000008·R_X86_64_RELATIVE·························15a2102
4242 000000000186bf80··0000000000000008·R_X86_64_RELATIVE·························15a21124242 000000000186bf80··0000000000000008·R_X86_64_RELATIVE·························15a2112
4243 000000000186bf88··0000000000000008·R_X86_64_RELATIVE·························15a212a4243 000000000186bf88··0000000000000008·R_X86_64_RELATIVE·························15a212a
4244 000000000186bf90··0000000000000008·R_X86_64_RELATIVE·························15a213f4244 000000000186bf90··0000000000000008·R_X86_64_RELATIVE·························15a213f
4245 000000000186bf98··0000000000000008·R_X86_64_RELATIVE·························15a21524245 000000000186bf98··0000000000000008·R_X86_64_RELATIVE·························15a2152
4246 000000000186bfa0··0000000000000008·R_X86_64_RELATIVE·························15a216a4246 000000000186bfa0··0000000000000008·R_X86_64_RELATIVE·························15a216a
4247 000000000186bfa8··0000000000000008·R_X86_64_RELATIVE·························15a217b4247 000000000186bfa8··0000000000000008·R_X86_64_RELATIVE·························15a217b
4248 000000000186bfb0··0000000000000008·R_X86_64_RELATIVE·························15a27824248 000000000186bfb0··0000000000000008·R_X86_64_RELATIVE·························15a2796
4249 000000000186bfb8··0000000000000008·R_X86_64_RELATIVE·························15a2ab74249 000000000186bfb8··0000000000000008·R_X86_64_RELATIVE·························15a2ab7
4250 000000000186bfc0··0000000000000008·R_X86_64_RELATIVE·························15a218a4250 000000000186bfc0··0000000000000008·R_X86_64_RELATIVE·························15a218a
4251 000000000186bfc8··0000000000000008·R_X86_64_RELATIVE·························15a351a4251 000000000186bfc8··0000000000000008·R_X86_64_RELATIVE·························15a351a
4252 000000000186bfd0··0000000000000008·R_X86_64_RELATIVE·························15a219a4252 000000000186bfd0··0000000000000008·R_X86_64_RELATIVE·························15a219a
4253 000000000186bfd8··0000000000000008·R_X86_64_RELATIVE·························15a21a94253 000000000186bfd8··0000000000000008·R_X86_64_RELATIVE·························15a21a9
4254 000000000186bfe0··0000000000000008·R_X86_64_RELATIVE·························15a21c04254 000000000186bfe0··0000000000000008·R_X86_64_RELATIVE·························15a21c0
4255 000000000186bfe8··0000000000000008·R_X86_64_RELATIVE·························15a35274255 000000000186bfe8··0000000000000008·R_X86_64_RELATIVE·························15a3527
Offset 4471, 15 lines modifiedOffset 4471, 15 lines modified
4471 000000000186c6a8··0000000000000008·R_X86_64_RELATIVE·························15a27704471 000000000186c6a8··0000000000000008·R_X86_64_RELATIVE·························15a2770
4472 000000000186c6b0··0000000000000008·R_X86_64_RELATIVE·························15a386c4472 000000000186c6b0··0000000000000008·R_X86_64_RELATIVE·························15a386c
4473 000000000186c6b8··0000000000000008·R_X86_64_RELATIVE·························15a387e4473 000000000186c6b8··0000000000000008·R_X86_64_RELATIVE·························15a387e
4474 000000000186c6c0··0000000000000008·R_X86_64_RELATIVE·························15a277a4474 000000000186c6c0··0000000000000008·R_X86_64_RELATIVE·························15a277a
4475 000000000186c6c8··0000000000000008·R_X86_64_RELATIVE·························15953294475 000000000186c6c8··0000000000000008·R_X86_64_RELATIVE·························1595329
4476 000000000186c6d0··0000000000000008·R_X86_64_RELATIVE·························15952ce4476 000000000186c6d0··0000000000000008·R_X86_64_RELATIVE·························15952ce
4477 000000000186c6d8··0000000000000008·R_X86_64_RELATIVE·························15a2dbc4477 000000000186c6d8··0000000000000008·R_X86_64_RELATIVE·························15a2dbc
4478 000000000186c6e0··0000000000000008·R_X86_64_RELATIVE·························15a27914478 000000000186c6e0··0000000000000008·R_X86_64_RELATIVE·························15a2782
4479 000000000186c6f0··0000000000000008·R_X86_64_RELATIVE·························1877c284479 000000000186c6f0··0000000000000008·R_X86_64_RELATIVE·························1877c28
4480 000000000186c6f8··0000000000000008·R_X86_64_RELATIVE·························14a0b804480 000000000186c6f8··0000000000000008·R_X86_64_RELATIVE·························14a0b80
4481 000000000186c700··0000000000000008·R_X86_64_RELATIVE·························14a0c404481 000000000186c700··0000000000000008·R_X86_64_RELATIVE·························14a0c40
4482 000000000186c708··0000000000000008·R_X86_64_RELATIVE·························14a09904482 000000000186c708··0000000000000008·R_X86_64_RELATIVE·························14a0990
4483 000000000186c710··0000000000000008·R_X86_64_RELATIVE·························14a2b704483 000000000186c710··0000000000000008·R_X86_64_RELATIVE·························14a2b70
4484 000000000186c718··0000000000000008·R_X86_64_RELATIVE·························14a09704484 000000000186c718··0000000000000008·R_X86_64_RELATIVE·························14a0970
4485 000000000186c720··0000000000000008·R_X86_64_RELATIVE·························14a0d204485 000000000186c720··0000000000000008·R_X86_64_RELATIVE·························14a0d20
Offset 8478, 15 lines modifiedOffset 8478, 15 lines modified
8478 000000000187d300··0000000000000008·R_X86_64_RELATIVE·························15976ce8478 000000000187d300··0000000000000008·R_X86_64_RELATIVE·························15976ce
8479 000000000187d320··0000000000000008·R_X86_64_RELATIVE·························15953498479 000000000187d320··0000000000000008·R_X86_64_RELATIVE·························1595349
8480 000000000187d340··0000000000000008·R_X86_64_RELATIVE·························159b8f78480 000000000187d340··0000000000000008·R_X86_64_RELATIVE·························159b8f7
8481 000000000187d360··0000000000000008·R_X86_64_RELATIVE·························15a2ba08481 000000000187d360··0000000000000008·R_X86_64_RELATIVE·························15a2ba0
8482 000000000187d380··0000000000000008·R_X86_64_RELATIVE·························15a2b9d8482 000000000187d380··0000000000000008·R_X86_64_RELATIVE·························15a2b9d
8483 000000000187d3a0··0000000000000008·R_X86_64_RELATIVE·························15a20fd8483 000000000187d3a0··0000000000000008·R_X86_64_RELATIVE·························15a20fd
8484 000000000187d3c0··0000000000000008·R_X86_64_RELATIVE·························15a1fc38484 000000000187d3c0··0000000000000008·R_X86_64_RELATIVE·························15a1fc3
8485 000000000187d3e0··0000000000000008·R_X86_64_RELATIVE·························15a278d8485 000000000187d3e0··0000000000000008·R_X86_64_RELATIVE·························15a27a1
8486 000000000187d400··0000000000000008·R_X86_64_RELATIVE·························15953638486 000000000187d400··0000000000000008·R_X86_64_RELATIVE·························1595363
8487 000000000187d420··0000000000000008·R_X86_64_RELATIVE·························15a20ef8487 000000000187d420··0000000000000008·R_X86_64_RELATIVE·························15a20ef
8488 000000000187d440··0000000000000008·R_X86_64_RELATIVE·························15a2baf8488 000000000187d440··0000000000000008·R_X86_64_RELATIVE·························15a2baf
8489 000000000187d460··0000000000000008·R_X86_64_RELATIVE·························15a2bac8489 000000000187d460··0000000000000008·R_X86_64_RELATIVE·························15a2bac
8490 000000000187d480··0000000000000008·R_X86_64_RELATIVE·························15a2bbd8490 000000000187d480··0000000000000008·R_X86_64_RELATIVE·························15a2bbd
8491 000000000187d4a0··0000000000000008·R_X86_64_RELATIVE·························15a2bba8491 000000000187d4a0··0000000000000008·R_X86_64_RELATIVE·························15a2bba
8492 000000000187d4c0··0000000000000008·R_X86_64_RELATIVE·························1599dd38492 000000000187d4c0··0000000000000008·R_X86_64_RELATIVE·························1599dd3
Offset 8629, 16 lines modifiedOffset 8629, 16 lines modified
8629 000000000187e5e0··0000000000000008·R_X86_64_RELATIVE·························15a213f8629 000000000187e5e0··0000000000000008·R_X86_64_RELATIVE·························15a213f
8630 000000000187e600··0000000000000008·R_X86_64_RELATIVE·························15a1dbf8630 000000000187e600··0000000000000008·R_X86_64_RELATIVE·························15a1dbf
8631 000000000187e620··0000000000000008·R_X86_64_RELATIVE·························15a21528631 000000000187e620··0000000000000008·R_X86_64_RELATIVE·························15a2152
8632 000000000187e640··0000000000000008·R_X86_64_RELATIVE·························15a216a8632 000000000187e640··0000000000000008·R_X86_64_RELATIVE·························15a216a
8633 000000000187e660··0000000000000008·R_X86_64_RELATIVE·························15a217b8633 000000000187e660··0000000000000008·R_X86_64_RELATIVE·························15a217b
8634 000000000187e680··0000000000000008·R_X86_64_RELATIVE·························15a2f078634 000000000187e680··0000000000000008·R_X86_64_RELATIVE·························15a2f07
8635 000000000187e6a0··0000000000000008·R_X86_64_RELATIVE·························15a2f048635 000000000187e6a0··0000000000000008·R_X86_64_RELATIVE·························15a2f04
8636 000000000187e6c0··0000000000000008·R_X86_64_RELATIVE·························15a2791 
8637 000000000187e6e0··0000000000000008·R_X86_64_RELATIVE·························15a27828636 000000000187e6c0··0000000000000008·R_X86_64_RELATIVE·························15a2782
 8637 000000000187e6e0··0000000000000008·R_X86_64_RELATIVE·························15a2796
8638 000000000187e700··0000000000000008·R_X86_64_RELATIVE·························15a2f1e8638 000000000187e700··0000000000000008·R_X86_64_RELATIVE·························15a2f1e
8639 000000000187e720··0000000000000008·R_X86_64_RELATIVE·························15a2f1b8639 000000000187e720··0000000000000008·R_X86_64_RELATIVE·························15a2f1b
8640 000000000187e740··0000000000000008·R_X86_64_RELATIVE·························15a1f188640 000000000187e740··0000000000000008·R_X86_64_RELATIVE·························15a1f18
8641 000000000187e760··0000000000000008·R_X86_64_RELATIVE·························15a2f338641 000000000187e760··0000000000000008·R_X86_64_RELATIVE·························15a2f33
8642 000000000187e780··0000000000000008·R_X86_64_RELATIVE·························15a2f308642 000000000187e780··0000000000000008·R_X86_64_RELATIVE·························15a2f30
8643 000000000187e7a0··0000000000000008·R_X86_64_RELATIVE·························15a2f498643 000000000187e7a0··0000000000000008·R_X86_64_RELATIVE·························15a2f49
8644 000000000187e7c0··0000000000000008·R_X86_64_RELATIVE·························15a2f468644 000000000187e7c0··0000000000000008·R_X86_64_RELATIVE·························15a2f46
⊟
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:·74e4795d155634be9556b74f8c87dcaf6c4534cf3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·9794d8d7cb30fcbaa09e7c4c0a9448e3d8040de4
⊟
395 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 26824, 16 lines modifiedOffset 26824, 16 lines modified
26824 trigger-active-sel26824 trigger-active-sel
26825 trigger-sel26825 trigger-sel
26826 uf-ss-abort-card26826 uf-ss-abort-card
26827 unate-lemmas26827 unate-lemmas
26828 unsat-cores-mode26828 unsat-cores-mode
26829 user-pat26829 user-pat
26830 user-pool26830 user-pool
26831 partitions-out 
26832 write-partitions-to26831 write-partitions-to
 26832 partitions-out
26833 Argument·'26833 Argument·'
26834 '·for·bool·option·26834 '·for·bool·option·
26835 ·is·not·a·bool·constant26835 ·is·not·a·bool·constant
26836 ·is·negative26836 ·is·negative
26837 ·did·parse·only·partially·as·26837 ·did·parse·only·partially·as·
26838 ,·leaving·'26838 ,·leaving·'
26839 ·did·not·parse·as·26839 ·did·not·parse·as·
⊟
3.81 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 669765, 19 lines modifiedOffset 669765, 19 lines modified
669765 »       movl···$0x75,0x12c0(%rsp)669765 »       movl···$0x75,0x12c0(%rsp)
669766 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669766 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669767 »       lea····0x12f0(%rsp),%rdi669767 »       lea····0x12f0(%rsp),%rdi
669768 »       lea····0x12ce7a3(%rip),%rsi········669768 »       lea····0x12ce7a3(%rip),%rsi········
669769 »       movl···$0x76,0x12e8(%rsp)669769 »       movl···$0x76,0x12e8(%rsp)
669770 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669770 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669771 »       lea····0x1318(%rsp),%rdi669771 »       lea····0x1318(%rsp),%rdi
669772 »       lea····0x12c07bc(%rip),%rsi········669772 »       lea····0x12c2b41(%rip),%rsi········
669773 »       movl···$0x77,0x1310(%rsp)669773 »       movl···$0x77,0x1310(%rsp)
669774 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669774 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669775 »       lea····0x1340(%rsp),%rdi669775 »       lea····0x1340(%rsp),%rdi
669776 »       lea····0x12c2b22(%rip),%rsi········669776 »       lea····0x12c079d(%rip),%rsi········
669777 »       movl···$0x78,0x1338(%rsp)669777 »       movl···$0x78,0x1338(%rsp)
669778 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669778 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669779 »       lea····0x1368(%rsp),%rdi669779 »       lea····0x1368(%rsp),%rdi
669780 »       lea····0x12cd2f2(%rip),%rsi········669780 »       lea····0x12cd2f2(%rip),%rsi········
669781 »       movl···$0x78,0x1360(%rsp)669781 »       movl···$0x78,0x1360(%rsp)
669782 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669782 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669783 »       lea····0x1390(%rsp),%rdi669783 »       lea····0x1390(%rsp),%rdi
Offset 670217, 19 lines modifiedOffset 670217, 19 lines modified
670217 »       movl···$0xe4,0x2468(%rsp)670217 »       movl···$0xe4,0x2468(%rsp)
670218 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670218 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670219 »       lea····0x2498(%rsp),%rdi670219 »       lea····0x2498(%rsp),%rdi
670220 »       lea····0x12cdbde(%rip),%rsi········670220 »       lea····0x12cdbde(%rip),%rsi········
670221 »       movl···$0xe5,0x2490(%rsp)670221 »       movl···$0xe5,0x2490(%rsp)
670222 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670222 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670223 »       lea····0x24c0(%rsp),%rdi670223 »       lea····0x24c0(%rsp),%rdi
670224 »       lea····0x12bfa27(%rip),%rsi········670224 »       lea····0x12cce65(%rip),%rsi········
670225 »       movl···$0xe6,0x24b8(%rsp)670225 »       movl···$0xe6,0x24b8(%rsp)
670226 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670226 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670227 »       lea····0x24e8(%rsp),%rdi670227 »       lea····0x24e8(%rsp),%rdi
670228 »       lea····0x12cce32(%rip),%rsi········670228 »       lea····0x12bfa08(%rip),%rsi········
670229 »       movl···$0xe7,0x24e0(%rsp)670229 »       movl···$0xe7,0x24e0(%rsp)
670230 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670230 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670231 »       lea····0x2510(%rsp),%rdi670231 »       lea····0x2510(%rsp),%rdi
670232 »       lea····0x12cc775(%rip),%rsi········670232 »       lea····0x12cc775(%rip),%rsi········
670233 »       movl···$0xe7,0x2508(%rsp)670233 »       movl···$0xe7,0x2508(%rsp)
670234 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670234 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670235 »       lea····0x2538(%rsp),%rdi670235 »       lea····0x2538(%rsp),%rdi
Offset 670645, 19 lines modifiedOffset 670645, 19 lines modified
670645 »       movl···$0x148,0x3520(%rsp)670645 »       movl···$0x148,0x3520(%rsp)
670646 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670646 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670647 »       lea····0x3550(%rsp),%rdi670647 »       lea····0x3550(%rsp),%rdi
670648 »       lea····0x12cbda0(%rip),%rsi········670648 »       lea····0x12cbda0(%rip),%rsi········
670649 »       movl···$0x149,0x3548(%rsp)670649 »       movl···$0x149,0x3548(%rsp)
670650 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670650 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670651 »       lea····0x3578(%rsp),%rdi670651 »       lea····0x3578(%rsp),%rdi
670652 »       lea····0x12c3eb2(%rip),%rsi········670652 »       lea····0x12cbd96(%rip),%rsi········
670653 »       movl···$0x14a,0x3570(%rsp)670653 »       movl···$0x14a,0x3570(%rsp)
670654 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670654 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670655 »       lea····0x35a0(%rsp),%rdi670655 »       lea····0x35a0(%rsp),%rdi
670656 »       lea····0x12cbd77(%rip),%rsi········670656 »       lea····0x12c3e93(%rip),%rsi········
670657 »       movl···$0x14b,0x3598(%rsp)670657 »       movl···$0x14b,0x3598(%rsp)
670658 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670658 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670659 »       lea····0x35c8(%rsp),%rdi670659 »       lea····0x35c8(%rsp),%rdi
670660 »       lea····0x12cd516(%rip),%rsi········670660 »       lea····0x12cd516(%rip),%rsi········
670661 »       movl···$0x14b,0x35c0(%rsp)670661 »       movl···$0x14b,0x35c0(%rsp)
670662 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670662 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670663 »       lea····0x35f0(%rsp),%rdi670663 »       lea····0x35f0(%rsp),%rdi
Offset 671201, 15 lines modifiedOffset 671201, 15 lines modified
671201 »       movl···$0x1d2,0x4ad8(%rsp)671201 »       movl···$0x1d2,0x4ad8(%rsp)
671202 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>671202 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
671203 »       lea····0x4b08(%rsp),%rdi671203 »       lea····0x4b08(%rsp),%rdi
671204 »       lea····0x12cb09b(%rip),%rsi········671204 »       lea····0x12cb09b(%rip),%rsi········
671205 »       movl···$0x1d3,0x4b00(%rsp)671205 »       movl···$0x1d3,0x4b00(%rsp)
671206 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>671206 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
671207 »       lea····0x4b30(%rsp),%rax671207 »       lea····0x4b30(%rsp),%rax
671208 »       lea····0x12cb08b(%rip),%rsi········671208 »       lea····0x12cb090(%rip),%rsi········
671209 »       movl···$0x1d4,0x4b28(%rsp)671209 »       movl···$0x1d4,0x4b28(%rsp)
671210 »       mov····%rax,%rdi671210 »       mov····%rax,%rdi
671211 »       mov····%rax,0x18(%rsp)671211 »       mov····%rax,0x18(%rsp)
671212 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>671212 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
671213 /usr/include/c++/14/bits/hashtable.h:499671213 /usr/include/c++/14/bits/hashtable.h:499
671214 »       lea····0x15ae10b(%rip),%rax········671214 »       lea····0x15ae10b(%rip),%rax········
671215 /usr/include/c++/14/bits/hashtable.h:1254671215 /usr/include/c++/14/bits/hashtable.h:1254
Offset 4194296, 8 lines modifiedOffset 4194296, 8 lines modified
4194296 »       and····$0xf00000ff,%edx4194296 »       and····$0xf00000ff,%edx
4194297 »       and····$0xfffff,%eax4194297 »       and····$0xfffff,%eax
4194298 »       shl····$0x8,%eax4194298 »       shl····$0x8,%eax
4194299 »       or·····%eax,%edx4194299 »       or·····%eax,%edx
4194300 »       mov····%edx,0x4(%r14)4194300 »       mov····%edx,0x4(%r14)
4194301 ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:274·(discriminator·3)4194301 ./obj-x86_64-linux-gnu/src/./src/theory/quantifiers/instantiate.cpp:274·(discriminator·3)
4194302 »       lea····-0x270(%rbp),%rbx4194302 »       lea····-0x270(%rbp),%rbx
4194303 [·Too·much·input·for·diff·(SHA256:·8093d20303391736fe19c85b1bb00d372e69b6f73bd94f097d1ca1f9dacfb6ac)·]4194303 [·Too·much·input·for·diff·(SHA256:·707766ad80a51286ccb1c16566553a4e748927a7e9ddda184d9e56ecaf840153)·]
⊟
1.43 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 22644, 17 lines modifiedOffset 22644, 17 lines modified
22644 ··0x015a2710·63650074·72696767·65722d61·63746976·ce.trigger-activ22644 ··0x015a2710·63650074·72696767·65722d61·63746976·ce.trigger-activ
22645 ··0x015a2720·652d7365·6c007472·69676765·722d7365·e-sel.trigger-se22645 ··0x015a2720·652d7365·6c007472·69676765·722d7365·e-sel.trigger-se
22646 ··0x015a2730·6c007566·2d737300·75662d73·732d6162·l.uf-ss.uf-ss-ab22646 ··0x015a2730·6c007566·2d737300·75662d73·732d6162·l.uf-ss.uf-ss-ab
22647 ··0x015a2740·6f72742d·63617264·00756e61·74652d6c·ort-card.unate-l22647 ··0x015a2740·6f72742d·63617264·00756e61·74652d6c·ort-card.unate-l
22648 ··0x015a2750·656d6d61·7300756e·7361742d·636f7265·emmas.unsat-core22648 ··0x015a2750·656d6d61·7300756e·7361742d·636f7265·emmas.unsat-core
22649 ··0x015a2760·732d6d6f·64650075·7365722d·70617400·s-mode.user-pat.22649 ··0x015a2760·732d6d6f·64650075·7365722d·70617400·s-mode.user-pat.
22650 ··0x015a2770·75736572·2d706f6f·6c007665·72626f73·user-pool.verbos22650 ··0x015a2770·75736572·2d706f6f·6c007665·72626f73·user-pool.verbos
22651 ··0x015a2780·65007061·72746974·696f6e73·2d6f7574·e.partitions-out 
22652 ··0x015a2790·00777269·74652d70·61727469·74696f6e·.write-partition22651 ··0x015a2780·65007772·6974652d·70617274·6974696f·e.write-partitio
 22652 ··0x015a2790·6e732d74·6f007061·72746974·696f6e73·ns-to.partitions
22653 ··0x015a27a0·732d746f·00417267·756d656e·74202700·s-to.Argument·'.22653 ··0x015a27a0·2d6f7574·00417267·756d656e·74202700·-out.Argument·'.
22654 ··0x015a27b0·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio22654 ··0x015a27b0·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio
22655 ··0x015a27c0·6e200020·6973206e·6f742061·20626f6f·n·.·is·not·a·boo22655 ··0x015a27c0·6e200020·6973206e·6f742061·20626f6f·n·.·is·not·a·boo
22656 ··0x015a27d0·6c20636f·6e737461·6e740025·66002720·l·constant.%f.'·22656 ··0x015a27d0·6c20636f·6e737461·6e740025·66002720·l·constant.%f.'·
22657 ··0x015a27e0·666f7220·00206973·206e6567·61746976·for·.·is·negativ22657 ··0x015a27e0·666f7220·00206973·206e6567·61746976·for·.·is·negativ
22658 ··0x015a27f0·65002064·69642070·61727365·206f6e6c·e.·did·parse·onl22658 ··0x015a27f0·65002064·69642070·61727365·206f6e6c·e.·did·parse·onl
22659 ··0x015a2800·79207061·72746961·6c6c7920·61732000·y·partially·as·.22659 ··0x015a2800·79207061·72746961·6c6c7920·61732000·y·partially·as·.
22660 ··0x015a2810·2c206c65·6176696e·67202700·20646964·,·leaving·'.·did22660 ··0x015a2810·2c206c65·6176696e·67202700·20646964·,·leaving·'.·did
⊟
3.84 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 1925, 15 lines modifiedOffset 1925, 15 lines modified
1925 ··0x0186af80·cf7f5901·00000000·95185a01·00000000·..Y.......Z.....1925 ··0x0186af80·cf7f5901·00000000·95185a01·00000000·..Y.......Z.....
1926 ··0x0186af90·a4185a01·00000000·00000000·00000000·..Z.............1926 ··0x0186af90·a4185a01·00000000·00000000·00000000·..Z.............
1927 ··0x0186afa0·cc895901·00000000·5f025a01·00000000·..Y....._.Z.....1927 ··0x0186afa0·cc895901·00000000·5f025a01·00000000·..Y....._.Z.....
1928 ··0x0186afb0·58025a01·00000000·00000000·00000000·X.Z.............1928 ··0x0186afb0·58025a01·00000000·00000000·00000000·X.Z.............
1929 ··0x0186afc0·93135a01·00000000·c97c5901·00000000·..Z......|Y.....1929 ··0x0186afc0·93135a01·00000000·c97c5901·00000000·..Z......|Y.....
1930 ··0x0186afd0·e37c5901·00000000·00000000·00000000·.|Y.............1930 ··0x0186afd0·e37c5901·00000000·00000000·00000000·.|Y.............
1931 ··0x0186afe0·93135a01·00000000·f7b85901·00000000·..Z.......Y.....1931 ··0x0186afe0·93135a01·00000000·f7b85901·00000000·..Z.......Y.....
1932 ··0x0186aff0·8d275a01·00000000·00000000·00000000·.'Z.............1932 ··0x0186aff0·a1275a01·00000000·00000000·00000000·.'Z.............
1933 ··0x0186b000·6c345a01·00000000·87185a01·00000000·l4Z.......Z.....1933 ··0x0186b000·6c345a01·00000000·87185a01·00000000·l4Z.......Z.....
1934 ··0x0186b010·79185a01·00000000·00000000·00000000·y.Z.............1934 ··0x0186b010·79185a01·00000000·00000000·00000000·y.Z.............
1935 ··0x0186b020·55185a01·00000000·5f185a01·00000000·U.Z....._.Z.....1935 ··0x0186b020·55185a01·00000000·5f185a01·00000000·U.Z....._.Z.....
1936 ··0x0186b030·68185a01·00000000·39175a01·00000000·h.Z.....9.Z.....1936 ··0x0186b030·68185a01·00000000·39175a01·00000000·h.Z.....9.Z.....
1937 ··0x0186b040·cc895901·00000000·49185a01·00000000·..Y.....I.Z.....1937 ··0x0186b040·cc895901·00000000·49185a01·00000000·..Y.....I.Z.....
1938 ··0x0186b050·50185a01·00000000·00000000·00000000·P.Z.............1938 ··0x0186b050·50185a01·00000000·00000000·00000000·P.Z.............
1939 ··0x0186b060·c0155a01·00000000·cf155a01·00000000·..Z.......Z.....1939 ··0x0186b060·c0155a01·00000000·cf155a01·00000000·..Z.......Z.....
Offset 2170, 22 lines modifiedOffset 2170, 22 lines modified
2170 ··0x0186bed0·082a5a01·00000000·192a5a01·00000000·.*Z......*Z.....2170 ··0x0186bed0·082a5a01·00000000·192a5a01·00000000·.*Z......*Z.....
2171 ··0x0186bee0·2a2a5a01·00000000·3c2a5a01·00000000·**Z.....<*Z.....2171 ··0x0186bee0·2a2a5a01·00000000·3c2a5a01·00000000·**Z.....<*Z.....
2172 ··0x0186bef0·b7205a01·00000000·512a5a01·00000000·.·Z.....Q*Z.....2172 ··0x0186bef0·b7205a01·00000000·512a5a01·00000000·.·Z.....Q*Z.....
2173 ··0x0186bf00·662a5a01·00000000·782a5a01·00000000·f*Z.....x*Z.....2173 ··0x0186bf00·662a5a01·00000000·782a5a01·00000000·f*Z.....x*Z.....
2174 ··0x0186bf10·952a5a01·00000000·cc205a01·00000000·.*Z......·Z.....2174 ··0x0186bf10·952a5a01·00000000·cc205a01·00000000·.*Z......·Z.....
2175 ··0x0186bf20·9f2a5a01·00000000·2f3a5a01·00000000·.*Z...../:Z.....2175 ··0x0186bf20·9f2a5a01·00000000·2f3a5a01·00000000·.*Z...../:Z.....
2176 ··0x0186bf30·d3205a01·00000000·fb345a01·00000000·.·Z......4Z.....2176 ··0x0186bf30·d3205a01·00000000·fb345a01·00000000·.·Z......4Z.....
2177 ··0x0186bf40·8d275a01·00000000·ef205a01·00000000·.'Z......·Z.....2177 ··0x0186bf40·a1275a01·00000000·ef205a01·00000000·.'Z......·Z.....
2178 ··0x0186bf50·f6205a01·00000000·f4af5901·00000000·.·Z.......Y.....2178 ··0x0186bf50·f6205a01·00000000·f4af5901·00000000·.·Z.......Y.....
2179 ··0x0186bf60·af2b5a01·00000000·06355a01·00000000·.+Z......5Z.....2179 ··0x0186bf60·af2b5a01·00000000·06355a01·00000000·.+Z......5Z.....
2180 ··0x0186bf70·bf1d5a01·00000000·02215a01·00000000·..Z......!Z.....2180 ··0x0186bf70·bf1d5a01·00000000·02215a01·00000000·..Z......!Z.....
2181 ··0x0186bf80·12215a01·00000000·2a215a01·00000000·.!Z.....*!Z.....2181 ··0x0186bf80·12215a01·00000000·2a215a01·00000000·.!Z.....*!Z.....
2182 ··0x0186bf90·3f215a01·00000000·52215a01·00000000·?!Z.....R!Z.....2182 ··0x0186bf90·3f215a01·00000000·52215a01·00000000·?!Z.....R!Z.....
2183 ··0x0186bfa0·6a215a01·00000000·7b215a01·00000000·j!Z.....{!Z.....2183 ··0x0186bfa0·6a215a01·00000000·7b215a01·00000000·j!Z.....{!Z.....
2184 ··0x0186bfb0·82275a01·00000000·b72a5a01·00000000·.'Z......*Z.....2184 ··0x0186bfb0·96275a01·00000000·b72a5a01·00000000·.'Z......*Z.....
2185 ··0x0186bfc0·8a215a01·00000000·1a355a01·00000000·.!Z......5Z.....2185 ··0x0186bfc0·8a215a01·00000000·1a355a01·00000000·.!Z......5Z.....
2186 ··0x0186bfd0·9a215a01·00000000·a9215a01·00000000·.!Z......!Z.....2186 ··0x0186bfd0·9a215a01·00000000·a9215a01·00000000·.!Z......!Z.....
2187 ··0x0186bfe0·c0215a01·00000000·27355a01·00000000·.!Z.....'5Z.....2187 ··0x0186bfe0·c0215a01·00000000·27355a01·00000000·.!Z.....'5Z.....
2188 ··0x0186bff0·d1215a01·00000000·42355a01·00000000·.!Z.....B5Z.....2188 ··0x0186bff0·d1215a01·00000000·42355a01·00000000·.!Z.....B5Z.....
2189 ··0x0186c000·bd2b5a01·00000000·de215a01·00000000·.+Z......!Z.....2189 ··0x0186c000·bd2b5a01·00000000·de215a01·00000000·.+Z......!Z.....
2190 ··0x0186c010·453a5a01·00000000·eb2f5a01·00000000·E:Z....../Z.....2190 ··0x0186c010·453a5a01·00000000·eb2f5a01·00000000·E:Z....../Z.....
2191 ··0x0186c020·ef215a01·00000000·57355a01·00000000·.!Z.....W5Z.....2191 ··0x0186c020·ef215a01·00000000·57355a01·00000000·.!Z.....W5Z.....
Offset 2292, 15 lines modifiedOffset 2292, 15 lines modified
2292 ··0x0186c670·d53b5a01·00000000·56275a01·00000000·.;Z.....V'Z.....2292 ··0x0186c670·d53b5a01·00000000·56275a01·00000000·.;Z.....V'Z.....
2293 ··0x0186c680·f32a5a01·00000000·012b5a01·00000000·.*Z......+Z.....2293 ··0x0186c680·f32a5a01·00000000·012b5a01·00000000·.*Z......+Z.....
2294 ··0x0186c690·f62e5a01·00000000·122b5a01·00000000·..Z......+Z.....2294 ··0x0186c690·f62e5a01·00000000·122b5a01·00000000·..Z......+Z.....
2295 ··0x0186c6a0·67275a01·00000000·70275a01·00000000·g'Z.....p'Z.....2295 ··0x0186c6a0·67275a01·00000000·70275a01·00000000·g'Z.....p'Z.....
2296 ··0x0186c6b0·6c385a01·00000000·7e385a01·00000000·l8Z.....~8Z.....2296 ··0x0186c6b0·6c385a01·00000000·7e385a01·00000000·l8Z.....~8Z.....
2297 ··0x0186c6c0·7a275a01·00000000·29535901·00000000·z'Z.....)SY.....2297 ··0x0186c6c0·7a275a01·00000000·29535901·00000000·z'Z.....)SY.....
2298 ··0x0186c6d0·ce525901·00000000·bc2d5a01·00000000·.RY......-Z.....2298 ··0x0186c6d0·ce525901·00000000·bc2d5a01·00000000·.RY......-Z.....
2299 ··0x0186c6e0·91275a01·00000000·00000000·00000000·.'Z.............2299 ··0x0186c6e0·82275a01·00000000·00000000·00000000·.'Z.............
2300 ··0x0186c6f0·287c8701·00000000·800b4a01·00000000·(|........J.....2300 ··0x0186c6f0·287c8701·00000000·800b4a01·00000000·(|........J.....
2301 ··0x0186c700·400c4a01·00000000·90094a01·00000000·@.J.......J.....2301 ··0x0186c700·400c4a01·00000000·90094a01·00000000·@.J.......J.....
2302 ··0x0186c710·702b4a01·00000000·70094a01·00000000·p+J.....p.J.....2302 ··0x0186c710·702b4a01·00000000·70094a01·00000000·p+J.....p.J.....
2303 ··0x0186c720·200d4a01·00000000·00000000·00000000··.J.............2303 ··0x0186c720·200d4a01·00000000·00000000·00000000··.J.............
2304 ··0x0186c730·587c8701·00000000·e00d4a01·00000000·X|........J.....2304 ··0x0186c730·587c8701·00000000·e00d4a01·00000000·X|........J.....
2305 ··0x0186c740·30134a01·00000000·a0094a01·00000000·0.J.......J.....2305 ··0x0186c740·30134a01·00000000·a0094a01·00000000·0.J.......J.....
2306 ··0x0186c750·000a4a01·00000000·d01d4a01·00000000·..J.......J.....2306 ··0x0186c750·000a4a01·00000000·d01d4a01·00000000·..J.......J.....
⊟
2.42 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 314, 15 lines modifiedOffset 314, 15 lines modified
314 ··0x0187d370·00000000·00000000·73010000·00000000·........s.......314 ··0x0187d370·00000000·00000000·73010000·00000000·........s.......
315 ··0x0187d380·9d2b5a01·00000000·00000000·00000000·.+Z.............315 ··0x0187d380·9d2b5a01·00000000·00000000·00000000·.+Z.............
316 ··0x0187d390·00000000·00000000·74010000·00000000·........t.......316 ··0x0187d390·00000000·00000000·74010000·00000000·........t.......
317 ··0x0187d3a0·fd205a01·00000000·01000000·00000000·.·Z.............317 ··0x0187d3a0·fd205a01·00000000·01000000·00000000·.·Z.............
318 ··0x0187d3b0·00000000·00000000·75010000·00000000·........u.......318 ··0x0187d3b0·00000000·00000000·75010000·00000000·........u.......
319 ··0x0187d3c0·c31f5a01·00000000·01000000·00000000·..Z.............319 ··0x0187d3c0·c31f5a01·00000000·01000000·00000000·..Z.............
320 ··0x0187d3d0·00000000·00000000·76010000·00000000·........v.......320 ··0x0187d3d0·00000000·00000000·76010000·00000000·........v.......
321 ··0x0187d3e0·8d275a01·00000000·01000000·00000000·.'Z.............321 ··0x0187d3e0·a1275a01·00000000·01000000·00000000·.'Z.............
322 ··0x0187d3f0·00000000·00000000·77010000·00000000·........w.......322 ··0x0187d3f0·00000000·00000000·77010000·00000000·........w.......
323 ··0x0187d400·63535901·00000000·01000000·00000000·cSY.............323 ··0x0187d400·63535901·00000000·01000000·00000000·cSY.............
324 ··0x0187d410·00000000·00000000·78010000·00000000·........x.......324 ··0x0187d410·00000000·00000000·78010000·00000000·........x.......
325 ··0x0187d420·ef205a01·00000000·01000000·00000000·.·Z.............325 ··0x0187d420·ef205a01·00000000·01000000·00000000·.·Z.............
326 ··0x0187d430·00000000·00000000·79010000·00000000·........y.......326 ··0x0187d430·00000000·00000000·79010000·00000000·........y.......
327 ··0x0187d440·af2b5a01·00000000·00000000·00000000·.+Z.............327 ··0x0187d440·af2b5a01·00000000·00000000·00000000·.+Z.............
328 ··0x0187d450·00000000·00000000·7a010000·00000000·........z.......328 ··0x0187d450·00000000·00000000·7a010000·00000000·........z.......
Offset 616, 17 lines modifiedOffset 616, 17 lines modified
616 ··0x0187e650·00000000·00000000·0a020000·00000000·................616 ··0x0187e650·00000000·00000000·0a020000·00000000·................
617 ··0x0187e660·7b215a01·00000000·01000000·00000000·{!Z.............617 ··0x0187e660·7b215a01·00000000·01000000·00000000·{!Z.............
618 ··0x0187e670·00000000·00000000·0b020000·00000000·................618 ··0x0187e670·00000000·00000000·0b020000·00000000·................
619 ··0x0187e680·072f5a01·00000000·00000000·00000000·./Z.............619 ··0x0187e680·072f5a01·00000000·00000000·00000000·./Z.............
620 ··0x0187e690·00000000·00000000·0c020000·00000000·................620 ··0x0187e690·00000000·00000000·0c020000·00000000·................
621 ··0x0187e6a0·042f5a01·00000000·00000000·00000000·./Z.............621 ··0x0187e6a0·042f5a01·00000000·00000000·00000000·./Z.............
622 ··0x0187e6b0·00000000·00000000·0d020000·00000000·................622 ··0x0187e6b0·00000000·00000000·0d020000·00000000·................
623 ··0x0187e6c0·91275a01·00000000·01000000·00000000·.'Z.............623 ··0x0187e6c0·82275a01·00000000·01000000·00000000·.'Z.............
624 ··0x0187e6d0·00000000·00000000·0e020000·00000000·................624 ··0x0187e6d0·00000000·00000000·0e020000·00000000·................
625 ··0x0187e6e0·82275a01·00000000·01000000·00000000·.'Z.............625 ··0x0187e6e0·96275a01·00000000·01000000·00000000·.'Z.............
626 ··0x0187e6f0·00000000·00000000·0f020000·00000000·................626 ··0x0187e6f0·00000000·00000000·0f020000·00000000·................
627 ··0x0187e700·1e2f5a01·00000000·00000000·00000000·./Z.............627 ··0x0187e700·1e2f5a01·00000000·00000000·00000000·./Z.............
628 ··0x0187e710·00000000·00000000·10020000·00000000·................628 ··0x0187e710·00000000·00000000·10020000·00000000·................
629 ··0x0187e720·1b2f5a01·00000000·00000000·00000000·./Z.............629 ··0x0187e720·1b2f5a01·00000000·00000000·00000000·./Z.............
630 ··0x0187e730·00000000·00000000·11020000·00000000·................630 ··0x0187e730·00000000·00000000·11020000·00000000·................
631 ··0x0187e740·181f5a01·00000000·01000000·00000000·..Z.............631 ··0x0187e740·181f5a01·00000000·01000000·00000000·..Z.............
632 ··0x0187e750·00000000·00000000·12020000·00000000·................632 ··0x0187e750·00000000·00000000·12020000·00000000·................
⊟
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·65343739·35643135·35363334·62653935·e4795d155634be95 
3 ··0x00000010·35366237·34663863·38376463·61663663·56b74f8c87dcaf6c2 ··0x00000000·39346438·64376362·33306663·62616130·94d8d7cb30fcbaa0
 3 ··0x00000010·39653763·34633061·39343438·65336438·9e7c4c0a9448e3d8
4 ··0x00000020·34353334·63662e64·65627567·00000000·4534cf.debug....4 ··0x00000020·30343064·65342e64·65627567·00000000·040de4.debug....
5 ··0x00000030·386551a4····························8eQ.5 ··0x00000030·810f0ea8····························....
  
⊟
1.91 KB
libcvc5parser1_1.1.2-2_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····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···234876·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···234892·2024-03-19·00:06:23.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
1.4 KB
data.tar.xz
⊟
1.38 KB
data.tar
⊟
1.36 KB
./usr/lib/x86_64-linux-gnu/libcvc5parser.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·b96ba104d2e21c24875f2796d94eccc65795be783 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·bd31647bf492b83281f4f5d36d56f38c05826051
⊟
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·36626131·30346432·65323163·32343837·6ba104d2e21c2487 
3 ··0x00000010·35663237·39366439·34656363·63363537·5f2796d94eccc6572 ··0x00000000·33313634·37626634·39326238·33323831·31647bf492b83281
 3 ··0x00000010·66346635·64333664·35366633·38633035·f4f5d36d56f38c05
4 ··0x00000020·39356265·37382e64·65627567·00000000·95be78.debug....4 ··0x00000020·38323630·35312e64·65627567·00000000·826051.debug....
5 ··0x00000030·dba35903····························..Y.5 ··0x00000030·5912e0df····························Y...
  
⊟
1.99 KB
python3-cvc5_1.1.2-2_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1680·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1680·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···337876·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···338688·2024-03-19·00:06:23.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
1.48 KB
data.tar.xz
⊟
1.45 KB
data.tar
⊟
1.44 KB
./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-312-x86_64-linux-gnu.so
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·973f2d1346b39435aa2f9d3899b2354f9be6f28b3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·cf65ce4fcb2c3dde48135eb40670ed142bf92a53
⊟
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·33663264·31333436·62333934·33356161·3f2d1346b39435aa 
3 ··0x00000010·32663964·33383939·62323335·34663962·2f9d3899b2354f9b2 ··0x00000000·36356365·34666362·32633364·64653438·65ce4fcb2c3dde48
 3 ··0x00000010·31333565·62343036·37306564·31343262·135eb40670ed142b
4 ··0x00000020·65366632·38622e64·65627567·00000000·e6f28b.debug....4 ··0x00000020·66393261·35332e64·65627567·00000000·f92a53.debug....
5 ··0x00000030·2454922b····························$T.+5 ··0x00000030·1c0d2430····························..$0
  
⊟
2.46 KB
cvc5-dbgsym_1.1.2-2_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······532·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1882692·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1882808·2024-03-19·00:06:23.000000·data.tar.xz
⊟
652 B
control.tar.xz
⊟
624 B
control.tar
⊟
376 B
./control
    
Offset 5, 8 lines modifiedOffset 5, 8 lines modified
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·20887 Installed-Size:·2088
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:·d22670b43f3965192f629672519af78c1334b2f212 Build-Ids:·1fecacf074498ccb2e339e8ece6cf013086f40b3
⊟
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/d2/2670b43f3965192f629672519af78c1334b2f2.debug1 usr/lib/debug/.build-id/1f/ecacf074498ccb2e339e8ece6cf013086f40b3.debug
⊟
1.41 KB
data.tar.xz
⊟
1.39 KB
data.tar
⊟
1.37 KB
file list
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/d2/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/1f/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2127104·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/d2/2670b43f3965192f629672519af78c1334b2f2.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2127104·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/1f/ecacf074498ccb2e339e8ece6cf013086f40b3.debug
8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/8 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/
9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/9 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/
10 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc510 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/cvc5-dbgsym·->·cvc5
⊟
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_amd64.deb
⊟
369 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······552·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0·182741092·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·182741880·2024-03-19·00:06:23.000000·data.tar.xz
⊟
802 B
control.tar.xz
⊟
774 B
control.tar
⊟
526 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libcvc5-1-dbgsym1 Package:·libcvc5-1-dbgsym
2 Source:·cvc52 Source:·cvc5
3 Version:·1.1.2-23 Version:·1.1.2-2
4 Auto-Built-Package:·debug-symbols4 Auto-Built-Package:·debug-symbols
5 Architecture:·amd645 Architecture:·amd64
6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>6 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@alioth-lists.debian.net>
7 Installed-Size:·1823427 Installed-Size:·182343
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:·74e4795d155634be9556b74f8c87dcaf6c4534cf13 Build-Ids:·9794d8d7cb30fcbaa09e7c4c0a9448e3d8040de4
⊟
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/74/e4795d155634be9556b74f8c87dcaf6c4534cf.debug1 usr/lib/debug/.build-id/97/94d8d7cb30fcbaa09e7c4c0a9448e3d8040de4.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/74/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/97/
7 -rw-r--r--···0·root·········(0)·root·········(0)·186707784·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/74/e4795d155634be9556b74f8c87dcaf6c4534cf.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·186708728·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/97/94d8d7cb30fcbaa09e7c4c0a9448e3d8040de4.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/74/e4795d155634be9556b74f8c87dcaf6c4534cf.debug vs.
./usr/lib/debug/.build-id/97/94d8d7cb30fcbaa09e7c4c0a9448e3d8040de4.debug
Timeout exceeded; details may be incomplete. File has been modified after NT_GNU_BUILD_ID has been applied. Files 95% similar despite different names
⊟
887 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·GNU6 ··OS/ABI:····························UNIX·-·GNU
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··Entry·point·address:···············0x0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········186705224·(bytes·into·file)13 ··Start·of·section·headers:··········186706168·(bytes·into·file)
14 ··Flags:·····························0x014 ··Flags:·····························0x0
15 ··Size·of·this·header:···············64·(bytes)15 ··Size·of·this·header:···············64·(bytes)
16 ··Size·of·program·headers:···········56·(bytes)16 ··Size·of·program·headers:···········56·(bytes)
17 ··Number·of·program·headers:·········1017 ··Number·of·program·headers:·········10
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4019 ··Number·of·section·headers:·········40
20 ··Section·header·string·table·index:·3920 ··Section·header·string·table·index:·39
⊟
3.52 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0xb20e548:1 There·are·40·section·headers,·starting·at·offset·0xb20e8f8:
  
2 Section·Headers:2 Section·Headers:
3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al3 ··[Nr]·Name··············Type············Address··········Off····Size···ES·Flg·Lk·Inf·Al
4 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··04 ··[·0]···················NULL············0000000000000000·000000·000000·00······0···0··0
5 ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··45 ··[·1]·.note.gnu.build-id·NOTE············0000000000000270·000270·000024·00···A··0···0··4
6 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d18·00···A··3···0··86 ··[·2]·.gnu.hash·········NOBITS··········0000000000000298·000294·004d18·00···A··3···0··8
7 ··[·3]·.dynsym···········NOBITS··········0000000000004fb0·000294·00fea0·18···A··4···1··87 ··[·3]·.dynsym···········NOBITS··········0000000000004fb0·000294·00fea0·18···A··4···1··8
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········0000000001863760·000550·014ad0·00··WA··0···0·3227 ··[22]·.data.rel.ro······NOBITS··········0000000001863760·000550·014ad0·00··WA··0···0·32
28 ··[23]·.dynamic··········NOBITS··········0000000001878230·000550·000250·10··WA··4···0··828 ··[23]·.dynamic··········NOBITS··········0000000001878230·000550·000250·10··WA··4···0··8
29 ··[24]·.got··············NOBITS··········0000000001878480·000550·003b68·08··WA··0···0··829 ··[24]·.got··············NOBITS··········0000000001878480·000550·003b68·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········000000000187c000·000550·008240·00··WA··0···0·3230 ··[25]·.data·············NOBITS··········000000000187c000·000550·008240·00··WA··0···0·32
31 ··[26]·.bss··············NOBITS··········0000000001884240·000550·001a00·00··WA··0···0·3231 ··[26]·.bss··············NOBITS··········0000000001884240·000550·001a00·00··WA··0···0·32
32 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001e·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001e·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00de1f·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00de1f·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00e0d8·87effd0·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00e0d8·87f035b·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87fe0a8·0dcef9·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87fe438·0dcef9·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88dafa8·86ab7b·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88db338·86ab7b·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·9145b28·3dfbfc·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·9145eb8·3dfbf9·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·9525728·0028b3·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·9525ab8·0028b3·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9527fe0·12857c0·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9528370·12857bb·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7ad7a0·161ba6·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7adb30·161bc7·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a90f348·583aa7·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a90f6f8·583aa7·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·ae92df0·0ca758·18·····38·31838··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·ae931a0·0ca758·18·····38·31838··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·af5d548·2b0e68·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·af5d8f8·2b0e68·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b20e3b0·000191·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b20e760·000191·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)49 ··R·(retain),·D·(mbind),·l·(large),·p·(processor·specific)
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·74e4795d155634be9556b74f8c87dcaf6c4534cf3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·9794d8d7cb30fcbaa09e7c4c0a9448e3d8040de4
⊟
24.2 MB
readelf --wide --debug-dump=info {}
    
Offset 8, 27 lines modifiedOffset 8, 27 lines modified
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·1·(DW_TAG_partial_unit)
10 ····<d>···DW_AT_stmt_list···:·(sec_offset)·010 ····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-x86_64-linux-gnu/src
12 ·<1><15>:·Abbrev·Number:·25·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·25·(DW_TAG_base_type)
13 ····<16>···DW_AT_byte_size···:·(data1)·813 ····<16>···DW_AT_byte_size···:·(data1)·8
14 ····<17>···DW_AT_encoding····:·(data1)·5»    (signed)14 ····<17>···DW_AT_encoding····:·(data1)·5»    (signed)
15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x15de2):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x15dfc):·long·int
16 ·<1><1c>:·Abbrev·Number:·25·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·25·(DW_TAG_base_type)
17 ····<1d>···DW_AT_byte_size···:·(data1)·817 ····<1d>···DW_AT_byte_size···:·(data1)·8
18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)
19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xe860):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xe860):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·25·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·25·(DW_TAG_base_type)
21 ····<24>···DW_AT_byte_size···:·(data1)·121 ····<24>···DW_AT_byte_size···:·(data1)·1
22 ····<25>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)22 ····<25>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1a992):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1a992):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·25·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·25·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·225 ····<2b>···DW_AT_byte_size···:·(data1)·2
26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x125bc):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x125d6):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·25·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·25·(DW_TAG_base_type)
29 ····<32>···DW_AT_byte_size···:·(data1)·429 ····<32>···DW_AT_byte_size···:·(data1)·4
30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)30 ····<33>···DW_AT_encoding····:·(data1)·7»    (unsigned)
31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc6c9):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc6c9):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·25·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·25·(DW_TAG_base_type)
33 ····<39>···DW_AT_byte_size···:·(data1)·133 ····<39>···DW_AT_byte_size···:·(data1)·1
34 ····<3a>···DW_AT_encoding····:·(data1)·6»    (signed·char)34 ····<3a>···DW_AT_encoding····:·(data1)·6»    (signed·char)
Offset 100, 15 lines modifiedOffset 100, 15 lines modified
100 ·<1><b8>:·Abbrev·Number:·25·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·25·(DW_TAG_base_type)
101 ····<b9>···DW_AT_byte_size···:·(data1)·4101 ····<b9>···DW_AT_byte_size···:·(data1)·4
102 ····<ba>···DW_AT_encoding····:·(data1)·16»   (unicode·string)102 ····<ba>···DW_AT_encoding····:·(data1)·16»   (unicode·string)
103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fa23):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fa23):·char32_t
104 ·<1><bf>:·Abbrev·Number:·25·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·25·(DW_TAG_base_type)
105 ····<c0>···DW_AT_byte_size···:·(data1)·16105 ····<c0>···DW_AT_byte_size···:·(data1)·16
106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)
107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x13f64):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x13f7e):·__int128
108 ·<1><c6>:·Abbrev·Number:·25·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·25·(DW_TAG_base_type)
109 ····<c7>···DW_AT_byte_size···:·(data1)·16109 ····<c7>···DW_AT_byte_size···:·(data1)·16
110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)
111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x2317e):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x2317e):·__int128·unsigned
112 ·<1><cd>:·Abbrev·Number:·0112 ·<1><cd>:·Abbrev·Number:·0
113 ··Compilation·Unit·@·offset·0xce:113 ··Compilation·Unit·@·offset·0xce:
114 ···Length:········0xff6·(32-bit)114 ···Length:········0xff6·(32-bit)
Offset 807, 29 lines modifiedOffset 807, 29 lines modified
807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1ecf5):·_IO_read_end807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1ecf5):·_IO_read_end
808 ····<45b>···DW_AT_decl_file···:·(data1)·69808 ····<45b>···DW_AT_decl_file···:·(data1)·69
809 ····<45c>···DW_AT_decl_line···:·(data1)·55809 ····<45c>···DW_AT_decl_line···:·(data1)·55
810 ····<45d>···DW_AT_decl_column·:·(data1)·9810 ····<45d>···DW_AT_decl_column·:·(data1)·9
811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>
812 ····<45f>···DW_AT_data_member_location:·(data1)·16812 ····<45f>···DW_AT_data_member_location:·(data1)·16
813 ·<2><460>:·Abbrev·Number:·71·(DW_TAG_member)813 ·<2><460>:·Abbrev·Number:·71·(DW_TAG_member)
814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10423):·_IO_read_base814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x1043d):·_IO_read_base
815 ····<465>···DW_AT_decl_file···:·(data1)·69815 ····<465>···DW_AT_decl_file···:·(data1)·69
816 ····<466>···DW_AT_decl_line···:·(data1)·56816 ····<466>···DW_AT_decl_line···:·(data1)·56
817 ····<467>···DW_AT_decl_column·:·(data1)·9817 ····<467>···DW_AT_decl_column·:·(data1)·9
818 ····<468>···DW_AT_type········:·(ref_udata)·<0x13d>818 ····<468>···DW_AT_type········:·(ref_udata)·<0x13d>
819 ····<469>···DW_AT_data_member_location:·(data1)·24819 ····<469>···DW_AT_data_member_location:·(data1)·24
820 ·<2><46a>:·Abbrev·Number:·71·(DW_TAG_member)820 ·<2><46a>:·Abbrev·Number:·71·(DW_TAG_member)
821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x50d3):·_IO_write_base821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x50d3):·_IO_write_base
822 ····<46f>···DW_AT_decl_file···:·(data1)·69822 ····<46f>···DW_AT_decl_file···:·(data1)·69
823 ····<470>···DW_AT_decl_line···:·(data1)·57823 ····<470>···DW_AT_decl_line···:·(data1)·57
824 ····<471>···DW_AT_decl_column·:·(data1)·9824 ····<471>···DW_AT_decl_column·:·(data1)·9
825 ····<472>···DW_AT_type········:·(ref_udata)·<0x13d>825 ····<472>···DW_AT_type········:·(ref_udata)·<0x13d>
826 ····<473>···DW_AT_data_member_location:·(data1)·32826 ····<473>···DW_AT_data_member_location:·(data1)·32
827 ·<2><474>:·Abbrev·Number:·71·(DW_TAG_member)827 ·<2><474>:·Abbrev·Number:·71·(DW_TAG_member)
828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfac7):·_IO_write_ptr828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfae1):·_IO_write_ptr
829 ····<479>···DW_AT_decl_file···:·(data1)·69829 ····<479>···DW_AT_decl_file···:·(data1)·69
830 ····<47a>···DW_AT_decl_line···:·(data1)·58830 ····<47a>···DW_AT_decl_line···:·(data1)·58
831 ····<47b>···DW_AT_decl_column·:·(data1)·9831 ····<47b>···DW_AT_decl_column·:·(data1)·9
832 ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>832 ····<47c>···DW_AT_type········:·(ref_udata)·<0x13d>
833 ····<47d>···DW_AT_data_member_location:·(data1)·40833 ····<47d>···DW_AT_data_member_location:·(data1)·40
834 ·<2><47e>:·Abbrev·Number:·71·(DW_TAG_member)834 ·<2><47e>:·Abbrev·Number:·71·(DW_TAG_member)
835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe147):·_IO_write_end835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe147):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb472):·_IO_buf_base842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb472):·_IO_buf_base
843 ····<48d>···DW_AT_decl_file···:·(data1)·69843 ····<48d>···DW_AT_decl_file···:·(data1)·69
844 ····<48e>···DW_AT_decl_line···:·(data1)·60844 ····<48e>···DW_AT_decl_line···:·(data1)·60
845 ····<48f>···DW_AT_decl_column·:·(data1)·9845 ····<48f>···DW_AT_decl_column·:·(data1)·9
846 ····<490>···DW_AT_type········:·(ref_udata)·<0x13d>846 ····<490>···DW_AT_type········:·(ref_udata)·<0x13d>
847 ····<491>···DW_AT_data_member_location:·(data1)·56847 ····<491>···DW_AT_data_member_location:·(data1)·56
848 ·<2><492>:·Abbrev·Number:·71·(DW_TAG_member)848 ·<2><492>:·Abbrev·Number:·71·(DW_TAG_member)
849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x15182):·_IO_buf_end849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x1519c):·_IO_buf_end
850 ····<497>···DW_AT_decl_file···:·(data1)·69850 ····<497>···DW_AT_decl_file···:·(data1)·69
851 ····<498>···DW_AT_decl_line···:·(data1)·61851 ····<498>···DW_AT_decl_line···:·(data1)·61
852 ····<499>···DW_AT_decl_column·:·(data1)·9852 ····<499>···DW_AT_decl_column·:·(data1)·9
853 ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>853 ····<49a>···DW_AT_type········:·(ref_udata)·<0x13d>
854 ····<49b>···DW_AT_data_member_location:·(data1)·64854 ····<49b>···DW_AT_data_member_location:·(data1)·64
855 ·<2><49c>:·Abbrev·Number:·71·(DW_TAG_member)855 ·<2><49c>:·Abbrev·Number:·71·(DW_TAG_member)
856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe1ba):·_IO_save_base856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe1ba):·_IO_save_base
857 ····<4a1>···DW_AT_decl_file···:·(data1)·69857 ····<4a1>···DW_AT_decl_file···:·(data1)·69
858 ····<4a2>···DW_AT_decl_line···:·(data1)·64858 ····<4a2>···DW_AT_decl_line···:·(data1)·64
859 ····<4a3>···DW_AT_decl_column·:·(data1)·9859 ····<4a3>···DW_AT_decl_column·:·(data1)·9
860 ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>860 ····<4a4>···DW_AT_type········:·(ref_udata)·<0x13d>
861 ····<4a5>···DW_AT_data_member_location:·(data1)·72861 ····<4a5>···DW_AT_data_member_location:·(data1)·72
862 ·<2><4a6>:·Abbrev·Number:·71·(DW_TAG_member)862 ·<2><4a6>:·Abbrev·Number:·71·(DW_TAG_member)
863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x10cea):·_IO_backup_base863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x10d04):·_IO_backup_base
864 ····<4ab>···DW_AT_decl_file···:·(data1)·69864 ····<4ab>···DW_AT_decl_file···:·(data1)·69
865 ····<4ac>···DW_AT_decl_line···:·(data1)·65865 ····<4ac>···DW_AT_decl_line···:·(data1)·65
866 ····<4ad>···DW_AT_decl_column·:·(data1)·9866 ····<4ad>···DW_AT_decl_column·:·(data1)·9
867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>
868 ····<4af>···DW_AT_data_member_location:·(data1)·80868 ····<4af>···DW_AT_data_member_location:·(data1)·80
869 ·<2><4b0>:·Abbrev·Number:·71·(DW_TAG_member)869 ·<2><4b0>:·Abbrev·Number:·71·(DW_TAG_member)
870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x189ed):·_IO_save_end870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18a07):·_IO_save_end
871 ····<4b5>···DW_AT_decl_file···:·(data1)·69871 ····<4b5>···DW_AT_decl_file···:·(data1)·69
872 ····<4b6>···DW_AT_decl_line···:·(data1)·66872 ····<4b6>···DW_AT_decl_line···:·(data1)·66
873 ····<4b7>···DW_AT_decl_column·:·(data1)·9873 ····<4b7>···DW_AT_decl_column·:·(data1)·9
874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>
875 ····<4b9>···DW_AT_data_member_location:·(data1)·88875 ····<4b9>···DW_AT_data_member_location:·(data1)·88
876 ·<2><4ba>:·Abbrev·Number:·71·(DW_TAG_member)876 ·<2><4ba>:·Abbrev·Number:·71·(DW_TAG_member)
877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4b2b):·_markers877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4b2b):·_markers
Offset 884, 15 lines modifiedOffset 884, 15 lines modified
884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83a255):·_chain884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83a255):·_chain
885 ····<4ca>···DW_AT_decl_file···:·(data1)·69885 ····<4ca>···DW_AT_decl_file···:·(data1)·69
886 ····<4cb>···DW_AT_decl_line···:·(data1)·70886 ····<4cb>···DW_AT_decl_line···:·(data1)·70
887 ····<4cc>···DW_AT_decl_column·:·(data1)·20887 ····<4cc>···DW_AT_decl_column·:·(data1)·20
888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>
889 ····<4cf>···DW_AT_data_member_location:·(data1)·104889 ····<4cf>···DW_AT_data_member_location:·(data1)·104
890 ·<2><4d0>:·Abbrev·Number:·51·(DW_TAG_member)890 ·<2><4d0>:·Abbrev·Number:·51·(DW_TAG_member)
891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x19c2c):·_fileno891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x19c46):·_fileno
892 ····<4d5>···DW_AT_decl_file···:·(data1)·69892 ····<4d5>···DW_AT_decl_file···:·(data1)·69
893 ····<4d6>···DW_AT_decl_line···:·(data1)·72893 ····<4d6>···DW_AT_decl_line···:·(data1)·72
894 ····<4d7>···DW_AT_decl_column·:·(data1)·7894 ····<4d7>···DW_AT_decl_column·:·(data1)·7
895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896 ····<4dc>···DW_AT_data_member_location:·(data1)·112896 ····<4dc>···DW_AT_data_member_location:·(data1)·112
897 ·<2><4dd>:·Abbrev·Number:·51·(DW_TAG_member)897 ·<2><4dd>:·Abbrev·Number:·51·(DW_TAG_member)
898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1be53):·_flags2898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1be53):·_flags2
Offset 905, 29 lines modifiedOffset 905, 29 lines modified
Max diff block lines reached; 25373900/25380936 bytes (99.97%) of diff not shown.
⊟
3.5 KB
readelf --wide --debug-dump=macro {}
    
Offset 1526, 16 lines modifiedOffset 1526, 16 lines modified
1526 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11526 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1527 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11527 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1528 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11528 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1529 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11529 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1530 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11530 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1531 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11531 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1532 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21532 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1533 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1533 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1534 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1534 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1535 ··Offset:······················0x19511535 ··Offset:······················0x1951
1536 ··Version:·····················51536 ··Version:·····················5
1537 ··Offset·size:·················41537 ··Offset·size:·················4
  
1538 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11538 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1539 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11539 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52197, 16 lines modifiedOffset 52197, 16 lines modified
52197 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152197 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52198 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152198 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52199 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152199 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52200 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152200 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52201 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152201 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52202 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152202 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52203 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252203 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52204 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52204 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52205 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52205 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52206 ··Offset:······················0x4898c52206 ··Offset:······················0x4898c
52207 ··Version:·····················552207 ··Version:·····················5
52208 ··Offset·size:·················452208 ··Offset·size:·················4
  
52209 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52209 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52210 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52210 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1313601, 15 lines modifiedOffset 1313601, 17 lines modified
1313601 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1313601 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1313602 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421313602 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1313603 ·DW_MACRO_end_file1313603 ·DW_MACRO_end_file
1313604 ·DW_MACRO_import·-·offset·:·0x518871313604 ·DW_MACRO_import·-·offset·:·0x51887
1313605 ·DW_MACRO_end_file1313605 ·DW_MACRO_end_file
1313606 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1361313606 ·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1313607 ·DW_MACRO_end_file1313607 ·DW_MACRO_end_file
 1313608 ·DW_MACRO_start_file·-·lineno:·50·filenum:·31
 1313609 ·DW_MACRO_end_file
1313608 ·DW_MACRO_start_file·-·lineno:·50·filenum:·2911313610 ·DW_MACRO_start_file·-·lineno:·53·filenum:·291
1313609 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11313611 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1313610 ·DW_MACRO_start_file·-·lineno:·41·filenum:·181313612 ·DW_MACRO_start_file·-·lineno:·41·filenum:·18
1313611 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1313613 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1313612 ·DW_MACRO_start_file·-·lineno:·33·filenum:·131313614 ·DW_MACRO_start_file·-·lineno:·33·filenum:·13
1313613 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11313615 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1313614 ·DW_MACRO_start_file·-·lineno:·35·filenum:·141313616 ·DW_MACRO_start_file·-·lineno:·35·filenum:·14
1313615 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11313617 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1313617, 17 lines modifiedOffset 1313619, 15 lines modified
1313617 ·DW_MACRO_end_file1313619 ·DW_MACRO_end_file
1313618 ·DW_MACRO_end_file1313620 ·DW_MACRO_end_file
1313619 ·DW_MACRO_import·-·offset·:·0x9c6b1313621 ·DW_MACRO_import·-·offset·:·0x9c6b
1313620 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1771313622 ·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1313621 ·DW_MACRO_import·-·offset·:·0x4f6b521313623 ·DW_MACRO_import·-·offset·:·0x4f6b52
1313622 ·DW_MACRO_end_file1313624 ·DW_MACRO_end_file
1313623 ·DW_MACRO_end_file1313625 ·DW_MACRO_end_file
1313624 ·DW_MACRO_start_file·-·lineno:·51·filenum:·31 
1313625 ·DW_MACRO_end_file 
1313626 ·DW_MACRO_start_file·-·lineno:·52·filenum:·1121313626 ·DW_MACRO_start_file·-·lineno:·54·filenum:·112
1313627 ·DW_MACRO_end_file1313627 ·DW_MACRO_end_file
1313628 ·DW_MACRO_start_file·-·lineno:·57·filenum:·831313628 ·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1313629 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1313629 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1313630 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1771313630 ·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1313631 ·DW_MACRO_import·-·offset·:·0x4f713e1313631 ·DW_MACRO_import·-·offset·:·0x4f713e
1313632 ·DW_MACRO_end_file1313632 ·DW_MACRO_end_file
1313633 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1401313633 ·DW_MACRO_start_file·-·lineno:·43·filenum:·140
⊟
687 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ····00c1c40c·v000000000000000·v000000000000000·location·view·pair4194297 ····00c1c40c·v000000000000000·v000000000000000·location·view·pair
4194298 ····00c1c40e·v000000000000000·v000000000000000·location·view·pair4194298 ····00c1c40e·v000000000000000·v000000000000000·location·view·pair
4194299 ····00c1c410·v000000000000000·v000000000000000·location·view·pair4194299 ····00c1c410·v000000000000000·v000000000000000·location·view·pair
4194300 ····00c1c412·v000000000000000·v000000000000000·location·view·pair4194300 ····00c1c412·v000000000000000·v000000000000000·location·view·pair
4194301 ····00c1c414·v000000000000000·v000000000000000·location·view·pair4194301 ····00c1c414·v000000000000000·v000000000000000·location·view·pair
  
4194302 ····00c1c416·0000000000627f7d·(base·address)4194302 ····00c1c416·0000000000627f7d·(base·address)
4194303 [·Too·much·input·for·diff·(SHA256:·5f5a6b20dd777f38f621976c089502c8b97ef6f657d814999ca70a52d2be9767)·]4194303 [·Too·much·input·for·diff·(SHA256:·bff767b2bf49d6ebab4f887a8dd18c491110100d493c17e28144d2ef6d3a2c17)·]
⊟
661 KB
strings --all --bytes=8 {}
    
Offset 2, 30328 lines modifiedOffset 2, 30451 lines modified
2 f{3<W"7~]2 f{3<W"7~]
3 S»      K|Jg?*43 S»      K|Jg?*4
4 f*7^mjL94 f*7^mjL9
5 bK^D})oY5 bK^D})oY
6 w9_hyM`}[6 w9_hyM`}[
7 }`j_&}`j7 }`j_&}`j
8 L~>h|H]_8 L~>h|H]_
9 k6d*Wr=Y 
10 TS»     ~R]=~< 
11 uuDd9cmGD6 
12 F#ngD7SRwL9 .J,)a0~ZYth4
 10 anPON»  2C
 11 BH?m"z2Y
 12 3[$p0s>Gr
 13 Z\QTzLuD%
 14 xMTC^=N»
 15 %do"%$$B
 16 glo3N~.HM/`5
 17 D1GKS/v^
13 /hUot·AM318 /heot·AM2
 19 4tM3j4"1
 20 [m*'J`R-An
 21 txM~ds» #+
 22 |_»     }_Qe*]
 23 0,h}14/G;
 24 +.:<fGI"LR
 25 1q-Y*)f2
 26 _k0Srg{S
14 DEcG*,tl 
15 CIr?=L3l 
16 (rIDYoYE 
17 yo0cXE0' 
18 zMK»    Z%#a 
19 l7?hg'Rv1 
20 hs~R(L,7 
21 AJt6#/w$ 
22 cS"?$·#4 
23 !|pb"pyEek 
24 3nq6!w-jq 
25 rbtOoFK, 
26 5\d»    %aELV 
27 {//(ji"j 
28 Y@9mUQN3[27 @9mQPN3[
29 @9muRN{( 
30 4zM4|L'? 
31 UFDAoZwt, 
32 -s%L"Dndf 
33 '<E"QLs8 
34 >*x\0ou4 
35 yGNi+N(7 
36 ff}Vg}.- 
37 HlS$$A!J 
38 }TBz7N^y 
39 H+eNZ9V8`9l 
40 {K;2g>'u 
41 ?Zd?O6@Au 
42 ^UI]}}K} 
43 .&^I4].vD 
44 ZuT~@ri2 
45 a_s/ZT.be 
46 -mtsX!`{ 
47 b2,+}w\m 
48 b2,;}_\A 
49 w,Wb}0Sb 
50 G=/r&{"z 
51 +a+w,»  O5m 
52 L]9>CG+7 
53 KQt8:05» 
54 H7]K7=LO~ 
55 E+1"{t6o 
56 dlO4=kh: 
57 o+M?'x~0 
58 ifdH&7G2 
59 bE`H&7G2 
60 B|!y6Is0 
61 nUbgYc{h 
62 #>hO'>h& 
63 L|·#?P'>hf 
64 V.*\QHZ`[Q 
65 YpZ>'g?*`1SF 
66 e9$F[sq= 
67 Twx:X7jRN 
68 ·TcRC"$w 
69 0{[d<x52 
70 Da%fnxV,Z 
71 @hqIGM^X= 
72 DGk'iy-Y@ 
73 :V%BvU3}A 
74 \`*\\`Vj 
75 +"!}cLz" 
76 wH{hbJHj 
77 %L6RX22» 
78 _2Q?EoyT 
79 o,q\io'?&u 
80 X<"~|<T@ 
81 (7G5PUj@8 
82 nj?0^m.y 
83 s%&Y6Ft· 
84 [1R"*FJD 
85 V[`SS1R" 
86 .y&Vr#l_ 
87 s&'y5HEO07 
88 loO[Mflr&v 
89 HZbzZe$]`"O 
90 ^/g}P.{6 
91 ,6l1(#Bkm. 
92 N]9~ZG+Gp| 
93 D{2)l\r= 
94 b%Pi1)q`Q 
95 ggscK#<0 
96 @u81OM3@ 
97 1z8H|m"n 
98 y#Hy'Xy#( 
99 d"CG]N2y_ 
100 I"4N+`K*2Z 
101 G&DOKT/I 
102 $2`<9rCp 
103 Uhgy@K1v 
104 Vj4I;Sk3j 
105 6Q2M"bd? 
106 H+sL3WY" 
107 »       @zsYdYmq 
108 (0;FuYDWt 
109 I@»     d+!<0 
110 +/R2a4b* 
111 7dnatv8O 
112 ^oq=>o]B 
Max diff block lines reached; 672800/676531 bytes (99.45%) of diff not shown.
⊟
62.0 B
.gnu.hash
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.dynsym
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.dynstr
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.gnu.version
Timeout exceeded; details may be incomplete.
⊟
72.0 B
.gnu.version_r
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.rela.dyn
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.rela.plt
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.init
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.plt
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.plt.got
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.text
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.fini
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.rodata
Timeout exceeded; details may be incomplete.
⊟
70.0 B
.eh_frame_hdr
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.eh_frame
Timeout exceeded; details may be incomplete.
⊟
78.0 B
.gcc_except_table
Timeout exceeded; details may be incomplete.
⊟
56.0 B
.tdata
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.tbss
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.init_array
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.fini_array
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.data.rel.ro
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.dynamic
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.got
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.data
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.bss
Timeout exceeded; details may be incomplete.
⊟
60.0 B
.comment
Timeout exceeded; details may be incomplete.
⊟
64.0 B
.debug_str
Timeout exceeded; details may be incomplete.
⊟
74.0 B
.debug_line_str
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.strtab
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
⊟
122 B
libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
Timeout exceeded; details may be incomplete.
⊟
118 B
python3-cvc5-dbgsym_1.1.2-2_amd64.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 283