⊟
62.3 MB
/srv/reproducible-results/rbuild-debian/r-b-build.KdPKFuEh/b1/cvc5_1.1.2-2_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.KdPKFuEh/b2/cvc5_1.1.2-2_arm64.changes
⊟
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·12c5e3ebe930e0cb6e5ee23763dfedc2·1845360·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb 
2 ·9f4b4cf95dcb6cf53cf989162f13c8ad·96912·math·optional·cvc5_1.1.2-2_arm64.deb 
3 ·2f298fdd20d3f315f3d843575123acd7·179690024·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb 
4 ·d536c1d1a09a7c75ec1084e310fcc058·5708652·libs·optional·libcvc5-1_1.1.2-2_arm64.deb1 ·fb61ec4351d1004bc8fe4548732ea502·1845784·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
 2 ·a80ba2a826183872e67bdc005c4bd3e2·96940·math·optional·cvc5_1.1.2-2_arm64.deb
 3 ·9c91742bae283ab95529fcc68d77c9a1·179699816·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
 4 ·29bd2703fab6f3a85503d49f09d71a81·5708724·libs·optional·libcvc5-1_1.1.2-2_arm64.deb
5 ·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb5 ·9efddfd1d9de6042bacc4f4a8758992a·93008·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb
6 ·f7e3a5ed9ac5639ea1cf099659635b8c·3993820·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb 
7 ·a45ed5eba76ec37379a5f08b170d770a·207500·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb 
8 ·2f7803a05a31a14560724758fb33f4c1·2595956·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb 
9 ·639621658555bd4384709a4f5922335c·297412·python·optional·python3-cvc5_1.1.2-2_arm64.deb6 ·4ff6830e36335367c63c7d420b5e2f0a·3993948·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
 7 ·d6bb300563cd43fce21ebd9dda505b52·207436·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
 8 ·d35ae50c60b9cf2c9af0a1164182d51d·2595788·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
 9 ·0892084d97ca6ad86fcfd00945a227be·297572·python·optional·python3-cvc5_1.1.2-2_arm64.deb
⊟
2.26 KB
cvc5_1.1.2-2_arm64.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····95604·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0····95632·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.73 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
815 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·6d6f69c107f47483130d5f1fe07281616e67acc36 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·74cf135558c10ebfb1455bc97e837a948d25c201
  
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.7.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.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·36663639·63313037·66343734·38333133·6f69c107f4748313 
3 ··0x00000010·30643566·31666530·37323831·36313665·0d5f1fe07281616e2 ··0x00000000·63663133·35353538·63313065·62666231·cf135558c10ebfb1
 3 ··0x00000010·34353562·63393765·38333761·39343864·455bc97e837a948d
4 ··0x00000020·36376163·63332e64·65627567·00000000·67acc3.debug....4 ··0x00000020·32356332·30312e64·65627567·00000000·25c201.debug....
5 ··0x00000030·5790b4c4····························W...5 ··0x00000030·9a130743····························...C
  
⊟
22.9 KB
libcvc5-1_1.1.2-2_arm64.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·····1276·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··5707184·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··5707252·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
⊟
22.3 KB
data.tar.xz
⊟
22.3 KB
data.tar
⊟
22.3 KB
./usr/lib/aarch64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
5.92 KB
readelf --wide --relocs {}
    
Offset 3866, 23 lines modifiedOffset 3866, 23 lines modified
3866 00000000015cfc70··0000000000000403·R_AARCH64_RELATIVE························130c3e03866 00000000015cfc70··0000000000000403·R_AARCH64_RELATIVE························130c3e0
3867 00000000015cfc78··0000000000000403·R_AARCH64_RELATIVE························130ad803867 00000000015cfc78··0000000000000403·R_AARCH64_RELATIVE························130ad80
3868 00000000015cfc80··0000000000000403·R_AARCH64_RELATIVE························13178b83868 00000000015cfc80··0000000000000403·R_AARCH64_RELATIVE························13178b8
3869 00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························13178c03869 00000000015cfc88··0000000000000403·R_AARCH64_RELATIVE························13178c0
3870 00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························12eafc03870 00000000015cfc90··0000000000000403·R_AARCH64_RELATIVE························12eafc0
3871 00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························13178d03871 00000000015cfc98··0000000000000403·R_AARCH64_RELATIVE························13178d0
3872 00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························13178e03872 00000000015cfca0··0000000000000403·R_AARCH64_RELATIVE························13178e0
3873 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························13179403873 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························1317958
3874 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························13178f83874 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························13178f8
3875 00000000015cfcb8··0000000000000403·R_AARCH64_RELATIVE························13179103875 00000000015cfcb8··0000000000000403·R_AARCH64_RELATIVE························1317910
3876 00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························13179283876 00000000015cfcc0··0000000000000403·R_AARCH64_RELATIVE························1317928
3877 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························13179503877 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························1317940
3878 00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························13179683878 00000000015cfcd0··0000000000000403·R_AARCH64_RELATIVE························1317968
3879 00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························13179803879 00000000015cfcd8··0000000000000403·R_AARCH64_RELATIVE························1317980
3880 00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························13179983880 00000000015cfce0··0000000000000403·R_AARCH64_RELATIVE························1317998
3881 00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························1318b403881 00000000015cfce8··0000000000000403·R_AARCH64_RELATIVE························1318b28
3882 00000000015cfcf0··0000000000000403·R_AARCH64_RELATIVE························13179a83882 00000000015cfcf0··0000000000000403·R_AARCH64_RELATIVE························13179a8
3883 00000000015cfcf8··0000000000000403·R_AARCH64_RELATIVE························13179b83883 00000000015cfcf8··0000000000000403·R_AARCH64_RELATIVE························13179b8
3884 00000000015cfd00··0000000000000403·R_AARCH64_RELATIVE························13179c83884 00000000015cfd00··0000000000000403·R_AARCH64_RELATIVE························13179c8
3885 00000000015cfd08··0000000000000403·R_AARCH64_RELATIVE························13179d83885 00000000015cfd08··0000000000000403·R_AARCH64_RELATIVE························13179d8
3886 00000000015cfd10··0000000000000403·R_AARCH64_RELATIVE························13179e83886 00000000015cfd10··0000000000000403·R_AARCH64_RELATIVE························13179e8
3887 00000000015cfd18··0000000000000403·R_AARCH64_RELATIVE························1317a003887 00000000015cfd18··0000000000000403·R_AARCH64_RELATIVE························1317a00
3888 00000000015cfd20··0000000000000403·R_AARCH64_RELATIVE························1317a183888 00000000015cfd20··0000000000000403·R_AARCH64_RELATIVE························1317a18
Offset 4104, 15 lines modifiedOffset 4104, 15 lines modified
4104 00000000015d03e0··0000000000000403·R_AARCH64_RELATIVE························1318ad84104 00000000015d03e0··0000000000000403·R_AARCH64_RELATIVE························1318ad8
4105 00000000015d03e8··0000000000000403·R_AARCH64_RELATIVE························1318ae84105 00000000015d03e8··0000000000000403·R_AARCH64_RELATIVE························1318ae8
4106 00000000015d03f0··0000000000000403·R_AARCH64_RELATIVE························1318af84106 00000000015d03f0··0000000000000403·R_AARCH64_RELATIVE························1318af8
4107 00000000015d03f8··0000000000000403·R_AARCH64_RELATIVE························1318b104107 00000000015d03f8··0000000000000403·R_AARCH64_RELATIVE························1318b10
4108 00000000015d0400··0000000000000403·R_AARCH64_RELATIVE························12d8b284108 00000000015d0400··0000000000000403·R_AARCH64_RELATIVE························12d8b28
4109 00000000015d0408··0000000000000403·R_AARCH64_RELATIVE························12d8a284109 00000000015d0408··0000000000000403·R_AARCH64_RELATIVE························12d8a28
4110 00000000015d0410··0000000000000403·R_AARCH64_RELATIVE························1318b184110 00000000015d0410··0000000000000403·R_AARCH64_RELATIVE························1318b18
4111 00000000015d0418··0000000000000403·R_AARCH64_RELATIVE························1318b284111 00000000015d0418··0000000000000403·R_AARCH64_RELATIVE························1318b38
4112 00000000015d0420··0000000000000403·R_AARCH64_RELATIVE························130b4a04112 00000000015d0420··0000000000000403·R_AARCH64_RELATIVE························130b4a0
4113 00000000015d0428··0000000000000403·R_AARCH64_RELATIVE························130b4a84113 00000000015d0428··0000000000000403·R_AARCH64_RELATIVE························130b4a8
4114 00000000015d0430··0000000000000403·R_AARCH64_RELATIVE························12dc2504114 00000000015d0430··0000000000000403·R_AARCH64_RELATIVE························12dc250
4115 00000000015d0438··0000000000000403·R_AARCH64_RELATIVE························130b4984115 00000000015d0438··0000000000000403·R_AARCH64_RELATIVE························130b498
4116 00000000015d0440··0000000000000403·R_AARCH64_RELATIVE························13182d04116 00000000015d0440··0000000000000403·R_AARCH64_RELATIVE························13182d0
4117 00000000015d0448··0000000000000403·R_AARCH64_RELATIVE························13188a04117 00000000015d0448··0000000000000403·R_AARCH64_RELATIVE························13188a0
4118 00000000015d0450··0000000000000403·R_AARCH64_RELATIVE························130b7b84118 00000000015d0450··0000000000000403·R_AARCH64_RELATIVE························130b7b8
Offset 8317, 23 lines modifiedOffset 8317, 23 lines modified
8317 00000000015e24e0··0000000000000403·R_AARCH64_RELATIVE························1316dc08317 00000000015e24e0··0000000000000403·R_AARCH64_RELATIVE························1316dc0
8318 00000000015e2500··0000000000000403·R_AARCH64_RELATIVE························1316dd88318 00000000015e2500··0000000000000403·R_AARCH64_RELATIVE························1316dd8
8319 00000000015e2520··0000000000000403·R_AARCH64_RELATIVE························1316e108319 00000000015e2520··0000000000000403·R_AARCH64_RELATIVE························1316e10
8320 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························13178f88320 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························13178f8
8321 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························13179088321 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························1317908
8322 00000000015e2580··0000000000000403·R_AARCH64_RELATIVE························13179108322 00000000015e2580··0000000000000403·R_AARCH64_RELATIVE························1317910
8323 00000000015e25a0··0000000000000403·R_AARCH64_RELATIVE························13179288323 00000000015e25a0··0000000000000403·R_AARCH64_RELATIVE························1317928
8324 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························13179508324 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························1317940
8325 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························13179408325 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························1317958
8326 00000000015e2600··0000000000000403·R_AARCH64_RELATIVE························13179688326 00000000015e2600··0000000000000403·R_AARCH64_RELATIVE························1317968
8327 00000000015e2620··0000000000000403·R_AARCH64_RELATIVE························13179808327 00000000015e2620··0000000000000403·R_AARCH64_RELATIVE························1317980
8328 00000000015e2640··0000000000000403·R_AARCH64_RELATIVE························13179988328 00000000015e2640··0000000000000403·R_AARCH64_RELATIVE························1317998
8329 00000000015e2660··0000000000000403·R_AARCH64_RELATIVE························1317d908329 00000000015e2660··0000000000000403·R_AARCH64_RELATIVE························1317d90
8330 00000000015e2680··0000000000000403·R_AARCH64_RELATIVE························132cef08330 00000000015e2680··0000000000000403·R_AARCH64_RELATIVE························132cef0
8331 00000000015e26a0··0000000000000403·R_AARCH64_RELATIVE························1318b288331 00000000015e26a0··0000000000000403·R_AARCH64_RELATIVE························1318b38
8332 00000000015e26c0··0000000000000403·R_AARCH64_RELATIVE························1318b408332 00000000015e26c0··0000000000000403·R_AARCH64_RELATIVE························1318b28
8333 00000000015e26e0··0000000000000403·R_AARCH64_RELATIVE························13172308333 00000000015e26e0··0000000000000403·R_AARCH64_RELATIVE························1317230
8334 00000000015e2700··0000000000000403·R_AARCH64_RELATIVE························132cf088334 00000000015e2700··0000000000000403·R_AARCH64_RELATIVE························132cf08
8335 00000000015e2720··0000000000000403·R_AARCH64_RELATIVE························13172f08335 00000000015e2720··0000000000000403·R_AARCH64_RELATIVE························13172f0
8336 00000000015e2740··0000000000000403·R_AARCH64_RELATIVE························13173388336 00000000015e2740··0000000000000403·R_AARCH64_RELATIVE························1317338
8337 00000000015e2760··0000000000000403·R_AARCH64_RELATIVE························132cf208337 00000000015e2760··0000000000000403·R_AARCH64_RELATIVE························132cf20
8338 00000000015e2780··0000000000000403·R_AARCH64_RELATIVE························13173508338 00000000015e2780··0000000000000403·R_AARCH64_RELATIVE························1317350
8339 00000000015e27a0··0000000000000403·R_AARCH64_RELATIVE························132cf388339 00000000015e27a0··0000000000000403·R_AARCH64_RELATIVE························132cf38
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·a06b494ba393efea230f8dd52d63623fa7ec6ca26 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·7be7f51605b9655578a28ef3f8df0cd9fdd7f4c4
⊟
812 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 8905, 16 lines modifiedOffset 8905, 16 lines modified
8905 opt-res-reconstruction-size8905 opt-res-reconstruction-size
8906 output-lang8906 output-lang
8907 parse-only8907 parse-only
8908 partial-triggers8908 partial-triggers
8909 partition-check8909 partition-check
8910 partition-conflict-size8910 partition-conflict-size
8911 partition-start-time8911 partition-start-time
8912 partition 
8913 partition-strategy8912 partition-strategy
 8913 partition
8914 partition-time-interval8914 partition-time-interval
8915 partition-tlimit8915 partition-tlimit
8916 partition-when8916 partition-when
8917 pb-rewrites8917 pb-rewrites
8918 pivot-threshold8918 pivot-threshold
8919 pool-inst8919 pool-inst
8920 portfolio-jobs8920 portfolio-jobs
Offset 9111, 16 lines modifiedOffset 9111, 16 lines modified
9111 use-fcsimplex9111 use-fcsimplex
9112 use-portfolio9112 use-portfolio
9113 user-pat9113 user-pat
9114 user-pool9114 user-pool
9115 var-elim-quant9115 var-elim-quant
9116 var-ineq-elim-quant9116 var-ineq-elim-quant
9117 wf-checking9117 wf-checking
9118 write-partitions-to 
9119 partitions-out9118 partitions-out
 9119 write-partitions-to
9120 Argument·'9120 Argument·'
9121 '·for·bool·option·9121 '·for·bool·option·
9122 ·is·not·a·bool·constant9122 ·is·not·a·bool·constant
9123 Unrecognized·option·key·or·setting:·9123 Unrecognized·option·key·or·setting:·
9124 Ungettable·option·key·or·setting:·9124 Ungettable·option·key·or·setting:·
9125 ·is·not·a·legal·setting,·value·should·be·at·least·9125 ·is·not·a·legal·setting,·value·should·be·at·least·
9126 ·is·not·a·legal·setting,·value·should·be·at·most·9126 ·is·not·a·legal·setting,·value·should·be·at·most·
⊟
6.22 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 73355, 24 lines modifiedOffset 73355, 24 lines modified
73355 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>73355 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
73356 »       add»    x0,·x19,·x873356 »       add»    x0,·x19,·x8
73357 »       add»    x1,·x1,·#0x18873357 »       add»    x1,·x1,·#0x188
73358 »       str»    w2,·[sp,·#4840]73358 »       str»    w2,·[sp,·#4840]
73359 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73359 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73360 »       mov»    w2,·#0x77··················»    //·#11973360 »       mov»    w2,·#0x77··················»    //·#119
73361 »       mov»    x7,·#0x12e8················»  //·#484073361 »       mov»    x7,·#0x12e8················»  //·#4840
73362 »       adrp»   x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80>73362 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
73363 »       add»    x0,·x19,·x773363 »       add»    x0,·x19,·x7
73364 »       add»    x1,·x1,·#0xb5073364 »       add»    x1,·x1,·#0x198
73365 »       str»    w2,·[sp,·#4880]73365 »       str»    w2,·[sp,·#4880]
73366 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73366 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73367 »       mov»    w2,·#0x78··················»    //·#12073367 »       mov»    w2,·#0x78··················»    //·#120
73368 »       mov»    x6,·#0x1310················»  //·#488073368 »       mov»    x6,·#0x1310················»  //·#4880
73369 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>73369 »       adrp»   x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80>
73370 »       add»    x0,·x19,·x673370 »       add»    x0,·x19,·x6
73371 »       add»    x1,·x1,·#0x19873371 »       add»    x1,·x1,·#0xb50
73372 »       str»    w2,·[sp,·#4920]73372 »       str»    w2,·[sp,·#4920]
73373 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73373 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73374 »       mov»    w2,·#0x78··················»    //·#12073374 »       mov»    w2,·#0x78··················»    //·#120
73375 »       mov»    x5,·#0x1338················»  //·#492073375 »       mov»    x5,·#0x1338················»  //·#4920
73376 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>73376 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
73377 »       add»    x0,·x19,·x573377 »       add»    x0,·x19,·x5
73378 »       add»    x1,·x1,·#0x1a073378 »       add»    x1,·x1,·#0x1a0
Offset 74145, 25 lines modifiedOffset 74145, 25 lines modified
74145 »       mov»    x3,·#0x2468················»  //·#932074145 »       mov»    x3,·#0x2468················»  //·#9320
74146 »       adrp»   x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80>74146 »       adrp»   x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80>
74147 »       add»    x0,·x19,·x374147 »       add»    x0,·x19,·x3
74148 »       add»    x1,·x1,·#0x3e074148 »       add»    x1,·x1,·#0x3e0
74149 »       str»    w2,·[sp,·#9360]74149 »       str»    w2,·[sp,·#9360]
74150 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74150 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74151 »       mov»    w2,·#0xe6··················»    //·#23074151 »       mov»    w2,·#0xe6··················»    //·#230
74152 »       adrp»   x1,·130a000·<CaDiCaL::Internal::cover()@@Base+0x35a80>74152 »       adrp»   x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80>
74153 »       mov»    x0,·#0x2490················»  //·#936074153 »       mov»    x0,·#0x2490················»  //·#9360
74154 »       add»    x1,·x1,·#0xd8074154 »       add»    x1,·x1,·#0xb80
74155 »       add»    x0,·x19,·x074155 »       add»    x0,·x19,·x0
74156 »       str»    w2,·[sp,·#9400]74156 »       str»    w2,·[sp,·#9400]
74157 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74157 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74158 »       mov»    w2,·#0xe7··················»    //·#23174158 »       mov»    w2,·#0xe7··················»    //·#231
74159 »       mov»    x30,·#0x24b8················» //·#940074159 »       mov»    x30,·#0x24b8················» //·#9400
74160 »       adrp»   x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80>74160 »       adrp»   x1,·130a000·<CaDiCaL::Internal::cover()@@Base+0x35a80>
74161 »       add»    x0,·x19,·x3074161 »       add»    x0,·x19,·x30
74162 »       add»    x1,·x1,·#0xb8074162 »       add»    x1,·x1,·#0xd80
74163 »       str»    w2,·[sp,·#9440]74163 »       str»    w2,·[sp,·#9440]
74164 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74164 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74165 »       mov»    w2,·#0xe7··················»    //·#23174165 »       mov»    w2,·#0xe7··················»    //·#231
74166 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74166 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74167 »       mov»    x28,·#0x24e0················» //·#944074167 »       mov»    x28,·#0x24e0················» //·#9440
74168 »       add»    x1,·x1,·#0x8b874168 »       add»    x1,·x1,·#0x8b8
74169 »       add»    x0,·x19,·x2874169 »       add»    x0,·x19,·x28
Offset 74232, 15 lines modifiedOffset 74232, 15 lines modified
74232 »       add»    x1,·x1,·#0x94074232 »       add»    x1,·x1,·#0x940
74233 »       str»    w2,·[sp,·#9840]74233 »       str»    w2,·[sp,·#9840]
74234 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74234 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74235 »       mov»    w2,·#0xef··················»    //·#23974235 »       mov»    w2,·#0xef··················»    //·#239
74236 »       mov»    x17,·#0x2670················» //·#984074236 »       mov»    x17,·#0x2670················» //·#9840
74237 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74237 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74238 »       add»    x0,·x19,·x1774238 »       add»    x0,·x19,·x17
74239 »       add»    x1,·x1,·#0x95074239 »       add»    x1,·x1,·#0x958
74240 »       str»    w2,·[sp,·#9880]74240 »       str»    w2,·[sp,·#9880]
74241 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74241 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74242 »       mov»    w2,·#0xef··················»    //·#23974242 »       mov»    w2,·#0xef··················»    //·#239
74243 »       mov»    x16,·#0x2698················» //·#988074243 »       mov»    x16,·#0x2698················» //·#9880
74244 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74244 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74245 »       add»    x0,·x19,·x1674245 »       add»    x0,·x19,·x16
74246 »       add»    x1,·x1,·#0x96874246 »       add»    x1,·x1,·#0x968
Offset 74740, 24 lines modifiedOffset 74740, 24 lines modified
74740 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74740 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74741 »       mov»    x27,·#0x31b0················» //·#1272074741 »       mov»    x27,·#0x31b0················» //·#12720
74742 »       add»    x1,·x1,·#0xef874742 »       add»    x1,·x1,·#0xef8
74743 »       add»    x0,·x19,·x2774743 »       add»    x0,·x19,·x27
74744 »       str»    w2,·[sp,·#12760]74744 »       str»    w2,·[sp,·#12760]
74745 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74745 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74746 »       mov»    w2,·#0x135·················»   //·#30974746 »       mov»    w2,·#0x135·················»   //·#309
74747 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74747 »       adrp»   x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80>
74748 »       mov»    x26,·#0x31d8················» //·#1276074748 »       mov»    x26,·#0x31d8················» //·#12760
74749 »       add»    x1,·x1,·#0xf0074749 »       add»    x1,·x1,·#0xb98
74750 »       add»    x0,·x19,·x2674750 »       add»    x0,·x19,·x26
74751 »       str»    w2,·[sp,·#12800]74751 »       str»    w2,·[sp,·#12800]
74752 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74752 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74753 »       mov»    w2,·#0x136·················»   //·#31074753 »       mov»    w2,·#0x136·················»   //·#310
74754 »       adrp»   x1,·12d8000·<CaDiCaL::Internal::cover()@@Base+0x3a80>74754 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74755 »       mov»    x25,·#0x3200················» //·#1280074755 »       mov»    x25,·#0x3200················» //·#12800
74756 »       add»    x1,·x1,·#0xb9874756 »       add»    x1,·x1,·#0xf00
74757 »       add»    x0,·x19,·x2574757 »       add»    x0,·x19,·x25
74758 »       str»    w2,·[sp,·#12840]74758 »       str»    w2,·[sp,·#12840]
74759 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74759 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74760 »       mov»    w2,·#0x136·················»   //·#31074760 »       mov»    w2,·#0x136·················»   //·#310
74761 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74761 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74762 »       mov»    x24,·#0x3228················» //·#1284074762 »       mov»    x24,·#0x3228················» //·#12840
74763 »       add»    x1,·x1,·#0xf1074763 »       add»    x1,·x1,·#0xf10
Offset 74895, 23 lines modifiedOffset 74895, 23 lines modified
74895 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>74895 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>
74896 »       add»    x0,·x19,·x474896 »       add»    x0,·x19,·x4
74897 »       add»    x1,·x1,·#0x5074897 »       add»    x1,·x1,·#0x50
74898 »       str»    w2,·[sp,·#13640]74898 »       str»    w2,·[sp,·#13640]
74899 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74899 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74900 »       mov»    w2,·#0x14a·················»   //·#33074900 »       mov»    w2,·#0x14a·················»   //·#330
74901 »       mov»    x3,·#0x3548················»  //·#1364074901 »       mov»    x3,·#0x3548················»  //·#13640
74902 »       adrp»   x1,·12e8000·<CaDiCaL::Internal::cover()@@Base+0x13a80>74902 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>
74903 »       add»    x0,·x19,·x374903 »       add»    x0,·x19,·x3
74904 »       add»    x1,·x1,·#0xf4874904 »       add»    x1,·x1,·#0x68
74905 »       str»    w2,·[sp,·#13680]74905 »       str»    w2,·[sp,·#13680]
74906 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74906 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74907 »       mov»    w2,·#0x14b·················»   //·#33174907 »       mov»    w2,·#0x14b·················»   //·#331
74908 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>74908 »       adrp»   x1,·12e8000·<CaDiCaL::Internal::cover()@@Base+0x13a80>
74909 »       mov»    x0,·#0x3570················»  //·#1368074909 »       mov»    x0,·#0x3570················»  //·#13680
74910 »       add»    x1,·x1,·#0x6874910 »       add»    x1,·x1,·#0xf48
74911 »       add»    x0,·x19,·x074911 »       add»    x0,·x19,·x0
74912 »       str»    w2,·[sp,·#13720]74912 »       str»    w2,·[sp,·#13720]
74913 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74913 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74914 »       mov»    w2,·#0x14b·················»   //·#33174914 »       mov»    w2,·#0x14b·················»   //·#331
74915 »       mov»    x30,·#0x3598················» //·#1372074915 »       mov»    x30,·#0x3598················» //·#13720
74916 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>74916 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>
74917 »       add»    x0,·x19,·x3074917 »       add»    x0,·x19,·x30
Offset 76013, 15 lines modifiedOffset 76013, 15 lines modified
76013 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>76013 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
76014 »       mov»    x6,·#0x4020················»  //·#1641676014 »       mov»    x6,·#0x4020················»  //·#16416
76015 »       add»    x3,·sp,·x676015 »       add»    x3,·sp,·x6
76016 »       mov»    x5,·#0x4b30················»  //·#1924876016 »       mov»    x5,·#0x4b30················»  //·#19248
76017 »       mov»    w2,·#0x1d4·················»   //·#46876017 »       mov»    w2,·#0x1d4·················»   //·#468
76018 »       add»    x0,·sp,·x576018 »       add»    x0,·sp,·x5
76019 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>76019 »       adrp»   x1,·1318000·<CaDiCaL::Internal::cover()@@Base+0x43a80>
76020 »       add»    x1,·x1,·#0xb4076020 »       add»    x1,·x1,·#0xb38
76021 »       str»    x0,·[sp,·#24]76021 »       str»    x0,·[sp,·#24]
76022 »       str»    w2,·[x3,·#2824]76022 »       str»    w2,·[x3,·#2824]
76023 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>76023 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
Max diff block lines reached; 580/6186 bytes (9.38%) of diff not shown.
⊟
2.76 KB
readelf --wide --decompress --hex-dump=.rodata {}
    
Offset 17147, 17 lines modifiedOffset 17147, 17 lines modified
17147 ··0x013178d0·70617273·652d6f6e·6c790000·00000000·parse-only......17147 ··0x013178d0·70617273·652d6f6e·6c790000·00000000·parse-only......
17148 ··0x013178e0·70617274·69616c2d·74726967·67657273·partial-triggers17148 ··0x013178e0·70617274·69616c2d·74726967·67657273·partial-triggers
17149 ··0x013178f0·00000000·00000000·70617274·6974696f·........partitio17149 ··0x013178f0·00000000·00000000·70617274·6974696f·........partitio
17150 ··0x01317900·6e2d6368·65636b00·63686563·6b000000·n-check.check...17150 ··0x01317900·6e2d6368·65636b00·63686563·6b000000·n-check.check...
17151 ··0x01317910·70617274·6974696f·6e2d636f·6e666c69·partition-confli17151 ··0x01317910·70617274·6974696f·6e2d636f·6e666c69·partition-confli
17152 ··0x01317920·63742d73·697a6500·70617274·6974696f·ct-size.partitio17152 ··0x01317920·63742d73·697a6500·70617274·6974696f·ct-size.partitio
17153 ··0x01317930·6e2d7374·6172742d·74696d65·00000000·n-start-time....17153 ··0x01317930·6e2d7374·6172742d·74696d65·00000000·n-start-time....
17154 ··0x01317940·70617274·6974696f·6e000000·00000000·partition....... 
17155 ··0x01317950·70617274·6974696f·6e2d7374·72617465·partition-strate17154 ··0x01317940·70617274·6974696f·6e2d7374·72617465·partition-strate
17156 ··0x01317960·67790000·00000000·70617274·6974696f·gy......partitio17155 ··0x01317950·67790000·00000000·70617274·6974696f·gy......partitio
 17156 ··0x01317960·6e000000·00000000·70617274·6974696f·n.......partitio
17157 ··0x01317970·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.17157 ··0x01317970·6e2d7469·6d652d69·6e746572·76616c00·n-time-interval.
17158 ··0x01317980·70617274·6974696f·6e2d746c·696d6974·partition-tlimit17158 ··0x01317980·70617274·6974696f·6e2d746c·696d6974·partition-tlimit
17159 ··0x01317990·00000000·00000000·70617274·6974696f·........partitio17159 ··0x01317990·00000000·00000000·70617274·6974696f·........partitio
17160 ··0x013179a0·6e2d7768·656e0000·70622d72·65777269·n-when..pb-rewri17160 ··0x013179a0·6e2d7768·656e0000·70622d72·65777269·n-when..pb-rewri
17161 ··0x013179b0·74657300·00000000·7069766f·742d7468·tes.....pivot-th17161 ··0x013179b0·74657300·00000000·7069766f·742d7468·tes.....pivot-th
17162 ··0x013179c0·72657368·6f6c6400·706f6f6c·2d696e73·reshold.pool-ins17162 ··0x013179c0·72657368·6f6c6400·706f6f6c·2d696e73·reshold.pool-ins
17163 ··0x013179d0·74000000·00000000·706f7274·666f6c69·t.......portfoli17163 ··0x013179d0·74000000·00000000·706f7274·666f6c69·t.......portfoli
Offset 17433, 17 lines modifiedOffset 17433, 17 lines modified
17433 ··0x01318ab0·7573652d·706f7274·666f6c69·6f000000·use-portfolio...17433 ··0x01318ab0·7573652d·706f7274·666f6c69·6f000000·use-portfolio...
17434 ··0x01318ac0·7573652d·736f6900·75736572·2d706174·use-soi.user-pat17434 ··0x01318ac0·7573652d·736f6900·75736572·2d706174·use-soi.user-pat
17435 ··0x01318ad0·00000000·00000000·75736572·2d706f6f·........user-poo17435 ··0x01318ad0·00000000·00000000·75736572·2d706f6f·........user-poo
17436 ··0x01318ae0·6c000000·00000000·7661722d·656c696d·l.......var-elim17436 ··0x01318ae0·6c000000·00000000·7661722d·656c696d·l.......var-elim
17437 ··0x01318af0·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq17437 ··0x01318af0·2d717561·6e740000·7661722d·696e6571·-quant..var-ineq
17438 ··0x01318b00·2d656c69·6d2d7175·616e7400·00000000·-elim-quant.....17438 ··0x01318b00·2d656c69·6d2d7175·616e7400·00000000·-elim-quant.....
17439 ··0x01318b10·76657262·6f736500·77662d63·6865636b·verbose.wf-check17439 ··0x01318b10·76657262·6f736500·77662d63·6865636b·verbose.wf-check
17440 ··0x01318b20·696e6700·00000000·77726974·652d7061·ing.....write-pa17440 ··0x01318b20·696e6700·00000000·70617274·6974696f·ing.....partitio
 17441 ··0x01318b30·6e732d6f·75740000·77726974·652d7061·ns-out..write-pa
17441 ··0x01318b30·72746974·696f6e73·2d746f00·00000000·rtitions-to.....17442 ··0x01318b40·72746974·696f6e73·2d746f00·00000000·rtitions-to.....
17442 ··0x01318b40·70617274·6974696f·6e732d6f·75740000·partitions-out.. 
17443 ··0x01318b50·41726775·6d656e74·20270000·00000000·Argument·'......17443 ··0x01318b50·41726775·6d656e74·20270000·00000000·Argument·'......
17444 ··0x01318b60·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio17444 ··0x01318b60·2720666f·7220626f·6f6c206f·7074696f·'·for·bool·optio
17445 ··0x01318b70·6e200000·00000000·20697320·6e6f7420·n·......·is·not·17445 ··0x01318b70·6e200000·00000000·20697320·6e6f7420·n·......·is·not·
17446 ··0x01318b80·6120626f·6f6c2063·6f6e7374·616e7400·a·bool·constant.17446 ··0x01318b80·6120626f·6f6c2063·6f6e7374·616e7400·a·bool·constant.
17447 ··0x01318b90·556e7265·636f676e·697a6564·206f7074·Unrecognized·opt17447 ··0x01318b90·556e7265·636f676e·697a6564·206f7074·Unrecognized·opt
17448 ··0x01318ba0·696f6e20·6b657920·6f722073·65747469·ion·key·or·setti17448 ··0x01318ba0·696f6e20·6b657920·6f722073·65747469·ion·key·or·setti
17449 ··0x01318bb0·6e673a20·00000000·25660000·00000000·ng:·....%f......17449 ··0x01318bb0·6e673a20·00000000·25660000·00000000·ng:·....%f......
⊟
2.64 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 1950, 19 lines modifiedOffset 1950, 19 lines modified
1950 ··0x015cfc38·28783101·00000000·38783101·00000000·(x1.....8x1.....1950 ··0x015cfc38·28783101·00000000·38783101·00000000·(x1.....8x1.....
1951 ··0x015cfc48·58783101·00000000·60783101·00000000·Xx1.....`x1.....1951 ··0x015cfc48·58783101·00000000·60783101·00000000·Xx1.....`x1.....
1952 ··0x015cfc58·68783101·00000000·80783101·00000000·hx1......x1.....1952 ··0x015cfc58·68783101·00000000·80783101·00000000·hx1......x1.....
1953 ··0x015cfc68·98783101·00000000·e0c33001·00000000·.x1.......0.....1953 ··0x015cfc68·98783101·00000000·e0c33001·00000000·.x1.......0.....
1954 ··0x015cfc78·80ad3001·00000000·b8783101·00000000·..0......x1.....1954 ··0x015cfc78·80ad3001·00000000·b8783101·00000000·..0......x1.....
1955 ··0x015cfc88·c0783101·00000000·c0af2e01·00000000·.x1.............1955 ··0x015cfc88·c0783101·00000000·c0af2e01·00000000·.x1.............
1956 ··0x015cfc98·d0783101·00000000·e0783101·00000000·.x1......x1.....1956 ··0x015cfc98·d0783101·00000000·e0783101·00000000·.x1......x1.....
1957 ··0x015cfca8·40793101·00000000·f8783101·00000000·@y1......x1.....1957 ··0x015cfca8·58793101·00000000·f8783101·00000000·Xy1......x1.....
1958 ··0x015cfcb8·10793101·00000000·28793101·00000000·.y1.....(y1.....1958 ··0x015cfcb8·10793101·00000000·28793101·00000000·.y1.....(y1.....
1959 ··0x015cfcc8·50793101·00000000·68793101·00000000·Py1.....hy1.....1959 ··0x015cfcc8·40793101·00000000·68793101·00000000·@y1.....hy1.....
1960 ··0x015cfcd8·80793101·00000000·98793101·00000000·.y1......y1.....1960 ··0x015cfcd8·80793101·00000000·98793101·00000000·.y1......y1.....
1961 ··0x015cfce8·408b3101·00000000·a8793101·00000000·@.1......y1.....1961 ··0x015cfce8·288b3101·00000000·a8793101·00000000·(.1......y1.....
1962 ··0x015cfcf8·b8793101·00000000·c8793101·00000000·.y1......y1.....1962 ··0x015cfcf8·b8793101·00000000·c8793101·00000000·.y1......y1.....
1963 ··0x015cfd08·d8793101·00000000·e8793101·00000000·.y1......y1.....1963 ··0x015cfd08·d8793101·00000000·e8793101·00000000·.y1......y1.....
1964 ··0x015cfd18·007a3101·00000000·187a3101·00000000·.z1......z1.....1964 ··0x015cfd18·007a3101·00000000·187a3101·00000000·.z1......z1.....
1965 ··0x015cfd28·307a3101·00000000·407a3101·00000000·0z1.....@z1.....1965 ··0x015cfd28·307a3101·00000000·407a3101·00000000·0z1.....@z1.....
1966 ··0x015cfd38·587a3101·00000000·687a3101·00000000·Xz1.....hz1.....1966 ··0x015cfd38·587a3101·00000000·687a3101·00000000·Xz1.....hz1.....
1967 ··0x015cfd48·807a3101·00000000·987a3101·00000000·.z1......z1.....1967 ··0x015cfd48·807a3101·00000000·987a3101·00000000·.z1......z1.....
1968 ··0x015cfd58·b07a3101·00000000·c07a3101·00000000·.z1......z1.....1968 ··0x015cfd58·b07a3101·00000000·c07a3101·00000000·.z1......z1.....
Offset 2069, 15 lines modifiedOffset 2069, 15 lines modified
2069 ··0x015d03a8·288f2e01·00000000·788a3101·00000000·(.......x.1.....2069 ··0x015d03a8·288f2e01·00000000·788a3101·00000000·(.......x.1.....
2070 ··0x015d03b8·908a3101·00000000·a08a3101·00000000·..1.......1.....2070 ··0x015d03b8·908a3101·00000000·a08a3101·00000000·..1.......1.....
2071 ··0x015d03c8·b08a3101·00000000·c08a3101·00000000·..1.......1.....2071 ··0x015d03c8·b08a3101·00000000·c08a3101·00000000·..1.......1.....
2072 ··0x015d03d8·c88a3101·00000000·d88a3101·00000000·..1.......1.....2072 ··0x015d03d8·c88a3101·00000000·d88a3101·00000000·..1.......1.....
2073 ··0x015d03e8·e88a3101·00000000·f88a3101·00000000·..1.......1.....2073 ··0x015d03e8·e88a3101·00000000·f88a3101·00000000·..1.......1.....
2074 ··0x015d03f8·108b3101·00000000·288b2d01·00000000·..1.....(.-.....2074 ··0x015d03f8·108b3101·00000000·288b2d01·00000000·..1.....(.-.....
2075 ··0x015d0408·288a2d01·00000000·188b3101·00000000·(.-.......1.....2075 ··0x015d0408·288a2d01·00000000·188b3101·00000000·(.-.......1.....
2076 ··0x015d0418·288b3101·00000000·a0b43001·00000000·(.1.......0.....2076 ··0x015d0418·388b3101·00000000·a0b43001·00000000·8.1.......0.....
2077 ··0x015d0428·a8b43001·00000000·50c22d01·00000000·..0.....P.-.....2077 ··0x015d0428·a8b43001·00000000·50c22d01·00000000·..0.....P.-.....
2078 ··0x015d0438·98b43001·00000000·d0823101·00000000·..0.......1.....2078 ··0x015d0438·98b43001·00000000·d0823101·00000000·..0.......1.....
2079 ··0x015d0448·a0883101·00000000·b8b73001·00000000·..1.......0.....2079 ··0x015d0448·a0883101·00000000·b8b73001·00000000·..1.......0.....
2080 ··0x015d0458·28ea3001·00000000·c8622e01·00000000·(.0......b......2080 ··0x015d0458·28ea3001·00000000·c8622e01·00000000·(.0......b......
2081 ··0x015d0468·e0cc3001·00000000·40d52d01·00000000·..0.....@.-.....2081 ··0x015d0468·e0cc3001·00000000·40d52d01·00000000·..0.....@.-.....
2082 ··0x015d0478·58d52d01·00000000·d8cc3001·00000000·X.-.......0.....2082 ··0x015d0478·58d52d01·00000000·d8cc3001·00000000·X.-.......0.....
2083 ··0x015d0488·40cd3001·00000000·50cd3001·00000000·@.0.....P.0.....2083 ··0x015d0488·40cd3001·00000000·50cd3001·00000000·@.0.....P.0.....
⊟
2.4 KB
readelf --wide --decompress --hex-dump=.data {}
    
Offset 600, 31 lines modifiedOffset 600, 31 lines modified
600 ··0x015e2550·00000000·00000000·03020000·00000000·................600 ··0x015e2550·00000000·00000000·03020000·00000000·................
601 ··0x015e2560·08793101·00000000·01000000·00000000·.y1.............601 ··0x015e2560·08793101·00000000·01000000·00000000·.y1.............
602 ··0x015e2570·00000000·00000000·04020000·00000000·................602 ··0x015e2570·00000000·00000000·04020000·00000000·................
603 ··0x015e2580·10793101·00000000·01000000·00000000·.y1.............603 ··0x015e2580·10793101·00000000·01000000·00000000·.y1.............
604 ··0x015e2590·00000000·00000000·05020000·00000000·................604 ··0x015e2590·00000000·00000000·05020000·00000000·................
605 ··0x015e25a0·28793101·00000000·01000000·00000000·(y1.............605 ··0x015e25a0·28793101·00000000·01000000·00000000·(y1.............
606 ··0x015e25b0·00000000·00000000·06020000·00000000·................606 ··0x015e25b0·00000000·00000000·06020000·00000000·................
607 ··0x015e25c0·50793101·00000000·01000000·00000000·Py1.............607 ··0x015e25c0·40793101·00000000·01000000·00000000·@y1.............
608 ··0x015e25d0·00000000·00000000·07020000·00000000·................608 ··0x015e25d0·00000000·00000000·07020000·00000000·................
609 ··0x015e25e0·40793101·00000000·01000000·00000000·@y1.............609 ··0x015e25e0·58793101·00000000·01000000·00000000·Xy1.............
610 ··0x015e25f0·00000000·00000000·08020000·00000000·................610 ··0x015e25f0·00000000·00000000·08020000·00000000·................
611 ··0x015e2600·68793101·00000000·01000000·00000000·hy1.............611 ··0x015e2600·68793101·00000000·01000000·00000000·hy1.............
612 ··0x015e2610·00000000·00000000·09020000·00000000·................612 ··0x015e2610·00000000·00000000·09020000·00000000·................
613 ··0x015e2620·80793101·00000000·01000000·00000000·.y1.............613 ··0x015e2620·80793101·00000000·01000000·00000000·.y1.............
614 ··0x015e2630·00000000·00000000·0a020000·00000000·................614 ··0x015e2630·00000000·00000000·0a020000·00000000·................
615 ··0x015e2640·98793101·00000000·01000000·00000000·.y1.............615 ··0x015e2640·98793101·00000000·01000000·00000000·.y1.............
616 ··0x015e2650·00000000·00000000·0b020000·00000000·................616 ··0x015e2650·00000000·00000000·0b020000·00000000·................
617 ··0x015e2660·907d3101·00000000·00000000·00000000·.}1.............617 ··0x015e2660·907d3101·00000000·00000000·00000000·.}1.............
618 ··0x015e2670·00000000·00000000·0c020000·00000000·................618 ··0x015e2670·00000000·00000000·0c020000·00000000·................
619 ··0x015e2680·f0ce3201·00000000·00000000·00000000·..2.............619 ··0x015e2680·f0ce3201·00000000·00000000·00000000·..2.............
620 ··0x015e2690·00000000·00000000·0d020000·00000000·................620 ··0x015e2690·00000000·00000000·0d020000·00000000·................
621 ··0x015e26a0·288b3101·00000000·01000000·00000000·(.1.............621 ··0x015e26a0·388b3101·00000000·01000000·00000000·8.1.............
622 ··0x015e26b0·00000000·00000000·0e020000·00000000·................622 ··0x015e26b0·00000000·00000000·0e020000·00000000·................
623 ··0x015e26c0·408b3101·00000000·01000000·00000000·@.1.............623 ··0x015e26c0·288b3101·00000000·01000000·00000000·(.1.............
624 ··0x015e26d0·00000000·00000000·0f020000·00000000·................624 ··0x015e26d0·00000000·00000000·0f020000·00000000·................
625 ··0x015e26e0·30723101·00000000·00000000·00000000·0r1.............625 ··0x015e26e0·30723101·00000000·00000000·00000000·0r1.............
626 ··0x015e26f0·00000000·00000000·10020000·00000000·................626 ··0x015e26f0·00000000·00000000·10020000·00000000·................
627 ··0x015e2700·08cf3201·00000000·00000000·00000000·..2.............627 ··0x015e2700·08cf3201·00000000·00000000·00000000·..2.............
628 ··0x015e2710·00000000·00000000·11020000·00000000·................628 ··0x015e2710·00000000·00000000·11020000·00000000·................
629 ··0x015e2720·f0723101·00000000·01000000·00000000·.r1.............629 ··0x015e2720·f0723101·00000000·01000000·00000000·.r1.............
630 ··0x015e2730·00000000·00000000·12020000·00000000·................630 ··0x015e2730·00000000·00000000·12020000·00000000·................
⊟
811 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·36623439·34626133·39336566·65613233·6b494ba393efea23 
3 ··0x00000010·30663864·64353264·36333632·33666137·0f8dd52d63623fa72 ··0x00000000·65376635·31363035·62393635·35353738·e7f51605b9655578
 3 ··0x00000010·61323865·66336638·64663063·64396664·a28ef3f8df0cd9fd
4 ··0x00000020·65633663·61322e64·65627567·00000000·ec6ca2.debug....4 ··0x00000020·64376634·63342e64·65627567·00000000·d7f4c4.debug....
5 ··0x00000030·f86ec2cc····························.n..5 ··0x00000030·478c7b4c····························G.{L
  
⊟
2.19 KB
libcvc5parser1_1.1.2-2_arm64.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·····1256·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···206052·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···205984·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.59 KB
data.tar.xz
⊟
1.57 KB
data.tar
⊟
1.56 KB
./usr/lib/aarch64-linux-gnu/libcvc5parser.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·897ff0caae7173381d37323bba75fdefff3add2d6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·54826834f5c898473e652ad9f7ab120d4322dcd4
⊟
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·37666630·63616165·37313733·33383164·7ff0caae7173381d 
3 ··0x00000010·33373332·33626261·37356664·65666666·37323bba75fdefff2 ··0x00000000·38323638·33346635·63383938·34373365·826834f5c898473e
 3 ··0x00000010·36353261·64396637·61623132·30643433·652ad9f7ab120d43
4 ··0x00000020·33616464·32642e64·65627567·00000000·3add2d.debug....4 ··0x00000020·32326463·64342e64·65627567·00000000·22dcd4.debug....
5 ··0x00000030·e103e638····························...85 ··0x00000030·abc75cd8····························..\.
  
⊟
2.18 KB
python3-cvc5_1.1.2-2_arm64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1676·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1676·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0···295544·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···295704·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.67 KB
data.tar.xz
⊟
1.65 KB
data.tar
⊟
1.63 KB
./usr/lib/python3/dist-packages/cvc5/cvc5_python_base.cpython-312-aarch64-linux-gnu.so
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·61358562b55a01099bf5118fd027181cae1dbce06 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·4021a4670f3ef0c3907071287ad492804e81eda6
⊟
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·33353835·36326235·35613031·30393962·358562b55a01099b 
3 ··0x00000010·66353131·38666430·32373138·31636165·f5118fd027181cae2 ··0x00000000·32316134·36373066·33656630·63333930·21a4670f3ef0c390
 3 ··0x00000010·37303731·32383761·64343932·38303465·7071287ad492804e
4 ··0x00000020·31646263·65302e64·65627567·00000000·1dbce0.debug....4 ··0x00000020·38316564·61362e64·65627567·00000000·81eda6.debug....
5 ··0x00000030·d9e47935····························..y55 ··0x00000030·0f9bd746····························...F
  
⊟
37.4 MB
cvc5-dbgsym_1.1.2-2_arm64.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··1844636·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1845060·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:·arm645 Architecture:·arm64
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:·19317 Installed-Size:·1931
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:·6d6f69c107f47483130d5f1fe07281616e67acc312 Build-Ids:·74cf135558c10ebfb1455bc97e837a948d25c201
⊟
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/6d/6f69c107f47483130d5f1fe07281616e67acc3.debug1 usr/lib/debug/.build-id/74/cf135558c10ebfb1455bc97e837a948d25c201.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/6d/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/74/
7 -rw-r--r--···0·root·········(0)·root·········(0)··1967056·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6d/6f69c107f47483130d5f1fe07281616e67acc3.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··1967064·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/74/cf135558c10ebfb1455bc97e837a948d25c201.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/6d/6f69c107f47483130d5f1fe07281616e67acc3.debug vs.
./usr/lib/debug/.build-id/74/cf135558c10ebfb1455bc97e837a948d25c201.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 73% similar despite different names
⊟
969 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:···························AArch649 ··Machine:···························AArch64
10 ··Version:···························0x110 ··Version:···························0x1
11 ··Entry·point·address:···············0xab4011 ··Entry·point·address:···············0xab40
12 ··Start·of·program·headers:··········64·(bytes·into·file)12 ··Start·of·program·headers:··········64·(bytes·into·file)
13 ··Start·of·section·headers:··········1964496·(bytes·into·file)13 ··Start·of·section·headers:··········1964504·(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:·········1117 ··Number·of·program·headers:·········11
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.12 KB
readelf --wide --sections {}
error from `readelf --wide --sections {}`: readelf: Error: Unable to find program interpreter name
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0x1df9d0:1 There·are·40·section·headers,·starting·at·offset·0x1df9d8:
  
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]·.interp···········NOBITS··········00000000000002a8·0002a8·00001b·00···A··0···0··15 ··[·1]·.interp···········NOBITS··········00000000000002a8·0002a8·00001b·00···A··0···0··1
6 ··[·2]·.note.gnu.property·NOTE············00000000000002c8·0002c8·000020·00···A··0···0··86 ··[·2]·.note.gnu.property·NOTE············00000000000002c8·0002c8·000020·00···A··0···0··8
7 ··[·3]·.note.gnu.build-id·NOTE············00000000000002e8·0002e8·000024·00···A··0···0··47 ··[·3]·.note.gnu.build-id·NOTE············00000000000002e8·0002e8·000024·00···A··0···0··4
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········000000000006f5f8·00f5c8·000150·00··WA··0···0··827 ··[22]·.data.rel.ro······NOBITS··········000000000006f5f8·00f5c8·000150·00··WA··0···0··8
28 ··[23]·.dynamic··········NOBITS··········000000000006f748·00f5c8·000260·10··WA··7···0··828 ··[23]·.dynamic··········NOBITS··········000000000006f748·00f5c8·000260·10··WA··7···0··8
29 ··[24]·.got··············NOBITS··········000000000006f9a8·00f5c8·000658·08··WA··0···0··829 ··[24]·.got··············NOBITS··········000000000006f9a8·00f5c8·000658·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········0000000000070000·00f5c8·006180·00··WA··0···0··830 ··[25]·.data·············NOBITS··········0000000000070000·00f5c8·006180·00··WA··0···0··8
31 ··[26]·.bss··············NOBITS··········0000000000076180·00f5c8·000100·00··WA··0···0··831 ··[26]·.bss··············NOBITS··········0000000000076180·00f5c8·000100·00··WA··0···0··8
32 ··[27]·.comment··········PROGBITS········0000000000000000·00032c·00001e·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·00032c·00001e·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·000350·0001b6·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·000350·0001b6·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·000508·15483d·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·000508·15483a·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·154d48·0034ce·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·154d48·0034ce·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·158218·00f40f·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·158218·00f40f·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·167628·02f56f·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·167628·02f56f·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·196b98·000801·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·196b98·000801·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·1973a0·02fcbd·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·1973a0·02fcbd·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·1c7060·00a2bc·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·1c7060·00a2c3·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·1d1320·007096·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·1d1328·007096·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·1d83b8·003420·18·····38·260··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·1d83c0·003420·18·····38·260··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·1db7d8·004049·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·1db7e0·004049·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·1df821·0001a9·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·1df829·0001a9·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··D·(mbind),·p·(processor·specific)49 ··D·(mbind),·p·(processor·specific)
⊟
909 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·6d6f69c107f47483130d5f1fe07281616e67acc36 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·74cf135558c10ebfb1455bc97e837a948d25c201
  
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.7.09 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.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:·28·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·28·(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-aarch64-linux-gnu/src/main11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0):·./obj-aarch64-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:·0xa341f):·unsigned·char15 ····<18>···DW_AT_name········:·(strp)·(offset:·0xa3452):·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:·0x4a388):·short·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0x4a39f):·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:·0xbb53b):·unsigned·int23 ····<26>···DW_AT_name········:·(strp)·(offset:·0xbb56e):·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:·0x7cd5e):·long·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x7cd75):·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:·0xb575):·__int8_t29 ····<32>···DW_AT_name········:·(strp)·(offset:·0xb575):·__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:·0x71564):·signed·char37 ····<3d>···DW_AT_name········:·(strp)·(offset:·0x7157b):·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:·0x416be):·__uint8_t39 ····<42>···DW_AT_name········:·(strp)·(offset:·0x416a4):·__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:·0xb4067):·__int16_t45 ····<4b>···DW_AT_name········:·(strp)·(offset:·0xb409a):·__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:·0x8b47f):·short·int53 ····<56>···DW_AT_name········:·(strp)·(offset:·0x8b496):·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:·0xb8da4):·__uint16_t55 ····<5b>···DW_AT_name········:·(strp)·(offset:·0xb8dd7):·__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:·0x8b2b3):·__int32_t61 ····<64>···DW_AT_name········:·(strp)·(offset:·0x8b2ca):·__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:·0x8fcc5):·__uint32_t73 ····<76>···DW_AT_name········:·(strp)·(offset:·0x8fcdc):·__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:·0x63a88):·__int64_t79 ····<7f>···DW_AT_name········:·(strp)·(offset:·0x63a9f):·__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:·0xfe12):·long·int87 ····<8b>···DW_AT_name········:·(strp)·(offset:·0xfe12):·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:·0x6894c):·__uint64_t89 ····<90>···DW_AT_name········:·(strp)·(offset:·0x68963):·__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:·0x59fa0):·__int_least8_t95 ····<99>···DW_AT_name········:·(strp)·(offset:·0x59fb7):·__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:·0x5ff65):·__uint_least8_t101 ····<a2>···DW_AT_name········:·(strp)·(offset:·0x5ff7c):·__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:·0x7fe7a):·__int_least16_t107 ····<ab>···DW_AT_name········:·(strp)·(offset:·0x7fe91):·__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:·0x10d65):·__uint_least16_t113 ····<b4>···DW_AT_name········:·(strp)·(offset:·0x10d65):·__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:·0x56f98):·__int_least32_t119 ····<bd>···DW_AT_name········:·(strp)·(offset:·0x56faf):·__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:·0xcaa9d):·__uint_least32_t125 ····<c6>···DW_AT_name········:·(strp)·(offset:·0xcaa83):·__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:·0x2ef45):·__int_least64_t131 ····<cf>···DW_AT_name········:·(strp)·(offset:·0x2ef2b):·__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; 37479067/37487174 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 1774, 16 lines modifiedOffset 1774, 16 lines modified
1774 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11774 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1775 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11775 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1776 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11776 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1777 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11777 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1778 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·11778 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
1779 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11779 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1780 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21780 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1781 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1781 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1782 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1782 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1783 ··Offset:······················0x1daf1783 ··Offset:······················0x1daf
1784 ··Version:·····················51784 ··Version:·····················5
1785 ··Offset·size:·················41785 ··Offset·size:·················4
  
1786 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11786 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1787 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11787 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 14102, 16 lines modifiedOffset 14102, 16 lines modified
14102 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·114102 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
14103 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·114103 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
14104 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·114104 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
14105 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·114105 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
14106 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·114106 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5DRIVER·1
14107 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·114107 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
14108 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·214108 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
14109 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"14109 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
14110 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"14110 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
14111 ··Offset:······················0x131ec14111 ··Offset:······················0x131ec
14112 ··Version:·····················514112 ··Version:·····················5
14113 ··Offset·size:·················414113 ··Offset·size:·················4
  
14114 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU14114 ·DW_MACRO_define_strp·-·lineno·:·35·macro·:·RLIMIT_CPU·RLIMIT_CPU
14115 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE14115 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·RLIMIT_FSIZE·RLIMIT_FSIZE
⊟
8.64 KB
strings --all --bytes=8 {}
    
Offset 1, 410 lines modifiedOffset 1, 396 lines modified
1 GCC:·(Debian·14.2.0-8)·14.2.01 GCC:·(Debian·14.2.0-8)·14.2.0
2 xBP5lf'v> 
3 S({KwP~( 
4 G{»     s7-uq 
5 @jZe~GWoy 
6 VJTJ+Y,$ 
7 =s_"Dz[vV{"Da_ 
8 S'Bx.4AX2 W(NEY$.D
 3 Zbwbr!mk
 4 =zb9DRc9T
 5 30p(A,x(
 6 z`~9J?AV
 7 xQ[»    M=Zx
 8 %Bh[k`WM[M
 9 !N{[kzQ!>
 10 s;7\@?di!
 11 :{*w["Dv
 12 /W+Pcn%ctP!.
9 V-j<d53@"13 V-j<b53X"
10 jD&`RhV! 
11 ~|f}f>Y] 
12 s:F<n;mSf 
13 W8hFe'g{ 
14 u7BCF0L= 
15 TjP]vp$r 
16 Yn*h9Fdr 
17 `\[!.Z?\! 
18 n^Qb2X1VJ 
19 KU)6Y>), 
20 ·k||*v@O; 
21 +A+(Alv& 
22 c2GUQ#(a 
23 e3m`7#{Il 
24 coQOM»  p~ 
25 8N8nUP» \ 
26 2<)!u|dC 
27 j<"YT·\@ 
28 »       'JL%C{% 
29 K-xRVg&C 
30 %nf<eq?0 
31 <URn»   1S% 
32 »       G#(oXi/ 
33 1#K9Armd 
34 ,D;!z!fwj 
35 ;Fn:.c"{B 
36 R»      dw%c]_.!~ 
37 6>}ud-tQ 
38 injFwT@Em 
39 0\bBaa4A>~r 
40 =Mc}JU/- 
41 K#vj»   T*( 
42 g\SUN^o! 
43 j1,jUR{Fe 
44 dq}'{fBf 
45 jPk4]K\E 
46 p')f#|VS&14 3w{77Wr)
 15 .b}5Yd71
 16 5Xj4Tl"u
 17 Y24udjqW
 18 `>o/·<#u
 19 iuhQ9mP.&:
 20 M'{]Ys-(P"
 21 qiXL}p·)»(
 22 DIj~X@z@v
 23 B}o-icRc
 24 =MCqcnSa
 25 CA|!6oL&
 26 =}V)Uk5?
 27 x=!OO(t0
 28 A0Rm~M0~
 29 u+fPBw<J
 30 N!S%Ck~P
 31 d(B*.3Yw
 32 Zy;A7l2~z
 33 1#K<N2md
 34 bA{&TZq3
 35 9YD~A!7?
 36 =I;w3@vy/F
 37 dWo#(»  2>\
 38 qBI·_ZAV
 39 UPX]ZGVy17
 40 S@vDAha;
 41 ·{jXAe·{
 42 q!l,;xD»{4
 43 50{MS+Y~
 44 4jl%$V*l
 45 @8"78i>l
 46 [+4%)C#i
 47 +{HS}oe+jL
 48 Cr?53US|`
 49 y.>a0_q5O
 50 xo#V:KG5{
47 j^/>`Sjd4qv51 j~o>`Sjd4qv
48 MX&NA;Q5 
49 ]"eb{n3%2 
50 [v9Y?5!CU 
51 BNn:xmF> 
52 V4]!x»  nq4]!· 
53 !Z&l»   'LX 
54 N#NN:82h 
55 ~gi:uH,< 
56 c2~M{Q6++ 
57 a?}!.ZhjJ 
58 5w~g??bL 
59 Q$.JvRF|} 
60 eBZu=Ug1 
61 M2Dr?%FF 
62 &J[9=W.ff 
63 u3x^)[\j 
64 H=·1+Ccs 
65 OdSV8Sgj{ 
66 kR_K3{8c 
67 xdFz-_LEf 
68 #L]hyVq!n1A 
69 ]Z14O-Fj 
70 7H~_zB~o 
71 jhT0%!{% 
72 z,l+\G?0 
73 ~)80Eu@c 
74 G23.}IK2.c 
75 5h9E:E/\ 
76 ,g3BklU·v 
77 g!6Hnshg 
78 ms\lf>-Vg»       
79 V*]pY43Z 
80 4@,2TEmi 
81 l&)Rok6@ 
Max diff block lines reached; 5420/8796 bytes (61.62%) 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 2187, 11003 lines modifiedOffset 2187, 11003 lines modified
2187 ··[·221b1]··_____fpos_t_defined·12187 ··[·221b1]··_____fpos_t_defined·1
2188 ··[·221c7]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>2188 ··[·221c7]··__normal_iterator<unsigned·int*,·std::vector<unsigned·int,·std::allocator<unsigned·int>·>·>
2189 ··[·22223]··_ZNK4cvc56Result6isNullEv2189 ··[·22223]··_ZNK4cvc56Result6isNullEv
2190 ··[·2223d]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv2190 ··[·2223d]··_ZNKSt10unique_ptrIN4cvc58internal7options13HolderPRINTERESt14default_deleteIS3_EE11get_deleterEv
2191 ··[·2229f]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv2191 ··[·2229f]··_ZNKSt8_Rb_treeIN4cvc54TermES1_St9_IdentityIS1_ESt4lessIS1_ESaIS1_EE8max_sizeEv
2192 ··[·222ef]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_2192 ··[·222ef]··_ZNSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE11upper_boundERSB_
Diff chunk too large, falling back to line-by-line diff (10989 lines added, 10989 lines removed)
2193 ··[·2236d]··_ZNSt22_Optional_payload_baseIlEC4EOS0_2193 ··[·2236d]··_ZNSt22_Optional_payload_baseIlEC4EOS0_
2194 ··[·22395]··DEB_BUILD_TIME·"12:06:23"2194 ··[·22395]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF64
2195 ··[·223af]··_SC_V7_LP64_OFF64·_SC_V7_LP64_OFF642195 ··[·223b9]··CLOCK_MONOTONIC_COARSE·6
2196 ··[·223d3]··CLOCK_MONOTONIC_COARSE·62196 ··[·223d2]··_GLIBCXX_HAVE_SYS_STAT_H·1
2197 ··[·223ec]··_GLIBCXX_HAVE_SYS_STAT_H·12197 ··[·223ed]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv
2198 ··[·22407]··_ZNSt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEE9_M_valptrEv2198 ··[·2244e]··__cpp_rvalue_reference·200610L
2199 ··[·22468]··__cpp_rvalue_reference·200610L2199 ··[·2246d]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_
2200 ··[·22487]··_ZNKSt14default_deleteIN4cvc56parser13SymbolManagerEEclEPS2_2200 ··[·224aa]··d_sep
2201 ··[·224c4]··d_sep2201 ··[·224b0]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_
2202 ··[·224ca]··_ZNSt12_Vector_baseIN4cvc54TermESaIS1_EE12_Vector_implC4EOS2_OS4_2202 ··[·224f2]··__try·try
2203 ··[·2250c]··__try·try2203 ··[·224fc]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev
2204 ··[·22516]··_ZNSt14default_deleteIN4cvc58internal7options12HolderPARSEREEC4Ev2204 ··[·2253e]··isSequenceValue
2205 ··[·22558]··isSequenceValue2205 ··[·2254e]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_
2206 ··[·22568]··_ZNSt6vectorISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_ESaIS7_EEC4EOS9_RKS8_2206 ··[·225b0]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)
2207 ··[·225ca]··__CPU_FREE(cpuset)·__sched_cpufree·(cpuset)2207 ··[·225dc]··__glibcxx_want_smart_ptr_for_overwrite
2208 ··[·225f6]··__glibcxx_want_smart_ptr_for_overwrite2208 ··[·22603]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_
2209 ··[·2261d]··_ZNSt15__uniq_ptr_dataIN4cvc58internal3smt16UnsatCoreManagerESt14default_deleteIS3_ELb1ELb1EEaSEOS6_2209 ··[·22668]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_
2210 ··[·22682]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal7options10HolderSETSESt14default_deleteIS3_EEE7_M_swapERS7_2210 ··[·226cc]··_ZNK4cvc512DatatypeDecl12isNullHelperEv
2211 ··[·226e6]··_ZNK4cvc512DatatypeDecl12isNullHelperEv2211 ··[·226f4]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv
2212 ··[·2270e]··_ZNSt12_Vector_baseIN4cvc516DatatypeSelectorESaIS1_EE19_M_get_Tp_allocatorEv2212 ··[·22741]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE
2213 ··[·2275b]··_ZNSt8_Rb_treeINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4pairIKS5_N4cvc54StatEESt10_Select1stISA_ESt4lessIS5_ESaISA_EE14_M_move_assignERSG_St17integral_constantIbLb1EE2213 ··[·227f6]··_M_erase_at_end
2214 ··[·22810]··_M_erase_at_end2214 ··[·22806]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_
2215 ··[·22820]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEEE7_M_swapERS6_2215 ··[·22868]··_ZNKSt6vectorIjSaIjEE4dataEv
2216 ··[·22882]··_ZNKSt6vectorIjSaIjEE4dataEv2216 ··[·22885]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv
2217 ··[·2289f]··_ZNK9__gnu_cxx17__normal_iteratorIPKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt6vectorIS6_SaIS6_EEEptEv2217 ··[·228f8]··__UINT_LEAST32_MAX__·0xffffffffU
2218 ··[·22912]··__UINT_LEAST32_MAX__·0xffffffffU2218 ··[·22919]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev
2219 ··[·22933]··_ZNSaISt13_Rb_tree_nodeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEEC4Ev2219 ··[·22976]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()
2220 ··[·22990]··Trace(tag)·cvc5::internal::__cvc5_true()·?·cvc5::internal::nullStream·:·cvc5::internal::TraceChannel()2220 ··[·229dd]··allocator_traits<std::allocator<char>·>
2221 ··[·229f7]··allocator_traits<std::allocator<char>·>2221 ··[·22a05]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv
2222 ··[·22a1f]··_ZNKSt10unique_ptrIN4cvc58internal7options9HolderSEPESt14default_deleteIS3_EEcvbEv2222 ··[·22a58]··_ZNSt6vectorIbSaIbEE4flipEv
2223 ··[·22a72]··_ZNSt6vectorIbSaIbEE4flipEv2223 ··[·22a74]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_
2224 ··[·22a8e]··_ZNSt5tupleIJPN4cvc58internal7options8HolderBVESt14default_deleteIS3_EEE4swapERS7_2224 ··[·22ac7]··__need___va_list
2225 ··[·22ae1]··__need___va_list2225 ··[·22ad8]··_GLIBCXX_TXN_SAFE_DYN·
2226 ··[·22af2]··_GLIBCXX_TXN_SAFE_DYN·2226 ··[·22aef]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)
2227 ··[·22b09]··__gthrw(name)·__gthrw2(__gthrw_·##·name,name,name)2227 ··[·22b22]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator
2228 ··[·22b3c]··_ZNSt19_Bit_const_iteratorC4ERKSt13_Bit_iterator2228 ··[·22b53]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_
2229 ··[·22b6d]··_ZNSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEEC4ESt16initializer_listISC_ERKS9_RKSD_2229 ··[·22be5]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv
2230 ··[·22bff]··_ZNKSt19_Optional_base_implIlSt14_Optional_baseIlLb1ELb1EEE6_M_getEv2230 ··[·22c2a]··d_bv
2231 ··[·22c44]··d_bv2231 ··[·22c2f]··EXISTS
2232 ··[·22c49]··EXISTS2232 ··[·22c36]··_ZNKSt6vectorIbSaIbEE7crbeginEv
2233 ··[·22c50]··_ZNKSt6vectorIbSaIbEE7crbeginEv2233 ··[·22c56]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_
2234 ··[·22c70]··_ZNSt6vectorIN4cvc54main15PortfolioConfigESaIS2_EEC4EmRKS2_RKS3_2234 ··[·22c97]··_SC_JOB_CONTROL·_SC_JOB_CONTROL
2235 ··[·22cb1]··_SC_JOB_CONTROL·_SC_JOB_CONTROL2235 ··[·22cb7]··__glibcxx_want_execution
2236 ··[·22cd1]··__glibcxx_want_execution2236 ··[·22cd0]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv
2237 ··[·22cea]··_ZNSt6vectorIN4cvc523DatatypeConstructorDeclESaIS1_EE4rendEv2237 ··[·22d0d]··__INO_T_TYPE·__ULONGWORD_TYPE
2238 ··[·22d27]··__INO_T_TYPE·__ULONGWORD_TYPE2238 ··[·22d2b]··__dat
2239 ··[·22d45]··__dat2239 ··[·22d31]··__LC_MEASUREMENT·11
2240 ··[·22d4b]··__LC_MEASUREMENT·112240 ··[·22d45]··__in_chrg
2241 ··[·22d5f]··__in_chrg2241 ··[·22d4f]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev
2242 ··[·22d69]··_ZNSt11_Tuple_implILm1EJSt14default_deleteIN4cvc58internal7options8HolderFPEEEEC4Ev2242 ··[·22da3]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>
2243 ··[·22dbd]··_Tuple_impl<0,·cvc5::internal::options::HolderSMT*,·std::default_delete<cvc5::internal::options::HolderSMT>·>2243 ··[·22e11]··_Arg
2244 ··[·22e2b]··_Arg2244 ··[·22e16]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"
2245 ··[·22e30]··_PSTL_PRAGMA_LOCATION·"·[Parallel·STL·message]:·"2245 ··[·22e48]··__STDC_UTF_32__·1
2246 ··[·22e62]··__STDC_UTF_32__·12246 ··[·22e5a]··__glibcxx_want_optional·
2247 ··[·22e74]··__glibcxx_want_optional·2247 ··[·22e73]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_
2248 ··[·22e8d]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt19ResourceOutListenerESt14default_deleteIS3_EEaSEOS6_2248 ··[·22ed3]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>
2249 ··[·22eed]··__uniq_ptr_data<cvc5::internal::options::HolderSEP,·std::default_delete<cvc5::internal::options::HolderSEP>,·true,·true>2249 ··[·22f4c]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>
2250 ··[·22f66]··add_lvalue_reference<cvc5::internal::smt::SmtSolver>2250 ··[·22f81]··__glibcxx_no_dangling_refs(_U1,_U2)·
2251 ··[·22f9b]··__glibcxx_no_dangling_refs(_U1,_U2)·2251 ··[·22fa6]··long·double
2252 ··[·22fc0]··long·double2252 ··[·22fb2]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_
2253 ··[·22fcc]··_ZNSt4pairISt23_Rb_tree_const_iteratorIS_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmEEbEC4ERKS9_2253 ··[·2301e]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_
2254 ··[·23038]··_ZNSt15__uniq_ptr_dataIN4cvc58internal7options14HolderPARALLELESt14default_deleteIS3_ELb1ELb1EEC4EOS6_2254 ··[·23085]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_
2255 ··[·2309f]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt11SygusSolverESt14default_deleteIS3_EEE7_M_tailERS7_2255 ··[·230e6]··_ZNSt11char_traitsIwE7compareEPKwS2_m
2256 ··[·23100]··_ZNSt11char_traitsIwE7compareEPKwS2_m2256 ··[·2310c]··_ZNKSt8optionalImE9has_valueEv
2257 ··[·23126]··_ZNKSt8optionalImE9has_valueEv2257 ··[·2312b]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>
2258 ··[·23145]··__uniq_ptr_data<cvc5::internal::smt::ContextManager,·std::default_delete<cvc5::internal::smt::ContextManager>,·true,·true>2258 ··[·231a6]··_GLIBCXX_USE_CHMOD·1
2259 ··[·231c0]··_GLIBCXX_USE_CHMOD·12259 ··[·231bb]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()
2260 ··[·231d5]··_GLIBCXX_USE_ASSIGN_FOR_INIT(T,U)·__is_trivial(T)·&&·__is_assignable(T&,·U)·&&·std::__check_constructible<T,·U>()2260 ··[·2322d]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_
2261 ··[·23247]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options9HolderSMTELb0EEC4ERKS5_2261 ··[·23274]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv
2262 ··[·2328e]··_ZNSt15__uniq_ptr_implIN4cvc58internal3smt14ContextManagerESt14default_deleteIS3_EE10_M_deleterEv2262 ··[·232d6]··__BLKCNT_T_TYPE·__SLONGWORD_TYPE
2263 ··[·232f0]··__BLKCNT_T_TYPE·__SLONGWORD_TYPE2263 ··[·232f7]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m
2264 ··[·23311]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE12find_last_ofES2_m2264 ··[·23339]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw
2265 ··[·23353]··_ZNSt17basic_string_viewIwSt11char_traitsIwEEC4EPKw2265 ··[·2336d]··_ZNSt8__detail9__variant17__gen_vtable_implINS0_12_Multi_arrayIPFvOZNS0_16_Variant_storageILb0EJN4cvc510OptionInfo8VoidInfoENS5_9ValueInfoIbEENS7_INSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEENS5_10NumberInfoIlEENSG_ImEENSG_IdEENS5_8ModeInfoE[·...·truncated·by·diffoscope;·len:·103,·SHA:·edd0440173f5cabc70b4dadb8324e2cbc791caa342bdfb437aaa73f2a26e6424·...·]
2266 ··[·23387]··_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·...·]yEv2266 ··[·234d0]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv
2267 ··[·234ea]··_ZNKSt3mapINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEN4cvc54StatESt4lessIS5_ESaISt4pairIKS5_S7_EEE5emptyEv2267 ··[·23545]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>
2268 ··[·2355f]··_Head_base<1,·std::default_delete<cvc5::internal::options::OptionsHandler>,·true>2268 ··[·23597]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm
2269 ··[·235b1]··_ZNSt13_Bvector_baseISaIbEE8_S_nwordEm2269 ··[·235be]··assertFormulaInternal
2270 ··[·235d8]··assertFormulaInternal2270 ··[·235d4]··__ARM_FEATURE_SVE2_BITPERM
2271 ··[·235ee]··__ARM_FEATURE_SVE2_BITPERM2271 ··[·235ef]··mkNullableLift
2272 ··[·23609]··mkNullableLift2272 ··[·235fe]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev
2273 ··[·23618]··_ZNSt14default_deleteIN4cvc58internal7options12HolderDRIVEREEC4Ev2273 ··[·23640]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv
2274 ··[·2365a]··_ZNSt15__uniq_ptr_implIN4cvc54Stat8StatDataESt14default_deleteIS2_EE6_M_ptrEv2274 ··[·2368e]··mkFiniteFieldElem
2275 ··[·236a8]··mkFiniteFieldElem2275 ··[·236a0]··ARITH_TRANS_EXP_NEG
2276 ··[·236ba]··ARITH_TRANS_EXP_NEG2276 ··[·236b4]··__glibcxx_allocator_traits_is_always_equal·201411L
2277 ··[·236ce]··__glibcxx_allocator_traits_is_always_equal·201411L2277 ··[·236e7]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE
2278 ··[·23701]··_ZNK4cvc58internal9LogicInfo15isTheoryEnabledENS0_6theory8TheoryIdE2278 ··[·2372b]··_SC_2_FORT_DEV·_SC_2_FORT_DEV
2279 ··[·23745]··_SC_2_FORT_DEV·_SC_2_FORT_DEV2279 ··[·23749]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>
2280 ··[·23763]··__uniq_ptr_data<cvc5::internal::options::HolderBOOLEANS,·std::default_delete<cvc5::internal::options::HolderBOOLEANS>,·true,·true>2280 ··[·237cc]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE
2281 ··[·237e6]··_ZNSt3setIN4cvc54TermESt4lessIS1_ESaIS1_EE6insertESt23_Rb_tree_const_iteratorIS1_EOSt12_Node_handleIS1_S1_SaISt13_Rb_tree_nodeIS1_EEE2281 ··[·23852]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
2282 ··[·2386c]··_ZNK4cvc56Solver8setLogicERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE2282 ··[·238a3]··_ZNK4cvc512DatatypeDecl10isResolvedEv
2283 ··[·238bd]··_ZNK4cvc512DatatypeDecl10isResolvedEv2283 ··[·238c9]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv
2284 ··[·238e3]··_ZNKSt3mapIN4cvc54TermENSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEESt4lessIS1_ESaISt4pairIKS1_S7_EEE5crendEv2284 ··[·2393e]··_IsUnused
2285 ··[·23958]··_IsUnused2285 ··[·23948]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev
2286 ··[·23962]··_ZNSt15__new_allocatorIN4cvc54TermEED4Ev2286 ··[·23971]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_
2287 ··[·2398b]··_ZNSt19_Node_handle_commonISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmESaISt13_Rb_tree_nodeIS7_EEE7_M_swapERSB_2287 ··[·239f3]··_vtable_offset
2288 ··[·23a0d]··_vtable_offset2288 ··[·23a02]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E
2289 ··[·23a1c]··_ZNSt8_Rb_treeISt4pairINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEmES7_St9_IdentityIS7_ESt4lessIS7_ESaIS7_EE5eraseB5cxx11ESt23_Rb_tree_const_iteratorIS7_E2289 ··[·23aa6]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm
2290 ··[·23ac0]··_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE7compareEmmRKS4_mm2290 ··[·23aef]··__FLT64X_EPSILON__·1.92592994438723585305597794258492732e-34F64x
2291 ··[·23b09]··__FLT64X_EPSILON__·1.92592994438723585305597794258492732e-34F64x2291 ··[·23b30]··_GLIBCXX_POSTYPES_H·1
2292 ··[·23b4a]··_GLIBCXX_POSTYPES_H·12292 ··[·23b46]··__ARM_FEATURE_BF16_VECTOR_ARITHMETIC
2293 ··[·23b60]··__ARM_FEATURE_BF16_VECTOR_ARITHMETIC2293 ··[·23b6b]··INT_FAST16_MIN·(-9223372036854775807L-1)
2294 ··[·23b85]··INT_FAST16_MIN·(-9223372036854775807L-1)2294 ··[·23b94]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_
2295 ··[·23bae]··_ZNSt11_Tuple_implILm0EJPN4cvc58internal3smt9SmtSolverESt14default_deleteIS3_EEE7_M_headERS7_2295 ··[·23bf2]··__cpp_lib_tuples_by_type·201304L
2296 ··[·23c0c]··__cpp_lib_tuples_by_type·201304L2296 ··[·23c13]··__TIME_T_TYPE·__SLONGWORD_TYPE
2297 ··[·23c2d]··__TIME_T_TYPE·__SLONGWORD_TYPE2297 ··[·23c32]··getInterpolant
2298 ··[·23c4c]··getInterpolant2298 ··[·23c41]··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::__cx[·...·truncated·by·diffoscope;·len:·350,·SHA:·81491adab825dbd61f9775b4dcfb8208d81a5431c0692b25f688255f369a4a34·...·]
2299 ··[·23c5b]··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·...·]>·>2299 ··[·23e9c]··rebind<std::_Rb_tree_node<cvc5::Term>·>
2300 ··[·23eb6]··rebind<std::_Rb_tree_node<cvc5::Term>·>2300 ··[·23ec4]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}
2301 ··[·23ede]··PTHREAD_RWLOCK_WRITER_NONRECURSIVE_INITIALIZER_NP·{·{·__PTHREAD_RWLOCK_INITIALIZER·(PTHREAD_RWLOCK_PREFER_WRITER_NONRECURSIVE_NP)·}·}2301 ··[·23f4a]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_
2302 ··[·23f64]··_ZNSt10_Head_baseILm1ESt14default_deleteIN4cvc58internal3smt15AbductionSolverEELb1EE7_M_headERKS6_2302 ··[·23fad]··_ZNSt8optionalIlEaSESt9nullopt_t
2303 ··[·23fc7]··_ZNSt8optionalIlEaSESt9nullopt_t2303 ··[·23fce]··_ZNSt16initializer_listIPKcEC4EPKS1_m
2304 ··[·23fe8]··_ZNSt16initializer_listIPKcEC4EPKS1_m2304 ··[·23ff4]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING
2305 ··[·2400e]··_SC_2_PBS_ACCOUNTING·_SC_2_PBS_ACCOUNTING2305 ··[·2401e]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv
2306 ··[·24038]··_ZNSt15basic_streambufIcSt11char_traitsIcEE9showmanycEv2306 ··[·24056]··_POSIX_TRACE·-1
2307 ··[·24070]··_POSIX_TRACE·-12307 ··[·24066]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>
2308 ··[·24080]··_Head_base<1,·std::default_delete<cvc5::internal::smt::InterpolationSolver>,·true>2308 ··[·240b9]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_
2309 ··[·240d3]··_ZNSt10_Head_baseILm0EPN4cvc58internal7options13HolderBUILTINELb0EE7_M_headERS5_2309 ··[·2410a]··_M_parent
2310 ··[·24124]··_M_parent2310 ··[·24114]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc
2311 ··[·2412e]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc2311 ··[·2414e]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm
2312 ··[·24168]··_ZNSt16allocator_traitsISaIwEE10deallocateERS0_Pwm2312 ··[·24181]··PDP_ENDIAN·__PDP_ENDIAN
Max diff block lines reached; 358/1698747 bytes (0.02%) of diff not shown.
⊟
24.9 MB
libcvc5-1-dbgsym_1.1.2-2_arm64.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·179689280·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·179699072·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:·1787807 Installed-Size:·178780
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:·a06b494ba393efea230f8dd52d63623fa7ec6ca213 Build-Ids:·7be7f51605b9655578a28ef3f8df0cd9fdd7f4c4
⊟
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/a0/6b494ba393efea230f8dd52d63623fa7ec6ca2.debug1 usr/lib/debug/.build-id/7b/e7f51605b9655578a28ef3f8df0cd9fdd7f4c4.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/a0/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/7b/
7 -rw-r--r--···0·root·········(0)·root·········(0)·183059848·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/a0/6b494ba393efea230f8dd52d63623fa7ec6ca2.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·183059656·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/7b/e7f51605b9655578a28ef3f8df0cd9fdd7f4c4.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/a0/6b494ba393efea230f8dd52d63623fa7ec6ca2.debug vs.
./usr/lib/debug/.build-id/7b/e7f51605b9655578a28ef3f8df0cd9fdd7f4c4.debug
Timeout exceeded; details may be incomplete. File has been modified after NT_GNU_BUILD_ID has been applied. Files 95% similar despite different names
⊟
865 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:···························AArch649 ··Machine:···························AArch64
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:··········183057288·(bytes·into·file)13 ··Start·of·section·headers:··········183057096·(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.51 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·40·section·headers,·starting·at·offset·0xae93b88:1 There·are·40·section·headers,·starting·at·offset·0xae93ac8:
  
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············0000000000000270·000270·000020·00···A··0···0··85 ··[·1]·.note.gnu.property·NOTE············0000000000000270·000270·000020·00···A··0···0··8
6 ··[·2]·.note.gnu.build-id·NOTE············0000000000000290·000290·000024·00···A··0···0··46 ··[·2]·.note.gnu.build-id·NOTE············0000000000000290·000290·000024·00···A··0···0··4
7 ··[·3]·.gnu.hash·········NOBITS··········00000000000002b8·0002b4·004d18·00···A··4···0··87 ··[·3]·.gnu.hash·········NOBITS··········00000000000002b8·0002b4·004d18·00···A··4···0··8
Offset 27, 23 lines modifiedOffset 27, 23 lines modified
27 ··[22]·.data.rel.ro······NOBITS··········00000000015c8288·007070·013ae8·00··WA··0···0··827 ··[22]·.data.rel.ro······NOBITS··········00000000015c8288·007070·013ae8·00··WA··0···0··8
28 ··[23]·.dynamic··········NOBITS··········00000000015dbd70·007070·000260·10··WA··5···0··828 ··[23]·.dynamic··········NOBITS··········00000000015dbd70·007070·000260·10··WA··5···0··8
29 ··[24]·.got··············NOBITS··········00000000015dbfd0·007070·004030·08··WA··0···0··829 ··[24]·.got··············NOBITS··········00000000015dbfd0·007070·004030·08··WA··0···0··8
30 ··[25]·.data·············NOBITS··········00000000015e0000·007070·009ca8·00··WA··0···0·1630 ··[25]·.data·············NOBITS··········00000000015e0000·007070·009ca8·00··WA··0···0·16
31 ··[26]·.bss··············NOBITS··········00000000015e9ca8·007070·003340·00··WA··0···0··831 ··[26]·.bss··············NOBITS··········00000000015e9ca8·007070·003340·00··WA··0···0··8
32 ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001e·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001e·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c607·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c607·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00c8e0·87e726d·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00c8e0·87e7188·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87f3b50·0dad88·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87f3a68·0dad88·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88ce8d8·7cc940·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88ce7f0·7cc940·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·909b218·3dfe09·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·909b130·3dfe05·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·947b028·0028b6·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·947af38·0028b6·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·947d8e0·11477ed·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·947d7f0·11477ed·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a5c50d0·160819·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a5c4fe0·16084f·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a7258f0·48726f·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a725830·48726f·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·abacb60·0e9af0·18·····38·37166··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·abacaa0·0e9af0·18·····38·37166··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·ac96650·1fd398·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·ac96590·1fd398·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·ae939e8·0001a0·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·ae93928·0001a0·00······0···0··1
45 Key·to·Flags:45 Key·to·Flags:
46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),46 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),47 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),48 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
49 ··R·(retain),·D·(mbind),·p·(processor·specific)49 ··R·(retain),·D·(mbind),·p·(processor·specific)
⊟
628 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 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:·AArch64·feature:·BTI,·PAC3 ··GNU··················0x00000010»  NT_GNU_PROPERTY_TYPE_0»    ······Properties:·AArch64·feature:·BTI,·PAC
  
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:·a06b494ba393efea230f8dd52d63623fa7ec6ca26 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·7be7f51605b9655578a28ef3f8df0cd9fdd7f4c4
⊟
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:·2·(DW_TAG_partial_unit)9 ·<0><c>:·Abbrev·Number:·2·(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:·0x15):·./obj-aarch64-linux-gnu/src11 ····<11>···DW_AT_comp_dir····:·(line_strp)·(offset:·0x15):·./obj-aarch64-linux-gnu/src
12 ·<1><15>:·Abbrev·Number:·101·(DW_TAG_base_type)12 ·<1><15>:·Abbrev·Number:·101·(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:·0x161dd):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x161f7):·long·int
16 ·<1><1c>:·Abbrev·Number:·101·(DW_TAG_base_type)16 ·<1><1c>:·Abbrev·Number:·101·(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:·0xeb39):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xeb39):·long·unsigned·int
20 ·<1><23>:·Abbrev·Number:·101·(DW_TAG_base_type)20 ·<1><23>:·Abbrev·Number:·101·(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:·0x1ae94):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1ae94):·unsigned·char
24 ·<1><2a>:·Abbrev·Number:·101·(DW_TAG_base_type)24 ·<1><2a>:·Abbrev·Number:·101·(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:·0x1296d):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x12987):·short·unsigned·int
28 ·<1><31>:·Abbrev·Number:·101·(DW_TAG_base_type)28 ·<1><31>:·Abbrev·Number:·101·(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:·0xc9bd):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc9bd):·unsigned·int
32 ·<1><38>:·Abbrev·Number:·101·(DW_TAG_base_type)32 ·<1><38>:·Abbrev·Number:·101·(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:·101·(DW_TAG_base_type)100 ·<1><b8>:·Abbrev·Number:·101·(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:·0x20010):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x20010):·char32_t
104 ·<1><bf>:·Abbrev·Number:·101·(DW_TAG_base_type)104 ·<1><bf>:·Abbrev·Number:·101·(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:·0x14308):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x14322):·__int128
108 ·<1><c6>:·Abbrev·Number:·101·(DW_TAG_base_type)108 ·<1><c6>:·Abbrev·Number:·101·(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:·0x238a1):·__int128·unsigned111 ····<c9>···DW_AT_name········:·(strp)·(offset:·0x238a1):·__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:·0x1f2bf):·_IO_read_end807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1f2bf):·_IO_read_end
808 ····<45b>···DW_AT_decl_file···:·(data1)·68808 ····<45b>···DW_AT_decl_file···:·(data1)·68
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:·68·(DW_TAG_member)813 ·<2><460>:·Abbrev·Number:·68·(DW_TAG_member)
814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10709):·_IO_read_base814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10723):·_IO_read_base
815 ····<465>···DW_AT_decl_file···:·(data1)·68815 ····<465>···DW_AT_decl_file···:·(data1)·68
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:·68·(DW_TAG_member)820 ·<2><46a>:·Abbrev·Number:·68·(DW_TAG_member)
821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x51af):·_IO_write_base821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x51af):·_IO_write_base
822 ····<46f>···DW_AT_decl_file···:·(data1)·68822 ····<46f>···DW_AT_decl_file···:·(data1)·68
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:·68·(DW_TAG_member)827 ·<2><474>:·Abbrev·Number:·68·(DW_TAG_member)
828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfd34):·_IO_write_ptr828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfd4e):·_IO_write_ptr
829 ····<479>···DW_AT_decl_file···:·(data1)·68829 ····<479>···DW_AT_decl_file···:·(data1)·68
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:·68·(DW_TAG_member)834 ·<2><47e>:·Abbrev·Number:·68·(DW_TAG_member)
835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe409):·_IO_write_end835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe409):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb6dc):·_IO_buf_base842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb6dc):·_IO_buf_base
843 ····<48d>···DW_AT_decl_file···:·(data1)·68843 ····<48d>···DW_AT_decl_file···:·(data1)·68
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:·68·(DW_TAG_member)848 ·<2><492>:·Abbrev·Number:·68·(DW_TAG_member)
849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x155bf):·_IO_buf_end849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x155d9):·_IO_buf_end
850 ····<497>···DW_AT_decl_file···:·(data1)·68850 ····<497>···DW_AT_decl_file···:·(data1)·68
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:·68·(DW_TAG_member)855 ·<2><49c>:·Abbrev·Number:·68·(DW_TAG_member)
856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe47c):·_IO_save_base856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe47c):·_IO_save_base
857 ····<4a1>···DW_AT_decl_file···:·(data1)·68857 ····<4a1>···DW_AT_decl_file···:·(data1)·68
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:·68·(DW_TAG_member)862 ·<2><4a6>:·Abbrev·Number:·68·(DW_TAG_member)
863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x11090):·_IO_backup_base863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x110aa):·_IO_backup_base
864 ····<4ab>···DW_AT_decl_file···:·(data1)·68864 ····<4ab>···DW_AT_decl_file···:·(data1)·68
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:·68·(DW_TAG_member)869 ·<2><4b0>:·Abbrev·Number:·68·(DW_TAG_member)
870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18e72):·_IO_save_end870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18e8c):·_IO_save_end
871 ····<4b5>···DW_AT_decl_file···:·(data1)·68871 ····<4b5>···DW_AT_decl_file···:·(data1)·68
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:·68·(DW_TAG_member)876 ·<2><4ba>:·Abbrev·Number:·68·(DW_TAG_member)
877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4bcd):·_markers877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4bcd):·_markers
Offset 884, 15 lines modifiedOffset 884, 15 lines modified
884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa45):·_chain884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa45):·_chain
885 ····<4ca>···DW_AT_decl_file···:·(data1)·68885 ····<4ca>···DW_AT_decl_file···:·(data1)·68
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:·4·(DW_TAG_member)890 ·<2><4d0>:·Abbrev·Number:·4·(DW_TAG_member)
891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a0ec):·_fileno891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a106):·_fileno
892 ····<4d5>···DW_AT_decl_file···:·(data1)·68892 ····<4d5>···DW_AT_decl_file···:·(data1)·68
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:·4·(DW_TAG_member)897 ·<2><4dd>:·Abbrev·Number:·4·(DW_TAG_member)
898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c36d):·_flags2898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c36d):·_flags2
Offset 905, 29 lines modifiedOffset 905, 29 lines modified
Max diff block lines reached; 25377943/25384990 bytes (99.97%) of diff not shown.
⊟
3.49 KB
readelf --wide --debug-dump=macro {}
    
Offset 1601, 16 lines modifiedOffset 1601, 16 lines modified
1601 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11601 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1602 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11602 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1603 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11603 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1604 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11604 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1605 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11605 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1606 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11606 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1607 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21607 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1608 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1608 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1609 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1609 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1610 ··Offset:······················0x1b261610 ··Offset:······················0x1b26
1611 ··Version:·····················51611 ··Version:·····················5
1612 ··Offset·size:·················41612 ··Offset·size:·················4
  
1613 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11613 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1614 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11614 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52288, 16 lines modifiedOffset 52288, 16 lines modified
52288 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152288 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52289 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152289 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52290 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152290 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52291 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152291 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52292 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152292 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52293 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152293 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52294 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252294 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52295 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52295 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52296 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52296 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52297 ··Offset:······················0x48c8252297 ··Offset:······················0x48c82
52298 ··Version:·····················552298 ··Version:·····················5
52299 ··Offset·size:·················452299 ··Offset·size:·················4
  
52300 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52300 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52301 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52301 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1309608, 17 lines modifiedOffset 1309608, 19 lines modified
1309608 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1309608 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1309609 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421309609 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1309610 ·DW_MACRO_end_file1309610 ·DW_MACRO_end_file
1309611 ·DW_MACRO_import·-·offset·:·0x51b3d1309611 ·DW_MACRO_import·-·offset·:·0x51b3d
1309612 ·DW_MACRO_end_file1309612 ·DW_MACRO_end_file
1309613 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1361309613 ·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1309614 ·DW_MACRO_end_file1309614 ·DW_MACRO_end_file
 1309615 ·DW_MACRO_start_file·-·lineno:·50·filenum:·31
 1309616 ·DW_MACRO_end_file
1309615 ·DW_MACRO_start_file·-·lineno:·51·filenum:·1121309617 ·DW_MACRO_start_file·-·lineno:·51·filenum:·112
1309616 ·DW_MACRO_end_file1309618 ·DW_MACRO_end_file
1309617 ·DW_MACRO_start_file·-·lineno:·53·filenum:·2911309619 ·DW_MACRO_start_file·-·lineno:·52·filenum:·291
1309618 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11309620 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1309619 ·DW_MACRO_start_file·-·lineno:·41·filenum:·181309621 ·DW_MACRO_start_file·-·lineno:·41·filenum:·18
1309620 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1309622 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1309621 ·DW_MACRO_start_file·-·lineno:·33·filenum:·131309623 ·DW_MACRO_start_file·-·lineno:·33·filenum:·13
1309622 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11309624 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1309623 ·DW_MACRO_start_file·-·lineno:·35·filenum:·141309625 ·DW_MACRO_start_file·-·lineno:·35·filenum:·14
1309624 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11309626 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1309626, 16 lines modifiedOffset 1309628, 14 lines modified
1309626 ·DW_MACRO_end_file1309628 ·DW_MACRO_end_file
1309627 ·DW_MACRO_end_file1309629 ·DW_MACRO_end_file
1309628 ·DW_MACRO_import·-·offset·:·0x9e381309630 ·DW_MACRO_import·-·offset·:·0x9e38
1309629 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1771309631 ·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1309630 ·DW_MACRO_import·-·offset·:·0x4f3b8f1309632 ·DW_MACRO_import·-·offset·:·0x4f3b8f
1309631 ·DW_MACRO_end_file1309633 ·DW_MACRO_end_file
1309632 ·DW_MACRO_end_file1309634 ·DW_MACRO_end_file
1309633 ·DW_MACRO_start_file·-·lineno:·54·filenum:·31 
1309634 ·DW_MACRO_end_file 
1309635 ·DW_MACRO_start_file·-·lineno:·57·filenum:·831309635 ·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1309636 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1309636 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1309637 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1771309637 ·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1309638 ·DW_MACRO_import·-·offset·:·0x4f417b1309638 ·DW_MACRO_import·-·offset·:·0x4f417b
1309639 ·DW_MACRO_end_file1309639 ·DW_MACRO_end_file
1309640 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1401309640 ·DW_MACRO_start_file·-·lineno:·43·filenum:·140
1309641 ·DW_MACRO_import·-·offset·:·0x10ad11309641 ·DW_MACRO_import·-·offset·:·0x10ad1
⊟
609 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ····00bcc2d6·v000000000000006·v000000000000007·location·view·pair4194297 ····00bcc2d6·v000000000000006·v000000000000007·location·view·pair
  
4194298 ····00bcc2d8·v000000000000006·v000000000000007·views·at·00bcc2d6·for:4194298 ····00bcc2d8·v000000000000006·v000000000000007·views·at·00bcc2d6·for:
4194299 ·············0000000000467ef0·0000000000467ef0·(DW_OP_reg24·(x24))4194299 ·············0000000000467ef0·0000000000467ef0·(DW_OP_reg24·(x24))
4194300 ····00bcc2e4·<End·of·list>4194300 ····00bcc2e4·<End·of·list>
  
4194301 ····00bcc2e5·v000000000000006·v000000000000008·location·view·pair4194301 ····00bcc2e5·v000000000000006·v000000000000008·location·view·pair
4194302 [·Too·much·input·for·diff·(SHA256:·97edb85f4b558fd69638cc9c30004b69c0fb209fe36788f0a7684301c2b01a75)·]4194302 [·Too·much·input·for·diff·(SHA256:·6f55b880b64c242e2a323f733ef2ab8c99939f98510275836569daa16ea5d40c)·]
⊟
657 KB
strings --all --bytes=8 {}
    
Offset 1, 30308 lines modifiedOffset 1, 30492 lines modified
1 GCC:·(Debian·14.2.0-8)·14.2.01 GCC:·(Debian·14.2.0-8)·14.2.0
2 "DE*9m!6D2 "DE*9m!6D
3 };Y8T8R83 };Y8T8R8
4 =T8R8V8Q4 =T8R8V8Q
5 Ny<_m·gUm~!5 Ny<_m·gUm~!
6 }TY?eVv_86 }TY?eVv_8
7 »       ]w&?D8s37 »       ]w&?D8s3
8 g9$mGzX: 
9 a7Rkj?"L 
10 a_z[#3Ce8 if:hi|=·
 9 }qL7iPqLOiRqL/i!
 10 jV|ZUQ{G
 11 #rDf<AD,
 12 6=nc5pjz5
 13 &H'PTJK1(
 14 12TYcE%L.
 15 vBO?f_DV
 16 B|cwZGH?Bu
11 L9:tT$L8AT17 L9:tT$L8AT
12 NXnc"-6·&_ 
13 `Rqi?"m>18 ]8-PGf"D
 19 7BvA.{!/Z
14 ->Ff]{&H20 ->Ff]{&H
15 qQ6<SogC 
16 ·);b{MBLv 
17 7+]TYN|k21 B'8icBDq
 22 #NI^a<N8)
 23 4XS0(O.M
 24 `$3T2Fbq
18 T2zAn3Hf-25 T2zAn3Hf-
19 X0}@{@yp 
20 ]?|{x}|| 
21 R..\|.9sp 
22 d\,IZg%[O 
23 ^0Q6C&1jos 
24 Cm%Y]<Zf 
25 OHgu@/p<> 
26 Y1J'Gc%<a 
27 Ut+FFb>o 
28 MW=H8y&- 
29 @~2]6yF+P 
30 F#yRq·o~Y 
31 pIsMS|9Y 
32 0?',b2#@ 
33 :GA'>PFA/ 
34 }B)kkj-P 
35 U5v@»   cr+'b~ 
36 f~M][|/Ye: 
37 #lQoWcAt 
38 HD5o2`/M 
39 KCVSWD;IM 
40 ?BX9Y*_J 
41 4N*B=Pq!z 
42 F&OLV$L' 
43 f1%sF&fa 
44 evqdk~|gk~|gk~|g 
45 ~"YE6hP(>e/i( 
46 fw7X]11ej 
47 G!L#bB:* 
48 [0EGVwa+ 
49 XA~·.CE($ 
50 I>WEf&y` 
51 |`·_)sV: 
52 2qq!P]\X- 
53 H0&z]7,G 
54 fj\J\Js( 
55 mhv»    rG/j 
56 M|nY(^dl 
57 ix»     -zm=P 
58 .zXPX^h^ 
59 >%Wb!<>3 
60 b]/~Q/~Q 
61 B<Wbm(Sb 
62 oxH7<,;M 
63 (a+g2lpC!2v 
64 KUzkB-um 
65 7TCN~qpM 
66 $v("ORMP\ 
67 PkBmxwHm 
68 z0Ds[c>P 
69 e,1f-1J+L 
70 3<yT[G[i 
71 7be@hu(Q 
72 6_+UcWN[ 
73 2-vUiKUea# 
74 TN[buTcWB[ 
75 oi%f&.$. 
76 73»     v{-0a 
77 ;R'i<g}GzG 
78 SJ:*%]3` 
79 .=y}n6FO 
80 )o-}+kL. 
81 yZ9'aABq 
82 z|cu=,VwL 
83 L6K3q@=J!R 
84 DM~ssg%;f 
85 K?_64:.# 
86 fQ5N.%j]# 
87 Bk|7;»  )C 
88 ^pD:!eM- 
89 nW4T`h\- 
90 xdU<,td( 
91 C#@J{wu) 
92 UL1oHcT>A 
93 GSA?3D}f 
94 =3)'co\N 
95 4{\[lylWk 
96 t~+xu6;N 
97 O=|A5[X$h 
98 k'K`o8YZ 
99 h%\41Xyf 
100 Ow~h&I4J; 
101 7+{P\O;( 
102 RoA{)~M~#5 
103 i%3i.LOM 
104 dVJ)C!"}3< 
105 (47vi5!uC 
106 *=a8c0O- 
107 ";9h?ngI 
108 QL.Cmbq-2 
109 V[M|QEWR 
110 ""_Nrnjj 
111 E=X»    `s=)oK 
112 vI7qS7%s 
113 ghJWLGI+ 
114 t·[t;daA 
115 c%6(6c$Q 
Max diff block lines reached; 669434/673021 bytes (99.47%) 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.
⊟
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_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
118 B
python3-cvc5-dbgsym_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 282