⊟
62.3 MB
/srv/reproducible-results/rbuild-debian/r-b-build.7mXdCr3P/b1/cvc5_1.1.2-2_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.7mXdCr3P/b2/cvc5_1.1.2-2_amd64.changes
⊟
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·abd92fb073a7956bfd6c0eaf5dd74068·1883420·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb 
2 ·257e4546c1d5dcfb6f0be00e482a87f6·107812·math·optional·cvc5_1.1.2-2_amd64.deb 
3 ·e65def14a1b130eebab10e7a8ad4a6d4·182738328·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb 
4 ·1e059b22691947af8c087a9e99ea7add·6684768·libs·optional·libcvc5-1_1.1.2-2_amd64.deb1 ·a6b44c3997ea941d32fb3722e16699d5·1883264·debug·optional·cvc5-dbgsym_1.1.2-2_amd64.deb
 2 ·37ff5ed36d9745fa89bba54d08f18f0f·107912·math·optional·cvc5_1.1.2-2_amd64.deb
 3 ·c236830eff5f30cfa26578d1a5d37b71·182739792·debug·optional·libcvc5-1-dbgsym_1.1.2-2_amd64.deb
 4 ·e955546ccdd5463d6f8a4c87c2c6c03c·6684168·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 ·48592e549c2b3cf76a67f277a81c9c62·4093460·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb 
7 ·035a2e78c1cdd25d374e4b77dd29dfcd·236528·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb6 ·cc3dbb4807d75dcfa30da3b94a959fad·4092976·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_amd64.deb
 7 ·881b0e893e0eb9a15696910e01be6b45·236332·libs·optional·libcvc5parser1_1.1.2-2_amd64.deb
8 ·fef534a076900aa092c8c85caac89734·2667868·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb8 ·239e2b50aae4850ac29c75808d7c5f8b·2668088·debug·optional·python3-cvc5-dbgsym_1.1.2-2_amd64.deb
9 ·9b422a4604758ef1c2953af394d938be·341688·python·optional·python3-cvc5_1.1.2-2_amd64.deb9 ·10e70bd3f27c45df1ad13ed53e1061b5·340092·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···106504·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···106604·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:·facc0414ee86d1cec40e7c1f01a1199afc23dfdb6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·55451abe6d8921005c11188083b8785f9a1e9b0c
  
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·63633034·31346565·38366431·63656334·cc0414ee86d1cec4 
3 ··0x00000010·30653763·31663031·61313139·39616663·0e7c1f01a1199afc2 ··0x00000000·34353161·62653664·38393231·30303563·451abe6d8921005c
 3 ··0x00000010·31313138·38303833·62383738·35663961·11188083b8785f9a
4 ··0x00000020·32336466·64622e64·65627567·00000000·23dfdb.debug....4 ··0x00000020·31653962·30632e64·65627567·00000000·1e9b0c.debug....
5 ··0x00000030·efde5367····························..Sg5 ··0x00000030·f9a04415····························..D.
  
⊟
30.3 KB
libcvc5-1_1.1.2-2_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··6683296·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··6682696·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
⊟
29.8 KB
data.tar.xz
⊟
29.8 KB
data.tar
⊟
29.8 KB
./usr/lib/x86_64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
11.4 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·························15a27a13803 000000000186aff0··0000000000000008·R_X86_64_RELATIVE·························15a278d
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·························15a27a14234 000000000186bf40··0000000000000008·R_X86_64_RELATIVE·························15a278d
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·························15a27964248 000000000186bfb0··0000000000000008·R_X86_64_RELATIVE·························15a2782
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 4291, 16 lines modifiedOffset 4291, 16 lines modified
4291 000000000186c108··0000000000000008·R_X86_64_RELATIVE·························15a356a4291 000000000186c108··0000000000000008·R_X86_64_RELATIVE·························15a356a
4292 000000000186c110··0000000000000008·R_X86_64_RELATIVE·························15a357d4292 000000000186c110··0000000000000008·R_X86_64_RELATIVE·························15a357d
4293 000000000186c118··0000000000000008·R_X86_64_RELATIVE·························15a22724293 000000000186c118··0000000000000008·R_X86_64_RELATIVE·························15a2272
4294 000000000186c120··0000000000000008·R_X86_64_RELATIVE·························15a35924294 000000000186c120··0000000000000008·R_X86_64_RELATIVE·························15a3592
4295 000000000186c128··0000000000000008·R_X86_64_RELATIVE·························15a35a24295 000000000186c128··0000000000000008·R_X86_64_RELATIVE·························15a35a2
4296 000000000186c130··0000000000000008·R_X86_64_RELATIVE·························15a227f4296 000000000186c130··0000000000000008·R_X86_64_RELATIVE·························15a227f
4297 000000000186c138··0000000000000008·R_X86_64_RELATIVE·························1599dd34297 000000000186c138··0000000000000008·R_X86_64_RELATIVE·························1599dd3
 4298 000000000186c140··0000000000000008·R_X86_64_RELATIVE·························15a229f
4298 000000000186c140··0000000000000008·R_X86_64_RELATIVE·························15a228e4299 000000000186c148··0000000000000008·R_X86_64_RELATIVE·························15a228e
4299 000000000186c148··0000000000000008·R_X86_64_RELATIVE·························15a229a 
4300 000000000186c150··0000000000000008·R_X86_64_RELATIVE·························15a2f074300 000000000186c150··0000000000000008·R_X86_64_RELATIVE·························15a2f07
4301 000000000186c158··0000000000000008·R_X86_64_RELATIVE·························15a22ab4301 000000000186c158··0000000000000008·R_X86_64_RELATIVE·························15a22ab
4302 000000000186c160··0000000000000008·R_X86_64_RELATIVE·························15a22b34302 000000000186c160··0000000000000008·R_X86_64_RELATIVE·························15a22b3
4303 000000000186c168··0000000000000008·R_X86_64_RELATIVE·························15a35af4303 000000000186c168··0000000000000008·R_X86_64_RELATIVE·························15a35af
4304 000000000186c170··0000000000000008·R_X86_64_RELATIVE·························15953634304 000000000186c170··0000000000000008·R_X86_64_RELATIVE·························1595363
4305 000000000186c178··0000000000000008·R_X86_64_RELATIVE·························15a35cc4305 000000000186c178··0000000000000008·R_X86_64_RELATIVE·························15a35cc
4306 000000000186c180··0000000000000008·R_X86_64_RELATIVE·························15a3da24306 000000000186c180··0000000000000008·R_X86_64_RELATIVE·························15a3da2
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·························15a27824478 000000000186c6e0··0000000000000008·R_X86_64_RELATIVE·························15a2791
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·························15a27a18485 000000000187d3e0··0000000000000008·R_X86_64_RELATIVE·························15a278d
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
8636 000000000187e6c0··0000000000000008·R_X86_64_RELATIVE·························15a27828637 000000000187e6e0··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
Offset 8689, 16 lines modifiedOffset 8689, 16 lines modified
8689 000000000187ed60··0000000000000008·R_X86_64_RELATIVE·························15a30938689 000000000187ed60··0000000000000008·R_X86_64_RELATIVE·························15a3093
8690 000000000187ed80··0000000000000008·R_X86_64_RELATIVE·························15a22448690 000000000187ed80··0000000000000008·R_X86_64_RELATIVE·························15a2244
8691 000000000187eda0··0000000000000008·R_X86_64_RELATIVE·························1577db08691 000000000187eda0··0000000000000008·R_X86_64_RELATIVE·························1577db0
8692 000000000187edc0··0000000000000008·R_X86_64_RELATIVE·························15a30ab8692 000000000187edc0··0000000000000008·R_X86_64_RELATIVE·························15a30ab
8693 000000000187ede0··0000000000000008·R_X86_64_RELATIVE·························15a30a88693 000000000187ede0··0000000000000008·R_X86_64_RELATIVE·························15a30a8
8694 000000000187ee00··0000000000000008·R_X86_64_RELATIVE·························159a4498694 000000000187ee00··0000000000000008·R_X86_64_RELATIVE·························159a449
8695 000000000187ee20··0000000000000008·R_X86_64_RELATIVE·························15a21de8695 000000000187ee20··0000000000000008·R_X86_64_RELATIVE·························15a21de
 8696 000000000187ee40··0000000000000008·R_X86_64_RELATIVE·························15a229f
8696 000000000187ee40··0000000000000008·R_X86_64_RELATIVE·························15a228e8697 000000000187ee60··0000000000000008·R_X86_64_RELATIVE·························15a228e
8697 000000000187ee60··0000000000000008·R_X86_64_RELATIVE·························15a229a 
8698 000000000187ee80··0000000000000008·R_X86_64_RELATIVE·························15a231b8698 000000000187ee80··0000000000000008·R_X86_64_RELATIVE·························15a231b
8699 000000000187eea0··0000000000000008·R_X86_64_RELATIVE·························15a232c8699 000000000187eea0··0000000000000008·R_X86_64_RELATIVE·························15a232c
8700 000000000187eec0··0000000000000008·R_X86_64_RELATIVE·························15a237c8700 000000000187eec0··0000000000000008·R_X86_64_RELATIVE·························15a237c
Max diff block lines reached; 258/11606 bytes (2.22%) of diff not shown.
⊟
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:·a7173a4f62bb3457091849039c47b1dd6210af8a3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·1ea2e8725030c21212e0dc06fd6364398215da6e
⊟
739 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 26759, 16 lines modifiedOffset 26759, 16 lines modified
26759 proof-granularity26759 proof-granularity
26760 proof-mode26760 proof-mode
26761 proof-pedantic26761 proof-pedantic
26762 proof-rewrite-rcons-rec-limit26762 proof-rewrite-rcons-rec-limit
26763 prop-row-length26763 prop-row-length
26764 quant-dsplit26764 quant-dsplit
26765 quant-rep-mode26765 quant-rep-mode
26766 random-freq 
26767 random-frequency26766 random-frequency
 26767 random-freq
26768 re-inter-mode26768 re-inter-mode
26769 replay-early-close-depth26769 replay-early-close-depth
26770 replay-lemma-reject-cut26770 replay-lemma-reject-cut
26771 replay-num-err-penalty26771 replay-num-err-penalty
26772 replay-reject-cut26772 replay-reject-cut
26773 restart-int-base26773 restart-int-base
26774 restart-int-inc26774 restart-int-inc
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 write-partitions-to 
26832 partitions-out26831 partitions-out
 26832 write-partitions-to
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·
⊟
5.11 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 669621, 19 lines modifiedOffset 669621, 19 lines modified
669621 »       movl···$0x52,0xd20(%rsp)669621 »       movl···$0x52,0xd20(%rsp)
669622 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669622 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669623 »       lea····0xd50(%rsp),%rdi669623 »       lea····0xd50(%rsp),%rdi
669624 »       lea····0x12cf289(%rip),%rsi········669624 »       lea····0x12cf289(%rip),%rsi········
669625 »       movl···$0x53,0xd48(%rsp)669625 »       movl···$0x53,0xd48(%rsp)
669626 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669626 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669627 »       lea····0xd78(%rsp),%rdi669627 »       lea····0xd78(%rsp),%rdi
669628 »       lea····0x12d0545(%rip),%rsi········669628 »       lea····0x12cd738(%rip),%rsi········
669629 »       movl···$0x54,0xd70(%rsp)669629 »       movl···$0x54,0xd70(%rsp)
669630 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669630 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669631 »       lea····0xda0(%rsp),%rdi669631 »       lea····0xda0(%rsp),%rdi
669632 »       lea····0x12cd719(%rip),%rsi········669632 »       lea····0x12d0526(%rip),%rsi········
669633 »       movl···$0x55,0xd98(%rsp)669633 »       movl···$0x55,0xd98(%rsp)
669634 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669634 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669635 »       lea····0xdc8(%rsp),%rdi669635 »       lea····0xdc8(%rsp),%rdi
669636 »       lea····0x12ccd52(%rip),%rsi········669636 »       lea····0x12ccd52(%rip),%rsi········
669637 »       movl···$0x55,0xdc0(%rsp)669637 »       movl···$0x55,0xdc0(%rsp)
669638 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>669638 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
669639 »       lea····0xdf0(%rsp),%rdi669639 »       lea····0xdf0(%rsp),%rdi
Offset 670221, 15 lines modifiedOffset 670221, 15 lines modified
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····0x12bfa27(%rip),%rsi········
670225 »       movl···$0xe6,0x24b8(%rsp)670225 »       movl···$0xe6,0x24b8(%rsp)
670226 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670226 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670227 »       lea····0x24e8(%rsp),%rdi670227 »       lea····0x24e8(%rsp),%rdi
670228 »       lea····0x12cce46(%rip),%rsi········670228 »       lea····0x12cce32(%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 670261, 19 lines modifiedOffset 670261, 19 lines modified
670261 »       movl···$0xec,0x2620(%rsp)670261 »       movl···$0xec,0x2620(%rsp)
670262 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670262 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670263 »       lea····0x2650(%rsp),%rdi670263 »       lea····0x2650(%rsp),%rdi
670264 »       lea····0x12cc6b8(%rip),%rsi········670264 »       lea····0x12cc6b8(%rip),%rsi········
670265 »       movl···$0xed,0x2648(%rsp)670265 »       movl···$0xed,0x2648(%rsp)
670266 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670266 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670267 »       lea····0x2678(%rsp),%rdi670267 »       lea····0x2678(%rsp),%rdi
670268 »       lea····0x12cc32e(%rip),%rsi········670268 »       lea····0x12cc6ae(%rip),%rsi········
670269 »       movl···$0xee,0x2670(%rsp)670269 »       movl···$0xee,0x2670(%rsp)
670270 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670270 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670271 »       lea····0x26a0(%rsp),%rdi670271 »       lea····0x26a0(%rsp),%rdi
670272 »       lea····0x12cc68f(%rip),%rsi········670272 »       lea····0x12cc30f(%rip),%rsi········
670273 »       movl···$0xef,0x2698(%rsp)670273 »       movl···$0xef,0x2698(%rsp)
670274 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670274 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670275 »       lea····0x26c8(%rsp),%rdi670275 »       lea····0x26c8(%rsp),%rdi
670276 »       lea····0x12cc683(%rip),%rsi········670276 »       lea····0x12cc683(%rip),%rsi········
670277 »       movl···$0xef,0x26c0(%rsp)670277 »       movl···$0xef,0x26c0(%rsp)
670278 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670278 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670279 »       lea····0x26f0(%rsp),%rdi670279 »       lea····0x26f0(%rsp),%rdi
Offset 670485, 15 lines modifiedOffset 670485, 15 lines modified
670485 »       movl···$0x122,0x2ee0(%rsp)670485 »       movl···$0x122,0x2ee0(%rsp)
670486 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670486 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670487 »       lea····0x2f10(%rsp),%rdi670487 »       lea····0x2f10(%rsp),%rdi
670488 »       lea····0x12cc154(%rip),%rsi········670488 »       lea····0x12cc154(%rip),%rsi········
670489 »       movl···$0x123,0x2f08(%rsp)670489 »       movl···$0x123,0x2f08(%rsp)
670490 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670490 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670491 »       lea····0x2f38(%rsp),%rdi670491 »       lea····0x2f38(%rsp),%rdi
670492 »       lea····0x12cc141(%rip),%rsi········670492 »       lea····0x12cc146(%rip),%rsi········
670493 »       movl···$0x124,0x2f30(%rsp)670493 »       movl···$0x124,0x2f30(%rsp)
670494 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670494 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670495 »       lea····0x2f60(%rsp),%rdi670495 »       lea····0x2f60(%rsp),%rdi
670496 »       lea····0x12ccd8f(%rip),%rsi········670496 »       lea····0x12ccd8f(%rip),%rsi········
670497 »       movl···$0x124,0x2f58(%rsp)670497 »       movl···$0x124,0x2f58(%rsp)
670498 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670498 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670499 »       lea····0x2f88(%rsp),%rdi670499 »       lea····0x2f88(%rsp),%rdi
Offset 670557, 19 lines modifiedOffset 670557, 19 lines modified
670557 »       movl···$0x133,0x31b0(%rsp)670557 »       movl···$0x133,0x31b0(%rsp)
670558 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670558 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670559 »       lea····0x31e0(%rsp),%rdi670559 »       lea····0x31e0(%rsp),%rdi
670560 »       lea····0x12cbff1(%rip),%rsi········670560 »       lea····0x12cbff1(%rip),%rsi········
670561 »       movl···$0x134,0x31d8(%rsp)670561 »       movl···$0x134,0x31d8(%rsp)
670562 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670562 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670563 »       lea····0x3208(%rsp),%rdi670563 »       lea····0x3208(%rsp),%rdi
670564 »       lea····0x12cbfd9(%rip),%rsi········670564 »       lea····0x12beff3(%rip),%rsi········
670565 »       movl···$0x135,0x3200(%rsp)670565 »       movl···$0x135,0x3200(%rsp)
670566 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670566 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670567 »       lea····0x3230(%rsp),%rdi670567 »       lea····0x3230(%rsp),%rdi
670568 »       lea····0x12befd4(%rip),%rsi········670568 »       lea····0x12cbfba(%rip),%rsi········
670569 »       movl···$0x136,0x3228(%rsp)670569 »       movl···$0x136,0x3228(%rsp)
670570 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670570 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670571 »       lea····0x3258(%rsp),%rdi670571 »       lea····0x3258(%rsp),%rdi
670572 »       lea····0x12cbfa6(%rip),%rsi········670572 »       lea····0x12cbfa6(%rip),%rsi········
670573 »       movl···$0x136,0x3250(%rsp)670573 »       movl···$0x136,0x3250(%rsp)
670574 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>670574 »       call···13fbe30·<cvc5::internal::Options::Options()@@Base+0x1410>
670575 »       lea····0x3280(%rsp),%rdi670575 »       lea····0x3280(%rsp),%rdi
Offset 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····0x12cb090(%rip),%rsi········671208 »       lea····0x12cb08b(%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:1258671215 /usr/include/c++/14/bits/hashtable.h:1258
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:·02c9cda23564e667cada6a2feb73fd7bbd24aab16546cb5f348dfbcfcaf9123d)·]4194303 [·Too·much·input·for·diff·(SHA256:·6de4973955cc7b337fd2f8bc3eabf35ba01bd707785357b4d4f425e3f294a96e)·]
⊟
2.63 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 22565, 16 lines modifiedOffset 22565, 16 lines modified
22565 ··0x015a2220·616e756c·61726974·79007072·6f6f662d·anularity.proof-22565 ··0x015a2220·616e756c·61726974·79007072·6f6f662d·anularity.proof-
22566 ··0x015a2230·6d6f6465·0070726f·6f662d70·6564616e·mode.proof-pedan22566 ··0x015a2230·6d6f6465·0070726f·6f662d70·6564616e·mode.proof-pedan
22567 ··0x015a2240·74696300·70726f6f·662d7265·77726974·tic.proof-rewrit22567 ··0x015a2240·74696300·70726f6f·662d7265·77726974·tic.proof-rewrit
22568 ··0x015a2250·652d7263·6f6e732d·7265632d·6c696d69·e-rcons-rec-limi22568 ··0x015a2250·652d7263·6f6e732d·7265632d·6c696d69·e-rcons-rec-limi
22569 ··0x015a2260·74007072·6f702d72·6f772d6c·656e6774·t.prop-row-lengt22569 ··0x015a2260·74007072·6f702d72·6f772d6c·656e6774·t.prop-row-lengt
22570 ··0x015a2270·68007175·616e742d·6473706c·69740071·h.quant-dsplit.q22570 ··0x015a2270·68007175·616e742d·6473706c·69740071·h.quant-dsplit.q
22571 ··0x015a2280·75616e74·2d726570·2d6d6f64·65007261·uant-rep-mode.ra22571 ··0x015a2280·75616e74·2d726570·2d6d6f64·65007261·uant-rep-mode.ra
22572 ··0x015a2290·6e646f6d·2d667265·71007261·6e646f6d·ndom-freq.random 
22573 ··0x015a22a0·2d667265·7175656e·63790072·652d656c·-frequency.re-el22572 ··0x015a2290·6e646f6d·2d667265·7175656e·63790072·ndom-frequency.r
 22573 ··0x015a22a0·616e646f·6d2d6672·65710072·652d656c·andom-freq.re-el
22574 ··0x015a22b0·696d0072·652d696e·7465722d·6d6f6465·im.re-inter-mode22574 ··0x015a22b0·696d0072·652d696e·7465722d·6d6f6465·im.re-inter-mode
22575 ··0x015a22c0·00726570·6c61792d·6561726c·792d636c·.replay-early-cl22575 ··0x015a22c0·00726570·6c61792d·6561726c·792d636c·.replay-early-cl
22576 ··0x015a22d0·6f73652d·64657074·68007265·706c6179·ose-depth.replay22576 ··0x015a22d0·6f73652d·64657074·68007265·706c6179·ose-depth.replay
22577 ··0x015a22e0·2d6c656d·6d612d72·656a6563·742d6375·-lemma-reject-cu22577 ··0x015a22e0·2d6c656d·6d612d72·656a6563·742d6375·-lemma-reject-cu
22578 ··0x015a22f0·74007265·706c6179·2d6e756d·2d657272·t.replay-num-err22578 ··0x015a22f0·74007265·706c6179·2d6e756d·2d657272·t.replay-num-err
22579 ··0x015a2300·2d70656e·616c7479·00726570·6c61792d·-penalty.replay-22579 ··0x015a2300·2d70656e·616c7479·00726570·6c61792d·-penalty.replay-
22580 ··0x015a2310·72656a65·63742d63·75740072·65737461·reject-cut.resta22580 ··0x015a2310·72656a65·63742d63·75740072·65737461·reject-cut.resta
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
22651 ··0x015a2780·65007772·6974652d·70617274·6974696f·e.write-partitio22652 ··0x015a2790·00777269·74652d70·61727469·74696f6e·.write-partition
22652 ··0x015a2790·6e732d74·6f007061·72746974·696f6e73·ns-to.partitions 
22653 ··0x015a27a0·2d6f7574·00417267·756d656e·74202700·-out.Argument·'.22653 ··0x015a27a0·732d746f·00417267·756d656e·74202700·s-to.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
⊟
4.91 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·a1275a01·00000000·00000000·00000000·.'Z.............1932 ··0x0186aff0·8d275a01·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·a1275a01·00000000·ef205a01·00000000·.'Z......·Z.....2177 ··0x0186bf40·8d275a01·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·96275a01·00000000·b72a5a01·00000000·.'Z......*Z.....2184 ··0x0186bfb0·82275a01·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 2202, 15 lines modifiedOffset 2202, 15 lines modified
2202 ··0x0186c0d0·35225a01·00000000·6a305a01·00000000·5"Z.....j0Z.....2202 ··0x0186c0d0·35225a01·00000000·6a305a01·00000000·5"Z.....j0Z.....
2203 ··0x0186c0e0·7c305a01·00000000·96305a01·00000000·|0Z......0Z.....2203 ··0x0186c0e0·7c305a01·00000000·96305a01·00000000·|0Z......0Z.....
2204 ··0x0186c0f0·44225a01·00000000·b07d5701·00000000·D"Z......}W.....2204 ··0x0186c0f0·44225a01·00000000·b07d5701·00000000·D"Z......}W.....
2205 ··0x0186c100·62225a01·00000000·6a355a01·00000000·b"Z.....j5Z.....2205 ··0x0186c100·62225a01·00000000·6a355a01·00000000·b"Z.....j5Z.....
2206 ··0x0186c110·7d355a01·00000000·72225a01·00000000·}5Z.....r"Z.....2206 ··0x0186c110·7d355a01·00000000·72225a01·00000000·}5Z.....r"Z.....
2207 ··0x0186c120·92355a01·00000000·a2355a01·00000000·.5Z......5Z.....2207 ··0x0186c120·92355a01·00000000·a2355a01·00000000·.5Z......5Z.....
2208 ··0x0186c130·7f225a01·00000000·d39d5901·00000000·."Z.......Y.....2208 ··0x0186c130·7f225a01·00000000·d39d5901·00000000·."Z.......Y.....
2209 ··0x0186c140·8e225a01·00000000·9a225a01·00000000·."Z......"Z.....2209 ··0x0186c140·9f225a01·00000000·8e225a01·00000000·."Z......"Z.....
2210 ··0x0186c150·072f5a01·00000000·ab225a01·00000000·./Z......"Z.....2210 ··0x0186c150·072f5a01·00000000·ab225a01·00000000·./Z......"Z.....
2211 ··0x0186c160·b3225a01·00000000·af355a01·00000000·."Z......5Z.....2211 ··0x0186c160·b3225a01·00000000·af355a01·00000000·."Z......5Z.....
2212 ··0x0186c170·63535901·00000000·cc355a01·00000000·cSY......5Z.....2212 ··0x0186c170·63535901·00000000·cc355a01·00000000·cSY......5Z.....
2213 ··0x0186c180·a23d5a01·00000000·e3355a01·00000000·.=Z......5Z.....2213 ··0x0186c180·a23d5a01·00000000·e3355a01·00000000·.=Z......5Z.....
2214 ··0x0186c190·4f3b5a01·00000000·c1225a01·00000000·O;Z......"Z.....2214 ··0x0186c190·4f3b5a01·00000000·c1225a01·00000000·O;Z......"Z.....
2215 ··0x0186c1a0·da225a01·00000000·f2225a01·00000000·."Z......"Z.....2215 ··0x0186c1a0·da225a01·00000000·f2225a01·00000000·."Z......"Z.....
2216 ··0x0186c1b0·09235a01·00000000·7a535901·00000000·.#Z.....zSY.....2216 ··0x0186c1b0·09235a01·00000000·7a535901·00000000·.#Z.....zSY.....
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·82275a01·00000000·00000000·00000000·.'Z.............2299 ··0x0186c6e0·91275a01·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.....
⊟
3.69 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·a1275a01·00000000·01000000·00000000·.'Z.............321 ··0x0187d3e0·8d275a01·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·82275a01·00000000·01000000·00000000·.'Z.............623 ··0x0187e6c0·91275a01·00000000·01000000·00000000·.'Z.............
624 ··0x0187e6d0·00000000·00000000·0e020000·00000000·................624 ··0x0187e6d0·00000000·00000000·0e020000·00000000·................
625 ··0x0187e6e0·96275a01·00000000·01000000·00000000·.'Z.............625 ··0x0187e6e0·82275a01·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·................
Offset 736, 17 lines modifiedOffset 736, 17 lines modified
736 ··0x0187edd0·00000000·00000000·46020000·00000000·........F.......736 ··0x0187edd0·00000000·00000000·46020000·00000000·........F.......
737 ··0x0187ede0·a8305a01·00000000·00000000·00000000·.0Z.............737 ··0x0187ede0·a8305a01·00000000·00000000·00000000·.0Z.............
738 ··0x0187edf0·00000000·00000000·47020000·00000000·........G.......738 ··0x0187edf0·00000000·00000000·47020000·00000000·........G.......
739 ··0x0187ee00·49a45901·00000000·01000000·00000000·I.Y.............739 ··0x0187ee00·49a45901·00000000·01000000·00000000·I.Y.............
740 ··0x0187ee10·00000000·00000000·48020000·00000000·........H.......740 ··0x0187ee10·00000000·00000000·48020000·00000000·........H.......
741 ··0x0187ee20·de215a01·00000000·01000000·00000000·.!Z.............741 ··0x0187ee20·de215a01·00000000·01000000·00000000·.!Z.............
742 ··0x0187ee30·00000000·00000000·49020000·00000000·........I.......742 ··0x0187ee30·00000000·00000000·49020000·00000000·........I.......
743 ··0x0187ee40·8e225a01·00000000·01000000·00000000·."Z.............743 ··0x0187ee40·9f225a01·00000000·01000000·00000000·."Z.............
744 ··0x0187ee50·00000000·00000000·4a020000·00000000·........J.......744 ··0x0187ee50·00000000·00000000·4a020000·00000000·........J.......
745 ··0x0187ee60·9a225a01·00000000·01000000·00000000·."Z.............745 ··0x0187ee60·8e225a01·00000000·01000000·00000000·."Z.............
746 ··0x0187ee70·00000000·00000000·4b020000·00000000·........K.......746 ··0x0187ee70·00000000·00000000·4b020000·00000000·........K.......
747 ··0x0187ee80·1b235a01·00000000·01000000·00000000·.#Z.............747 ··0x0187ee80·1b235a01·00000000·01000000·00000000·.#Z.............
748 ··0x0187ee90·00000000·00000000·4c020000·00000000·........L.......748 ··0x0187ee90·00000000·00000000·4c020000·00000000·........L.......
749 ··0x0187eea0·2c235a01·00000000·01000000·00000000·,#Z.............749 ··0x0187eea0·2c235a01·00000000·01000000·00000000·,#Z.............
750 ··0x0187eeb0·00000000·00000000·4d020000·00000000·........M.......750 ··0x0187eeb0·00000000·00000000·4d020000·00000000·........M.......
751 ··0x0187eec0·7c235a01·00000000·01000000·00000000·|#Z.............751 ··0x0187eec0·7c235a01·00000000·01000000·00000000·|#Z.............
752 ··0x0187eed0·00000000·00000000·4e020000·00000000·........N.......752 ··0x0187eed0·00000000·00000000·4e020000·00000000·........N.......
⊟
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·31373361·34663632·62623334·35373039·173a4f62bb345709 
3 ··0x00000010·31383439·30333963·34376231·64643632·1849039c47b1dd622 ··0x00000000·61326538·37323530·33306332·31323132·a2e8725030c21212
 3 ··0x00000010·65306463·30366664·36333634·33393832·e0dc06fd63643982
4 ··0x00000020·31306166·38612e64·65627567·00000000·10af8a.debug....4 ··0x00000020·31356461·36652e64·65627567·00000000·15da6e.debug....
5 ··0x00000030·97c5974f····························...O5 ··0x00000030·678fd0ac····························g...
  
⊟
2.0 KB
libcvc5parser1_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·····1264·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···235072·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···234880·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:·ddf5f3fc9a96f0c585d8f719775ac1a5a3992cd53 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·057c280b29dbc77037232757c3a3dbdb27f61a70
⊟
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·66356633·66633961·39366630·63353835·f5f3fc9a96f0c585 
3 ··0x00000010·64386637·31393737·35616331·61356133·d8f719775ac1a5a32 ··0x00000000·37633238·30623239·64626337·37303337·7c280b29dbc77037
 3 ··0x00000010·32333237·35376333·61336462·64623237·232757c3a3dbdb27
4 ··0x00000020·39393263·64352e64·65627567·00000000·992cd5.debug....4 ··0x00000020·66363161·37302e64·65627567·00000000·f61a70.debug....
5 ··0x00000030·4263d079····························Bc.y5 ··0x00000030·248463ac····························$.c.
  
⊟
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···339816·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···338220·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:·a36d48818cb09e324372dd2fc6972d7ebb4d570c3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·496e122e4e3d4d24e8df54d787cd6718420e5da9
⊟
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·36643438·38313863·62303965·33323433·6d48818cb09e3243 
3 ··0x00000010·37326464·32666336·39373264·37656262·72dd2fc6972d7ebb2 ··0x00000000·36653132·32653465·33643464·32346538·6e122e4e3d4d24e8
 3 ··0x00000010·64663534·64373837·63643637·31383432·df54d787cd671842
4 ··0x00000020·34643537·30632e64·65627567·00000000·4d570c.debug....4 ··0x00000020·30653564·61392e64·65627567·00000000·0e5da9.debug....
5 ··0x00000030·90a8d1bf····························....5 ··0x00000030·724c092b····························rL.+
  
⊟
37.4 MB
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··1882696·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1882540·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:·facc0414ee86d1cec40e7c1f01a1199afc23dfdb12 Build-Ids:·55451abe6d8921005c11188083b8785f9a1e9b0c
⊟
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/fa/cc0414ee86d1cec40e7c1f01a1199afc23dfdb.debug1 usr/lib/debug/.build-id/55/451abe6d8921005c11188083b8785f9a1e9b0c.debug
⊟
37.4 MB
data.tar.xz
⊟
37.4 MB
data.tar
⊟
1.37 KB
file list
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/fa/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/55/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2127128·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/fa/cc0414ee86d1cec40e7c1f01a1199afc23dfdb.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2127136·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/55/451abe6d8921005c11188083b8785f9a1e9b0c.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
⊟
37.4 MB
./usr/lib/debug/.build-id/fa/cc0414ee86d1cec40e7c1f01a1199afc23dfdb.debug vs.
./usr/lib/debug/.build-id/55/451abe6d8921005c11188083b8785f9a1e9b0c.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 75% similar despite different names
⊟
992 B
readelf --wide --file-header {}
error from `readelf --wide --file-header {}`: readelf: Error: Unable to find program interpreter name
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·System·V6 ··OS/ABI:····························UNIX·-·System·V
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x11ec011 ··Entry·point·address:···············0x11ec0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········2124504·(bytes·into·file)13 ··Start·of·section·headers:··········2124512·(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:·········1417 ··Number·of·program·headers:·········14
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········4119 ··Number·of·section·headers:·········41
20 ··Section·header·string·table·index:·4020 ··Section·header·string·table·index:·40
⊟
3.22 KB
readelf --wide --sections {}
error from `readelf --wide --sections {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·41·section·headers,·starting·at·offset·0x206ad8:1 There·are·41·section·headers,·starting·at·offset·0x206ae0:
  
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.property·NOTE············0000000000000350·000350·000020·00···A··0···0··85 ··[·1]·.note.gnu.property·NOTE············0000000000000350·000350·000020·00···A··0···0··8
6 ··[·2]·.note.gnu.build-id·NOTE············0000000000000370·000370·000024·00···A··0···0··46 ··[·2]·.note.gnu.build-id·NOTE············0000000000000370·000370·000024·00···A··0···0··4
7 ··[·3]·.interp···········NOBITS··········0000000000000394·000394·00001c·00···A··0···0··17 ··[·3]·.interp···········NOBITS··········0000000000000394·000394·00001c·00···A··0···0··1
Offset 28, 23 lines modifiedOffset 28, 23 lines modified
28 ··[23]·.data.rel.ro······NOBITS··········0000000000064460·020438·0003a0·00··WA··0···0·3228 ··[23]·.data.rel.ro······NOBITS··········0000000000064460·020438·0003a0·00··WA··0···0·32
29 ··[24]·.dynamic··········NOBITS··········0000000000064800·020438·000240·10··WA··6···0··829 ··[24]·.dynamic··········NOBITS··········0000000000064800·020438·000240·10··WA··6···0··8
30 ··[25]·.got··············NOBITS··········0000000000064a40·020438·0005c0·08··WA··0···0··830 ··[25]·.got··············NOBITS··········0000000000064a40·020438·0005c0·08··WA··0···0··8
31 ··[26]·.data·············NOBITS··········0000000000065000·020438·006180·00··WA··0···0·3231 ··[26]·.data·············NOBITS··········0000000000065000·020438·006180·00··WA··0···0·32
32 ··[27]·.bss··············NOBITS··········000000000006b180·020438·000500·00··WA··0···0·3232 ··[27]·.bss··············NOBITS··········000000000006b180·020438·000500·00··WA··0···0·32
33 ··[28]·.comment··········PROGBITS········0000000000000000·01f64c·00001f·01··MS··0···0··133 ··[28]·.comment··········PROGBITS········0000000000000000·01f64c·00001f·01··MS··0···0··1
34 ··[29]·.debug_aranges····PROGBITS········0000000000000000·01f670·0001fa·00···C··0···0··834 ··[29]·.debug_aranges····PROGBITS········0000000000000000·01f670·0001fa·00···C··0···0··8
35 ··[30]·.debug_info·······PROGBITS········0000000000000000·01f870·157b4a·00···C··0···0··835 ··[30]·.debug_info·······PROGBITS········0000000000000000·01f870·157b4c·00···C··0···0··8
36 ··[31]·.debug_abbrev·····PROGBITS········0000000000000000·1773c0·00358a·00···C··0···0··836 ··[31]·.debug_abbrev·····PROGBITS········0000000000000000·1773c0·00358a·00···C··0···0··8
37 ··[32]·.debug_line·······PROGBITS········0000000000000000·17a950·00fbb7·00···C··0···0··837 ··[32]·.debug_line·······PROGBITS········0000000000000000·17a950·00fbb7·00···C··0···0··8
38 ··[33]·.debug_str········PROGBITS········0000000000000000·18a508·02ed7e·01·MSC··0···0··838 ··[33]·.debug_str········PROGBITS········0000000000000000·18a508·02ed7a·01·MSC··0···0··8
39 ··[34]·.debug_line_str···PROGBITS········0000000000000000·1b9288·0007d1·01·MSC··0···0··839 ··[34]·.debug_line_str···PROGBITS········0000000000000000·1b9288·0007d1·01·MSC··0···0··8
40 ··[35]·.debug_loclists···PROGBITS········0000000000000000·1b9a60·0331ed·00···C··0···0··840 ··[35]·.debug_loclists···PROGBITS········0000000000000000·1b9a60·0331ed·00···C··0···0··8
41 ··[36]·.debug_macro······PROGBITS········0000000000000000·1ecc50·009e70·00···C··0···0··841 ··[36]·.debug_macro······PROGBITS········0000000000000000·1ecc50·009e76·00···C··0···0··8
42 ··[37]·.debug_rnglists···PROGBITS········0000000000000000·1f6ac0·009050·00···C··0···0··842 ··[37]·.debug_rnglists···PROGBITS········0000000000000000·1f6ac8·009050·00···C··0···0··8
43 ··[38]·.symtab···········SYMTAB··········0000000000000000·1ffb10·0025f8·18·····39·116··843 ··[38]·.symtab···········SYMTAB··········0000000000000000·1ffb18·0025f8·18·····39·116··8
44 ··[39]·.strtab···········STRTAB··········0000000000000000·202108·00481d·00······0···0··144 ··[39]·.strtab···········STRTAB··········0000000000000000·202110·00481d·00······0···0··1
45 ··[40]·.shstrtab·········STRTAB··········0000000000000000·206925·0001ad·00······0···0··145 ··[40]·.shstrtab·········STRTAB··········0000000000000000·20692d·0001ad·00······0···0··1
46 Key·to·Flags:46 Key·to·Flags:
47 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),47 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
48 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),48 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
49 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),49 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
50 ··D·(mbind),·l·(large),·p·(processor·specific)50 ··D·(mbind),·l·(large),·p·(processor·specific)
⊟
915 B
readelf --wide --notes {}
error from `readelf --wide --notes {}`: readelf: Error: Unable to find program interpreter name
    
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:·facc0414ee86d1cec40e7c1f01a1199afc23dfdb6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·55451abe6d8921005c11188083b8785f9a1e9b0c
  
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
⊟
35.8 MB
readelf --wide --debug-dump=info {}
error from `readelf --wide --debug-dump=info {}`: readelf: Error: Unable to find program interpreter name
    
Offset 8, 155 lines modifiedOffset 8, 155 lines modified
8 ···Pointer·Size:··88 ···Pointer·Size:··8
9 ·<0><c>:·Abbrev·Number:·29·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·29·(DW_TAG_partial_unit)
10 ····<d>···DW_AT_stmt_list···:·(sec_offset)·010 ····<d>···DW_AT_stmt_list···:·(sec_offset)·0
11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x1e):·./obj-x86_64-linux-gnu/src/main11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x1e):·./obj-x86_64-linux-gnu/src/main
12 ·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·18·(DW_TAG_base_type)
13 ····<16>···DW_AT_byte_size···:·(data1)·113 ····<16>···DW_AT_byte_size···:·(data1)·1
14 ····<17>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)14 ····<17>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
15 ····<18>···DW_AT_name········:·(strp)·(offset:·0xa2fc1):·unsigned·char15 ····<18>···DW_AT_name········:·(strp)·(offset:·0xa2ff4):·unsigned·char
16 ·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·18·(DW_TAG_base_type)
17 ····<1d>···DW_AT_byte_size···:·(data1)·217 ····<1d>···DW_AT_byte_size···:·(data1)·2
18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)18 ····<1e>···DW_AT_encoding····:·(data1)·7»    (unsigned)
19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a13e):·short·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a155):·short·unsigned·int
20 ·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·18·(DW_TAG_base_type)
21 ····<24>···DW_AT_byte_size···:·(data1)·421 ····<24>···DW_AT_byte_size···:·(data1)·4
22 ····<25>···DW_AT_encoding····:·(data1)·7»    (unsigned)22 ····<25>···DW_AT_encoding····:·(data1)·7»    (unsigned)
23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb11e):·unsigned·int23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb151):·unsigned·int
24 ·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·18·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·825 ····<2b>···DW_AT_byte_size···:·(data1)·8
26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7caaa):·long·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cac1):·long·unsigned·int
28 ·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef)28 ·<1><31>:·Abbrev·Number:·39·(DW_TAG_typedef)
29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5c9):·__int8_t29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb5c9):·__int8_t
30 ····<36>···DW_AT_decl_file···:·(data1)·3130 ····<36>···DW_AT_decl_file···:·(data1)·31
31 ····<37>···DW_AT_decl_line···:·(data1)·3731 ····<37>···DW_AT_decl_line···:·(data1)·37
32 ····<38>···DW_AT_decl_column·:·(data1)·2132 ····<38>···DW_AT_decl_column·:·(data1)·21
33 ····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char33 ····<39>···DW_AT_type········:·(ref_udata)·<0x3a>,·signed·char
34 ·<1><3a>:·Abbrev·Number:·18·(DW_TAG_base_type)34 ·<1><3a>:·Abbrev·Number:·18·(DW_TAG_base_type)
35 ····<3b>···DW_AT_byte_size···:·(data1)·135 ····<3b>···DW_AT_byte_size···:·(data1)·1
36 ····<3c>···DW_AT_encoding····:·(data1)·6»    (signed·char)36 ····<3c>···DW_AT_encoding····:·(data1)·6»    (signed·char)
37 ····<3d>···DW_AT_name········:·(strp)·(offset:·0x71307):·signed·char37 ····<3d>···DW_AT_name········:·(strp)·(offset:·0x7131e):·signed·char
38 ·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef)38 ·<1><41>:·Abbrev·Number:·39·(DW_TAG_typedef)
39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x41424):·__uint8_t39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x4140a):·__uint8_t
40 ····<46>···DW_AT_decl_file···:·(data1)·3140 ····<46>···DW_AT_decl_file···:·(data1)·31
41 ····<47>···DW_AT_decl_line···:·(data1)·3841 ····<47>···DW_AT_decl_line···:·(data1)·38
42 ····<48>···DW_AT_decl_column·:·(data1)·2342 ····<48>···DW_AT_decl_column·:·(data1)·23
43 ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char43 ····<49>···DW_AT_type········:·(ref_udata)·<0x15>,·unsigned·char
44 ·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef)44 ·<1><4a>:·Abbrev·Number:·39·(DW_TAG_typedef)
45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb3c08):·__int16_t45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb3c3b):·__int16_t
46 ····<4f>···DW_AT_decl_file···:·(data1)·3146 ····<4f>···DW_AT_decl_file···:·(data1)·31
47 ····<50>···DW_AT_decl_line···:·(data1)·3947 ····<50>···DW_AT_decl_line···:·(data1)·39
48 ····<51>···DW_AT_decl_column·:·(data1)·2648 ····<51>···DW_AT_decl_column·:·(data1)·26
49 ····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int49 ····<52>···DW_AT_type········:·(ref_udata)·<0x53>,·short·int
50 ·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type)50 ·<1><53>:·Abbrev·Number:·18·(DW_TAG_base_type)
51 ····<54>···DW_AT_byte_size···:·(data1)·251 ····<54>···DW_AT_byte_size···:·(data1)·2
52 ····<55>···DW_AT_encoding····:·(data1)·5»    (signed)52 ····<55>···DW_AT_encoding····:·(data1)·5»    (signed)
53 ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b0b7):·short·int53 ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b0ce):·short·int
54 ·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef)54 ·<1><5a>:·Abbrev·Number:·39·(DW_TAG_typedef)
55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb896b):·__uint16_t55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb899e):·__uint16_t
56 ····<5f>···DW_AT_decl_file···:·(data1)·3156 ····<5f>···DW_AT_decl_file···:·(data1)·31
57 ····<60>···DW_AT_decl_line···:·(data1)·4057 ····<60>···DW_AT_decl_line···:·(data1)·40
58 ····<61>···DW_AT_decl_column·:·(data1)·2858 ····<61>···DW_AT_decl_column·:·(data1)·28
59 ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int59 ····<62>···DW_AT_type········:·(ref_udata)·<0x1c>,·short·unsigned·int
60 ·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef)60 ·<1><63>:·Abbrev·Number:·39·(DW_TAG_typedef)
61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8aefe):·__int32_t61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8af15):·__int32_t
62 ····<68>···DW_AT_decl_file···:·(data1)·3162 ····<68>···DW_AT_decl_file···:·(data1)·31
63 ····<69>···DW_AT_decl_line···:·(data1)·4163 ····<69>···DW_AT_decl_line···:·(data1)·41
64 ····<6a>···DW_AT_decl_column·:·(data1)·2064 ····<6a>···DW_AT_decl_column·:·(data1)·20
65 ····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int65 ····<6b>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
66 ·<1><6c>:·Abbrev·Number:·43·(DW_TAG_base_type)66 ·<1><6c>:·Abbrev·Number:·43·(DW_TAG_base_type)
67 ····<6d>···DW_AT_byte_size···:·(data1)·467 ····<6d>···DW_AT_byte_size···:·(data1)·4
68 ····<6e>···DW_AT_encoding····:·(data1)·5»    (signed)68 ····<6e>···DW_AT_encoding····:·(data1)·5»    (signed)
69 ····<6f>···DW_AT_name········:·(string)·int69 ····<6f>···DW_AT_name········:·(string)·int
70 ·<1><73>:·Abbrev·Number:·33·(DW_TAG_const_type)70 ·<1><73>:·Abbrev·Number:·33·(DW_TAG_const_type)
71 ····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int71 ····<74>···DW_AT_type········:·(ref_udata)·<0x6c>,·int
72 ·<1><75>:·Abbrev·Number:·39·(DW_TAG_typedef)72 ·<1><75>:·Abbrev·Number:·39·(DW_TAG_typedef)
73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x8f984):·__uint32_t73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x8f99b):·__uint32_t
74 ····<7a>···DW_AT_decl_file···:·(data1)·3174 ····<7a>···DW_AT_decl_file···:·(data1)·31
75 ····<7b>···DW_AT_decl_line···:·(data1)·4275 ····<7b>···DW_AT_decl_line···:·(data1)·42
76 ····<7c>···DW_AT_decl_column·:·(data1)·2276 ····<7c>···DW_AT_decl_column·:·(data1)·22
77 ····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int77 ····<7d>···DW_AT_type········:·(ref_udata)·<0x23>,·unsigned·int
78 ·<1><7e>:·Abbrev·Number:·39·(DW_TAG_typedef)78 ·<1><7e>:·Abbrev·Number:·39·(DW_TAG_typedef)
79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x6380b):·__int64_t79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63822):·__int64_t
80 ····<83>···DW_AT_decl_file···:·(data1)·3180 ····<83>···DW_AT_decl_file···:·(data1)·31
81 ····<84>···DW_AT_decl_line···:·(data1)·4481 ····<84>···DW_AT_decl_line···:·(data1)·44
82 ····<85>···DW_AT_decl_column·:·(data1)·2582 ····<85>···DW_AT_decl_column·:·(data1)·25
83 ····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int83 ····<86>···DW_AT_type········:·(ref_udata)·<0x88>,·long·int
84 ·<1><88>:·Abbrev·Number:·18·(DW_TAG_base_type)84 ·<1><88>:·Abbrev·Number:·18·(DW_TAG_base_type)
85 ····<89>···DW_AT_byte_size···:·(data1)·885 ····<89>···DW_AT_byte_size···:·(data1)·8
86 ····<8a>···DW_AT_encoding····:·(data1)·5»    (signed)86 ····<8a>···DW_AT_encoding····:·(data1)·5»    (signed)
87 ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe0d):·long·int87 ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe0d):·long·int
88 ·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef)88 ·<1><8f>:·Abbrev·Number:·39·(DW_TAG_typedef)
89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x686a7):·__uint64_t89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x686be):·__uint64_t
90 ····<94>···DW_AT_decl_file···:·(data1)·3190 ····<94>···DW_AT_decl_file···:·(data1)·31
91 ····<95>···DW_AT_decl_line···:·(data1)·4591 ····<95>···DW_AT_decl_line···:·(data1)·45
92 ····<96>···DW_AT_decl_column·:·(data1)·2792 ····<96>···DW_AT_decl_column·:·(data1)·27
93 ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int93 ····<97>···DW_AT_type········:·(ref_udata)·<0x2a>,·long·unsigned·int
94 ·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef)94 ·<1><98>:·Abbrev·Number:·39·(DW_TAG_typedef)
95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59d2c):·__int_least8_t95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59d43):·__int_least8_t
96 ····<9d>···DW_AT_decl_file···:·(data1)·3196 ····<9d>···DW_AT_decl_file···:·(data1)·31
97 ····<9e>···DW_AT_decl_line···:·(data1)·5297 ····<9e>···DW_AT_decl_line···:·(data1)·52
98 ····<9f>···DW_AT_decl_column·:·(data1)·1898 ····<9f>···DW_AT_decl_column·:·(data1)·18
99 ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char99 ····<a0>···DW_AT_type········:·(ref_udata)·<0x31>,·__int8_t,·signed·char
100 ·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef)100 ·<1><a1>:·Abbrev·Number:·39·(DW_TAG_typedef)
101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5fd33):·__uint_least8_t101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5fd4a):·__uint_least8_t
102 ····<a6>···DW_AT_decl_file···:·(data1)·31102 ····<a6>···DW_AT_decl_file···:·(data1)·31
103 ····<a7>···DW_AT_decl_line···:·(data1)·53103 ····<a7>···DW_AT_decl_line···:·(data1)·53
104 ····<a8>···DW_AT_decl_column·:·(data1)·19104 ····<a8>···DW_AT_decl_column·:·(data1)·19
105 ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char105 ····<a9>···DW_AT_type········:·(ref_udata)·<0x41>,·__uint8_t,·unsigned·char
106 ·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef)106 ·<1><aa>:·Abbrev·Number:·39·(DW_TAG_typedef)
107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fbd1):·__int_least16_t107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fbe8):·__int_least16_t
108 ····<af>···DW_AT_decl_file···:·(data1)·31108 ····<af>···DW_AT_decl_file···:·(data1)·31
109 ····<b0>···DW_AT_decl_line···:·(data1)·54109 ····<b0>···DW_AT_decl_line···:·(data1)·54
110 ····<b1>···DW_AT_decl_column·:·(data1)·19110 ····<b1>···DW_AT_decl_column·:·(data1)·19
111 ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int111 ····<b2>···DW_AT_type········:·(ref_udata)·<0x4a>,·__int16_t,·short·int
112 ·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef)112 ·<1><b3>:·Abbrev·Number:·39·(DW_TAG_typedef)
113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d23):·__uint_least16_t113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d23):·__uint_least16_t
114 ····<b8>···DW_AT_decl_file···:·(data1)·31114 ····<b8>···DW_AT_decl_file···:·(data1)·31
115 ····<b9>···DW_AT_decl_line···:·(data1)·55115 ····<b9>···DW_AT_decl_line···:·(data1)·55
116 ····<ba>···DW_AT_decl_column·:·(data1)·20116 ····<ba>···DW_AT_decl_column·:·(data1)·20
117 ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int117 ····<bb>···DW_AT_type········:·(ref_udata)·<0x5a>,·__uint16_t,·short·unsigned·int
118 ·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef)118 ·<1><bc>:·Abbrev·Number:·39·(DW_TAG_typedef)
119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56ce4):·__int_least32_t119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56cfb):·__int_least32_t
120 ····<c1>···DW_AT_decl_file···:·(data1)·31120 ····<c1>···DW_AT_decl_file···:·(data1)·31
121 ····<c2>···DW_AT_decl_line···:·(data1)·56121 ····<c2>···DW_AT_decl_line···:·(data1)·56
122 ····<c3>···DW_AT_decl_column·:·(data1)·19122 ····<c3>···DW_AT_decl_column·:·(data1)·19
123 ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int123 ····<c4>···DW_AT_type········:·(ref_udata)·<0x63>,·__int32_t,·int
124 ·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef)124 ·<1><c5>:·Abbrev·Number:·39·(DW_TAG_typedef)
125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xca483):·__uint_least32_t125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xca469):·__uint_least32_t
126 ····<ca>···DW_AT_decl_file···:·(data1)·31126 ····<ca>···DW_AT_decl_file···:·(data1)·31
127 ····<cb>···DW_AT_decl_line···:·(data1)·57127 ····<cb>···DW_AT_decl_line···:·(data1)·57
128 ····<cc>···DW_AT_decl_column·:·(data1)·20128 ····<cc>···DW_AT_decl_column·:·(data1)·20
129 ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int129 ····<cd>···DW_AT_type········:·(ref_udata)·<0x75>,·__uint32_t,·unsigned·int
130 ·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef)130 ·<1><ce>:·Abbrev·Number:·39·(DW_TAG_typedef)
131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ec60):·__int_least64_t131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ec46):·__int_least64_t
132 ····<d3>···DW_AT_decl_file···:·(data1)·31132 ····<d3>···DW_AT_decl_file···:·(data1)·31
133 ····<d4>···DW_AT_decl_line···:·(data1)·58133 ····<d4>···DW_AT_decl_line···:·(data1)·58
134 ····<d5>···DW_AT_decl_column·:·(data1)·19134 ····<d5>···DW_AT_decl_column·:·(data1)·19
Max diff block lines reached; 37479383/37487492 bytes (99.98%) of diff not shown.
⊟
2.11 KB
readelf --wide --debug-dump=macro {}
error from `readelf --wide --debug-dump=macro {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1703, 16 lines modifiedOffset 1703, 16 lines modified
1703 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11703 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1704 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11704 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1705 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11705 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1706 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11706 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1707 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·11707 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1708 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11708 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1709 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21709 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1710 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1710 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1711 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1711 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1712 ··Offset:······················0x1bec1712 ··Offset:······················0x1bec
1713 ··Version:·····················51713 ··Version:·····················5
1714 ··Offset·size:·················41714 ··Offset·size:·················4
  
1715 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11715 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1716 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11716 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 13970, 16 lines modifiedOffset 13970, 16 lines modified
13970 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·113970 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
13971 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·113971 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
13972 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·113972 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
13973 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·113973 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
13974 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·113974 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
13975 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·113975 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
13976 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·213976 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
13977 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"13977 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
13978 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"13978 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
13979 ··Offset:······················0x12e8613979 ··Offset:······················0x12e86
13980 ··Version:·····················513980 ··Version:·····················5
13981 ··Offset·size:·················413981 ··Offset·size:·················4
  
13982 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU13982 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
13983 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE13983 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE
⊟
8.38 KB
strings --all --bytes=8 {}
    
Offset 1, 340 lines modifiedOffset 1, 339 lines modified
1 GCC:·(Debian·14.2.0-12)·14.2.01 GCC:·(Debian·14.2.0-12)·14.2.0
 2 jZi~GVMg
 3 m=EXS}Cu
 4 Un1wmUdx
 5 NM+u0Dp_
 6 8*Drm58Z]q<
 7 u#"G0Yb·p
 8 ZK9~AKb.
 9 4A}|WY>~
 10 !N:L41dj
 11 $V;.T#X|S
 12 P|3uFC» e
 13 ]]a{·/h!+
 14 b>FnqH|Q
 15 zgy{fwF0
 16 $&V3{A>$
 17 =JP2;"n)
 18 3li9^Y.·y|dC
 19 \~%$hHFR
 20 Uy_Vo;F0I
 21 nSQ>l:I#$c
 22 E+O^·(Sy
 23 #HYN3t:n
 24 WXMqP^^g
 25 nWRjlQ1u
 26 $@vIawd%U
 27 6D-B:Ix'3
 28 4<A.Mhu2@6
 29 a.f4I·k_
 30 vruCadT»
 31 dww[hjSkI
 32 [&DTph8P<
 33 4Q*q5qbC
 34 P'A,a<$#
 35 O{58:C##
 36 vk#t3l+·+f8H
 37 NO_B\\v0!
 38 fJ+p=s5%
 39 I[(hH,8J
 40 a>{yB:(y
2 n46W:'>A 
3 -)KY>'» 3 
4 DX]k}-iQ 
5 CJH4/0s] 
6 4dW6&Bh7 
7 ?T»     Bdt'Bdt 
8 %cRqa}e! 
9 dL7/d](g 
10 u5HjtTl& 
11 hl_UFo`: 
12 ouAcg!euAeC!cC! 
13 vF_Fm0O*· 
14 yW,rSE;l0»       
15 }[NsKSL)X 
16 }%v'-YNN5 
17 i*l0m.h,% 
18 $;BJ6#?~ 
19 "URS.1R%= 
20 XiI!·jU.Y 
21 XR%=tXe5 
22 (SmdU;/W 
23 Bf(@frBT 
24 %»      dOe:iz 
25 Av`NE!·OU 
26 p*n5Xejm| 
27 Abv(yPo- 
28 VdzKX?lA 
29 u<=dAA=$R) 
30 CH5%#Db3 
31 71cnTde53 
32 K`Ik·MA~-7 
33 >la%U{`\ 
34 uscWO·)&v 
35 2v1!BoI"L 
36 *e4q#qO-c 
37 %N&$@7%8 
38 $ImN&$@w7: 
39 OvkQ)r_l> 
40 oO.32Ua: 
41 /@j,0~s7q 
42 u·&3x-^# 
43 DK77uOz|N41 DK77uOz|N
44 Iq@*x·G2Rx42 Iq@*x·G2Rx
45 |*U|*Y2743 |*U|*Y27
46 CY?M%w|U44 CY?M%w|U
47 a6IzL'5JT45 a6IzL'5JT
48 Bi·m*KEM46 Bi·m*KEM
49 -yj[r6R?47 -yj[r6R?
 48 ItfQMd&R
 49 R1;mx-{0@
 50 8q,-?R1,
 51 .V#3-65"
50 PKrmNkrmd 
51 [!,vf-}=E 
52 eQ5B[x/~ 
53 UuERr#)- 
54 i-»     o%5Lk 
55 ")~2(]aN-e 
56 a@s5qh@!v52 a@s5qh@!v
 53 t!0o»   ,X"5
 54 sg\X-oGGc
 55 =!/]IH@-
 56 E3alQM9I
 57 R#/!clQ}
 58 tD,·VPAQ
 59 b+?4Pv:.
 60 98vr3>+e
 61 wN{Jl9EX9
 62 aSey_bSe
 63 !(X&hT$L
 64 )o9A%9#:
 65 $/|a8EE9
 66 6j.yq|v!]Ph
 67 =Uh~·w|-+
 68 =jaNlbg7
 69 DVgn[4t^
 70 )_;a6(s/[
 71 lPg|:<vRle+
 72 -;5v}d·0c
 73 sd2&?}fD
 74 -9ls·&tr+\
 75 d·Fi!RX3D7
 76 :>I4"&uz»       
 77 hF:M\cCx
 78 !(8XJ[%\|
 79 ·3*i.·0·"
 80 oe\I?s@^
Max diff block lines reached; 5177/8531 bytes (60.68%) of diff not shown.
⊟
1.62 MB
readelf --wide --decompress --string-dump=.debug_str {}
error from `readelf --wide --decompress --string-dump=.debug_str {}`: readelf: Error: Unable to find program interpreter name
    
Offset 2174, 10945 lines modifiedOffset 2174, 10945 lines modified
2174 ··[·2204d]··_____fpos_t_defined·12174 ··[·2204d]··_____fpos_t_defined·1
2175 ··[·22063]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>2175 ··[·22063]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>
2176 ··[·220bf]··_ZNK4cvc56Result6isNullEv2176 ··[·220bf]··_ZNK4cvc56Result6isNullEv
2177 ··[·220d9]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv2177 ··[·220d9]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv
2178 ··[·2213b]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv2178 ··[·2213b]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv
2179 ··[·2218b]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_2179 ··[·2218b]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_
Diff chunk too large, falling back to line-by-line diff (10931 lines added, 10931 lines removed)
2180 ··[·22209]··_ZNSt22_Optional_payload_baseIlEC4EOS0_2180 ··[·22209]··_ZNSt22_Optional_payload_baseIlEC4EOS0_
2181 ··[·22231]··DEB_BUILD_TIME·"12:06:23"2181 ··[·22231]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF64
2182 ··[·2224b]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF642182 ··[·22255]··CLOCK_MONOTONIC_COARSE·6
2183 ··[·2226f]··CLOCK_MONOTONIC_COARSE·62183 ··[·2226e]··_GLIBCXX_HAVE_SYS_STAT_H·1
2184 ··[·22288]··_GLIBCXX_HAVE_SYS_STAT_H·12184 ··[·22289]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv
2185 ··[·222a3]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv2185 ··[·222ea]··__cpp_rvalue_reference·200610L
2186 ··[·22304]··__cpp_rvalue_reference·200610L2186 ··[·22309]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_
2187 ··[·22323]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_2187 ··[·22346]··d_sep
2188 ··[·22360]··d_sep2188 ··[·2234c]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_
2189 ··[·22366]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_2189 ··[·2238e]··__try·try
2190 ··[·223a8]··__try·try2190 ··[·22398]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev
2191 ··[·223b2]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev2191 ··[·223da]··isSequenceValue
2192 ··[·223f4]··isSequenceValue2192 ··[·223ea]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_
2193 ··[·22404]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_2193 ··[·2244c]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)
2194 ··[·22466]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)2194 ··[·22478]··__glibcxx_want_smart_ptr_for_overwrite
2195 ··[·22492]··__glibcxx_want_smart_ptr_for_overwrite2195 ··[·2249f]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_
2196 ··[·224b9]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_2196 ··[·22504]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_
2197 ··[·2251e]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_2197 ··[·22568]··_ZNK4cvc512DatatypeDecl12isNullHelperEv
2198 ··[·22582]··_ZNK4cvc512DatatypeDecl12isNullHelperEv2198 ··[·22590]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv
2199 ··[·225aa]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv2199 ··[·225dd]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE
2200 ··[·225f7]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE2200 ··[·22692]··_M_erase_at_end
2201 ··[·226ac]··_M_erase_at_end2201 ··[·226a2]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_
2202 ··[·226bc]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_2202 ··[·22704]··_ZNKSt6vectorIjSaIjEE4dataEv
2203 ··[·2271e]··_ZNKSt6vectorIjSaIjEE4dataEv2203 ··[·22721]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv
2204 ··[·2273b]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv2204 ··[·22794]··__UINT_LEAST32_MAX__·0xffffffffU
2205 ··[·227ae]··__UINT_LEAST32_MAX__·0xffffffffU2205 ··[·227b5]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev
2206 ··[·227cf]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev2206 ··[·22812]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()
2207 ··[·2282c]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()2207 ··[·22879]··allocator_traits<std::allocator<char>·>
2208 ··[·22893]··allocator_traits<std::allocator<char>·>2208 ··[·228a1]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv
2209 ··[·228bb]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv2209 ··[·228f4]··_ZNSt6vectorIbSaIbEE4flipEv
2210 ··[·2290e]··_ZNSt6vectorIbSaIbEE4flipEv2210 ··[·22910]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_
2211 ··[·2292a]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_2211 ··[·22963]··__need___va_list
2212 ··[·2297d]··__need___va_list2212 ··[·22974]··_GLIBCXX_TXN_SAFE_DYN·
2213 ··[·2298e]··_GLIBCXX_TXN_SAFE_DYN·2213 ··[·2298b]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)
2214 ··[·229a5]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)2214 ··[·229be]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator
2215 ··[·229d8]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator2215 ··[·229ef]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_
2216 ··[·22a09]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_2216 ··[·22a81]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv
2217 ··[·22a9b]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv2217 ··[·22ac6]··d_bv
2218 ··[·22ae0]··d_bv2218 ··[·22acb]··EXISTS
2219 ··[·22ae5]··EXISTS2219 ··[·22ad2]··_ZNKSt6vectorIbSaIbEE7crbeginEv
2220 ··[·22aec]··_ZNKSt6vectorIbSaIbEE7crbeginEv2220 ··[·22af2]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_
2221 ··[·22b0c]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_2221 ··[·22b33]··_SC_JOB_CONTROL·_SC_JOB_CONTROL
2222 ··[·22b4d]··_SC_JOB_CONTROL·_SC_JOB_CONTROL2222 ··[·22b53]··__glibcxx_want_execution
2223 ··[·22b6d]··__glibcxx_want_execution2223 ··[·22b6c]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv
2224 ··[·22b86]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv2224 ··[·22ba9]··__dat
2225 ··[·22bc3]··__dat2225 ··[·22baf]··__LC_MEASUREMENT·11
2226 ··[·22bc9]··__LC_MEASUREMENT·112226 ··[·22bc3]··__in_chrg
2227 ··[·22bdd]··__in_chrg2227 ··[·22bcd]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev
2228 ··[·22be7]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev2228 ··[·22c21]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>
2229 ··[·22c3b]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>2229 ··[·22c8f]··_Arg
2230 ··[·22ca9]··_Arg2230 ··[·22c94]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"
2231 ··[·22cae]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"2231 ··[·22cc6]··__STDC_UTF_32__·1
2232 ··[·22ce0]··__STDC_UTF_32__·12232 ··[·22cd8]··__glibcxx_want_optional·
2233 ··[·22cf2]··__glibcxx_want_optional·2233 ··[·22cf1]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_
2234 ··[·22d0b]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_2234 ··[·22d51]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>
2235 ··[·22d6b]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>2235 ··[·22dca]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>
2236 ··[·22de4]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>2236 ··[·22dff]··__glibcxx_no_dangling_refs(_U1,_U2)·
2237 ··[·22e19]··__glibcxx_no_dangling_refs(_U1,_U2)·2237 ··[·22e24]··long·double
2238 ··[·22e3e]··long·double2238 ··[·22e30]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_
2239 ··[·22e4a]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_2239 ··[·22e9c]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_
2240 ··[·22eb6]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_2240 ··[·22f03]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_
2241 ··[·22f1d]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_2241 ··[·22f64]··_ZNSt11char_traitsIwE7compareEPKwS2_m
2242 ··[·22f7e]··_ZNSt11char_traitsIwE7compareEPKwS2_m2242 ··[·22f8a]··_ZNKSt8optionalImE9has_valueEv
2243 ··[·22fa4]··_ZNKSt8optionalImE9has_valueEv2243 ··[·22fa9]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>
2244 ··[·22fc3]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>2244 ··[·23024]··_GLIBCXX_USE_CHMOD·1
2245 ··[·2303e]··_GLIBCXX_USE_CHMOD·12245 ··[·23039]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()
2246 ··[·23053]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()2246 ··[·230ab]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_
2247 ··[·230c5]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_2247 ··[·230f2]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv
2248 ··[·2310c]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv2248 ··[·23154]··_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS·_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS
2249 ··[·2316e]··_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS·_CS_POSIX_V7_ILP32_OFFBIG_LINTFLAGS2249 ··[·2319c]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m
2250 ··[·231b6]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m2250 ··[·231de]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw
2251 ··[·231f8]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw2251 ··[·23212]··_ZNSt8__detail9__variant17__gen_vtable_implINS0_12_Multi_arrayIPFvOZNS0_16_Variant_storageILb0EJN4cvc510OptionInfo8VoidInfoENS5_9ValueInfoIbEENS7_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEENS5_10NumberInfoIlEENSG_ImEENSG_IdEENS5_8ModeInfo[·...·truncated·by·diffoscope;·len:·104,·SHA:·5a6bf39373164bdc8a2b66b27f5b2aa4e18eaba6455b1ae0acfc064d54f8f6f1·...·]
2252 ··[·2322c]··_ZNSt8__detail9__variant17__gen_vtable_implINS0_12_Multi_arrayIPFvOZNS0_16_Variant_storageILb0EJN4cvc510OptionInfo8VoidInfoENS5_9ValueInfoIbEENS7_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEENS5_10NumberInfoIlEENSG_ImEENSG_IdEENS5_8ModeInfo[·...·truncated·by·diffoscope;·len:·101,·SHA:·ecc7433b303f222fd62c73d447079cf7cac53afba0d38038fc648b9983ebe290·...·]yEv2252 ··[·23375]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv
2253 ··[·2338f]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv2253 ··[·233ea]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>
2254 ··[·23404]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>2254 ··[·2343c]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm
2255 ··[·23456]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm2255 ··[·23463]··assertFormulaInternal
2256 ··[·2347d]··assertFormulaInternal2256 ··[·23479]··STA_PPSFREQ·0x0002
2257 ··[·23493]··STA_PPSFREQ·0x00022257 ··[·2348c]··mkNullableLift
2258 ··[·234a6]··mkNullableLift2258 ··[·2349b]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev
2259 ··[·234b5]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev2259 ··[·234dd]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv
2260 ··[·234f7]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv2260 ··[·2352b]··mkFiniteFieldElem
2261 ··[·23545]··mkFiniteFieldElem2261 ··[·2353d]··ARITH_TRANS_EXP_NEG
2262 ··[·23557]··ARITH_TRANS_EXP_NEG2262 ··[·23551]··__glibcxx_allocator_traits_is_always_equal·201411L
2263 ··[·2356b]··__glibcxx_allocator_traits_is_always_equal·201411L2263 ··[·23584]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE
2264 ··[·2359e]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE2264 ··[·235c8]··_SC_2_FORT_DEV·_SC_2_FORT_DEV
2265 ··[·235e2]··_SC_2_FORT_DEV·_SC_2_FORT_DEV2265 ··[·235e6]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>
2266 ··[·23600]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>2266 ··[·23669]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE
2267 ··[·23683]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE2267 ··[·236ef]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
2268 ··[·23709]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE2268 ··[·23740]··_ZNK4cvc512DatatypeDecl10isResolvedEv
2269 ··[·2375a]··_ZNK4cvc512DatatypeDecl10isResolvedEv2269 ··[·23766]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv
2270 ··[·23780]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv2270 ··[·237db]··_IsUnused
2271 ··[·237f5]··_IsUnused2271 ··[·237e5]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev
2272 ··[·237ff]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev2272 ··[·2380e]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_
2273 ··[·23828]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_2273 ··[·23890]··_vtable_offset
2274 ··[·238aa]··_vtable_offset2274 ··[·2389f]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E
2275 ··[·238b9]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E2275 ··[·23943]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm
2276 ··[·2395d]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm2276 ··[·2398c]··_GLIBCXX_POSTYPES_H·1
2277 ··[·239a6]··_GLIBCXX_POSTYPES_H·12277 ··[·239a2]··INT_FAST16_MIN·(-9223372036854775807L-1)
2278 ··[·239bc]··INT_FAST16_MIN·(-9223372036854775807L-1)2278 ··[·239cb]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_
2279 ··[·239e5]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_2279 ··[·23a29]··__cpp_lib_tuples_by_type·201304L
2280 ··[·23a43]··__cpp_lib_tuples_by_type·201304L2280 ··[·23a4a]··getInterpolant
2281 ··[·23a64]··getInterpolant2281 ··[·23a59]··reverse_iterator<__gnu_cxx::__normal_iterator<std::pair<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>*,·std::vector<std::pair<std::__c[·...·truncated·by·diffoscope;·len:·351,·SHA:·3c2c53a771c8664696f5031be69b50b9e637d46c5dd411f7468c3c970b1125a7·...·]
2282 ··[·23a73]··reverse_iterator<__gnu_cxx::__normal_iterator<std::pair<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·>*,·std::vector<std::pair<std::__[·...·truncated·by·diffoscope;·len:·349,·SHA:·f2936e81a0cece3952cbd4f1d7c107efb18853c4712b5e4164f7f050a5bafc60·...·]>·>2282 ··[·23cb4]··rebind<std::_Rb_tree_node<cvc5::Term>·>
2283 ··[·23cce]··rebind<std::_Rb_tree_node<cvc5::Term>·>2283 ··[·23cdc]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}
2284 ··[·23cf6]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}2284 ··[·23d62]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_
2285 ··[·23d7c]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_2285 ··[·23dc5]··_ZNSt8optionalIlEaSESt9nullopt_t
2286 ··[·23ddf]··_ZNSt8optionalIlEaSESt9nullopt_t2286 ··[·23de6]··_ZNSt16initializer_listIPKcEC4EPKS1_m
2287 ··[·23e00]··_ZNSt16initializer_listIPKcEC4EPKS1_m2287 ··[·23e0c]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING
2288 ··[·23e26]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING2288 ··[·23e36]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv
2289 ··[·23e50]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv2289 ··[·23e6e]··_POSIX_TRACE·-1
2290 ··[·23e88]··_POSIX_TRACE·-12290 ··[·23e7e]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>
2291 ··[·23e98]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>2291 ··[·23ed1]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_
2292 ··[·23eeb]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_2292 ··[·23f22]··_M_parent
2293 ··[·23f3c]··_M_parent2293 ··[·23f2c]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc
2294 ··[·23f46]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc2294 ··[·23f66]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm
2295 ··[·23f80]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm2295 ··[·23f99]··PDP_ENDIAN·__PDP_ENDIAN
2296 ··[·23fb3]··PDP_ENDIAN·__PDP_ENDIAN2296 ··[·23fb1]··_GLIBCXX14_DEPRECATED_SUGGEST(ALT)·_GLIBCXX_DEPRECATED_SUGGEST(ALT)
2297 ··[·23fcb]··_GLIBCXX14_DEPRECATED_SUGGEST(ALT)·_GLIBCXX_DEPRECATED_SUGGEST(ALT)2297 ··[·23ff5]··CVC5_NO_EXPORT·__attribute__((visibility("hidden")))
2298 ··[·2400f]··CVC5_NO_EXPORT·__attribute__((visibility("hidden")))2298 ··[·2402a]··_ZN4cvc58internal9ExceptionC4EPKc
2299 ··[·24044]··_ZN4cvc58internal9ExceptionC4EPKc2299 ··[·2404c]··_ZN4cvc511SynthResultC4Ev
Max diff block lines reached; 358/1694871 bytes (0.02%) of diff not shown.
⊟
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·182737584·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·182739048·2024-03-19·00:06:23.000000·data.tar.xz
⊟
661 B
control.tar.xz
⊟
633 B
control.tar
⊟
385 B
./control
    
Offset 6, 8 lines modifiedOffset 6, 8 lines modified
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:·1823417 Installed-Size:·182341
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:·a7173a4f62bb3457091849039c47b1dd6210af8a13 Build-Ids:·1ea2e8725030c21212e0dc06fd6364398215da6e
⊟
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/a7/173a4f62bb3457091849039c47b1dd6210af8a.debug1 usr/lib/debug/.build-id/1e/a2e8725030c21212e0dc06fd6364398215da6e.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/a7/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/1e/
7 -rw-r--r--···0·root·········(0)·root·········(0)·186706408·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/a7/173a4f62bb3457091849039c47b1dd6210af8a.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·186706568·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/1e/a2e8725030c21212e0dc06fd6364398215da6e.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/a7/173a4f62bb3457091849039c47b1dd6210af8a.debug vs.
./usr/lib/debug/.build-id/1e/a2e8725030c21212e0dc06fd6364398215da6e.debug
Timeout exceeded; details may be incomplete. File has been modified after NT_GNU_BUILD_ID has been applied. Files 96% similar despite different names
⊟
887 B
readelf --wide --file-header {}
    
Offset 6, 15 lines modifiedOffset 6, 15 lines modified
6 ··OS/ABI:····························UNIX·-·GNU6 ··OS/ABI:····························UNIX·-·GNU
7 ··ABI·Version:·······················07 ··ABI·Version:·······················0
8 ··Type:······························DYN·(Shared·object·file)8 ··Type:······························DYN·(Shared·object·file)
9 ··Machine:···························Advanced·Micro·Devices·X86-649 ··Machine:···························Advanced·Micro·Devices·X86-64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0x011 ··Entry·point·address:···············0x0
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········186703848·(bytes·into·file)13 ··Start·of·section·headers:··········186704008·(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·0xb20dfe8:1 There·are·40·section·headers,·starting·at·offset·0xb20e088:
  
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·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·000294·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00de1e·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002b8·00de1e·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00e0d8·87ef2de·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00e0d8·87ef332·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87fd3b8·0dcefa·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87fd410·0dcefa·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88da2b8·86ab11·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88da310·86ab11·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·9144dd0·3dfbfa·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·9144e28·3dfbf6·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·95249d0·0028b3·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·9524a20·0028b3·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·9527288·12857cf·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·95272d8·12857cf·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7aca58·162390·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a7acaa8·1623da·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a90ede8·583aa7·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a90ee88·583aa7·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·ae92890·0ca758·18·····38·31838··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·ae92930·0ca758·18·····38·31838··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·af5cfe8·2b0e68·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·af5d088·2b0e68·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b20de50·000191·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·b20def0·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:·a7173a4f62bb3457091849039c47b1dd6210af8a3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·1ea2e8725030c21212e0dc06fd6364398215da6e
⊟
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:·0x15df7):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x15e11):·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:·0xe875):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xe875):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·25·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·25·(DW_TAG_base_type)
21 ····<24>···DW_AT_byte_size···:·(data1)·121 ····<24>···DW_AT_byte_size···:·(data1)·1
22 ····<25>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)22 ····<25>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1a9a7):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1a9a7):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·25·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·25·(DW_TAG_base_type)
25 ····<2b>···DW_AT_byte_size···:·(data1)·225 ····<2b>···DW_AT_byte_size···:·(data1)·2
26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)26 ····<2c>···DW_AT_encoding····:·(data1)·7»    (unsigned)
27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x125d1):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x125eb):·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:·0xc6de):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc6de):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·25·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·25·(DW_TAG_base_type)
33 ····<39>···DW_AT_byte_size···:·(data1)·133 ····<39>···DW_AT_byte_size···:·(data1)·1
34 ····<3a>···DW_AT_encoding····:·(data1)·6»    (signed·char)34 ····<3a>···DW_AT_encoding····:·(data1)·6»    (signed·char)
Offset 100, 15 lines modifiedOffset 100, 15 lines modified
100 ·<1><b8>:·Abbrev·Number:·25·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·25·(DW_TAG_base_type)
101 ····<b9>···DW_AT_byte_size···:·(data1)·4101 ····<b9>···DW_AT_byte_size···:·(data1)·4
102 ····<ba>···DW_AT_encoding····:·(data1)·16»   (unicode·string)102 ····<ba>···DW_AT_encoding····:·(data1)·16»   (unicode·string)
103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fa38):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x1fa38):·char32_t
104 ·<1><bf>:·Abbrev·Number:·25·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·25·(DW_TAG_base_type)
105 ····<c0>···DW_AT_byte_size···:·(data1)·16105 ····<c0>···DW_AT_byte_size···:·(data1)·16
106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)106 ····<c1>···DW_AT_encoding····:·(data1)·5»    (signed)
107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x13f79):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x13f93):·__int128
108 ·<1><c6>:·Abbrev·Number:·25·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·25·(DW_TAG_base_type)
109 ····<c7>···DW_AT_byte_size···:·(data1)·16109 ····<c7>···DW_AT_byte_size···:·(data1)·16
110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)110 ····<c8>···DW_AT_encoding····:·(data1)·7»    (unsigned)
111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x2317e):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x2317e):·__int128·unsigned
112 ·<1><cd>:·Abbrev·Number:·0112 ·<1><cd>:·Abbrev·Number:·0
113 ··Compilation·Unit·@·offset·0xce:113 ··Compilation·Unit·@·offset·0xce:
114 ···Length:········0xff6·(32-bit)114 ···Length:········0xff6·(32-bit)
Offset 807, 29 lines modifiedOffset 807, 29 lines modified
807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1ed0a):·_IO_read_end807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1ed0a):·_IO_read_end
808 ····<45b>···DW_AT_decl_file···:·(data1)·69808 ····<45b>···DW_AT_decl_file···:·(data1)·69
809 ····<45c>···DW_AT_decl_line···:·(data1)·55809 ····<45c>···DW_AT_decl_line···:·(data1)·55
810 ····<45d>···DW_AT_decl_column·:·(data1)·9810 ····<45d>···DW_AT_decl_column·:·(data1)·9
811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>811 ····<45e>···DW_AT_type········:·(ref_udata)·<0x13d>
812 ····<45f>···DW_AT_data_member_location:·(data1)·16812 ····<45f>···DW_AT_data_member_location:·(data1)·16
813 ·<2><460>:·Abbrev·Number:·71·(DW_TAG_member)813 ·<2><460>:·Abbrev·Number:·71·(DW_TAG_member)
814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10438):·_IO_read_base814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10452):·_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:·0x5129):·_IO_write_base821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x5129):·_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:·0xfadc):·_IO_write_ptr828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfaf6):·_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:·0xe15c):·_IO_write_end835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe15c):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb487):·_IO_buf_base842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb487):·_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:·0x15197):·_IO_buf_end849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x151b1):·_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:·0xe1cf):·_IO_save_base856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe1cf):·_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:·0x10cff):·_IO_backup_base863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x10d19):·_IO_backup_base
864 ····<4ab>···DW_AT_decl_file···:·(data1)·69864 ····<4ab>···DW_AT_decl_file···:·(data1)·69
865 ····<4ac>···DW_AT_decl_line···:·(data1)·65865 ····<4ac>···DW_AT_decl_line···:·(data1)·65
866 ····<4ad>···DW_AT_decl_column·:·(data1)·9866 ····<4ad>···DW_AT_decl_column·:·(data1)·9
867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>867 ····<4ae>···DW_AT_type········:·(ref_udata)·<0x13d>
868 ····<4af>···DW_AT_data_member_location:·(data1)·80868 ····<4af>···DW_AT_data_member_location:·(data1)·80
869 ·<2><4b0>:·Abbrev·Number:·71·(DW_TAG_member)869 ·<2><4b0>:·Abbrev·Number:·71·(DW_TAG_member)
870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18a02):·_IO_save_end870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18a1c):·_IO_save_end
871 ····<4b5>···DW_AT_decl_file···:·(data1)·69871 ····<4b5>···DW_AT_decl_file···:·(data1)·69
872 ····<4b6>···DW_AT_decl_line···:·(data1)·66872 ····<4b6>···DW_AT_decl_line···:·(data1)·66
873 ····<4b7>···DW_AT_decl_column·:·(data1)·9873 ····<4b7>···DW_AT_decl_column·:·(data1)·9
874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>874 ····<4b8>···DW_AT_type········:·(ref_udata)·<0x13d>
875 ····<4b9>···DW_AT_data_member_location:·(data1)·88875 ····<4b9>···DW_AT_data_member_location:·(data1)·88
876 ·<2><4ba>:·Abbrev·Number:·71·(DW_TAG_member)876 ·<2><4ba>:·Abbrev·Number:·71·(DW_TAG_member)
877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4b81):·_markers877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4b81):·_markers
Offset 884, 15 lines modifiedOffset 884, 15 lines modified
884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83a24b):·_chain884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83a24b):·_chain
885 ····<4ca>···DW_AT_decl_file···:·(data1)·69885 ····<4ca>···DW_AT_decl_file···:·(data1)·69
886 ····<4cb>···DW_AT_decl_line···:·(data1)·70886 ····<4cb>···DW_AT_decl_line···:·(data1)·70
887 ····<4cc>···DW_AT_decl_column·:·(data1)·20887 ····<4cc>···DW_AT_decl_column·:·(data1)·20
888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>888 ····<4cd>···DW_AT_type········:·(ref_udata)·<0xee0>
889 ····<4cf>···DW_AT_data_member_location:·(data1)·104889 ····<4cf>···DW_AT_data_member_location:·(data1)·104
890 ·<2><4d0>:·Abbrev·Number:·51·(DW_TAG_member)890 ·<2><4d0>:·Abbrev·Number:·51·(DW_TAG_member)
891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x19c41):·_fileno891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x19c5b):·_fileno
892 ····<4d5>···DW_AT_decl_file···:·(data1)·69892 ····<4d5>···DW_AT_decl_file···:·(data1)·69
893 ····<4d6>···DW_AT_decl_line···:·(data1)·72893 ····<4d6>···DW_AT_decl_line···:·(data1)·72
894 ····<4d7>···DW_AT_decl_column·:·(data1)·7894 ····<4d7>···DW_AT_decl_column·:·(data1)·7
895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int895 ····<4d8>···DW_AT_type········:·(ref_addr)·<0x46>,·int
896 ····<4dc>···DW_AT_data_member_location:·(data1)·112896 ····<4dc>···DW_AT_data_member_location:·(data1)·112
897 ·<2><4dd>:·Abbrev·Number:·51·(DW_TAG_member)897 ·<2><4dd>:·Abbrev·Number:·51·(DW_TAG_member)
898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1be68):·_flags2898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1be68):·_flags2
Offset 905, 29 lines modifiedOffset 905, 29 lines modified
Max diff block lines reached; 25373900/25380936 bytes (99.97%) of diff not shown.
⊟
2.72 KB
readelf --wide --debug-dump=macro {}
    
Offset 1530, 16 lines modifiedOffset 1530, 16 lines modified
1530 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11530 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1531 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11531 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1532 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11532 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1533 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11533 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1534 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11534 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1535 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11535 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1536 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21536 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1537 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1537 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1538 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1538 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1539 ··Offset:······················0x19601539 ··Offset:······················0x1960
1540 ··Version:·····················51540 ··Version:·····················5
1541 ··Offset·size:·················41541 ··Offset·size:·················4
  
1542 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11542 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1543 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11543 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52240, 16 lines modifiedOffset 52240, 16 lines modified
52240 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152240 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52241 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152241 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52242 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152242 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52243 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152243 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52244 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152244 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52245 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152245 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52246 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252246 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52247 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52247 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52248 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52248 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52249 ··Offset:······················0x48a3252249 ··Offset:······················0x48a32
52250 ··Version:·····················552250 ··Version:·····················5
52251 ··Offset·size:·················452251 ··Offset·size:·················4
  
52252 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52252 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52253 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52253 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1316352, 15 lines modifiedOffset 1316352, 15 lines modified
1316352 ·DW_MACRO_end_file1316352 ·DW_MACRO_end_file
1316353 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1361316353 ·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1316354 ·DW_MACRO_end_file1316354 ·DW_MACRO_end_file
1316355 ·DW_MACRO_start_file·-·lineno:·50·filenum:·1121316355 ·DW_MACRO_start_file·-·lineno:·50·filenum:·112
1316356 ·DW_MACRO_end_file1316356 ·DW_MACRO_end_file
1316357 ·DW_MACRO_start_file·-·lineno:·51·filenum:·311316357 ·DW_MACRO_start_file·-·lineno:·51·filenum:·31
1316358 ·DW_MACRO_end_file1316358 ·DW_MACRO_end_file
1316359 ·DW_MACRO_start_file·-·lineno:·52·filenum:·2911316359 ·DW_MACRO_start_file·-·lineno:·54·filenum:·291
1316360 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11316360 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1316361 ·DW_MACRO_start_file·-·lineno:·41·filenum:·181316361 ·DW_MACRO_start_file·-·lineno:·41·filenum:·18
1316362 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1316362 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1316363 ·DW_MACRO_start_file·-·lineno:·33·filenum:·131316363 ·DW_MACRO_start_file·-·lineno:·33·filenum:·13
1316364 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11316364 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1316365 ·DW_MACRO_start_file·-·lineno:·35·filenum:·141316365 ·DW_MACRO_start_file·-·lineno:·35·filenum:·14
1316366 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11316366 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
⊟
677 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ····00c1c475·v000000000000000·v000000000000000·views·at·00c1c44d·for:4194297 ····00c1c475·v000000000000000·v000000000000000·views·at·00c1c44d·for:
4194298 ·············000000000062977e·0000000000629785·(DW_OP_reg6·(rbp))4194298 ·············000000000062977e·0000000000629785·(DW_OP_reg6·(rbp))
4194299 ····00c1c47c·v000000000000000·v000000000000000·views·at·00c1c44f·for:4194299 ····00c1c47c·v000000000000000·v000000000000000·views·at·00c1c44f·for:
4194300 ·············000000000062986e·0000000000629875·(DW_OP_reg6·(rbp))4194300 ·············000000000062986e·0000000000629875·(DW_OP_reg6·(rbp))
4194301 ····00c1c483·<End·of·list>4194301 ····00c1c483·<End·of·list>
  
4194302 ····00c1c484·v000000000000002·v000000000000000·location·view·pair4194302 ····00c1c484·v000000000000002·v000000000000000·location·view·pair
4194303 [·Too·much·input·for·diff·(SHA256:·bc751a44c31ee531f24683ceca0e57d08905215c5182f8c019ac176ba2f6835b)·]4194303 [·Too·much·input·for·diff·(SHA256:·77d4c98017bb9c6512788eb151b859cdcbd268ca26af2d39f9ada421cf3913e4)·]
⊟
656 KB
strings --all --bytes=8 {}
    
Offset 1, 30035 lines modifiedOffset 1, 30299 lines modified
1 GCC:·(Debian·14.2.0-12)·14.2.01 nGCC:·(Debian·14.2.0-12)·14.2.0
2 K~ghW#~@02 K~ghW#~@0
3 f{3<Q&?~E3 f{3<Q&?~E
4 ^6pAa=^E4 ^6pAa=^E
5 *u~(6,M/5 *u~(6,M/
6 L~>h|H]_6 L~>h|H]_
7 »       anP_N»  2C 
8 0dj<t(r? 
9 OPn<sr?a 
10 .3/HU'cP 
11 C1T:A9[i 
12 D47!»   %2pHm 
13 o>k*xGtj 
14 i3R{Y_V] 
15 pQv-E(c{P 
16 7*vl,SYH< 
17 tW9-SXie 
18 Wm]^)y#+ 
19 IOIKwy@*3 
20 P2U](Yn5 
21 U}*U0EG?I 
22 P}ArU·+q 
23 xbI.jh@+@ 
24 H9mWQN+%# 
25 o6nH9mWQNK 
26 {RN+;,e2p 
27 q]hQA1<c 
28 5N><v|C, 
29 %nEO1O%n 
30 W89nE4Bmn 
31 o»      ?l#p[X 
32 Qd|.6y4_ 
33 ^b:)&<S; 
34 6rH!z5lw 
35 zgfe&?!uJ 
36 E\<NOhbf 
37 ($ju[@+r 
38 %kr7·#8k~ 
39 $ECM:f8eH~ 
40 "qnAb#$CHt8 
41 &!L!2z@&X6 
42 pqY@j)sR 
43 IYG293vN,t$9 
44 h3;ojh#9x 
45 !&~=\b:\ 
46 F@w-O-Z~T 
47 }%21<t\(> 
48 rikHt#IP^ 
49 u,Z{GavC 
50 lZ:;?4d_ 
51 vy7*Cu|&r 
52 cKL,QexYh 
53 DvH{$zDh 
54 MdLe8n?&{ 
55 ·+,)\Uh^ 
56 p:W7H@MX 
57 »       6}fpS3y 
58 -Eai;J!8qu 
59 [i#j{'%` 
60 W»      ]1M~8= 
61 0·»      `9he{7 nc(Q_T=k<
 8 [bz[/O{I
 9 T8GnRvYj
 10 }_T|TSm:
 11 4]wUfb-"
 12 &e5Q.',#
 13 LNU4$y{@^
 14 -_·7eQXe0
 15 [m*'J`b-An
 16 3B[W0#U"
 17 x(|JGb;|x
 18 3$`YI8*k
 19 QHEx+y@h
 20 Xi5\DL8LU
 21 '/hk%Rv1
 22 cl7ABL<<_
 23 J;3,vd,S]H<
 24 ;%Us?$w+
 25 *TY$·|~8
 26 J?j#A~>»F
 27 5PNs'@bU7{j>?
 28 B"`rd^"b·
 29 ~cS-m'I8
 30 P2E](9O8D
 31 ?fvJX56d
 32 >BqYVv)*
 33 ,?|h6{;t
 34 aQn]ELmz
 35 8~(CsuH<
 36 JGWWwB» Kr
 37 H9mSQNKr
 38 L9]*QN;k
 39 L9]*QN+k
 40 rZ2Qg!SN
 41 g»      =7ARdc
 42 KaxK?)k_
 43 B3z}h1|H
 44 qC^VgCag
 45 jI1gnd-)j*
 46 n#)]I`~C
 47 Pu»     0RK:fs!
 48 qz;XTu?e
 49 :=?*E%y»-Q
 50 jPOo]BW(D<
 51 %~c+%{pN3X
 52 Oj<4pD·k'
 53 g^5oG2-N
 54 &BD3~6@oS?
 55 \iV%UG-v
 56 »       -nX;uLvz
 57 Sust»   ]t» 
 58 H88L$uo3
 59 »       6M,HS3y
 60 E;|*Eai;K!8qu
 61 x(],JwdU
 62 gnM2?m`>
 63 q8P3cf'»
 64 »       :%+<G0Z
62 dbC'»   ^@&uL65 dbC'»   >@&uL
63 s3E2y$$Sm 
64 »       -'wCTX4) 
65 9juDu!UEN 
66 5w`·Dt[@ 
67 sa~cX`_n 
68 oIqm*)00 
69 >k#7GBUC9 
70 <4TF]D-]D- 
Max diff block lines reached; 668794/671291 bytes (99.63%) 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 285