83.8 MB
/srv/reproducible-results/rbuild-debian/r-b-build.1NoKVsrb/b1/cvc5_1.1.2-2_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.1NoKVsrb/b2/cvc5_1.1.2-2_arm64.changes
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·d89cb129b5a6cd0e12e12dc89754c44d·1844288·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb 
2 ·72a2033864367282d57f5acd486fae0d·96908·math·optional·cvc5_1.1.2-2_arm64.deb1 ·a3f2119146edca162dcbe2e27d216d29·1844652·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
 2 ·bc8237b80d0d4051b901955130d92af0·97120·math·optional·cvc5_1.1.2-2_arm64.deb
3 ·a313706db4369c879f23b5c5a246a337·179683048·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb3 ·a742d9f8c126c5e40e188fa3e780ea54·179688856·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
4 ·eacfed84d1f5035e140b8962909b2483·5707336·libs·optional·libcvc5-1_1.1.2-2_arm64.deb4 ·976ccafa6f6828bc07b30ad0cbd78cb6·5707652·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 ·ce5167ef7581f5f1a691c88ff71f0d5e·3993792·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb 
7 ·3d885c16555f53d4b52e1c5ed24ae32f·207156·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb 
8 ·c935cc384b8fd622d1845dacd02ff80b·2596188·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb 
9 ·d53695b6d82c70aa337ffd57567cc188·297684·python·optional·python3-cvc5_1.1.2-2_arm64.deb6 ·b0fa4917a272fdfe21b9e850f2c4d9c1·3994076·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
 7 ·960b8ff5537d5f3e5026871d9ce5bfb7·207520·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
 8 ·5e39f08c03bf44db4ed7deb2a499a619·2596084·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
 9 ·074eca7328727d2828b3451dbc752788·297488·python·optional·python3-cvc5_1.1.2-2_arm64.deb
2.68 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····95600·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0····95812·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
2.19 KB
data.tar.xz
2.17 KB
data.tar
2.15 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:·4b98b08a4b254384ab5bed721955074ffa97f4b06 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·2e0699e43d9ac1b55258c1153706998555491562
  
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
431 B
strings --all --bytes=8 {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 /lib/ld-linux-aarch64.so.11 b/lib/ld-linux-aarch64.so.1
2 Ut<{~·U>2 Ut<{~·U>
3 _ZTIN4cvc58internal9ExceptionE3 _ZTIN4cvc58internal9ExceptionE
4 _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE4 _ZNK4cvc56Solver13getOptionInfoERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
5 _ZNK4cvc56Result9isUnknownEv5 _ZNK4cvc56Result9isUnknownEv
6 _ZNK4cvc56Result7isUnsatEv6 _ZNK4cvc56Result7isUnsatEv
7 _ZNK4cvc510OptionInfo9boolValueEv7 _ZNK4cvc510OptionInfo9boolValueEv
8 _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE8 _ZNK4cvc56Solver9getOptionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
866 B
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·39386230·38613462·32353433·38346162·98b08a4b254384ab 
3 ··0x00000010·35626564·37323139·35353037·34666661·5bed721955074ffa2 ··0x00000000·30363939·65343364·39616331·62353532·0699e43d9ac1b552
 3 ··0x00000010·35386331·31353337·30363939·38353535·58c1153706998555
4 ··0x00000020·39376634·62302e64·65627567·00000000·97f4b0.debug....4 ··0x00000020·34393135·36322e64·65627567·00000000·491562.debug....
5 ··0x00000030·2ebe6491····························..d.5 ··0x00000030·b2141e39····························...9
  
41.2 KB
libcvc5-1_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·····1280·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··5705864·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··5706180·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
40.7 KB
data.tar.xz
40.6 KB
data.tar
40.6 KB
./usr/lib/aarch64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
13.3 KB
readelf --wide --relocs {}
    
Offset 3798, 15 lines modifiedOffset 3798, 15 lines modified
3798 00000000015cfa50··0000000000000403·R_AARCH64_RELATIVE························13174103798 00000000015cfa50··0000000000000403·R_AARCH64_RELATIVE························1317410
3799 00000000015cfa58··0000000000000403·R_AARCH64_RELATIVE························13174203799 00000000015cfa58··0000000000000403·R_AARCH64_RELATIVE························1317420
3800 00000000015cfa60··0000000000000403·R_AARCH64_RELATIVE························13174303800 00000000015cfa60··0000000000000403·R_AARCH64_RELATIVE························1317430
3801 00000000015cfa68··0000000000000403·R_AARCH64_RELATIVE························13174403801 00000000015cfa68··0000000000000403·R_AARCH64_RELATIVE························1317440
3802 00000000015cfa70··0000000000000403·R_AARCH64_RELATIVE························13174503802 00000000015cfa70··0000000000000403·R_AARCH64_RELATIVE························1317450
3803 00000000015cfa78··0000000000000403·R_AARCH64_RELATIVE························13174603803 00000000015cfa78··0000000000000403·R_AARCH64_RELATIVE························1317460
3804 00000000015cfa80··0000000000000403·R_AARCH64_RELATIVE························13174703804 00000000015cfa80··0000000000000403·R_AARCH64_RELATIVE························1317470
3805 00000000015cfa88··0000000000000403·R_AARCH64_RELATIVE························1317af83805 00000000015cfa88··0000000000000403·R_AARCH64_RELATIVE························1317ae0
3806 00000000015cfa90··0000000000000403·R_AARCH64_RELATIVE························13174803806 00000000015cfa90··0000000000000403·R_AARCH64_RELATIVE························1317480
3807 00000000015cfa98··0000000000000403·R_AARCH64_RELATIVE························13174983807 00000000015cfa98··0000000000000403·R_AARCH64_RELATIVE························1317498
3808 00000000015cfaa0··0000000000000403·R_AARCH64_RELATIVE························13174b03808 00000000015cfaa0··0000000000000403·R_AARCH64_RELATIVE························13174b0
3809 00000000015cfaa8··0000000000000403·R_AARCH64_RELATIVE························13174c03809 00000000015cfaa8··0000000000000403·R_AARCH64_RELATIVE························13174c0
3810 00000000015cfab0··0000000000000403·R_AARCH64_RELATIVE························13174d03810 00000000015cfab0··0000000000000403·R_AARCH64_RELATIVE························13174d0
3811 00000000015cfab8··0000000000000403·R_AARCH64_RELATIVE························13174e03811 00000000015cfab8··0000000000000403·R_AARCH64_RELATIVE························13174e0
3812 00000000015cfac0··0000000000000403·R_AARCH64_RELATIVE························13174f03812 00000000015cfac0··0000000000000403·R_AARCH64_RELATIVE························13174f0
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························13179583873 00000000015cfca8··0000000000000403·R_AARCH64_RELATIVE························1317940
3874 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························13179003874 00000000015cfcb0··0000000000000403·R_AARCH64_RELATIVE························1317900
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························13179403877 00000000015cfcc8··0000000000000403·R_AARCH64_RELATIVE························1317950
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 3892, 15 lines modifiedOffset 3892, 15 lines modified
3892 00000000015cfd40··0000000000000403·R_AARCH64_RELATIVE························1317a683892 00000000015cfd40··0000000000000403·R_AARCH64_RELATIVE························1317a68
3893 00000000015cfd48··0000000000000403·R_AARCH64_RELATIVE························1317a803893 00000000015cfd48··0000000000000403·R_AARCH64_RELATIVE························1317a80
3894 00000000015cfd50··0000000000000403·R_AARCH64_RELATIVE························1317a983894 00000000015cfd50··0000000000000403·R_AARCH64_RELATIVE························1317a98
3895 00000000015cfd58··0000000000000403·R_AARCH64_RELATIVE························1317ab03895 00000000015cfd58··0000000000000403·R_AARCH64_RELATIVE························1317ab0
3896 00000000015cfd60··0000000000000403·R_AARCH64_RELATIVE························1317ac03896 00000000015cfd60··0000000000000403·R_AARCH64_RELATIVE························1317ac0
3897 00000000015cfd68··0000000000000403·R_AARCH64_RELATIVE························12d8b703897 00000000015cfd68··0000000000000403·R_AARCH64_RELATIVE························12d8b70
3898 00000000015cfd70··0000000000000403·R_AARCH64_RELATIVE························1317ad03898 00000000015cfd70··0000000000000403·R_AARCH64_RELATIVE························1317ad0
3899 00000000015cfd78··0000000000000403·R_AARCH64_RELATIVE························1317ae03899 00000000015cfd78··0000000000000403·R_AARCH64_RELATIVE························1317af8
3900 00000000015cfd80··0000000000000403·R_AARCH64_RELATIVE························1317b103900 00000000015cfd80··0000000000000403·R_AARCH64_RELATIVE························1317b10
3901 00000000015cfd88··0000000000000403·R_AARCH64_RELATIVE························1317b283901 00000000015cfd88··0000000000000403·R_AARCH64_RELATIVE························1317b28
3902 00000000015cfd90··0000000000000403·R_AARCH64_RELATIVE························1317b403902 00000000015cfd90··0000000000000403·R_AARCH64_RELATIVE························1317b40
3903 00000000015cfd98··0000000000000403·R_AARCH64_RELATIVE························1317b583903 00000000015cfd98··0000000000000403·R_AARCH64_RELATIVE························1317b58
3904 00000000015cfda0··0000000000000403·R_AARCH64_RELATIVE························12ec0103904 00000000015cfda0··0000000000000403·R_AARCH64_RELATIVE························12ec010
3905 00000000015cfda8··0000000000000403·R_AARCH64_RELATIVE························1317b783905 00000000015cfda8··0000000000000403·R_AARCH64_RELATIVE························1317b78
3906 00000000015cfdb0··0000000000000403·R_AARCH64_RELATIVE························1317b883906 00000000015cfdb0··0000000000000403·R_AARCH64_RELATIVE························1317b88
Offset 3924, 16 lines modifiedOffset 3924, 16 lines modified
3924 00000000015cfe40··0000000000000403·R_AARCH64_RELATIVE························1317d003924 00000000015cfe40··0000000000000403·R_AARCH64_RELATIVE························1317d00
3925 00000000015cfe48··0000000000000403·R_AARCH64_RELATIVE························1317d103925 00000000015cfe48··0000000000000403·R_AARCH64_RELATIVE························1317d10
3926 00000000015cfe50··0000000000000403·R_AARCH64_RELATIVE························1317d283926 00000000015cfe50··0000000000000403·R_AARCH64_RELATIVE························1317d28
3927 00000000015cfe58··0000000000000403·R_AARCH64_RELATIVE························1317d383927 00000000015cfe58··0000000000000403·R_AARCH64_RELATIVE························1317d38
3928 00000000015cfe60··0000000000000403·R_AARCH64_RELATIVE························1317d483928 00000000015cfe60··0000000000000403·R_AARCH64_RELATIVE························1317d48
3929 00000000015cfe68··0000000000000403·R_AARCH64_RELATIVE························1317d583929 00000000015cfe68··0000000000000403·R_AARCH64_RELATIVE························1317d58
3930 00000000015cfe70··0000000000000403·R_AARCH64_RELATIVE························12e5cd83930 00000000015cfe70··0000000000000403·R_AARCH64_RELATIVE························12e5cd8
3931 00000000015cfe78··0000000000000403·R_AARCH64_RELATIVE························1317d803931 00000000015cfe78··0000000000000403·R_AARCH64_RELATIVE························1317d68
3932 00000000015cfe80··0000000000000403·R_AARCH64_RELATIVE························1317d683932 00000000015cfe80··0000000000000403·R_AARCH64_RELATIVE························1317d78
3933 00000000015cfe88··0000000000000403·R_AARCH64_RELATIVE························1317d903933 00000000015cfe88··0000000000000403·R_AARCH64_RELATIVE························1317d90
3934 00000000015cfe90··0000000000000403·R_AARCH64_RELATIVE························1317da83934 00000000015cfe90··0000000000000403·R_AARCH64_RELATIVE························1317da8
3935 00000000015cfe98··0000000000000403·R_AARCH64_RELATIVE························1317db03935 00000000015cfe98··0000000000000403·R_AARCH64_RELATIVE························1317db0
3936 00000000015cfea0··0000000000000403·R_AARCH64_RELATIVE························1317dc03936 00000000015cfea0··0000000000000403·R_AARCH64_RELATIVE························1317dc0
3937 00000000015cfea8··0000000000000403·R_AARCH64_RELATIVE························12d8b803937 00000000015cfea8··0000000000000403·R_AARCH64_RELATIVE························12d8b80
3938 00000000015cfeb0··0000000000000403·R_AARCH64_RELATIVE························1317de03938 00000000015cfeb0··0000000000000403·R_AARCH64_RELATIVE························1317de0
3939 00000000015cfeb8··0000000000000403·R_AARCH64_RELATIVE························1317df83939 00000000015cfeb8··0000000000000403·R_AARCH64_RELATIVE························1317df8
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························13179008320 00000000015e2540··0000000000000403·R_AARCH64_RELATIVE························1317900
8321 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························13178f88321 00000000015e2560··0000000000000403·R_AARCH64_RELATIVE························13178f8
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························13179408324 00000000015e25c0··0000000000000403·R_AARCH64_RELATIVE························1317950
8325 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························13179588325 00000000015e25e0··0000000000000403·R_AARCH64_RELATIVE························1317940
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
Offset 8384, 16 lines modifiedOffset 8384, 16 lines modified
8384 00000000015e2d40··0000000000000403·R_AARCH64_RELATIVE························132d1088384 00000000015e2d40··0000000000000403·R_AARCH64_RELATIVE························132d108
8385 00000000015e2d60··0000000000000403·R_AARCH64_RELATIVE························1317cb08385 00000000015e2d60··0000000000000403·R_AARCH64_RELATIVE························1317cb0
8386 00000000015e2d80··0000000000000403·R_AARCH64_RELATIVE························1317cd08386 00000000015e2d80··0000000000000403·R_AARCH64_RELATIVE························1317cd0
8387 00000000015e2da0··0000000000000403·R_AARCH64_RELATIVE························13176408387 00000000015e2da0··0000000000000403·R_AARCH64_RELATIVE························1317640
8388 00000000015e2dc0··0000000000000403·R_AARCH64_RELATIVE························132d1208388 00000000015e2dc0··0000000000000403·R_AARCH64_RELATIVE························132d120
8389 00000000015e2de0··0000000000000403·R_AARCH64_RELATIVE························12e8f408389 00000000015e2de0··0000000000000403·R_AARCH64_RELATIVE························12e8f40
8390 00000000015e2e00··0000000000000403·R_AARCH64_RELATIVE························1317a688390 00000000015e2e00··0000000000000403·R_AARCH64_RELATIVE························1317a68
8391 00000000015e2e20··0000000000000403·R_AARCH64_RELATIVE························1317d808391 00000000015e2e20··0000000000000403·R_AARCH64_RELATIVE························1317d68
8392 00000000015e2e40··0000000000000403·R_AARCH64_RELATIVE························1317d688392 00000000015e2e40··0000000000000403·R_AARCH64_RELATIVE························1317d78
8393 00000000015e2e60··0000000000000403·R_AARCH64_RELATIVE························1317ea08393 00000000015e2e60··0000000000000403·R_AARCH64_RELATIVE························1317ea0
8394 00000000015e2e80··0000000000000403·R_AARCH64_RELATIVE························1317eb88394 00000000015e2e80··0000000000000403·R_AARCH64_RELATIVE························1317eb8
8395 00000000015e2ea0··0000000000000403·R_AARCH64_RELATIVE························1317f388395 00000000015e2ea0··0000000000000403·R_AARCH64_RELATIVE························1317f38
8396 00000000015e2ec0··0000000000000403·R_AARCH64_RELATIVE························1317f488396 00000000015e2ec0··0000000000000403·R_AARCH64_RELATIVE························1317f48
8397 00000000015e2ee0··0000000000000403·R_AARCH64_RELATIVE························1316b688397 00000000015e2ee0··0000000000000403·R_AARCH64_RELATIVE························1316b68
Max diff block lines reached; 1658/13522 bytes (12.26%) of diff not shown.
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:·f4a5a890ef00dfb0f98c745c842eaa58444f983d6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·fbea2f3ce0e05dbc3f2895742bf0dd52a619dacb
1.46 KB
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-strategy 
8913 partition8912 partition
 8913 partition-strategy
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 8926, 16 lines modifiedOffset 8926, 16 lines modified
8926 preprocess-only8926 preprocess-only
8927 preregister-mode8927 preregister-mode
8928 print-cores-full8928 print-cores-full
8929 print-dot-clusters8929 print-dot-clusters
8930 print-inst8930 print-inst
8931 print-inst-full8931 print-inst-full
8932 produce-abducts8932 produce-abducts
8933 produce-assertions 
8934 interactive-mode8933 interactive-mode
 8934 produce-assertions
8935 produce-assignments8935 produce-assignments
8936 produce-difficulty8936 produce-difficulty
8937 produce-interpolants8937 produce-interpolants
8938 produce-learned-literals8938 produce-learned-literals
8939 produce-proofs8939 produce-proofs
8940 produce-unsat-assumptions8940 produce-unsat-assumptions
8941 proof-alethe-res-pivots8941 proof-alethe-res-pivots
Offset 8956, 16 lines modifiedOffset 8956, 16 lines modified
8956 prop-row-length8956 prop-row-length
8957 purify-triggers8957 purify-triggers
8958 quant-alpha-equiv8958 quant-alpha-equiv
8959 quant-dsplit8959 quant-dsplit
8960 quant-fun-wd8960 quant-fun-wd
8961 quant-ind8961 quant-ind
8962 quant-rep-mode8962 quant-rep-mode
8963 random-frequency 
8964 random-freq8963 random-freq
 8964 random-frequency
8965 random-partitioning8965 random-partitioning
8966 re-inter-mode8966 re-inter-mode
8967 register-quant-body-terms8967 register-quant-body-terms
8968 relational-triggers8968 relational-triggers
8969 relevance-filter8969 relevance-filter
8970 relevant-triggers8970 relevant-triggers
8971 repeat-simp8971 repeat-simp
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·
8.7 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 73120, 23 lines modifiedOffset 73120, 23 lines modified
73120 »       mov»    w2,·#0x53··················»    //·#8373120 »       mov»    w2,·#0x53··················»    //·#83
73121 »       adrp»   x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80>73121 »       adrp»   x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80>
73122 »       add»    x0,·x19,·#0xd2073122 »       add»    x0,·x19,·#0xd20
73123 »       add»    x1,·x1,·#0xf1073123 »       add»    x1,·x1,·#0xf10
73124 »       str»    w2,·[sp,·#3400]73124 »       str»    w2,·[sp,·#3400]
73125 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73125 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73126 »       mov»    w2,·#0x54··················»    //·#8473126 »       mov»    w2,·#0x54··················»    //·#84
73127 »       adrp»   x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80>73127 »       adrp»   x1,·1334000·<CaDiCaL::Internal::cover()@@Base+0x5fa80>
73128 »       add»    x0,·x19,·#0xd4873128 »       add»    x0,·x19,·#0xd48
73129 »       add»    x1,·x1,·#0xf2873129 »       add»    x1,·x1,·#0xe30
73130 »       str»    w2,·[sp,·#3440]73130 »       str»    w2,·[sp,·#3440]
73131 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73131 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73132 »       mov»    w2,·#0x55··················»    //·#8573132 »       mov»    w2,·#0x55··················»    //·#85
73133 »       adrp»   x1,·1334000·<CaDiCaL::Internal::cover()@@Base+0x5fa80>73133 »       adrp»   x1,·1316000·<CaDiCaL::Internal::cover()@@Base+0x41a80>
73134 »       add»    x0,·x19,·#0xd7073134 »       add»    x0,·x19,·#0xd70
73135 »       add»    x1,·x1,·#0xe3073135 »       add»    x1,·x1,·#0xf28
73136 »       str»    w2,·[sp,·#3480]73136 »       str»    w2,·[sp,·#3480]
73137 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>73137 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
73138 »       mov»    w2,·#0x55··················»    //·#8573138 »       mov»    w2,·#0x55··················»    //·#85
73139 »       adrp»   x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80>73139 »       adrp»   x1,·130c000·<CaDiCaL::Internal::cover()@@Base+0x37a80>
73140 »       add»    x0,·x19,·#0xd9873140 »       add»    x0,·x19,·#0xd98
73141 »       add»    x1,·x1,·#0x46073141 »       add»    x1,·x1,·#0x460
73142 »       str»    w2,·[sp,·#3520]73142 »       str»    w2,·[sp,·#3520]
Offset 74145, 45 lines modifiedOffset 74145, 45 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
74170 »       str»    w2,·[sp,·#9480]74170 »       str»    w2,·[sp,·#9480]
74171 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74171 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74172 »       mov»    w2,·#0xe8··················»    //·#23274172 »       mov»    w2,·#0xe8··················»    //·#232
74173 »       adrp»   x1,·12ea000·<CaDiCaL::Internal::cover()@@Base+0x15a80>74173 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74174 »       mov»    x27,·#0x2508················» //·#948074174 »       mov»    x27,·#0x2508················» //·#9480
74175 »       add»    x1,·x1,·#0xfc074175 »       add»    x1,·x1,·#0x8c0
74176 »       add»    x0,·x19,·x2774176 »       add»    x0,·x19,·x27
74177 »       str»    w2,·[sp,·#9520]74177 »       str»    w2,·[sp,·#9520]
74178 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74178 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74179 »       mov»    w2,·#0xe9··················»    //·#23374179 »       mov»    w2,·#0xe9··················»    //·#233
74180 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74180 »       adrp»   x1,·12ea000·<CaDiCaL::Internal::cover()@@Base+0x15a80>
74181 »       mov»    x26,·#0x2530················» //·#952074181 »       mov»    x26,·#0x2530················» //·#9520
74182 »       add»    x1,·x1,·#0x8c074182 »       add»    x1,·x1,·#0xfc0
74183 »       add»    x0,·x19,·x2674183 »       add»    x0,·x19,·x26
74184 »       str»    w2,·[sp,·#9560]74184 »       str»    w2,·[sp,·#9560]
74185 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74185 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74186 »       mov»    w2,·#0xe9··················»    //·#23374186 »       mov»    w2,·#0xe9··················»    //·#233
74187 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74187 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74188 »       mov»    x25,·#0x2558················» //·#956074188 »       mov»    x25,·#0x2558················» //·#9560
74189 »       add»    x1,·x1,·#0x8d074189 »       add»    x1,·x1,·#0x8d0
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,·#0x95874239 »       add»    x1,·x1,·#0x950
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 74617, 15 lines modifiedOffset 74617, 15 lines modified
74617 »       add»    x1,·x1,·#0xd6874617 »       add»    x1,·x1,·#0xd68
74618 »       str»    w2,·[sp,·#12040]74618 »       str»    w2,·[sp,·#12040]
74619 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74619 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74620 »       mov»    w2,·#0x124·················»   //·#29274620 »       mov»    w2,·#0x124·················»   //·#292
74621 »       mov»    x16,·#0x2f08················» //·#1204074621 »       mov»    x16,·#0x2f08················» //·#12040
74622 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74622 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74623 »       add»    x0,·x19,·x1674623 »       add»    x0,·x19,·x16
74624 »       add»    x1,·x1,·#0xd8074624 »       add»    x1,·x1,·#0xd78
74625 »       str»    w2,·[sp,·#12080]74625 »       str»    w2,·[sp,·#12080]
74626 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>74626 »       bl»     1194670·<cvc5::internal::Options::Options()@@Base+0x268c>
74627 »       mov»    w2,·#0x124·················»   //·#29274627 »       mov»    w2,·#0x124·················»   //·#292
74628 »       mov»    x15,·#0x2f30················» //·#1208074628 »       mov»    x15,·#0x2f30················» //·#12080
74629 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>74629 »       adrp»   x1,·1317000·<CaDiCaL::Internal::cover()@@Base+0x42a80>
74630 »       add»    x0,·x19,·x1574630 »       add»    x0,·x19,·x15
74631 »       add»    x1,·x1,·#0xd9074631 »       add»    x1,·x1,·#0xd90
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
Max diff block lines reached; 3150/8721 bytes (36.12%) of diff not shown.
5.3 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·63686563·6b000000·........check...17149 ··0x013178f0·00000000·00000000·63686563·6b000000·........check...
17150 ··0x01317900·70617274·6974696f·6e2d6368·65636b00·partition-check.17150 ··0x01317900·70617274·6974696f·6e2d6368·65636b00·partition-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.......
17154 ··0x01317940·70617274·6974696f·6e2d7374·72617465·partition-strate17155 ··0x01317950·70617274·6974696f·6e2d7374·72617465·partition-strate
17155 ··0x01317950·67790000·00000000·70617274·6974696f·gy......partitio17156 ··0x01317960·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 17173, 17 lines modifiedOffset 17173, 17 lines modified
17173 ··0x01317a70·7465722d·6d6f6465·00000000·00000000·ter-mode........17173 ··0x01317a70·7465722d·6d6f6465·00000000·00000000·ter-mode........
17174 ··0x01317a80·7072696e·742d636f·7265732d·66756c6c·print-cores-full17174 ··0x01317a80·7072696e·742d636f·7265732d·66756c6c·print-cores-full
17175 ··0x01317a90·00000000·00000000·7072696e·742d646f·........print-do17175 ··0x01317a90·00000000·00000000·7072696e·742d646f·........print-do
17176 ··0x01317aa0·742d636c·75737465·72730000·00000000·t-clusters......17176 ··0x01317aa0·742d636c·75737465·72730000·00000000·t-clusters......
17177 ··0x01317ab0·7072696e·742d696e·73740000·00000000·print-inst......17177 ··0x01317ab0·7072696e·742d696e·73740000·00000000·print-inst......
17178 ··0x01317ac0·7072696e·742d696e·73742d66·756c6c00·print-inst-full.17178 ··0x01317ac0·7072696e·742d696e·73742d66·756c6c00·print-inst-full.
17179 ··0x01317ad0·70726f64·7563652d·61626475·63747300·produce-abducts.17179 ··0x01317ad0·70726f64·7563652d·61626475·63747300·produce-abducts.
17180 ··0x01317ae0·70726f64·7563652d·61737365·7274696f·produce-assertio 
17181 ··0x01317af0·6e730000·00000000·696e7465·72616374·ns......interact 
17182 ··0x01317b00·6976652d·6d6f6465·00000000·00000000·ive-mode........17180 ··0x01317ae0·696e7465·72616374·6976652d·6d6f6465·interactive-mode
 17181 ··0x01317af0·00000000·00000000·70726f64·7563652d·........produce-
 17182 ··0x01317b00·61737365·7274696f·6e730000·00000000·assertions......
17183 ··0x01317b10·70726f64·7563652d·61737369·676e6d65·produce-assignme17183 ··0x01317b10·70726f64·7563652d·61737369·676e6d65·produce-assignme
17184 ··0x01317b20·6e747300·00000000·70726f64·7563652d·nts.....produce-17184 ··0x01317b20·6e747300·00000000·70726f64·7563652d·nts.....produce-
17185 ··0x01317b30·64696666·6963756c·74790000·00000000·difficulty......17185 ··0x01317b30·64696666·6963756c·74790000·00000000·difficulty......
17186 ··0x01317b40·70726f64·7563652d·696e7465·72706f6c·produce-interpol17186 ··0x01317b40·70726f64·7563652d·696e7465·72706f6c·produce-interpol
17187 ··0x01317b50·616e7473·00000000·70726f64·7563652d·ants....produce-17187 ··0x01317b50·616e7473·00000000·70726f64·7563652d·ants....produce-
17188 ··0x01317b60·6c656172·6e65642d·6c697465·72616c73·learned-literals17188 ··0x01317b60·6c656172·6e65642d·6c697465·72616c73·learned-literals
17189 ··0x01317b70·00000000·00000000·70726f64·7563652d·........produce-17189 ··0x01317b70·00000000·00000000·70726f64·7563652d·........produce-
Offset 17214, 16 lines modifiedOffset 17214, 16 lines modified
17214 ··0x01317d00·70757269·66792d74·72696767·65727300·purify-triggers.17214 ··0x01317d00·70757269·66792d74·72696767·65727300·purify-triggers.
17215 ··0x01317d10·7175616e·742d616c·7068612d·65717569·quant-alpha-equi17215 ··0x01317d10·7175616e·742d616c·7068612d·65717569·quant-alpha-equi
17216 ··0x01317d20·76000000·00000000·7175616e·742d6473·v.......quant-ds17216 ··0x01317d20·76000000·00000000·7175616e·742d6473·v.......quant-ds
17217 ··0x01317d30·706c6974·00000000·7175616e·742d6675·plit....quant-fu17217 ··0x01317d30·706c6974·00000000·7175616e·742d6675·plit....quant-fu
17218 ··0x01317d40·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in17218 ··0x01317d40·6e2d7764·00000000·7175616e·742d696e·n-wd....quant-in
17219 ··0x01317d50·64000000·00000000·7175616e·742d7265·d.......quant-re17219 ··0x01317d50·64000000·00000000·7175616e·742d7265·d.......quant-re
17220 ··0x01317d60·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f17220 ··0x01317d60·702d6d6f·64650000·72616e64·6f6d2d66·p-mode..random-f
 17221 ··0x01317d70·72657100·00000000·72616e64·6f6d2d66·req.....random-f
17221 ··0x01317d70·72657175·656e6379·00000000·00000000·requency........17222 ··0x01317d80·72657175·656e6379·00000000·00000000·requency........
17222 ··0x01317d80·72616e64·6f6d2d66·72657100·00000000·random-freq..... 
17223 ··0x01317d90·72616e64·6f6d2d70·61727469·74696f6e·random-partition17223 ··0x01317d90·72616e64·6f6d2d70·61727469·74696f6e·random-partition
17224 ··0x01317da0·696e6700·00000000·72652d65·6c696d00·ing.....re-elim.17224 ··0x01317da0·696e6700·00000000·72652d65·6c696d00·ing.....re-elim.
17225 ··0x01317db0·72652d69·6e746572·2d6d6f64·65000000·re-inter-mode...17225 ··0x01317db0·72652d69·6e746572·2d6d6f64·65000000·re-inter-mode...
17226 ··0x01317dc0·72656769·73746572·2d717561·6e742d62·register-quant-b17226 ··0x01317dc0·72656769·73746572·2d717561·6e742d62·register-quant-b
17227 ··0x01317dd0·6f64792d·7465726d·73000000·00000000·ody-terms.......17227 ··0x01317dd0·6f64792d·7465726d·73000000·00000000·ody-terms.......
17228 ··0x01317de0·72656c61·74696f6e·616c2d74·72696767·relational-trigg17228 ··0x01317de0·72656c61·74696f6e·616c2d74·72696767·relational-trigg
17229 ··0x01317df0·65727300·00000000·72656c65·76616e63·ers.....relevanc17229 ··0x01317df0·65727300·00000000·72656c65·76616e63·ers.....relevanc
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......
5.43 KB
readelf --wide --decompress --hex-dump=.data.rel.ro {}
    
Offset 1916, 15 lines modifiedOffset 1916, 15 lines modified
1916 ··0x015cfa18·b8733101·00000000·d0733101·00000000·.s1......s1.....1916 ··0x015cfa18·b8733101·00000000·d0733101·00000000·.s1......s1.....
1917 ··0x015cfa28·e0733101·00000000·48f12e01·00000000·.s1.....H.......1917 ··0x015cfa28·e0733101·00000000·48f12e01·00000000·.s1.....H.......
1918 ··0x015cfa38·e8733101·00000000·00743101·00000000·.s1......t1.....1918 ··0x015cfa38·e8733101·00000000·00743101·00000000·.s1......t1.....
1919 ··0x015cfa48·00753101·00000000·10743101·00000000·.u1......t1.....1919 ··0x015cfa48·00753101·00000000·10743101·00000000·.u1......t1.....
1920 ··0x015cfa58·20743101·00000000·30743101·00000000··t1.....0t1.....1920 ··0x015cfa58·20743101·00000000·30743101·00000000··t1.....0t1.....
1921 ··0x015cfa68·40743101·00000000·50743101·00000000·@t1.....Pt1.....1921 ··0x015cfa68·40743101·00000000·50743101·00000000·@t1.....Pt1.....
1922 ··0x015cfa78·60743101·00000000·70743101·00000000·`t1.....pt1.....1922 ··0x015cfa78·60743101·00000000·70743101·00000000·`t1.....pt1.....
1923 ··0x015cfa88·f87a3101·00000000·80743101·00000000·.z1......t1.....1923 ··0x015cfa88·e07a3101·00000000·80743101·00000000·.z1......t1.....
1924 ··0x015cfa98·98743101·00000000·b0743101·00000000·.t1......t1.....1924 ··0x015cfa98·98743101·00000000·b0743101·00000000·.t1......t1.....
1925 ··0x015cfaa8·c0743101·00000000·d0743101·00000000·.t1......t1.....1925 ··0x015cfaa8·c0743101·00000000·d0743101·00000000·.t1......t1.....
1926 ··0x015cfab8·e0743101·00000000·f0743101·00000000·.t1......t1.....1926 ··0x015cfab8·e0743101·00000000·f0743101·00000000·.t1......t1.....
1927 ··0x015cfac8·10753101·00000000·d8ef2d01·00000000·.u1.......-.....1927 ··0x015cfac8·10753101·00000000·d8ef2d01·00000000·.u1.......-.....
1928 ··0x015cfad8·18753101·00000000·28753101·00000000·.u1.....(u1.....1928 ··0x015cfad8·18753101·00000000·28753101·00000000·.u1.....(u1.....
1929 ··0x015cfae8·48753101·00000000·60753101·00000000·Hu1.....`u1.....1929 ··0x015cfae8·48753101·00000000·60753101·00000000·Hu1.....`u1.....
1930 ··0x015cfaf8·80753101·00000000·98753101·00000000·.u1......u1.....1930 ··0x015cfaf8·80753101·00000000·98753101·00000000·.u1......u1.....
Offset 1950, 28 lines modifiedOffset 1950, 28 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·58793101·00000000·00793101·00000000·Xy1......y1.....1957 ··0x015cfca8·40793101·00000000·00793101·00000000·@y1......y1.....
1958 ··0x015cfcb8·10793101·00000000·28793101·00000000·.y1.....(y1.....1958 ··0x015cfcb8·10793101·00000000·28793101·00000000·.y1.....(y1.....
1959 ··0x015cfcc8·40793101·00000000·68793101·00000000·@y1.....hy1.....1959 ··0x015cfcc8·50793101·00000000·68793101·00000000·Py1.....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.....
1969 ··0x015cfd68·708b2d01·00000000·d07a3101·00000000·p.-......z1.....1969 ··0x015cfd68·708b2d01·00000000·d07a3101·00000000·p.-......z1.....
1970 ··0x015cfd78·e07a3101·00000000·107b3101·00000000·.z1......{1.....1970 ··0x015cfd78·f87a3101·00000000·107b3101·00000000·.z1......{1.....
1971 ··0x015cfd88·287b3101·00000000·407b3101·00000000·({1.....@{1.....1971 ··0x015cfd88·287b3101·00000000·407b3101·00000000·({1.....@{1.....
1972 ··0x015cfd98·587b3101·00000000·10c02e01·00000000·X{1.............1972 ··0x015cfd98·587b3101·00000000·10c02e01·00000000·X{1.............
1973 ··0x015cfda8·787b3101·00000000·887b3101·00000000·x{1......{1.....1973 ··0x015cfda8·787b3101·00000000·887b3101·00000000·x{1......{1.....
1974 ··0x015cfdb8·88f72f01·00000000·a87b3101·00000000·../......{1.....1974 ··0x015cfdb8·88f72f01·00000000·a87b3101·00000000·../......{1.....
1975 ··0x015cfdc8·c07b3101·00000000·d07b3101·00000000·.{1......{1.....1975 ··0x015cfdc8·c07b3101·00000000·d07b3101·00000000·.{1......{1.....
1976 ··0x015cfdd8·e07b3101·00000000·f87b3101·00000000·.{1......{1.....1976 ··0x015cfdd8·e07b3101·00000000·f87b3101·00000000·.{1......{1.....
1977 ··0x015cfde8·087c3101·00000000·207c3101·00000000·.|1.....·|1.....1977 ··0x015cfde8·087c3101·00000000·207c3101·00000000·.|1.....·|1.....
Offset 1979, 15 lines modifiedOffset 1979, 15 lines modified
1979 ··0x015cfe08·607c3101·00000000·707c3101·00000000·`|1.....p|1.....1979 ··0x015cfe08·607c3101·00000000·707c3101·00000000·`|1.....p|1.....
1980 ··0x015cfe18·807c3101·00000000·987c3101·00000000·.|1......|1.....1980 ··0x015cfe18·807c3101·00000000·987c3101·00000000·.|1......|1.....
1981 ··0x015cfe28·b07c3101·00000000·d07c3101·00000000·.|1......|1.....1981 ··0x015cfe28·b07c3101·00000000·d07c3101·00000000·.|1......|1.....
1982 ··0x015cfe38·f07c3101·00000000·007d3101·00000000·.|1......}1.....1982 ··0x015cfe38·f07c3101·00000000·007d3101·00000000·.|1......}1.....
1983 ··0x015cfe48·107d3101·00000000·287d3101·00000000·.}1.....(}1.....1983 ··0x015cfe48·107d3101·00000000·287d3101·00000000·.}1.....(}1.....
1984 ··0x015cfe58·387d3101·00000000·487d3101·00000000·8}1.....H}1.....1984 ··0x015cfe58·387d3101·00000000·487d3101·00000000·8}1.....H}1.....
1985 ··0x015cfe68·587d3101·00000000·d85c2e01·00000000·X}1......\......1985 ··0x015cfe68·587d3101·00000000·d85c2e01·00000000·X}1......\......
1986 ··0x015cfe78·807d3101·00000000·687d3101·00000000·.}1.....h}1.....1986 ··0x015cfe78·687d3101·00000000·787d3101·00000000·h}1.....x}1.....
1987 ··0x015cfe88·907d3101·00000000·a87d3101·00000000·.}1......}1.....1987 ··0x015cfe88·907d3101·00000000·a87d3101·00000000·.}1......}1.....
1988 ··0x015cfe98·b07d3101·00000000·c07d3101·00000000·.}1......}1.....1988 ··0x015cfe98·b07d3101·00000000·c07d3101·00000000·.}1......}1.....
1989 ··0x015cfea8·808b2d01·00000000·e07d3101·00000000·..-......}1.....1989 ··0x015cfea8·808b2d01·00000000·e07d3101·00000000·..-......}1.....
1990 ··0x015cfeb8·f87d3101·00000000·107e3101·00000000·.}1......~1.....1990 ··0x015cfeb8·f87d3101·00000000·107e3101·00000000·.}1......~1.....
1991 ··0x015cfec8·287e3101·00000000·387e3101·00000000·(~1.....8~1.....1991 ··0x015cfec8·287e3101·00000000·387e3101·00000000·(~1.....8~1.....
1992 ··0x015cfed8·587e3101·00000000·707e3101·00000000·X~1.....p~1.....1992 ··0x015cfed8·587e3101·00000000·707e3101·00000000·X~1.....p~1.....
1993 ··0x015cfee8·887e3101·00000000·988b2d01·00000000·.~1.......-.....1993 ··0x015cfee8·887e3101·00000000·988b2d01·00000000·.~1.......-.....
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.....
4.93 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·f8783101·00000000·01000000·00000000·.x1.............601 ··0x015e2560·f8783101·00000000·01000000·00000000·.x1.............
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·40793101·00000000·01000000·00000000·@y1.............607 ··0x015e25c0·50793101·00000000·01000000·00000000·Py1.............
608 ··0x015e25d0·00000000·00000000·07020000·00000000·................608 ··0x015e25d0·00000000·00000000·07020000·00000000·................
609 ··0x015e25e0·58793101·00000000·01000000·00000000·Xy1.............609 ··0x015e25e0·40793101·00000000·01000000·00000000·@y1.............
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·................
Offset 734, 17 lines modifiedOffset 734, 17 lines modified
734 ··0x015e2db0·00000000·00000000·46020000·00000000·........F.......734 ··0x015e2db0·00000000·00000000·46020000·00000000·........F.......
735 ··0x015e2dc0·20d13201·00000000·00000000·00000000··.2.............735 ··0x015e2dc0·20d13201·00000000·00000000·00000000··.2.............
736 ··0x015e2dd0·00000000·00000000·47020000·00000000·........G.......736 ··0x015e2dd0·00000000·00000000·47020000·00000000·........G.......
737 ··0x015e2de0·408f2e01·00000000·01000000·00000000·@...............737 ··0x015e2de0·408f2e01·00000000·01000000·00000000·@...............
738 ··0x015e2df0·00000000·00000000·48020000·00000000·........H.......738 ··0x015e2df0·00000000·00000000·48020000·00000000·........H.......
739 ··0x015e2e00·687a3101·00000000·01000000·00000000·hz1.............739 ··0x015e2e00·687a3101·00000000·01000000·00000000·hz1.............
740 ··0x015e2e10·00000000·00000000·49020000·00000000·........I.......740 ··0x015e2e10·00000000·00000000·49020000·00000000·........I.......
741 ··0x015e2e20·807d3101·00000000·01000000·00000000·.}1.............741 ··0x015e2e20·687d3101·00000000·01000000·00000000·h}1.............
742 ··0x015e2e30·00000000·00000000·4a020000·00000000·........J.......742 ··0x015e2e30·00000000·00000000·4a020000·00000000·........J.......
743 ··0x015e2e40·687d3101·00000000·01000000·00000000·h}1.............743 ··0x015e2e40·787d3101·00000000·01000000·00000000·x}1.............
744 ··0x015e2e50·00000000·00000000·4b020000·00000000·........K.......744 ··0x015e2e50·00000000·00000000·4b020000·00000000·........K.......
745 ··0x015e2e60·a07e3101·00000000·01000000·00000000·.~1.............745 ··0x015e2e60·a07e3101·00000000·01000000·00000000·.~1.............
746 ··0x015e2e70·00000000·00000000·4c020000·00000000·........L.......746 ··0x015e2e70·00000000·00000000·4c020000·00000000·........L.......
747 ··0x015e2e80·b87e3101·00000000·01000000·00000000·.~1.............747 ··0x015e2e80·b87e3101·00000000·01000000·00000000·.~1.............
748 ··0x015e2e90·00000000·00000000·4d020000·00000000·........M.......748 ··0x015e2e90·00000000·00000000·4d020000·00000000·........M.......
749 ··0x015e2ea0·387f3101·00000000·01000000·00000000·8.1.............749 ··0x015e2ea0·387f3101·00000000·01000000·00000000·8.1.............
750 ··0x015e2eb0·00000000·00000000·4e020000·00000000·........N.......750 ··0x015e2eb0·00000000·00000000·4e020000·00000000·........N.......
Offset 1404, 17 lines modifiedOffset 1404, 17 lines modified
1404 ··0x015e5790·00000000·00000000·95030000·00000000·................1404 ··0x015e5790·00000000·00000000·95030000·00000000·................
1405 ··0x015e57a0·08dd3201·00000000·00000000·00000000·..2.............1405 ··0x015e57a0·08dd3201·00000000·00000000·00000000·..2.............
1406 ··0x015e57b0·00000000·00000000·96030000·00000000·................1406 ··0x015e57b0·00000000·00000000·96030000·00000000·................
1407 ··0x015e57c0·d07a3101·00000000·00000000·00000000·.z1.............1407 ··0x015e57c0·d07a3101·00000000·00000000·00000000·.z1.............
1408 ··0x015e57d0·00000000·00000000·97030000·00000000·................1408 ··0x015e57d0·00000000·00000000·97030000·00000000·................
1409 ··0x015e57e0·20dd3201·00000000·00000000·00000000··.2.............1409 ··0x015e57e0·20dd3201·00000000·00000000·00000000··.2.............
1410 ··0x015e57f0·00000000·00000000·98030000·00000000·................1410 ··0x015e57f0·00000000·00000000·98030000·00000000·................
1411 ··0x015e5800·e07a3101·00000000·00000000·00000000·.z1.............1411 ··0x015e5800·f87a3101·00000000·00000000·00000000·.z1.............
1412 ··0x015e5810·00000000·00000000·99030000·00000000·................1412 ··0x015e5810·00000000·00000000·99030000·00000000·................
1413 ··0x015e5820·f87a3101·00000000·00000000·00000000·.z1.............1413 ··0x015e5820·e07a3101·00000000·00000000·00000000·.z1.............
1414 ··0x015e5830·00000000·00000000·9a030000·00000000·................1414 ··0x015e5830·00000000·00000000·9a030000·00000000·................
1415 ··0x015e5840·38dd3201·00000000·00000000·00000000·8.2.............1415 ··0x015e5840·38dd3201·00000000·00000000·00000000·8.2.............
1416 ··0x015e5850·00000000·00000000·9b030000·00000000·................1416 ··0x015e5850·00000000·00000000·9b030000·00000000·................
1417 ··0x015e5860·50dd3201·00000000·00000000·00000000·P.2.............1417 ··0x015e5860·50dd3201·00000000·00000000·00000000·P.2.............
1418 ··0x015e5870·00000000·00000000·9c030000·00000000·................1418 ··0x015e5870·00000000·00000000·9c030000·00000000·................
1419 ··0x015e5880·107b3101·00000000·00000000·00000000·.{1.............1419 ··0x015e5880·107b3101·00000000·00000000·00000000·.{1.............
1420 ··0x015e5890·00000000·00000000·9d030000·00000000·................1420 ··0x015e5890·00000000·00000000·9d030000·00000000·................
811 B
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·61356138·39306566·30306466·62306639·a5a890ef00dfb0f9 
3 ··0x00000010·38633734·35633834·32656161·35383434·8c745c842eaa58442 ··0x00000000·65613266·33636530·65303564·62633366·ea2f3ce0e05dbc3f
 3 ··0x00000010·32383935·37343262·66306464·35326136·2895742bf0dd52a6
4 ··0x00000020·34663938·33642e64·65627567·00000000·4f983d.debug....4 ··0x00000020·31396461·63622e64·65627567·00000000·19dacb.debug....
5 ··0x00000030·043429f1····························.4).5 ··0x00000030·7543241a····························uC$.
  
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···205708·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···206068·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:·a8b71cf233d4732347c8dec0bba4caf5e374fe726 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6a7996e6eccf478bdb4d83a3abea687021cba88c
811 B
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·62373163·66323333·64343733·32333437·b71cf233d4732347 
3 ··0x00000010·63386465·63306262·61346361·66356533·c8dec0bba4caf5e32 ··0x00000000·37393936·65366563·63663437·38626462·7996e6eccf478bdb
 3 ··0x00000010·34643833·61336162·65613638·37303231·4d83a3abea687021
4 ··0x00000020·37346665·37322e64·65627567·00000000·74fe72.debug....4 ··0x00000020·63626138·38632e64·65627567·00000000·cba88c.debug....
5 ··0x00000030·65e74085····························e.@.5 ··0x00000030·a290467f····························..F.
  
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···295816·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···295620·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:·32c72a04f6d1c035c879d59ab7c9d85df23748226 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·a7d5155329daaf0812e4ba2834549a240a99441b
811 B
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·63373261·30346636·64316330·33356338·c72a04f6d1c035c8 
3 ··0x00000010·37396435·39616237·63396438·35646632·79d59ab7c9d85df22 ··0x00000000·64353135·35333239·64616166·30383132·d5155329daaf0812
 3 ··0x00000010·65346261·32383334·35343961·32343061·e4ba2834549a240a
4 ··0x00000020·33373438·32322e64·65627567·00000000·374822.debug....4 ··0x00000020·39393434·31622e64·65627567·00000000·99441b.debug....
5 ··0x00000030·c2fc0ff7····························....5 ··0x00000030·098302b2····························....
  
2.55 KB
cvc5-dbgsym_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······532·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······528·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··1843564·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··1843932·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:·22887 Installed-Size:·2288
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:·4b98b08a4b254384ab5bed721955074ffa97f4b012 Build-Ids:·2e0699e43d9ac1b55258c1153706998555491562
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/4b/98b08a4b254384ab5bed721955074ffa97f4b0.debug1 usr/lib/debug/.build-id/2e/0699e43d9ac1b55258c1153706998555491562.debug
1.41 KB
data.tar.xz
1.39 KB
data.tar
1.37 KB
file list
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/4b/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/2e/
7 -rw-r--r--···0·root·········(0)·root·········(0)··2332144·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/4b/98b08a4b254384ab5bed721955074ffa97f4b0.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··2332152·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/2e/0699e43d9ac1b55258c1153706998555491562.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
25.0 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·179682304·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0·179688112·2024-03-19·00:06:23.000000·data.tar.xz
802 B
control.tar.xz
774 B
control.tar
526 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·libcvc5-1-dbgsym1 Package:·libcvc5-1-dbgsym
2 Source:·cvc52 Source:·cvc5
3 Version:·1.1.2-23 Version:·1.1.2-2
4 Auto-Built-Package:·debug-symbols4 Auto-Built-Package:·debug-symbols
5 Architecture:·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:·1787807 Installed-Size:·178782
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:·f4a5a890ef00dfb0f98c745c842eaa58444f983d13 Build-Ids:·fbea2f3ce0e05dbc3f2895742bf0dd52a619dacb
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/f4/a5a890ef00dfb0f98c745c842eaa58444f983d.debug1 usr/lib/debug/.build-id/fb/ea2f3ce0e05dbc3f2895742bf0dd52a619dacb.debug
25.0 MB
data.tar.xz
25.0 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/f4/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/fb/
7 -rw-r--r--···0·root·········(0)·root·········(0)·183060472·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/f4/a5a890ef00dfb0f98c745c842eaa58444f983d.debug7 -rw-r--r--···0·root·········(0)·root·········(0)·183062456·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/fb/ea2f3ce0e05dbc3f2895742bf0dd52a619dacb.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
25.0 MB
./usr/lib/debug/.build-id/f4/a5a890ef00dfb0f98c745c842eaa58444f983d.debug vs.
./usr/lib/debug/.build-id/fb/ea2f3ce0e05dbc3f2895742bf0dd52a619dacb.debug
File has been modified after NT_GNU_BUILD_ID has been applied. Files 96% 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:··········183057912·(bytes·into·file)13 ··Start·of·section·headers:··········183059896·(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·0xae93df8:1 There·are·40·section·headers,·starting·at·offset·0xae945b8:
  
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·00001f·01··MS··0···0··132 ··[27]·.comment··········PROGBITS········0000000000000000·0002b4·00001f·01··MS··0···0··1
33 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c602·00···C··0···0··833 ··[28]·.debug_aranges····PROGBITS········0000000000000000·0002d8·00c602·00···C··0···0··8
34 ··[29]·.debug_info·······PROGBITS········0000000000000000·00c8e0·87e6b49·00···C··0···0··834 ··[29]·.debug_info·······PROGBITS········0000000000000000·00c8e0·87e72aa·00···C··0···0··8
35 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87f3430·0dad8a·00···C··0···0··835 ··[30]·.debug_abbrev·····PROGBITS········0000000000000000·87f3b90·0dad8a·00···C··0···0··8
36 ··[31]·.debug_line·······PROGBITS········0000000000000000·88ce1c0·7cc91a·00···C··0···0··836 ··[31]·.debug_line·······PROGBITS········0000000000000000·88ce920·7cc91a·00···C··0···0··8
37 ··[32]·.debug_str········PROGBITS········0000000000000000·909aae0·3dfe03·01·MSC··0···0··837 ··[32]·.debug_str········PROGBITS········0000000000000000·909b240·3dfe02·01·MSC··0···0··8
38 ··[33]·.debug_line_str···PROGBITS········0000000000000000·947a8e8·0028b6·01·MSC··0···0··838 ··[33]·.debug_line_str···PROGBITS········0000000000000000·947b048·0028b6·01·MSC··0···0··8
39 ··[34]·.debug_loclists···PROGBITS········0000000000000000·947d1a0·11474f6·00···C··0···0··839 ··[34]·.debug_loclists···PROGBITS········0000000000000000·947d900·11474f6·00···C··0···0··8
40 ··[35]·.debug_macro······PROGBITS········0000000000000000·a5c4698·1614c6·00···C··0···0··840 ··[35]·.debug_macro······PROGBITS········0000000000000000·a5c4df8·161527·00···C··0···0··8
41 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a725b60·48726f·00···C··0···0··841 ··[36]·.debug_rnglists···PROGBITS········0000000000000000·a726320·48726f·00···C··0···0··8
42 ··[37]·.symtab···········SYMTAB··········0000000000000000·abacdd0·0e9af0·18·····38·37166··842 ··[37]·.symtab···········SYMTAB··········0000000000000000·abad590·0e9af0·18·····38·37166··8
43 ··[38]·.strtab···········STRTAB··········0000000000000000·ac968c0·1fd398·00······0···0··143 ··[38]·.strtab···········STRTAB··········0000000000000000·ac97080·1fd398·00······0···0··1
44 ··[39]·.shstrtab·········STRTAB··········0000000000000000·ae93c58·0001a0·00······0···0··144 ··[39]·.shstrtab·········STRTAB··········0000000000000000·ae94418·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:·f4a5a890ef00dfb0f98c745c842eaa58444f983d6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·fbea2f3ce0e05dbc3f2895742bf0dd52a619dacb
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:·0x161f2):·long·int15 ····<18>···DW_AT_name········:·(strp)·(offset:·0x1620c):·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:·0xeb4e):·long·unsigned·int19 ····<1f>···DW_AT_name········:·(strp)·(offset:·0xeb4e):·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:·0x1aea9):·unsigned·char23 ····<26>···DW_AT_name········:·(strp)·(offset:·0x1aea9):·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:·0x12982):·short·unsigned·int27 ····<2d>···DW_AT_name········:·(strp)·(offset:·0x1299c):·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:·0xc9d2):·unsigned·int31 ····<34>···DW_AT_name········:·(strp)·(offset:·0xc9d2):·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:·0x20025):·char32_t103 ····<bb>···DW_AT_name········:·(strp)·(offset:·0x20025):·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:·0x1431d):·__int128107 ····<c2>···DW_AT_name········:·(strp)·(offset:·0x14337):·__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:·0x1f2d4):·_IO_read_end807 ····<457>···DW_AT_name········:·(strp)·(offset:·0x1f2d4):·_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:·0x1071e):·_IO_read_base814 ····<461>···DW_AT_name········:·(strp)·(offset:·0x10738):·_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:·0x5205):·_IO_write_base821 ····<46b>···DW_AT_name········:·(strp)·(offset:·0x5205):·_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:·0xfd49):·_IO_write_ptr828 ····<475>···DW_AT_name········:·(strp)·(offset:·0xfd63):·_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:·0xe41e):·_IO_write_end835 ····<47f>···DW_AT_name········:·(strp)·(offset:·0xe41e):·_IO_write_end
Offset 842, 36 lines modifiedOffset 842, 36 lines modified
842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb6f1):·_IO_buf_base842 ····<489>···DW_AT_name········:·(strp)·(offset:·0xb6f1):·_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:·0x155d4):·_IO_buf_end849 ····<493>···DW_AT_name········:·(strp)·(offset:·0x155ee):·_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:·0xe491):·_IO_save_base856 ····<49d>···DW_AT_name········:·(strp)·(offset:·0xe491):·_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:·0x110a5):·_IO_backup_base863 ····<4a7>···DW_AT_name········:·(strp)·(offset:·0x110bf):·_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:·0x18e87):·_IO_save_end870 ····<4b1>···DW_AT_name········:·(strp)·(offset:·0x18ea1):·_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:·0x4c23):·_markers877 ····<4bb>···DW_AT_name········:·(strp)·(offset:·0x4c23):·_markers
Offset 884, 15 lines modifiedOffset 884, 15 lines modified
884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa3b):·_chain884 ····<4c6>···DW_AT_name········:·(strp)·(offset:·0x83aa3b):·_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:·0x1a101):·_fileno891 ····<4d1>···DW_AT_name········:·(strp)·(offset:·0x1a11b):·_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:·0x1c382):·_flags2898 ····<4de>···DW_AT_name········:·(strp)·(offset:·0x1c382):·_flags2
Offset 905, 29 lines modifiedOffset 905, 29 lines modified
Max diff block lines reached; 25377999/25385046 bytes (99.97%) of diff not shown.
3.56 KB
readelf --wide --debug-dump=macro {}
    
Offset 1605, 16 lines modifiedOffset 1605, 16 lines modified
1605 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11605 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1606 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11606 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1607 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11607 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1608 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11608 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1609 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·11609 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
1610 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11610 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1611 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21611 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1612 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1612 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1613 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1613 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1614 ··Offset:······················0x1b351614 ··Offset:······················0x1b35
1615 ··Version:·····················51615 ··Version:·····················5
1616 ··Offset·size:·················41616 ··Offset·size:·················4
  
1617 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11617 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1618 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11618 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 52331, 16 lines modifiedOffset 52331, 16 lines modified
52331 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·152331 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__DECIMAL_BID_FORMAT__·1
52332 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·152332 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
52333 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·152333 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
52334 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·152334 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
52335 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·152335 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
52336 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·152336 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
52337 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·252337 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
52338 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"52338 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
52339 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"52339 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
52340 ··Offset:······················0x48d2852340 ··Offset:······················0x48d28
52341 ··Version:·····················552341 ··Version:·····················5
52342 ··Offset·size:·················452342 ··Offset·size:·················4
  
52343 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·52343 ·DW_MACRO_define_strp·-·lineno·:·39·macro·:·_STDDEF_H·
52344 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·52344 ·DW_MACRO_define_strp·-·lineno·:·40·macro·:·_STDDEF_H_·
Offset 1312355, 15 lines modifiedOffset 1312355, 19 lines modified
1312355 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·1312355 ·DW_MACRO_define_strp·-·lineno·:·22·macro·:·CVC5__OPTIONS__THEORY_H·
1312356 ·DW_MACRO_start_file·-·lineno:·24·filenum:·421312356 ·DW_MACRO_start_file·-·lineno:·24·filenum:·42
1312357 ·DW_MACRO_end_file1312357 ·DW_MACRO_end_file
1312358 ·DW_MACRO_import·-·offset·:·0x51c201312358 ·DW_MACRO_import·-·offset·:·0x51c20
1312359 ·DW_MACRO_end_file1312359 ·DW_MACRO_end_file
1312360 ·DW_MACRO_start_file·-·lineno:·49·filenum:·1361312360 ·DW_MACRO_start_file·-·lineno:·49·filenum:·136
1312361 ·DW_MACRO_end_file1312361 ·DW_MACRO_end_file
 1312362 ·DW_MACRO_start_file·-·lineno:·50·filenum:·112
 1312363 ·DW_MACRO_end_file
 1312364 ·DW_MACRO_start_file·-·lineno:·53·filenum:·31
 1312365 ·DW_MACRO_end_file
1312362 ·DW_MACRO_start_file·-·lineno:·51·filenum:·2911312366 ·DW_MACRO_start_file·-·lineno:·54·filenum:·291
1312363 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·11312367 ·DW_MACRO_define_strp·-·lineno·:·30·macro·:·_GLIBCXX_UNORDERED_MAP·1
1312364 ·DW_MACRO_start_file·-·lineno:·41·filenum:·181312368 ·DW_MACRO_start_file·-·lineno:·41·filenum:·18
1312365 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·1312369 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_UNORDERED_MAP_H·
1312366 ·DW_MACRO_start_file·-·lineno:·33·filenum:·131312370 ·DW_MACRO_start_file·-·lineno:·33·filenum:·13
1312367 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·11312371 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_HASHTABLE_H·1
1312368 ·DW_MACRO_start_file·-·lineno:·35·filenum:·141312372 ·DW_MACRO_start_file·-·lineno:·35·filenum:·14
1312369 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·11312373 ·DW_MACRO_define_strp·-·lineno·:·32·macro·:·_HASHTABLE_POLICY_H·1
Offset 1312371, 18 lines modifiedOffset 1312375, 14 lines modified
1312371 ·DW_MACRO_end_file1312375 ·DW_MACRO_end_file
1312372 ·DW_MACRO_end_file1312376 ·DW_MACRO_end_file
1312373 ·DW_MACRO_import·-·offset·:·0x9e411312377 ·DW_MACRO_import·-·offset·:·0x9e41
1312374 ·DW_MACRO_start_file·-·lineno:·56·filenum:·1771312378 ·DW_MACRO_start_file·-·lineno:·56·filenum:·177
1312375 ·DW_MACRO_import·-·offset·:·0x4f65af1312379 ·DW_MACRO_import·-·offset·:·0x4f65af
1312376 ·DW_MACRO_end_file1312380 ·DW_MACRO_end_file
1312377 ·DW_MACRO_end_file1312381 ·DW_MACRO_end_file
1312378 ·DW_MACRO_start_file·-·lineno:·52·filenum:·112 
1312379 ·DW_MACRO_end_file 
1312380 ·DW_MACRO_start_file·-·lineno:·54·filenum:·31 
1312381 ·DW_MACRO_end_file 
1312382 ·DW_MACRO_start_file·-·lineno:·57·filenum:·831312382 ·DW_MACRO_start_file·-·lineno:·57·filenum:·83
1312383 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·1312383 ·DW_MACRO_define_strp·-·lineno·:·41·macro·:·__glibcxx_want_freestanding_cstring·
1312384 ·DW_MACRO_start_file·-·lineno:·42·filenum:·1771312384 ·DW_MACRO_start_file·-·lineno:·42·filenum:·177
1312385 ·DW_MACRO_import·-·offset·:·0x4f6b9b1312385 ·DW_MACRO_import·-·offset·:·0x4f6b9b
1312386 ·DW_MACRO_end_file1312386 ·DW_MACRO_end_file
1312387 ·DW_MACRO_start_file·-·lineno:·43·filenum:·1401312387 ·DW_MACRO_start_file·-·lineno:·43·filenum:·140
1312388 ·DW_MACRO_import·-·offset·:·0x10aea1312388 ·DW_MACRO_import·-·offset·:·0x10aea
603 B
readelf --wide --debug-dump=loc {}
    
Offset 4194297, 8 lines modifiedOffset 4194297, 8 lines modified
4194297 ·············0000000000468d40·0000000000468d68·(DW_OP_fbreg:·-640;·DW_OP_stack_value)4194297 ·············0000000000468d40·0000000000468d68·(DW_OP_fbreg:·-640;·DW_OP_stack_value)
4194298 ····00bcc18b·<End·of·list>4194298 ····00bcc18b·<End·of·list>
  
4194299 ····00bcc18c·v000000000000000·v000000000000000·location·view·pair4194299 ····00bcc18c·v000000000000000·v000000000000000·location·view·pair
4194300 ····00bcc18e·v000000000000000·v000000000000000·location·view·pair4194300 ····00bcc18e·v000000000000000·v000000000000000·location·view·pair
  
4194301 ····00bcc190·0000000000468050·(base·address)4194301 ····00bcc190·0000000000468050·(base·address)
4194302 [·Too·much·input·for·diff·(SHA256:·6afeb34aba43a67549f7e3a839902294d6dd574736f99c1f8d9f432d23f0ef08)·]4194302 [·Too·much·input·for·diff·(SHA256:·362ec383fb8156a2153819bf5792661216650786cb8572a3a3052a74695ec20f)·]
659 KB
strings --all --bytes=8 {}
    
Offset 1, 30074 lines modifiedOffset 1, 30503 lines modified
1 =GCC:·(Debian·14.2.0-12)·14.2.01 GCC:·(Debian·14.2.0-12)·14.2.0
2 Z8R8V8Q82 Z8R8V8Q8
3 Oi_\$)/(3 Oi_\$)/(
4 )(R»    @J,y 
5 .IXB>[OO 
6 !»      »      R·XOb 
7 >2TQcA%L* 
8 EOY-zbU& 
9 }KC\C7ZGH;Lu4 HgIcls}gK
 5 2y_830RW
 6 RSf&lR3f&
 7 RKfng2@+
 8 gB3/9HRy
 9 I|\[uQA^*
10 Z+1TsR^(10 Z+1TsZ^(
11 5J'c{?ri["m] 
12 |,{K5}i2T 
13 sscPkksn 
14 7(oAanPa 
15 ?C(gQ]Kh 
16 'l@:lJPv 
17 c1'cBW{hG 
18 HTP<uvuq 
19 t8Eb}<S'r7 
20 j>Q_·9b9 
21 ZE7_<}O= 
22 FNP:|o&7 
23 U9)+F7cEL 
24 zQhY!zU' 
25 /4ztVk4i} 
26 gvB»    cr+'b 
27 67vB»   cr+'by 
28 pEr-P*Xb 
29 0zEt3\zw8 
30 c.bOE2R4)~v 
31 b[KM#tcti+L 
32 MH#QSW<@ 
33 ?JX9Y*_I 
34 »       u4pXt7y 
35 dC$,#k%pw 
36 ,f|cc|_G 
37 il6&32hV 
38 p#Qo+~·. 
39 qq!X[\X) 
40 $K_:uD(tWz+ 
41 »       4xE:lRv 
42 X·|Wn(9O#11 3\vQ.{%/\
 12 .»      Xc.jAQ
 13 tV»     kkno-
 14 4XS0(O.M
 15 /'bkxq+VPH
 16 ZYz+yeY!
 17 n$@rjX?H
 18 =NMW{s8a
 19 G-3)>T=A
 20 735PRz» n
 21 $hQ#mc&,
 22 %D7lVv>\
 23 vv7ls9Yvl
 24 EJ-Ra(ooP
 25 -#-m"5G"5m"-
 26 28C*9Zk^
 27 o]#olMh2
 28 ]wOW5b1/»       ]
 29 VW:i.E:i
 30 ZW:i)ZY[
 31 i%<4n#ahI
 32 Q\<[xuj»\
 33 FV9mS)wK
 34 L:xC9b^<
 35 4N*D=Pq!z
 36 %`;eD~Dh
 37 78xD0b]+
 38 #L#*L+#l6X
 39 0riA&8YI
 40 _=&zR40f
 41 %8y6»   8y6
 42 Wc]»    J*Mb
 43 CT"tE?BN
 44 f_`_bgolT
 45 ed»     jAd}tm7B
 46 g[bU/)Z{
 47 zD'"tSOR
 48 ahC»    Bi1Z
 49 >zH·j9rx9n7
 50 p[K\\xC]\X%
 51 +313K3Wf
43 *yD]N>J<?52 *yd]N>F<?
44 <]]$ix21< 
45 b}h&ZmY» 
46 ~·j>S&LBc 
47 mJRA·g5C 
48 #ZydD+$/ 
49 NI^6;p~`A 
50 M|^9(Yhl 
51 T,<FCkip# 
52 G9fEpd3+B 
53 Pb<E\"&Z 
54 HT/lOl]D 
55 JN5;d*s& 
56 {eH$4(}h 
57 d47%vUiK} 
58 g>kf#Bim 
59 T\`Bo&Sq 
60 GrT=N4)qZ"M 
61 feg(0Utn 
62 l>{»    =4L9S 
63 *a·7cd(<7 
64 D*<SAFw2 
65 OO{_;·4b* 
66 9@cu],Vw0 
67 J#u]"Rwt9^ 
68 68!ltr3_ 
69 A{jC5V,GK 
70 W9[<J7eu 
71 .-A$:p}a! 
72 U<_Z,%_4! 
73 "KQfhe4kHJ- 
74 mL:B9>l:E 
75 v?6BxopUp 
76 rI-48{d6 
77 ~}-4-{.# 
78 c_c4J5Q% 
79 V]e"WxnF 
80 }v3~fC/* 
81 67Mm#»  ~z 
82 t{l{lyhW[t 
Max diff block lines reached; 671587/674350 bytes (99.59%) of diff not shown.
176 KB
readelf --wide --decompress --string-dump=.debug_str {}
    
Offset 260, 32 lines modifiedOffset 260, 32 lines modified
260 ··[··2505]··find_first_of260 ··[··2505]··find_first_of
261 ··[··2513]··_M_guarded261 ··[··2513]··_M_guarded
262 ··[··251e]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8262 ··[··251e]··__SIZEOF_PTHREAD_RWLOCKATTR_T·8
263 ··[··253e]··wcstombs263 ··[··253e]··wcstombs
264 ··[··2547]··_S_noreplace264 ··[··2547]··_S_noreplace
265 ··[··2554]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))265 ··[··2554]··CVC5_PREDICT_FALSE(x)·(__builtin_expect(x,·false))
266 ··[··2587]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name266 ··[··2587]··EVALUE(name)·CVC5_PROOF_FORMAT_·##name
267 ··[··25ae]··DEB_BUILD_DATE·"2024-03-18" 
268 ··[··25ca]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32267 ··[··25ae]··__FLT32_DENORM_MIN__·1.40129846432481707092372958328991613e-45F32
269 ··[··260c]··CVC5_API_CHECK_TERMS(terms)·do·{·size_t·i·=·0;·for·(const·auto&·s·:·terms)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL("term",·s,·terms,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(d_nm·==·s.d_nm,·"term",·terms,·i)·<<·"a·term·associated·with·the·node·manager·this·object·is·"·"associated·"·"with";·i·+=·1;·}·}·while·(0)268 ··[··25f0]··CVC5_API_CHECK_TERMS(terms)·do·{·size_t·i·=·0;·for·(const·auto&·s·:·terms)·{·CVC5_API_ARG_AT_INDEX_CHECK_NOT_NULL("term",·s,·terms,·i);·CVC5_API_ARG_AT_INDEX_CHECK_EXPECTED(d_nm·==·s.d_nm,·"term",·terms,·i)·<<·"a·term·associated·with·the·node·manager·this·object·is·"·"associated·"·"with";·i·+=·1;·}·}·while·(0)
270 ··[··2744]··_GLIBCXX_HAVE_WCHAR_H·1269 ··[··2728]··_GLIBCXX_HAVE_WCHAR_H·1
271 ··[··275c]··__stub___compat_uselib·270 ··[··2740]··__stub___compat_uselib·
272 ··[··2774]··__ARM_FEATURE_BTI271 ··[··2758]··__ARM_FEATURE_BTI
273 ··[··2786]··CVC5_PROOF_FORMAT_ALF272 ··[··276a]··CVC5_PROOF_FORMAT_ALF
274 ··[··279c]··__glibcxx_requires_irreflexive(_First,_Last)·273 ··[··2780]··__glibcxx_requires_irreflexive(_First,_Last)·
275 ··[··27ca]··__cpp_initializer_lists·200806L274 ··[··27ae]··__cpp_initializer_lists·200806L
276 ··[··27ea]··__glibcxx_want_map_try_emplace·275 ··[··27ce]··__glibcxx_want_map_try_emplace·
277 ··[··280a]··__glibcxx_map_try_emplace·201411L276 ··[··27ee]··__glibcxx_map_try_emplace·201411L
278 ··[··282c]··__ARM_NEON·1277 ··[··2810]··__ARM_NEON·1
279 ··[··2839]··CVC5_KIND_BAG_UNION_DISJOINT278 ··[··281d]··CVC5_KIND_BAG_UNION_DISJOINT
280 ··[··2856]··__FLT16_MAX_10_EXP__·4279 ··[··283a]··__FLT16_MAX_10_EXP__·4
281 ··[··286d]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128280 ··[··2851]··__FLT128_DENORM_MIN__·6.47517511943802511092443895822764655e-4966F128
282 ··[··28b3]··__glibcxx_want_constexpr_memory·281 ··[··2897]··__glibcxx_want_constexpr_memory·
283 ··[··28d4]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv282 ··[··28b8]··_ZNSt7__cxx1115basic_stringbufIcSt11char_traitsIcESaIcEE9showmanycEv
284 ··[··2919]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv283 ··[··28fd]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE16_M_get_allocatorEv
 284 ··[··2947]··DEB_BUILD_DATE·"2024-03-19"
285 ··[··2963]··__glibc_fortify_n(f,__l,__s,__osz,...)·(__glibc_safe_or_unknown_len·(__l,·__s,·__osz)·?·__·##·f·##·_alias·(__VA_ARGS__)·:·(__glibc_unsafe_len·(__l,·__s,·__osz)·?·__·##·f·##·_chk_warn·(__VA_ARGS__,·(__osz)·/·(__s))·:·__·##·f·##·_chk·(__VA_ARGS__,·(__osz)·/·(__s))))285 ··[··2963]··__glibc_fortify_n(f,__l,__s,__osz,...)·(__glibc_safe_or_unknown_len·(__l,·__s,·__osz)·?·__·##·f·##·_alias·(__VA_ARGS__)·:·(__glibc_unsafe_len·(__l,·__s,·__osz)·?·__·##·f·##·_chk_warn·(__VA_ARGS__,·(__osz)·/·(__s))·:·__·##·f·##·_chk·(__VA_ARGS__,·(__osz)·/·(__s))))
286 ··[··2a6c]··_GLIBCXX_USE_NANOSLEEP·1286 ··[··2a6c]··_GLIBCXX_USE_NANOSLEEP·1
287 ··[··2a85]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_287 ··[··2a85]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC4ERKS3_
288 ··[··2ac3]··__FLT32_HAS_INFINITY__·1288 ··[··2ac3]··__FLT32_HAS_INFINITY__·1
289 ··[··2adc]··__swappable_with_details289 ··[··2adc]··__swappable_with_details
290 ··[··2af5]··tolower290 ··[··2af5]··tolower
291 ··[··2afd]··__TIMESIZE·64291 ··[··2afd]··__TIMESIZE·64
Offset 1790, 1290 lines modifiedOffset 1790, 1290 lines modified
1790 ··[··f28f]··EPERM·11790 ··[··f28f]··EPERM·1
1791 ··[··f297]··__glibcxx_want_shared_timed_mutex1791 ··[··f297]··__glibcxx_want_shared_timed_mutex
1792 ··[··f2b9]··__ARM_FEATURE_SME21792 ··[··f2b9]··__ARM_FEATURE_SME2
1793 ··[··f2cc]··CVC5_KIND_NULLABLE_LIFT1793 ··[··f2cc]··CVC5_KIND_NULLABLE_LIFT
1794 ··[··f2e4]··_VA_LIST_·1794 ··[··f2e4]··_VA_LIST_·
1795 ··[··f2ef]··__LC_TELEPHONE·101795 ··[··f2ef]··__LC_TELEPHONE·10
Diff chunk too large, falling back to line-by-line diff (1276 lines added, 1276 lines removed)
1796 ··[··f301]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_1796 ··[··f301]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE7compareES2_
1797 ··[··f33c]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5eraseEN9__gnu_cxx17__normal_iteratorIPKcS4_EE1797 ··[··f33c]··DEB_BUILD_TIME·"14:06:23"
1798 ··[··f3a0]··CPU_COUNT(cpusetp)·__CPU_COUNT_S·(sizeof·(cpu_set_t),·cpusetp)1798 ··[··f356]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5eraseEN9__gnu_cxx17__normal_iteratorIPKcS4_EE
1799 ··[··f3df]··_ZN9__gnu_cxx21__default_lock_policyE1799 ··[··f3ba]··CPU_COUNT(cpusetp)·__CPU_COUNT_S·(sizeof·(cpu_set_t),·cpusetp)
1800 ··[··f405]··msg_prefix1800 ··[··f3f9]··_ZN9__gnu_cxx21__default_lock_policyE
1801 ··[··f410]··INT_LEAST64_MIN·(-__INT64_C(9223372036854775807)-1)1801 ··[··f41f]··msg_prefix
1802 ··[··f444]··_ZNSiC4Ev1802 ··[··f42a]··INT_LEAST64_MIN·(-__INT64_C(9223372036854775807)-1)
1803 ··[··f44e]··_GLIBCXX_USE_SCHED_YIELD·11803 ··[··f45e]··_ZNSiC4Ev
1804 ··[··f469]··__EXCEPTION_H·11804 ··[··f468]··_GLIBCXX_USE_SCHED_YIELD·1
1805 ··[··f479]··INT_LEAST64_MAX·(__INT64_C(9223372036854775807))1805 ··[··f483]··__EXCEPTION_H·1
1806 ··[··f4aa]··_ZSt8distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_1806 ··[··f493]··INT_LEAST64_MAX·(__INT64_C(9223372036854775807))
1807 ··[··f4ed]··__glibcxx_want_formatters1807 ··[··f4c4]··_ZSt8distanceIPKcENSt15iterator_traitsIT_E15difference_typeES3_S3_
1808 ··[··f507]··__CPU_ISSET_S(cpu,setsize,cpusetp)·(__extension__·({·size_t·__cpu·=·(cpu);·__cpu·/·8·<·(setsize)·?·((((const·__cpu_mask·*)·((cpusetp)->__bits))[__CPUELT·(__cpu)]·&·__CPUMASK·(__cpu)))·!=·0·:·0;·}))1808 ··[··f507]··__glibcxx_want_formatters
1809 ··[··f5cd]··__glibcxx_want_quoted_string_io1809 ··[··f521]··__CPU_ISSET_S(cpu,setsize,cpusetp)·(__extension__·({·size_t·__cpu·=·(cpu);·__cpu·/·8·<·(setsize)·?·((((const·__cpu_mask·*)·((cpusetp)->__bits))[__CPUELT·(__cpu)]·&·__CPUMASK·(__cpu)))·!=·0·:·0;·}))
1810 ··[··f5ed]··_ZNSaIcEaSERKS_1810 ··[··f5e7]··__glibcxx_want_quoted_string_io
1811 ··[··f5fd]··CVC5_KIND_FLOATINGPOINT_IS_NAN1811 ··[··f607]··_ZNSaIcEaSERKS_
1812 ··[··f61c]··__ARM_FEATURE_UNALIGNED·11812 ··[··f617]··CVC5_KIND_FLOATINGPOINT_IS_NAN
1813 ··[··f636]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE16find_last_not_ofES2_m1813 ··[··f636]··__ARM_FEATURE_UNALIGNED·1
1814 ··[··f67c]··__WORDSIZE_TIME64_COMPAT32·01814 ··[··f650]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE16find_last_not_ofES2_m
1815 ··[··f699]··_ZNSt9exceptionD0Ev1815 ··[··f696]··__WORDSIZE_TIME64_COMPAT32·0
1816 ··[··f6ad]··CVC5_KIND_BITVECTOR_SMULO1816 ··[··f6b3]··_ZNSt9exceptionD0Ev
1817 ··[··f6c7]··_GLIBCXX20_DEPRECATED·1817 ··[··f6c7]··CVC5_KIND_BITVECTOR_SMULO
1818 ··[··f6de]··CVC5_KIND_SEQ_UPDATE1818 ··[··f6e1]··_GLIBCXX20_DEPRECATED·
1819 ··[··f6f3]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6appendERKS4_mm1819 ··[··f6f8]··CVC5_KIND_SEQ_UPDATE
1820 ··[··f738]··MOD_MAXERROR·ADJ_MAXERROR1820 ··[··f70d]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6appendERKS4_mm
1821 ··[··f752]··_GLIBCXX_PARSE_NUMBERS_H·11821 ··[··f752]··MOD_MAXERROR·ADJ_MAXERROR
1822 ··[··f76d]··_GLIBCXX_CHARCONV_H·11822 ··[··f76c]··_GLIBCXX_PARSE_NUMBERS_H·1
1823 ··[··f783]··__GLIBC_USE_C23_STRTOL1823 ··[··f787]··_GLIBCXX_CHARCONV_H·1
1824 ··[··f79a]··_GLIBCXX_MOVE_BACKWARD3(_Tp,_Up,_Vp)·std::move_backward(_Tp,·_Up,·_Vp)1824 ··[··f79d]··__GLIBC_USE_C23_STRTOL
1825 ··[··f7e1]··CVC5_KIND_STRING_TO_CODE1825 ··[··f7b4]··_GLIBCXX_MOVE_BACKWARD3(_Tp,_Up,_Vp)·std::move_backward(_Tp,·_Up,·_Vp)
1826 ··[··f7fa]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderC4EPcRKS3_1826 ··[··f7fb]··CVC5_KIND_STRING_TO_CODE
1827 ··[··f848]··CVC5_LEARNED_LIT_TYPE_PREPROCESS_SOLVED1827 ··[··f814]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE12_Alloc_hiderC4EPcRKS3_
1828 ··[··f870]··_GLIBCXX_HAVE_COMPLEX_H·11828 ··[··f862]··CVC5_LEARNED_LIT_TYPE_PREPROCESS_SOLVED
1829 ··[··f88a]··7lldiv_t1829 ··[··f88a]··_GLIBCXX_HAVE_COMPLEX_H·1
1830 ··[··f893]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_mutateEmmPKcm1830 ··[··f8a4]··7lldiv_t
1831 ··[··f8da]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5rfindEPKcmm1831 ··[··f8ad]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE9_M_mutateEmmPKcm
1832 ··[··f91d]··_ZNSt6localeC4ERKS_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi1832 ··[··f8f4]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5rfindEPKcmm
1833 ··[··f968]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7replaceEmmPKcm1833 ··[··f937]··_ZNSt6localeC4ERKS_RKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEi
1834 ··[··f9ad]··__EXCEPTIONS·11834 ··[··f982]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7replaceEmmPKcm
1835 ··[··f9bc]··_GLIBCXX_ALWAYS_INLINE·inline·__attribute__((__always_inline__))1835 ··[··f9c7]··__EXCEPTIONS·1
1836 ··[··f9fd]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5crendEv1836 ··[··f9d6]··_GLIBCXX_ALWAYS_INLINE·inline·__attribute__((__always_inline__))
1837 ··[··fa3c]··CVC5_RM_ROUND_TOWARD_POSITIVE1837 ··[··fa17]··_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5crendEv
1838 ··[··fa5a]··CVC5_LEARNED_LIT_TYPE_INTERNAL1838 ··[··fa56]··CVC5_RM_ROUND_TOWARD_POSITIVE
1839 ··[··fa79]··__HAVE_FLOAT128_UNLIKE_LDBL·(__HAVE_DISTINCT_FLOAT128·&&·__LDBL_MANT_DIG__·!=·113)1839 ··[··fa74]··CVC5_LEARNED_LIT_TYPE_INTERNAL
1840 ··[··facc]··__glibcxx_unordered_map_try_emplace·201411L1840 ··[··fa93]··__HAVE_FLOAT128_UNLIKE_LDBL·(__HAVE_DISTINCT_FLOAT128·&&·__LDBL_MANT_DIG__·!=·113)
1841 ··[··faf8]··_____fpos_t_defined·11841 ··[··fae6]··__glibcxx_unordered_map_try_emplace·201411L
1842 ··[··fb0e]··CVC5_KIND_INST_ADD_TO_POOL1842 ··[··fb12]··_____fpos_t_defined·1
1843 ··[··fb29]··_GLIBCXX_HAVE_ARPA_INET_H·11843 ··[··fb28]··CVC5_KIND_INST_ADD_TO_POOL
1844 ··[··fb45]··ENAVAIL·1191844 ··[··fb43]··_GLIBCXX_HAVE_ARPA_INET_H·1
1845 ··[··fb51]··_GLIBCXX_STDIO_SEEK_END·21845 ··[··fb5f]··ENAVAIL·119
1846 ··[··fb6b]··__USE_UNIX981846 ··[··fb6b]··_GLIBCXX_STDIO_SEEK_END·2
1847 ··[··fb78]··__REDIRECT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(__ASMNAME·(#alias))1847 ··[··fb85]··__USE_UNIX98
1848 ··[··fbcd]··_GLIBCXX_PACKAGE_BUGREPORT·""1848 ··[··fb92]··__REDIRECT_NTHNL(name,proto,alias)·name·proto·__THROWNL·__asm__·(__ASMNAME·(#alias))
1849 ··[··fbeb]··__glibcxx_want_adaptor_iterator_pair_constructor1849 ··[··fbe7]··_GLIBCXX_PACKAGE_BUGREPORT·""
1850 ··[··fc1c]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEpLEl1850 ··[··fc05]··__glibcxx_want_adaptor_iterator_pair_constructor
1851 ··[··fc79]··__stub_revoke·1851 ··[··fc36]··_ZN9__gnu_cxx17__normal_iteratorIPcNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEpLEl
1852 ··[··fc88]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE4copyEPcmm1852 ··[··fc93]··__stub_revoke·
1853 ··[··fcc1]··wcsncmp1853 ··[··fca2]··_ZNKSt17basic_string_viewIcSt11char_traitsIcEE4copyEPcmm
1854 ··[··fcc9]··STA_CLOCKERR·0x10001854 ··[··fcdb]··wcsncmp
1855 ··[··fcdd]··UINTPTR_WIDTH·__WORDSIZE1855 ··[··fce3]··STA_CLOCKERR·0x1000
1856 ··[··fcf6]··__FLT16_HAS_INFINITY__·11856 ··[··fcf7]··UINTPTR_WIDTH·__WORDSIZE
1857 ··[··fd0f]··__ARM_ARCH_PROFILE·651857 ··[··fd10]··__FLT16_HAS_INFINITY__·1
1858 ··[··fd25]··_GLIBCXX_TSAN_MUTEX_POST_SIGNAL(X)·1858 ··[··fd29]··__ARM_ARCH_PROFILE·65
1859 ··[··fd49]··_IO_write_ptr1859 ··[··fd3f]··_GLIBCXX_TSAN_MUTEX_POST_SIGNAL(X)·
1860 ··[··fd57]··CVC5_SORT_KIND_TUPLE_SORT1860 ··[··fd63]··_IO_write_ptr
1861 ··[··fd71]··__glibcxx_want_nonmember_container_access1861 ··[··fd71]··CVC5_SORT_KIND_TUPLE_SORT
1862 ··[··fd9b]··_GLIBCXX_ATOMIC_LOCK_FREE_H·11862 ··[··fd8b]··__glibcxx_want_nonmember_container_access
1863 ··[··fdb9]··__ARM_FEATURE_RNG1863 ··[··fdb5]··_GLIBCXX_ATOMIC_LOCK_FREE_H·1
1864 ··[··fdcb]··CVC5_USE_CRYPTOMINISAT·11864 ··[··fdd3]··__ARM_FEATURE_RNG
1865 ··[··fde4]··__builtin_unwind_resume1865 ··[··fde5]··CVC5_USE_CRYPTOMINISAT·1
1866 ··[··fdfc]··__SC_THREAD_STACK_MIN_VALUE·751866 ··[··fdfe]··__builtin_unwind_resume
1867 ··[··fe1b]··EKEYEXPIRED·1271867 ··[··fe16]··__SC_THREAD_STACK_MIN_VALUE·75
1868 ··[··fe2b]··towctrans1868 ··[··fe35]··EKEYEXPIRED·127
1869 ··[··fe35]··_BITS_STDIO_LIM_H·11869 ··[··fe45]··towctrans
1870 ··[··fe49]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm1870 ··[··fe4f]··_BITS_STDIO_LIM_H·1
1871 ··[··fe92]··MOD_CLKA·ADJ_OFFSET_SINGLESHOT1871 ··[··fe63]··_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE10_M_replaceEmmPKcm
1872 ··[··feb1]··_ZNKSt15__exception_ptr13exception_ptr20__cxa_exception_typeEv1872 ··[··feac]··MOD_CLKA·ADJ_OFFSET_SINGLESHOT
1873 ··[··fef0]··_ZNSt15basic_streambufIcSt11char_traitsIcEE4syncEv1873 ··[··fecb]··_ZNKSt15__exception_ptr13exception_ptr20__cxa_exception_typeEv
1874 ··[··ff23]··_GLIBCXX_HAVE_LINK·11874 ··[··ff0a]··_ZNSt15basic_streambufIcSt11char_traitsIcEE4syncEv
1875 ··[··ff38]··htole16(x)·__uint16_identity·(x)1875 ··[··ff3d]··_GLIBCXX_HAVE_LINK·1
1876 ··[··ff59]··STA_UNSYNC·0x00401876 ··[··ff52]··htole16(x)·__uint16_identity·(x)
1877 ··[··ff6b]··CVC5_KIND_FLOATINGPOINT_IS_NEG1877 ··[··ff73]··STA_UNSYNC·0x0040
1878 ··[··ff8a]··__glibcxx_want_int_pow2·1878 ··[··ff85]··CVC5_KIND_FLOATINGPOINT_IS_NEG
1879 ··[··ffa3]··cvc5_sort_kind_hash1879 ··[··ffa4]··__glibcxx_want_int_pow2·
1880 ··[··ffb7]··INTMAX_MIN·(-__INT64_C(9223372036854775807)-1)1880 ··[··ffbd]··cvc5_sort_kind_hash
1881 ··[··ffe6]··_ZSt5flushIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_1881 ··[··ffd1]··INTMAX_MIN·(-__INT64_C(9223372036854775807)-1)
Max diff block lines reached; 49811/179765 bytes (27.71%) of diff not shown.
58.8 MB
libcvc5parser1-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······556·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0······556·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··3993044·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··3993328·2024-03-19·00:06:23.000000·data.tar.xz
669 B
control.tar.xz
641 B
control.tar
393 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:·40897 Installed-Size:·4089
8 Depends:·libcvc5parser1·(=·1.1.2-2)8 Depends:·libcvc5parser1·(=·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·libcvc5parser112 Description:·debug·symbols·for·libcvc5parser1
13 Build-Ids:·a8b71cf233d4732347c8dec0bba4caf5e374fe7213 Build-Ids:·6a7996e6eccf478bdb4d83a3abea687021cba88c
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/a8/b71cf233d4732347c8dec0bba4caf5e374fe72.debug1 usr/lib/debug/.build-id/6a/7996e6eccf478bdb4d83a3abea687021cba88c.debug
58.8 MB
data.tar.xz
58.8 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/a8/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6a/
7 -rw-r--r--···0·root·········(0)·root·········(0)··4176880·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/a8/b71cf233d4732347c8dec0bba4caf5e374fe72.debug7 -rw-r--r--···0·root·········(0)·root·········(0)··4176784·2024-03-19·00:06:23.000000·./usr/lib/debug/.build-id/6a/7996e6eccf478bdb4d83a3abea687021cba88c.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/libcvc5parser1-dbgsym·->·libcvc5parser110 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2024-03-19·00:06:23.000000·./usr/share/doc/libcvc5parser1-dbgsym·->·libcvc5parser1
58.7 MB
./usr/lib/debug/.build-id/a8/b71cf233d4732347c8dec0bba4caf5e374fe72.debug vs.
./usr/lib/debug/.build-id/6a/7996e6eccf478bdb4d83a3abea687021cba88c.debug
Timeout exceeded; details may be incomplete. File has been modified after NT_GNU_BUILD_ID has been applied. Files 89% similar despite different names
865 B
readelf --wide --file-header {}
    
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:···············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:··········4174448·(bytes·into·file)13 ··Start·of·section·headers:··········4174352·(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:·········917 ··Number·of·program·headers:·········9
18 ··Size·of·section·headers:···········64·(bytes)18 ··Size·of·section·headers:···········64·(bytes)
19 ··Number·of·section·headers:·········3819 ··Number·of·section·headers:·········38
20 ··Section·header·string·table·index:·3720 ··Section·header·string·table·index:·37
3.47 KB
readelf --wide --sections {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
1 There·are·38·section·headers,·starting·at·offset·0x3fb270:1 There·are·38·section·headers,·starting·at·offset·0x3fb210:
  
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············0000000000000238·000238·000020·00···A··0···0··85 ··[·1]·.note.gnu.property·NOTE············0000000000000238·000238·000020·00···A··0···0··8
6 ··[·2]·.note.gnu.build-id·NOTE············0000000000000258·000258·000024·00···A··0···0··46 ··[·2]·.note.gnu.build-id·NOTE············0000000000000258·000258·000024·00···A··0···0··4
7 ··[·3]·.gnu.hash·········NOBITS··········0000000000000280·00027c·001908·00···A··4···0··87 ··[·3]·.gnu.hash·········NOBITS··········0000000000000280·00027c·001908·00···A··4···0··8
Offset 25, 23 lines modifiedOffset 25, 23 lines modified
25 ··[20]·.data.rel.ro······NOBITS··········00000000000cc880·00c838·001fb8·00··WA··0···0··825 ··[20]·.data.rel.ro······NOBITS··········00000000000cc880·00c838·001fb8·00··WA··0···0··8
26 ··[21]·.dynamic··········NOBITS··········00000000000ce838·00c838·000250·10··WA··5···0··826 ··[21]·.dynamic··········NOBITS··········00000000000ce838·00c838·000250·10··WA··5···0··8
27 ··[22]·.got··············NOBITS··········00000000000cea88·00c838·001578·08··WA··0···0··827 ··[22]·.got··············NOBITS··········00000000000cea88·00c838·001578·08··WA··0···0··8
28 ··[23]·.data·············NOBITS··········00000000000d0000·00c838·000058·00··WA··0···0··828 ··[23]·.data·············NOBITS··········00000000000d0000·00c838·000058·00··WA··0···0··8
29 ··[24]·.bss··············NOBITS··········00000000000d0058·00c838·000070·00··WA··0···0··829 ··[24]·.bss··············NOBITS··········00000000000d0058·00c838·000070·00··WA··0···0··8
30 ··[25]·.comment··········PROGBITS········0000000000000000·00027c·00001f·01··MS··0···0··130 ··[25]·.comment··········PROGBITS········0000000000000000·00027c·00001f·01··MS··0···0··1
31 ··[26]·.debug_aranges····PROGBITS········0000000000000000·0002a0·0006c3·00···C··0···0··831 ··[26]·.debug_aranges····PROGBITS········0000000000000000·0002a0·0006c3·00···C··0···0··8
32 ··[27]·.debug_info·······PROGBITS········0000000000000000·000968·29ace8·00···C··0···0··832 ··[27]·.debug_info·······PROGBITS········0000000000000000·000968·29ac8f·00···C··0···0··8
33 ··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29b650·00640d·00···C··0···0··833 ··[28]·.debug_abbrev·····PROGBITS········0000000000000000·29b5f8·00640d·00···C··0···0··8
34 ··[29]·.debug_line·······PROGBITS········0000000000000000·2a1a60·02e244·00···C··0···0··834 ··[29]·.debug_line·······PROGBITS········0000000000000000·2a1a08·02e244·00···C··0···0··8
35 ··[30]·.debug_str········PROGBITS········0000000000000000·2cfca8·05b18e·01·MSC··0···0··835 ··[30]·.debug_str········PROGBITS········0000000000000000·2cfc50·05b188·01·MSC··0···0··8
36 ··[31]·.debug_line_str···PROGBITS········0000000000000000·32ae38·0007b9·01·MSC··0···0··836 ··[31]·.debug_line_str···PROGBITS········0000000000000000·32add8·0007b9·01·MSC··0···0··8
37 ··[32]·.debug_loclists···PROGBITS········0000000000000000·32b5f8·07c648·00···C··0···0··837 ··[32]·.debug_loclists···PROGBITS········0000000000000000·32b598·07c648·00···C··0···0··8
38 ··[33]·.debug_macro······PROGBITS········0000000000000000·3a7c40·00c912·00···C··0···0··838 ··[33]·.debug_macro······PROGBITS········0000000000000000·3a7be0·00c918·00···C··0···0··8
39 ··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b4558·01a639·00···C··0···0··839 ··[34]·.debug_rnglists···PROGBITS········0000000000000000·3b44f8·01a639·00···C··0···0··8
40 ··[35]·.symtab···········SYMTAB··········0000000000000000·3ceb98·00fca8·18·····36·1493··840 ··[35]·.symtab···········SYMTAB··········0000000000000000·3ceb38·00fca8·18·····36·1493··8
41 ··[36]·.strtab···········STRTAB··········0000000000000000·3de840·01c89d·00······0···0··141 ··[36]·.strtab···········STRTAB··········0000000000000000·3de7e0·01c89d·00······0···0··1
42 ··[37]·.shstrtab·········STRTAB··········0000000000000000·3fb0dd·000193·00······0···0··142 ··[37]·.shstrtab·········STRTAB··········0000000000000000·3fb07d·000193·00······0···0··1
43 Key·to·Flags:43 Key·to·Flags:
44 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),44 ··W·(write),·A·(alloc),·X·(execute),·M·(merge),·S·(strings),·I·(info),
45 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),45 ··L·(link·order),·O·(extra·OS·processing·required),·G·(group),·T·(TLS),
46 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),46 ··C·(compressed),·x·(unknown),·o·(OS·specific),·E·(exclude),
47 ··D·(mbind),·p·(processor·specific)47 ··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:·a8b71cf233d4732347c8dec0bba4caf5e374fe726 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·6a7996e6eccf478bdb4d83a3abea687021cba88c
58.7 MB
readelf --wide --debug-dump=info {}
    
Offset 18, 110 lines modifiedOffset 18, 110 lines modified
18 ····<21>···DW_AT_decl_file···:·(data1)·4518 ····<21>···DW_AT_decl_file···:·(data1)·45
19 ····<22>···DW_AT_decl_line···:·(data1)·21419 ····<22>···DW_AT_decl_line···:·(data1)·214
20 ····<23>···DW_AT_decl_column·:·(data1)·2320 ····<23>···DW_AT_decl_column·:·(data1)·23
21 ····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int21 ····<24>···DW_AT_type········:·(ref_udata)·<0x25>,·long·unsigned·int
22 ·<1><25>:·Abbrev·Number:·16·(DW_TAG_base_type)22 ·<1><25>:·Abbrev·Number:·16·(DW_TAG_base_type)
23 ····<26>···DW_AT_byte_size···:·(data1)·823 ····<26>···DW_AT_byte_size···:·(data1)·8
24 ····<27>···DW_AT_encoding····:·(data1)·7»    (unsigned)24 ····<27>···DW_AT_encoding····:·(data1)·7»    (unsigned)
25 ····<28>···DW_AT_name········:·(strp)·(offset:·0x4d347):·long·unsigned·int25 ····<28>···DW_AT_name········:·(strp)·(offset:·0x4d37d):·long·unsigned·int
26 ·<1><2c>:·Abbrev·Number:·32·(DW_TAG_structure_type)26 ·<1><2c>:·Abbrev·Number:·32·(DW_TAG_structure_type)
27 ····<2d>···DW_AT_byte_size···:·(data1)·3227 ····<2d>···DW_AT_byte_size···:·(data1)·32
28 ····<2e>···DW_AT_alignment···:·(data1)·1628 ····<2e>···DW_AT_alignment···:·(data1)·16
29 ····<2f>···DW_AT_decl_file···:·(data1)·4529 ····<2f>···DW_AT_decl_file···:·(data1)·45
30 ····<30>···DW_AT_decl_line···:·(data2)·42530 ····<30>···DW_AT_decl_line···:·(data2)·425
31 ····<32>···DW_AT_decl_column·:·(data1)·1631 ····<32>···DW_AT_decl_column·:·(data1)·16
32 ····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5e52):·11max_align_t32 ····<33>···DW_AT_linkage_name:·(strp)·(offset:·0xa5e6c):·11max_align_t
33 ····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>33 ····<37>···DW_AT_sibling·····:·(ref_udata)·<0x51>
34 ·<2><38>:·Abbrev·Number:·24·(DW_TAG_member)34 ·<2><38>:·Abbrev·Number:·24·(DW_TAG_member)
35 ····<39>···DW_AT_name········:·(strp)·(offset:·0x5243c):·__max_align_ll35 ····<39>···DW_AT_name········:·(strp)·(offset:·0x52472):·__max_align_ll
36 ····<3d>···DW_AT_decl_file···:·(data1)·4536 ····<3d>···DW_AT_decl_file···:·(data1)·45
37 ····<3e>···DW_AT_decl_line···:·(data2)·42637 ····<3e>···DW_AT_decl_line···:·(data2)·426
38 ····<40>···DW_AT_decl_column·:·(data1)·1338 ····<40>···DW_AT_decl_column·:·(data1)·13
39 ····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int39 ····<41>···DW_AT_type········:·(ref_udata)·<0x51>,·long·long·int
40 ····<42>···DW_AT_alignment···:·(data1)·840 ····<42>···DW_AT_alignment···:·(data1)·8
41 ····<43>···DW_AT_data_member_location:·(data1)·041 ····<43>···DW_AT_data_member_location:·(data1)·0
42 ·<2><44>:·Abbrev·Number:·24·(DW_TAG_member)42 ·<2><44>:·Abbrev·Number:·24·(DW_TAG_member)
43 ····<45>···DW_AT_name········:·(strp)·(offset:·0x5241b):·__max_align_ld43 ····<45>···DW_AT_name········:·(strp)·(offset:·0x52451):·__max_align_ld
44 ····<49>···DW_AT_decl_file···:·(data1)·4544 ····<49>···DW_AT_decl_file···:·(data1)·45
45 ····<4a>···DW_AT_decl_line···:·(data2)·42745 ····<4a>···DW_AT_decl_line···:·(data2)·427
46 ····<4c>···DW_AT_decl_column·:·(data1)·1546 ····<4c>···DW_AT_decl_column·:·(data1)·15
47 ····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double47 ····<4d>···DW_AT_type········:·(ref_udata)·<0x58>,·long·double
48 ····<4e>···DW_AT_alignment···:·(data1)·1648 ····<4e>···DW_AT_alignment···:·(data1)·16
49 ····<4f>···DW_AT_data_member_location:·(data1)·1649 ····<4f>···DW_AT_data_member_location:·(data1)·16
50 ·<2><50>:·Abbrev·Number:·050 ·<2><50>:·Abbrev·Number:·0
51 ·<1><51>:·Abbrev·Number:·16·(DW_TAG_base_type)51 ·<1><51>:·Abbrev·Number:·16·(DW_TAG_base_type)
52 ····<52>···DW_AT_byte_size···:·(data1)·852 ····<52>···DW_AT_byte_size···:·(data1)·8
53 ····<53>···DW_AT_encoding····:·(data1)·5»    (signed)53 ····<53>···DW_AT_encoding····:·(data1)·5»    (signed)
54 ····<54>···DW_AT_name········:·(strp)·(offset:·0x63f2b):·long·long·int54 ····<54>···DW_AT_name········:·(strp)·(offset:·0x63f61):·long·long·int
55 ·<1><58>:·Abbrev·Number:·16·(DW_TAG_base_type)55 ·<1><58>:·Abbrev·Number:·16·(DW_TAG_base_type)
56 ····<59>···DW_AT_byte_size···:·(data1)·1656 ····<59>···DW_AT_byte_size···:·(data1)·16
57 ····<5a>···DW_AT_encoding····:·(data1)·4»    (float)57 ····<5a>···DW_AT_encoding····:·(data1)·4»    (float)
58 ····<5b>···DW_AT_name········:·(strp)·(offset:·0x9aed9):·long·double58 ····<5b>···DW_AT_name········:·(strp)·(offset:·0x9aef3):·long·double
59 ·<1><5f>:·Abbrev·Number:·30·(DW_TAG_typedef)59 ·<1><5f>:·Abbrev·Number:·30·(DW_TAG_typedef)
60 ····<60>···DW_AT_name········:·(strp)·(offset:·0xa5e54):·max_align_t60 ····<60>···DW_AT_name········:·(strp)·(offset:·0xa5e6e):·max_align_t
61 ····<64>···DW_AT_decl_file···:·(data1)·4561 ····<64>···DW_AT_decl_file···:·(data1)·45
62 ····<65>···DW_AT_decl_line···:·(data2)·43662 ····<65>···DW_AT_decl_line···:·(data2)·436
63 ····<67>···DW_AT_decl_column·:·(data1)·363 ····<67>···DW_AT_decl_column·:·(data1)·3
64 ····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t64 ····<68>···DW_AT_type········:·(ref_udata)·<0x2c>,·11max_align_t
65 ····<69>···DW_AT_alignment···:·(data1)·1665 ····<69>···DW_AT_alignment···:·(data1)·16
66 ·<1><6a>:·Abbrev·Number:·41·(DW_TAG_unspecified_type)66 ·<1><6a>:·Abbrev·Number:·41·(DW_TAG_unspecified_type)
67 ····<6b>···DW_AT_name········:·(strp)·(offset:·0x34b1b):·decltype(nullptr)67 ····<6b>···DW_AT_name········:·(strp)·(offset:·0x34b37):·decltype(nullptr)
68 ·<1><6f>:·Abbrev·Number:·16·(DW_TAG_base_type)68 ·<1><6f>:·Abbrev·Number:·16·(DW_TAG_base_type)
69 ····<70>···DW_AT_byte_size···:·(data1)·169 ····<70>···DW_AT_byte_size···:·(data1)·1
70 ····<71>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)70 ····<71>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
71 ····<72>···DW_AT_name········:·(strp)·(offset:·0xa2e8e):·unsigned·char71 ····<72>···DW_AT_name········:·(strp)·(offset:·0xa2ea8):·unsigned·char
72 ·<1><76>:·Abbrev·Number:·16·(DW_TAG_base_type)72 ·<1><76>:·Abbrev·Number:·16·(DW_TAG_base_type)
73 ····<77>···DW_AT_byte_size···:·(data1)·273 ····<77>···DW_AT_byte_size···:·(data1)·2
74 ····<78>···DW_AT_encoding····:·(data1)·7»    (unsigned)74 ····<78>···DW_AT_encoding····:·(data1)·7»    (unsigned)
75 ····<79>···DW_AT_name········:·(strp)·(offset:·0x5b718):·short·unsigned·int75 ····<79>···DW_AT_name········:·(strp)·(offset:·0x5b74e):·short·unsigned·int
76 ·<1><7d>:·Abbrev·Number:·16·(DW_TAG_base_type)76 ·<1><7d>:·Abbrev·Number:·16·(DW_TAG_base_type)
77 ····<7e>···DW_AT_byte_size···:·(data1)·477 ····<7e>···DW_AT_byte_size···:·(data1)·4
78 ····<7f>···DW_AT_encoding····:·(data1)·7»    (unsigned)78 ····<7f>···DW_AT_encoding····:·(data1)·7»    (unsigned)
79 ····<80>···DW_AT_name········:·(strp)·(offset:·0x145291):·unsigned·int79 ····<80>···DW_AT_name········:·(strp)·(offset:·0x145291):·unsigned·int
80 ·<1><84>:·Abbrev·Number:·16·(DW_TAG_base_type)80 ·<1><84>:·Abbrev·Number:·16·(DW_TAG_base_type)
81 ····<85>···DW_AT_byte_size···:·(data1)·181 ····<85>···DW_AT_byte_size···:·(data1)·1
82 ····<86>···DW_AT_encoding····:·(data1)·6»    (signed·char)82 ····<86>···DW_AT_encoding····:·(data1)·6»    (signed·char)
83 ····<87>···DW_AT_name········:·(strp)·(offset:·0xd9b1c):·signed·char83 ····<87>···DW_AT_name········:·(strp)·(offset:·0xd9b36):·signed·char
84 ·<1><8b>:·Abbrev·Number:·16·(DW_TAG_base_type)84 ·<1><8b>:·Abbrev·Number:·16·(DW_TAG_base_type)
85 ····<8c>···DW_AT_byte_size···:·(data1)·285 ····<8c>···DW_AT_byte_size···:·(data1)·2
86 ····<8d>···DW_AT_encoding····:·(data1)·5»    (signed)86 ····<8d>···DW_AT_encoding····:·(data1)·5»    (signed)
87 ····<8e>···DW_AT_name········:·(strp)·(offset:·0x4be7c):·short·int87 ····<8e>···DW_AT_name········:·(strp)·(offset:·0x4beb2):·short·int
88 ·<1><92>:·Abbrev·Number:·33·(DW_TAG_typedef)88 ·<1><92>:·Abbrev·Number:·33·(DW_TAG_typedef)
89 ····<93>···DW_AT_name········:·(strp)·(offset:·0x9c42d):·__int32_t89 ····<93>···DW_AT_name········:·(strp)·(offset:·0x9c447):·__int32_t
90 ····<97>···DW_AT_decl_file···:·(data1)·4690 ····<97>···DW_AT_decl_file···:·(data1)·46
91 ····<98>···DW_AT_decl_line···:·(data1)·4191 ····<98>···DW_AT_decl_line···:·(data1)·41
92 ····<99>···DW_AT_decl_column·:·(data1)·2092 ····<99>···DW_AT_decl_column·:·(data1)·20
93 ····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int93 ····<9a>···DW_AT_type········:·(ref_udata)·<0x9f>,·int
94 ·<1><9c>:·Abbrev·Number:·28·(DW_TAG_const_type)94 ·<1><9c>:·Abbrev·Number:·28·(DW_TAG_const_type)
95 ····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int95 ····<9d>···DW_AT_type········:·(ref_udata)·<0x92>,·__int32_t,·int
96 ·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type)96 ·<1><9f>:·Abbrev·Number:·38·(DW_TAG_base_type)
97 ····<a0>···DW_AT_byte_size···:·(data1)·497 ····<a0>···DW_AT_byte_size···:·(data1)·4
98 ····<a1>···DW_AT_encoding····:·(data1)·5»    (signed)98 ····<a1>···DW_AT_encoding····:·(data1)·5»    (signed)
99 ····<a2>···DW_AT_name········:·(string)·int99 ····<a2>···DW_AT_name········:·(string)·int
100 ·<1><a6>:·Abbrev·Number:·33·(DW_TAG_typedef)100 ·<1><a6>:·Abbrev·Number:·33·(DW_TAG_typedef)
101 ····<a7>···DW_AT_name········:·(strp)·(offset:·0xa8376):·__off_t101 ····<a7>···DW_AT_name········:·(strp)·(offset:·0xa8390):·__off_t
102 ····<ab>···DW_AT_decl_file···:·(data1)·46102 ····<ab>···DW_AT_decl_file···:·(data1)·46
103 ····<ac>···DW_AT_decl_line···:·(data1)·152103 ····<ac>···DW_AT_decl_line···:·(data1)·152
104 ····<ad>···DW_AT_decl_column·:·(data1)·25104 ····<ad>···DW_AT_decl_column·:·(data1)·25
105 ····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int105 ····<ae>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
106 ·<1><af>:·Abbrev·Number:·33·(DW_TAG_typedef)106 ·<1><af>:·Abbrev·Number:·33·(DW_TAG_typedef)
107 ····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5e60):·__off64_t107 ····<b0>···DW_AT_name········:·(strp)·(offset:·0xa5e7a):·__off64_t
108 ····<b4>···DW_AT_decl_file···:·(data1)·46108 ····<b4>···DW_AT_decl_file···:·(data1)·46
109 ····<b5>···DW_AT_decl_line···:·(data1)·153109 ····<b5>···DW_AT_decl_line···:·(data1)·153
110 ····<b6>···DW_AT_decl_column·:·(data1)·27110 ····<b6>···DW_AT_decl_column·:·(data1)·27
111 ····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int111 ····<b7>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
112 ·<1><b8>:·Abbrev·Number:·7·(DW_TAG_pointer_type)112 ·<1><b8>:·Abbrev·Number:·7·(DW_TAG_pointer_type)
113 ····<b9>···DW_AT_byte_size···:·(data1)·8113 ····<b9>···DW_AT_byte_size···:·(data1)·8
114 ·<1><ba>:·Abbrev·Number:·21·(DW_TAG_pointer_type)114 ·<1><ba>:·Abbrev·Number:·21·(DW_TAG_pointer_type)
115 ····<bb>···DW_AT_byte_size···:·(implicit_const)·8115 ····<bb>···DW_AT_byte_size···:·(implicit_const)·8
116 ····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char116 ····<bb>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
117 ·<1><bd>:·Abbrev·Number:·16·(DW_TAG_base_type)117 ·<1><bd>:·Abbrev·Number:·16·(DW_TAG_base_type)
118 ····<be>···DW_AT_byte_size···:·(data1)·1118 ····<be>···DW_AT_byte_size···:·(data1)·1
119 ····<bf>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)119 ····<bf>···DW_AT_encoding····:·(data1)·8»    (unsigned·char)
120 ····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9b23):·char120 ····<c0>···DW_AT_name········:·(strp)·(offset:·0xd9b3d):·char
121 ·<1><c4>:·Abbrev·Number:·28·(DW_TAG_const_type)121 ·<1><c4>:·Abbrev·Number:·28·(DW_TAG_const_type)
122 ····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char122 ····<c5>···DW_AT_type········:·(ref_udata)·<0xbd>,·char
123 ·<1><c7>:·Abbrev·Number:·20·(DW_TAG_namespace)123 ·<1><c7>:·Abbrev·Number:·20·(DW_TAG_namespace)
124 ····<c8>···DW_AT_name········:·(string)·std124 ····<c8>···DW_AT_name········:·(string)·std
125 ····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x45e>125 ····<cc>···DW_AT_sibling·····:·(ref_udata)·<0x45e>
126 ·<2><ce>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)126 ·<2><ce>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)
127 ····<cf>···DW_AT_decl_file···:·(data1)·52127 ····<cf>···DW_AT_decl_file···:·(data1)·52
Offset 512, 15 lines modifiedOffset 512, 15 lines modified
512 ····<2ac>···DW_AT_import······:·(ref_udata)·<0xdfc>»   [Abbrev·Number:·47·(DW_TAG_subprogram)]512 ····<2ac>···DW_AT_import······:·(ref_udata)·<0xdfc>»   [Abbrev·Number:·47·(DW_TAG_subprogram)]
513 ·<2><2ae>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)513 ·<2><2ae>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)
514 ····<2af>···DW_AT_decl_file···:·(data1)·58514 ····<2af>···DW_AT_decl_file···:·(data1)·58
515 ····<2b0>···DW_AT_decl_line···:·(data1)·55515 ····<2b0>···DW_AT_decl_line···:·(data1)·55
516 ····<2b1>···DW_AT_decl_column·:·(data1)·11516 ····<2b1>···DW_AT_decl_column·:·(data1)·11
517 ····<2b2>···DW_AT_import······:·(ref_udata)·<0xe0f>»   [Abbrev·Number:·18·(DW_TAG_subprogram)]517 ····<2b2>···DW_AT_import······:·(ref_udata)·<0xe0f>»   [Abbrev·Number:·18·(DW_TAG_subprogram)]
518 ·<2><2b4>:·Abbrev·Number:·35·(DW_TAG_typedef)518 ·<2><2b4>:·Abbrev·Number:·35·(DW_TAG_typedef)
519 ····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4e0b8):·ptrdiff_t519 ····<2b5>···DW_AT_name········:·(strp)·(offset:·0x4e0ee):·ptrdiff_t
520 ····<2b9>···DW_AT_decl_file···:·(data1)·53520 ····<2b9>···DW_AT_decl_file···:·(data1)·53
521 ····<2ba>···DW_AT_decl_line···:·(data2)·311521 ····<2ba>···DW_AT_decl_line···:·(data2)·311
522 ····<2bc>···DW_AT_decl_column·:·(data1)·28522 ····<2bc>···DW_AT_decl_column·:·(data1)·28
523 ····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int523 ····<2bd>···DW_AT_type········:·(ref_udata)·<0x15>,·long·int
524 ·<2><2be>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)524 ·<2><2be>:·Abbrev·Number:·5·(DW_TAG_imported_declaration)
525 ····<2bf>···DW_AT_decl_file···:·(data1)·63525 ····<2bf>···DW_AT_decl_file···:·(data1)·63
526 ····<2c0>···DW_AT_decl_line···:·(data1)·131526 ····<2c0>···DW_AT_decl_line···:·(data1)·131
Offset 853, 60 lines modifiedOffset 853, 60 lines modified
Max diff block lines reached; 61570161/61577929 bytes (99.99%) of diff not shown.
1.99 KB
readelf --wide --debug-dump=macro {}
    
Offset 1831, 16 lines modifiedOffset 1831, 16 lines modified
1831 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·11831 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
1832 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·11832 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
1833 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·11833 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
1834 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·11834 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
1835 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·11835 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5PARSERLIB·1
1836 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·11836 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
1837 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·21837 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
1838 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"1838 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
1839 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"1839 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
1840 ··Offset:······················0x1e1a1840 ··Offset:······················0x1e1a
1841 ··Version:·····················51841 ··Version:·····················5
1842 ··Offset·size:·················41842 ··Offset·size:·················4
  
1843 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·11843 ·DW_MACRO_define_strp·-·lineno·:·19·macro·:·_STDC_PREDEF_H·1
1844 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·11844 ·DW_MACRO_define_strp·-·lineno·:·38·macro·:·__STDC_IEC_559__·1
Offset 47774, 16 lines modifiedOffset 47774, 16 lines modified
47774 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·147774 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_GNU_SOURCE·1
47775 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·147775 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_STATISTICS_ON·1
47776 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·147776 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·CVC5_USE_CRYPTOMINISAT·1
47777 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·147777 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·NDEBUG·1
47778 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·147778 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·__BUILDING_CVC5LIB·1
47779 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·147779 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·cvc5_obj_EXPORTS·1
47780 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·247780 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·_FORTIFY_SOURCE·2
47781 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-18"47781 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_DATE·"2024-03-19"
47782 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"12:06:23"47782 ·DW_MACRO_define_strp·-·lineno·:·0·macro·:·DEB_BUILD_TIME·"14:06:23"
  
47783 ··Offset:······················0x3e7f447783 ··Offset:······················0x3e7f4
47784 ··Version:·····················547784 ··Version:·····················5
47785 ··Offset·size:·················447785 ··Offset·size:·················4
  
47786 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·147786 ·DW_MACRO_define_strp·-·lineno·:·31·macro·:·_GLIBCXX_OS_DEFINES·1
47787 ·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·147787 ·DW_MACRO_define_strp·-·lineno·:·37·macro·:·__NO_CTYPE·1
15.6 KB
strings --all --bytes=8 {}
    
Offset 1, 642 lines modifiedOffset 1, 659 lines modified
1 rGCC:·(Debian·14.2.0-12)·14.2.01 GCC:·(Debian·14.2.0-12)·14.2.0
2 '"=".DzT2 '·=".DzT
 3 'ZGoSAtW
 4 ,RCF#BwW
 5 O<E:BA')
 6 lq?/e*» 8
 7 ^?IN>q>|U
 8 a`Z:3:y|2
 9 JPi=X^1hHe
 10 1*!~Jt@A
 11 s*d'61SB
 12 h9(<;F&D
 13 Mg8cdQ-:
 14 v*N»    {VK)
 15 A&%Ya&yU
 16 AvH8Zwsp
 17 bWc`Wc[Af
 18 egJ$$Y)V
 19 f]K'Zg[!
 20 6_jYiI<Q
 21 B8D|&$dt
 22 V'05xUx<
 23 DB2GgX!K
 24 kqw-R(^(
 25 %yW24p`v
 26 Y(1"PKxh
 27 Qbly]lTq]
 28 WzVi=Ie<
 29 VLR2uABZ
 30 »       KMPO/C_s
 31 s9\2yfvy
 32 P·IHr/.f,9I
 33 1#X|e);f
 34 &0>t]Ujg?
 35 FfS).+5:
 36 8>s\T)iji
 37 ]AK2/(|h
 38 ·~]Q]IvW
 39 P)Uw@%MP
 40 GZQ/EZ`)
 41 ·_&unq/8Q
 42 W4|mTY:z
 43 $QfhL/@(
 44 I.21-]@Z
 45 ,[UNl#Ym
 46 'v`@Hp]»
 47 y\7=d&mW
 48 W;)-s7.5
 49 F5;Yp»  aj
 50 O^*z,K}:+
 51 <u/?n>Ugx
 52 [)4l&mWI
 53 :`++Q%dz»       
 54 ?·J&/A<x
 55 3]ZVl^iY
 56 a.Cwlv_u
 57 ~;4hM4:Mh_
 58 |@SL>&1Eb
 59 3WkOi@.<
 60 D4Ma^_No
 61 STw/XI#W*4
 62 z8#^APl[<o
 63 h7WCdzYa
 64 kZtSeM7T
 65 I;2{=+I-
 66 {rLE|Lh3G
 67 dMB!4H%Y
 68 qs*4a}5z
 69 tOU<\zA<$A
 70 incocW\A
 71 7E@@YDEE
 72 3q>;|eo/
 73 ·CIO(g"%
 74 cT)·F5=]
 75 'GdSAM"$j
 76 *K6GG\yn
 77 'BMH#\9E
 78 SM/)c+~I
 79 !_29]UM'
 80 Hl2I+\mHL
 81 g?iW>*4,
 82 -I<ZjzSa
 83 WL+ZJ%N<\>
 84 }xy":I?o
 85 Cx6=$N`;8#$kvLWK
 86 j4Mc!WjA
 87 jx7s>ql[
 88 hbu(VrG/G
 89 uGgaA(EiI
 90 xQsd[]X7
 91 4;LpR&Q~Z
 92 Njj&PqJ'}
 93 #;\»    u}:\|d
 94 [tX2i|b|
 95 OvVS-S(kSHNM
 96 ;a,E6Sa:f
 97 A»      rpyK":
 98 GIeo(Tys
 99 Y,3@Jm&Nf
 100 ]Z_+S_[J
 101 S~s%+g'9
 102 SA'!t"@x
 103 |J0:a"QvMr
 104 Zqj9}&p3(W
 105 1?,Dr|I9?
 106 2N6`u7nt_
 107 Fg`:~)6n|
 108 F([GGB>-%l
 109 +G+@Z~#V
 110 9|8XvWMD
 111 !uKCs#Nze
 112 *OKwyZtk
 113 }?.83I\Kp
 114 ·dH@K=|~2
 115 ,a<IllDb=
 116 i15·V1p}Z
 117 rG]:q|%2C
 118 bK{kA]uB,
3 OlFVC;,~j 
4 3[cVCW,~n 
5 +Z[kQ@dW 
6 {Gk@%f~# 
7 'T/=U>]E 
8 C!Su!3tB 
9 p-0KIqby 
10 mQDsuU» Q 
11 h)!z9eB, 
Max diff block lines reached; 13301/15917 bytes (83.56%) 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.
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.
118 B
python3-cvc5-dbgsym_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.