935 KB
/srv/reproducible-results/rbuild-debian/r-b-build.JlZD8iXd/b1/cvc4_1.8-3_armhf.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.JlZD8iXd/b2/cvc4_1.8-3_armhf.changes
1.21 KB
Files
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 ·55753e2320a1d265b3becbd17ed87c55·992420·debug·optional·cvc4-dbgsym_1.8-3_armhf.deb 
2 ·1032a54989b0158e492fe93eabf406b4·75764·math·optional·cvc4_1.8-3_armhf.deb 
3 ·1528fa34dae97bba27ac0430ff7555c4·194192332·debug·optional·libcvc4-7-dbgsym_1.8-3_armhf.deb 
4 ·2f999f69bf4c795687698f5f9b592c76·5371056·libs·optional·libcvc4-7_1.8-3_armhf.deb 
5 ·c5c0a3310e114c247abaf10d93c3fff4·131180·libdevel·optional·libcvc4-dev_1.8-3_armhf.deb 
6 ·68055b3f142df43b496bc544187afb52·5143520·debug·optional·libcvc4parser7-dbgsym_1.8-3_armhf.deb 
7 ·ec8cd7c0bae85ac31547d9fa60c7e201·329260·libs·optional·libcvc4parser7_1.8-3_armhf.deb1 ·65de96e6421e575091b4e30c8adcb413·992328·debug·optional·cvc4-dbgsym_1.8-3_armhf.deb
 2 ·379776f8ac5cb625fdd0e0a4c6d5788f·75948·math·optional·cvc4_1.8-3_armhf.deb
 3 ·bf783d0d34a36b3736c00c661d8a8c29·194180220·debug·optional·libcvc4-7-dbgsym_1.8-3_armhf.deb
 4 ·742c516f8142a3905cd8604335f4da92·5371936·libs·optional·libcvc4-7_1.8-3_armhf.deb
 5 ·2f2e9895e596527256702e5e8d3613e7·131172·libdevel·optional·libcvc4-dev_1.8-3_armhf.deb
 6 ·21a73283e88a9b4a01bb037fc418dcc8·5143524·debug·optional·libcvc4parser7-dbgsym_1.8-3_armhf.deb
 7 ·099673f9be980b2e9b6f001b456db44f·328908·libs·optional·libcvc4parser7_1.8-3_armhf.deb
930 KB
cvc4_1.8-3_armhf.deb
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary
2 -rw-r--r--···0········0········0·····1476·2022-10-29·18:49:40.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1476·2022-10-29·18:49:40.000000·control.tar.xz
3 -rw-r--r--···0········0········0····74096·2022-10-29·18:49:40.000000·data.tar.xz3 -rw-r--r--···0········0········0····74280·2022-10-29·18:49:40.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
930 KB
data.tar.xz
930 KB
data.tar
1.04 KB
file list
    
Offset 24, 8 lines modifiedOffset 24, 8 lines modified
24 -rw-r--r--···0·root·········(0)·root·········(0)·····2085·2020-06-19·16:59:27.000000·./usr/share/doc/cvc4/THANKS24 -rw-r--r--···0·root·········(0)·root·········(0)·····2085·2020-06-19·16:59:27.000000·./usr/share/doc/cvc4/THANKS
25 -rw-r--r--···0·root·········(0)·root·········(0)·····1043·2022-10-29·18:49:40.000000·./usr/share/doc/cvc4/changelog.Debian.gz25 -rw-r--r--···0·root·········(0)·root·········(0)·····1043·2022-10-29·18:49:40.000000·./usr/share/doc/cvc4/changelog.Debian.gz
26 -rw-r--r--···0·root·········(0)·root·········(0)·····4452·2022-10-17·14:15:49.000000·./usr/share/doc/cvc4/copyright26 -rw-r--r--···0·root·········(0)·root·········(0)·····4452·2022-10-17·14:15:49.000000·./usr/share/doc/cvc4/copyright
27 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/27 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/
28 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man1/28 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man1/
29 -rw-r--r--···0·root·········(0)·root·········(0)·····2116·2022-10-29·18:49:40.000000·./usr/share/man/man1/cvc4.1.gz29 -rw-r--r--···0·root·········(0)·root·········(0)·····2116·2022-10-29·18:49:40.000000·./usr/share/man/man1/cvc4.1.gz
30 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man5/30 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man5/
31 -rw-r--r--···0·root·········(0)·root·········(0)······394·2022-10-29·18:49:40.000000·./usr/share/man/man5/cvc4.5.gz31 -rw-r--r--···0·root·········(0)·root·········(0)······393·2022-10-29·18:49:40.000000·./usr/share/man/man5/cvc4.5.gz
928 KB
./usr/bin/cvc4
File has been modified after NT_GNU_BUILD_ID has been applied.
2.41 KB
readelf --wide --sections {}
    
Offset 3, 22 lines modifiedOffset 3, 22 lines modified
3 Section·Headers:3 Section·Headers:
4 ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al4 ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al
5 ··[·0]···················NULL············00000000·000000·000000·00······0···0··05 ··[·0]···················NULL············00000000·000000·000000·00······0···0··0
6 ··[·1]·.interp···········PROGBITS········00000194·000194·000019·00···A··0···0··16 ··[·1]·.interp···········PROGBITS········00000194·000194·000019·00···A··0···0··1
7 ··[·2]·.note.ABI-tag·····NOTE············000001b0·0001b0·000020·00···A··0···0··47 ··[·2]·.note.ABI-tag·····NOTE············000001b0·0001b0·000020·00···A··0···0··4
8 ··[·3]·.note.gnu.build-id·NOTE············000001d0·0001d0·000024·00···A··0···0··48 ··[·3]·.note.gnu.build-id·NOTE············000001d0·0001d0·000024·00···A··0···0··4
9 ··[·4]·.dynsym···········DYNSYM··········000001f4·0001f4·001d40·10···A··5···1··49 ··[·4]·.dynsym···········DYNSYM··········000001f4·0001f4·001d40·10···A··5···1··4
10 ··[·5]·.dynstr···········STRTAB··········00001f34·001f34·004caf·00···A··0···0··110 ··[·5]·.dynstr···········STRTAB··········00001f34·001f34·004cb3·00···A··0···0··1
11 ··[·6]·.gnu.hash·········GNU_HASH········00006be4·006be4·000554·04···A··4···0··411 ··[·6]·.gnu.hash·········GNU_HASH········00006be8·006be8·000554·04···A··4···0··4
12 ··[·7]·.gnu.version······VERSYM··········00007138·007138·0003a8·02···A··4···0··212 ··[·7]·.gnu.version······VERSYM··········0000713c·00713c·0003a8·02···A··4···0··2
13 ··[·8]·.gnu.version_r····VERNEED·········000074e0·0074e0·000100·00···A··5···4··413 ··[·8]·.gnu.version_r····VERNEED·········000074e4·0074e4·000100·00···A··5···4··4
14 ··[·9]·.rel.dyn··········REL·············000075e0·0075e0·000740·08···A··4···0··414 ··[·9]·.rel.dyn··········REL·············000075e4·0075e4·000740·08···A··4···0··4
15 ··[10]·.rel.plt··········REL·············00007d20·007d20·0006f8·08··AI··4··26··415 ··[10]·.rel.plt··········REL·············00007d24·007d24·0006f8·08··AI··4··26··4
16 ··[11]·.init·············PROGBITS········00008418·008418·00000c·00··AX··0···0··416 ··[11]·.init·············PROGBITS········0000841c·00841c·00000c·00··AX··0···0··4
17 ··[12]·.plt··············PROGBITS········00008424·008424·000a88·00··AX··0···0··417 ··[12]·.plt··············PROGBITS········00008428·008428·000a88·00··AX··0···0··4
18 ··[13]·.text·············PROGBITS········00008eb0·008eb0·00c2cc·00··AX··0···0··818 ··[13]·.text·············PROGBITS········00008eb0·008eb0·00c2cc·00··AX··0···0··8
19 ··[14]·.fini·············PROGBITS········0001517c·01517c·000008·00··AX··0···0··419 ··[14]·.fini·············PROGBITS········0001517c·01517c·000008·00··AX··0···0··4
20 ··[15]·.rodata···········PROGBITS········00015184·015184·0014ec·00···A··0···0··420 ··[15]·.rodata···········PROGBITS········00015184·015184·0014ec·00···A··0···0··4
21 ··[16]·.ARM.extab········PROGBITS········00016670·016670·001047·00···A··0···0··421 ··[16]·.ARM.extab········PROGBITS········00016670·016670·001047·00···A··0···0··4
22 ··[17]·.ARM.exidx········ARM_EXIDX·······000176b8·0176b8·000208·08··AL·13···0··422 ··[17]·.ARM.exidx········ARM_EXIDX·······000176b8·0176b8·000208·08··AL·13···0··4
23 ··[18]·.eh_frame·········PROGBITS········000178c0·0178c0·000004·00···A··0···0··423 ··[18]·.eh_frame·········PROGBITS········000178c0·0178c0·000004·00···A··0···0··4
24 ··[19]·.eh_frame_hdr·····PROGBITS········000178c4·0178c4·000008·00···A··0···0··424 ··[19]·.eh_frame_hdr·····PROGBITS········000178c4·0178c4·000008·00···A··0···0··4
1.54 KB
readelf --wide --symbols {}
    
Offset 448, 15 lines modifiedOffset 448, 15 lines modified
448 ···444:·0000b6f1··1468·FUNC····GLOBAL·DEFAULT···13·_Z10printUsageRN4CVC47OptionsEb448 ···444:·0000b6f1··1468·FUNC····GLOBAL·DEFAULT···13·_Z10printUsageRN4CVC47OptionsEb
449 ···445:·00013ec1···160·FUNC····WEAK···DEFAULT···13·_ZN4CVC411CVC4ostreamlsIPcEERS0_RKT_449 ···445:·00013ec1···160·FUNC····WEAK···DEFAULT···13·_ZN4CVC411CVC4ostreamlsIPcEERS0_RKT_
450 ···446:·00009099···432·FUNC····GLOBAL·DEFAULT···13·main450 ···446:·00009099···432·FUNC····GLOBAL·DEFAULT···13·main
451 ···447:·0000e189···328·FUNC····WEAK···DEFAULT···13·_ZN4CVC424IllegalArgumentExceptionC2EPKcS2_S2_451 ···447:·0000e189···328·FUNC····WEAK···DEFAULT···13·_ZN4CVC424IllegalArgumentExceptionC2EPKcS2_S2_
452 ···448:·0000dae1·····4·FUNC····WEAK···DEFAULT···13·_ZN4CVC413ReferenceStatINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE7setDataERKS6_452 ···448:·0000dae1·····4·FUNC····WEAK···DEFAULT···13·_ZN4CVC413ReferenceStatINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEE7setDataERKS6_
453 ···449:·00013b59····84·FUNC····WEAK···DEFAULT···13·_ZN4CVC46parser15ParserExceptionD0Ev453 ···449:·00013b59····84·FUNC····WEAK···DEFAULT···13·_ZN4CVC46parser15ParserExceptionD0Ev
454 ···450:·000147a1····52·FUNC····GLOBAL·DEFAULT···13·_ZN4CVC44main13cvc4terminateEv454 ···450:·000147a1····52·FUNC····GLOBAL·DEFAULT···13·_ZN4CVC44main13cvc4terminateEv
455 ···451:·0000896c·····0·FUNC····WEAK···DEFAULT··UND·__cxa_pure_virtual@CXXABI_1.3·(9)455 ···451:·00008970·····0·FUNC····WEAK···DEFAULT··UND·__cxa_pure_virtual@CXXABI_1.3·(9)
456 ···452:·0000dc45····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC415OptionExceptionD2Ev456 ···452:·0000dc45····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC415OptionExceptionD2Ev
457 ···453:·00016530····30·OBJECT··WEAK···DEFAULT···15·_ZTSN4CVC48DataStatINS_6ResultEEE457 ···453:·00016530····30·OBJECT··WEAK···DEFAULT···15·_ZTSN4CVC48DataStatINS_6ResultEEE
458 ···454:·0000dc79····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC413ReferenceStatINS_6ResultEED0Ev458 ···454:·0000dc79····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC413ReferenceStatINS_6ResultEED0Ev
459 ···455:·0001181d····30·FUNC····WEAK···DEFAULT···13·_ZN3cln11cl_gcobjectD1Ev459 ···455:·0001181d····30·FUNC····WEAK···DEFAULT···13·_ZN3cln11cl_gcobjectD1Ev
460 ···456:·00019768····24·OBJECT··WEAK···DEFAULT···21·_ZTVN4CVC49ExceptionE460 ···456:·00019768····24·OBJECT··WEAK···DEFAULT···21·_ZTVN4CVC49ExceptionE
461 ···457:·000198ac····12·OBJECT··WEAK···DEFAULT···24·_ZTIN4CVC416ReadOnlyDataStatINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE461 ···457:·000198ac····12·OBJECT··WEAK···DEFAULT···24·_ZTIN4CVC416ReadOnlyDataStatINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE
462 ···458:·0000dcad····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC413ReferenceStatINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEED0Ev462 ···458:·0000dcad····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC413ReferenceStatINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEED0Ev
3.52 KB
readelf --wide --relocs {}
    
Offset 1, 9 lines modifiedOffset 1, 9 lines modified
  
1 Relocation·section·'.rel.dyn'·at·offset·0x75e0·contains·232·entries:1 Relocation·section·'.rel.dyn'·at·offset·0x75e4·contains·232·entries:
2 ·Offset·····Info····Type················Sym.·Value··Symbol's·Name2 ·Offset·····Info····Type················Sym.·Value··Symbol's·Name
3 0001976c··00000017·R_ARM_RELATIVE········3 0001976c··00000017·R_ARM_RELATIVE········
4 00019770··00000017·R_ARM_RELATIVE········4 00019770··00000017·R_ARM_RELATIVE········
5 00019774··00000017·R_ARM_RELATIVE········5 00019774··00000017·R_ARM_RELATIVE········
6 00019778··00000017·R_ARM_RELATIVE········6 00019778··00000017·R_ARM_RELATIVE········
7 0001977c··00000017·R_ARM_RELATIVE········7 0001977c··00000017·R_ARM_RELATIVE········
8 00019784··00000017·R_ARM_RELATIVE········8 00019784··00000017·R_ARM_RELATIVE········
Offset 227, 18 lines modifiedOffset 227, 18 lines modified
227 00019c18··00011f15·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC422DeclareFunctionCommandE227 00019c18··00011f15·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC422DeclareFunctionCommandE
228 00019c1c··00012015·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC421DefineFunctionCommandE228 00019c1c··00012015·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC421DefineFunctionCommandE
229 00019c20··00012115·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC418DeclareTypeCommandE229 00019c20··00012115·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC418DeclareTypeCommandE
230 00019c24··00012215·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC417DefineTypeCommandE230 00019c24··00012215·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC417DefineTypeCommandE
231 00019c50··00012315·R_ARM_GLOB_DAT·········00000000···_ZTHN4CVC44main8pOptionsE231 00019c50··00012315·R_ARM_GLOB_DAT·········00000000···_ZTHN4CVC44main8pOptionsE
232 00019c48··00014911·R_ARM_TLS_DTPMOD32·····00000000···_ZN4CVC44main8pOptionsE232 00019c48··00014911·R_ARM_TLS_DTPMOD32·····00000000···_ZN4CVC44main8pOptionsE
233 00019c4c··00014912·R_ARM_TLS_DTPOFF32·····00000000···_ZN4CVC44main8pOptionsE233 00019c4c··00014912·R_ARM_TLS_DTPOFF32·····00000000···_ZN4CVC44main8pOptionsE
234 00019904··0001c302·R_ARM_ABS32············0000896c···__cxa_pure_virtual@CXXABI_1.3234 00019904··0001c302·R_ARM_ABS32············00008970···__cxa_pure_virtual@CXXABI_1.3
235 00019908··0001c302·R_ARM_ABS32············0000896c···__cxa_pure_virtual@CXXABI_1.3235 00019908··0001c302·R_ARM_ABS32············00008970···__cxa_pure_virtual@CXXABI_1.3
  
236 Relocation·section·'.rel.plt'·at·offset·0x7d20·contains·223·entries:236 Relocation·section·'.rel.plt'·at·offset·0x7d24·contains·223·entries:
237 ·Offset·····Info····Type················Sym.·Value··Symbol's·Name237 ·Offset·····Info····Type················Sym.·Value··Symbol's·Name
238 00019c84··00000116·R_ARM_JUMP_SLOT········00000000···__libc_start_main@GLIBC_2.34238 00019c84··00000116·R_ARM_JUMP_SLOT········00000000···__libc_start_main@GLIBC_2.34
239 00019c88··00000216·R_ARM_JUMP_SLOT········00000000···abort@GLIBC_2.4239 00019c88··00000216·R_ARM_JUMP_SLOT········00000000···abort@GLIBC_2.4
240 00019c8c··00000916·R_ARM_JUMP_SLOT········00000000···__gmon_start__240 00019c8c··00000916·R_ARM_JUMP_SLOT········00000000···__gmon_start__
241 00019c90··00000c16·R_ARM_JUMP_SLOT········00000000···__cxa_finalize@GLIBC_2.4241 00019c90··00000c16·R_ARM_JUMP_SLOT········00000000···__cxa_finalize@GLIBC_2.4
242 00019c94··00001016·R_ARM_JUMP_SLOT········00000000···_ZdlPv@GLIBCXX_3.4242 00019c94··00001016·R_ARM_JUMP_SLOT········00000000···_ZdlPv@GLIBCXX_3.4
243 00019c98··00002d16·R_ARM_JUMP_SLOT········00000000···_ZNSt8ios_baseC2Ev@GLIBCXX_3.4243 00019c98··00002d16·R_ARM_JUMP_SLOT········00000000···_ZNSt8ios_baseC2Ev@GLIBCXX_3.4
Offset 343, 15 lines modifiedOffset 343, 15 lines modified
343 00019e24··0000c316·R_ARM_JUMP_SLOT········00000000···__aeabi_atexit@CXXABI_ARM_1.3.3343 00019e24··0000c316·R_ARM_JUMP_SLOT········00000000···__aeabi_atexit@CXXABI_ARM_1.3.3
344 00019e28··0000c416·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_random_def_init_helperC1Ev344 00019e28··0000c416·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_random_def_init_helperC1Ev
345 00019e2c··0000c516·R_ARM_JUMP_SLOT········00000000···_ZN3cln22cl_no_ring_init_helperC1Ev345 00019e2c··0000c516·R_ARM_JUMP_SLOT········00000000···_ZN3cln22cl_no_ring_init_helperC1Ev
346 00019e30··0000c616·R_ARM_JUMP_SLOT········00000000···_ZN3cln17cl_MI_init_helperC1Ev346 00019e30··0000c616·R_ARM_JUMP_SLOT········00000000···_ZN3cln17cl_MI_init_helperC1Ev
347 00019e34··0000c716·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_DF_globals_init_helperC1Ev347 00019e34··0000c716·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_DF_globals_init_helperC1Ev
348 00019e38··0000c816·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_FF_globals_init_helperC1Ev348 00019e38··0000c816·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_FF_globals_init_helperC1Ev
349 00019e3c··0000c916·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_LF_globals_init_helperC1Ev349 00019e3c··0000c916·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_LF_globals_init_helperC1Ev
350 00019e40··0001c316·R_ARM_JUMP_SLOT········0000896c···__cxa_pure_virtual@CXXABI_1.3350 00019e40··0001c316·R_ARM_JUMP_SLOT········00008970···__cxa_pure_virtual@CXXABI_1.3
351 00019e44··0000d416·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47OptionsC1Ev351 00019e44··0000d416·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47OptionsC1Ev
352 00019e48··0000d516·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47OptionsD1Ev352 00019e48··0000d516·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47OptionsD1Ev
353 00019e4c··0000b416·R_ARM_JUMP_SLOT········00000000···_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_@GLIBCXX_3.4353 00019e4c··0000b416·R_ARM_JUMP_SLOT········00000000···_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_@GLIBCXX_3.4
354 00019e50··0000d616·R_ARM_JUMP_SLOT········00000000···_ZN4CVC48language17isOutputLang_smt2ENS0_6output8LanguageE354 00019e50··0000d616·R_ARM_JUMP_SLOT········00000000···_ZN4CVC48language17isOutputLang_smt2ENS0_6output8LanguageE
355 00019e54··0000d716·R_ARM_JUMP_SLOT········00000000···_ZNK4CVC47Options13getStatisticsEv355 00019e54··0000d716·R_ARM_JUMP_SLOT········00000000···_ZNK4CVC47Options13getStatisticsEv
356 00019e58··0000d816·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47Options6getErrEv356 00019e58··0000d816·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47Options6getErrEv
357 00019e5c··0000cf16·R_ARM_JUMP_SLOT········00000000···getrlimit@GLIBC_2.4357 00019e5c··0000cf16·R_ARM_JUMP_SLOT········00000000···getrlimit@GLIBC_2.4
2.38 KB
readelf --wide --dynamic {}
    
Offset 1, 37 lines modifiedOffset 1, 37 lines modified
  
1 Dynamic·section·at·offset·0x18968·contains·34·entries:1 Dynamic·section·at·offset·0x18968·contains·34·entries:
2 ··Tag········Type·························Name/Value2 ··Tag········Type·························Name/Value
3 ·0x00000003·(PLTGOT)·····················0x19c783 ·0x00000003·(PLTGOT)·····················0x19c78
4 ·0x00000002·(PLTRELSZ)···················1784·(bytes)4 ·0x00000002·(PLTRELSZ)···················1784·(bytes)
5 ·0x00000017·(JMPREL)·····················0x7d205 ·0x00000017·(JMPREL)·····················0x7d24
6 ·0x00000014·(PLTREL)·····················REL6 ·0x00000014·(PLTREL)·····················REL
7 ·0x00000011·(REL)························0x75e07 ·0x00000011·(REL)························0x75e4
8 ·0x00000012·(RELSZ)······················1856·(bytes)8 ·0x00000012·(RELSZ)······················1856·(bytes)
9 ·0x00000013·(RELENT)·····················8·(bytes)9 ·0x00000013·(RELENT)·····················8·(bytes)
10 ·0x6ffffffa·(RELCOUNT)···················14010 ·0x6ffffffa·(RELCOUNT)···················140
11 ·0x00000015·(DEBUG)······················0x011 ·0x00000015·(DEBUG)······················0x0
12 ·0x00000006·(SYMTAB)·····················0x1f412 ·0x00000006·(SYMTAB)·····················0x1f4
13 ·0x0000000b·(SYMENT)·····················16·(bytes)13 ·0x0000000b·(SYMENT)·····················16·(bytes)
14 ·0x00000005·(STRTAB)·····················0x1f3414 ·0x00000005·(STRTAB)·····················0x1f34
15 ·0x0000000a·(STRSZ)······················19631·(bytes)15 ·0x0000000a·(STRSZ)······················19635·(bytes)
16 ·0x6ffffef5·(GNU_HASH)···················0x6be416 ·0x6ffffef5·(GNU_HASH)···················0x6be8
17 ·0x00000001·(NEEDED)·····················Shared·library:·[libcvc4parser.so.7]17 ·0x00000001·(NEEDED)·····················Shared·library:·[libcvc4parser.so.7]
18 ·0x00000001·(NEEDED)·····················Shared·library:·[libreadline.so.8]18 ·0x00000001·(NEEDED)·····················Shared·library:·[libreadline.so.8]
19 ·0x00000001·(NEEDED)·····················Shared·library:·[libcvc4.so.7]19 ·0x00000001·(NEEDED)·····················Shared·library:·[libcvc4.so.7]
20 ·0x00000001·(NEEDED)·····················Shared·library:·[libcln.so.6]20 ·0x00000001·(NEEDED)·····················Shared·library:·[libcln.so.6]
21 ·0x00000001·(NEEDED)·····················Shared·library:·[libstdc++.so.6]21 ·0x00000001·(NEEDED)·····················Shared·library:·[libstdc++.so.6]
22 ·0x00000001·(NEEDED)·····················Shared·library:·[libgcc_s.so.1]22 ·0x00000001·(NEEDED)·····················Shared·library:·[libgcc_s.so.1]
23 ·0x00000001·(NEEDED)·····················Shared·library:·[libc.so.6]23 ·0x00000001·(NEEDED)·····················Shared·library:·[libc.so.6]
24 ·0x00000001·(NEEDED)·····················Shared·library:·[ld-linux-armhf.so.3]24 ·0x00000001·(NEEDED)·····················Shared·library:·[ld-linux-armhf.so.3]
25 ·0x0000000c·(INIT)·······················0x841825 ·0x0000000c·(INIT)·······················0x841c
26 ·0x0000000d·(FINI)·······················0x1517c26 ·0x0000000d·(FINI)·······················0x1517c
27 ·0x0000001a·(FINI_ARRAY)·················0x1983827 ·0x0000001a·(FINI_ARRAY)·················0x19838
28 ·0x0000001c·(FINI_ARRAYSZ)···············4·(bytes)28 ·0x0000001c·(FINI_ARRAYSZ)···············4·(bytes)
29 ·0x00000019·(INIT_ARRAY)·················0x1983c29 ·0x00000019·(INIT_ARRAY)·················0x1983c
30 ·0x0000001b·(INIT_ARRAYSZ)···············24·(bytes)30 ·0x0000001b·(INIT_ARRAYSZ)···············24·(bytes)
31 ·0x0000001e·(FLAGS)······················BIND_NOW31 ·0x0000001e·(FLAGS)······················BIND_NOW
32 ·0x6ffffffb·(FLAGS_1)····················Flags:·NOW·PIE32 ·0x6ffffffb·(FLAGS_1)····················Flags:·NOW·PIE
33 ·0x6ffffff0·(VERSYM)·····················0x713833 ·0x6ffffff0·(VERSYM)·····················0x713c
34 ·0x6ffffffe·(VERNEED)····················0x74e034 ·0x6ffffffe·(VERNEED)····················0x74e4
35 ·0x6fffffff·(VERNEEDNUM)·················435 ·0x6fffffff·(VERNEEDNUM)·················4
36 ·0x00000000·(NULL)·······················0x036 ·0x00000000·(NULL)·······················0x0
810 B
readelf --wide --notes {}
    
Offset 1, 12 lines modifiedOffset 1, 12 lines modified
  
1 Displaying·notes·found·in:·.note.ABI-tag1 Displaying·notes·found·in:·.note.ABI-tag
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.03 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
  
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:·7fda6e34e66004c6efec347974dd23f37f1f3f7a6 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·309991a449248b6c23e0f79ed4b58b2e031208a4
  
7 Displaying·notes·found·in:·.note.gnu.gold-version7 Displaying·notes·found·in:·.note.gnu.gold-version
8 ··Owner················Data·size·»  Description8 ··Owner················Data·size·»  Description
9 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.169 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.16
1.8 KB
readelf --wide --version-info {}
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 Version·symbols·section·'.gnu.version'·contains·468·entries:1 Version·symbols·section·'.gnu.version'·contains·468·entries:
2 ·Addr:·0x0000000000007138··Offset:·0x00007138··Link:·4·(.dynsym)2 ·Addr:·0x000000000000713c··Offset:·0x0000713c··Link:·4·(.dynsym)
3 ··000:···0·(*local*)·······2·(GLIBC_2.34)····3·(GLIBC_2.4)·····3·(GLIBC_2.4)··3 ··000:···0·(*local*)·······2·(GLIBC_2.34)····3·(GLIBC_2.4)·····3·(GLIBC_2.4)··
4 ··004:···3·(GLIBC_2.4)·····3·(GLIBC_2.4)·····3·(GLIBC_2.4)·····3·(GLIBC_2.4)··4 ··004:···3·(GLIBC_2.4)·····3·(GLIBC_2.4)·····3·(GLIBC_2.4)·····3·(GLIBC_2.4)··
5 ··008:···4·(GLIBCXX_3.4)···0·(*local*)·······0·(*local*)·······0·(*local*)····5 ··008:···4·(GLIBCXX_3.4)···0·(*local*)·······0·(*local*)·······0·(*local*)····
6 ··00c:···3·(GLIBC_2.4)·····5·(GLIBCXX_3.4.32)····4·(GLIBCXX_3.4)···c·(GCC_3.5)····6 ··00c:···3·(GLIBC_2.4)·····5·(GLIBCXX_3.4.32)····4·(GLIBCXX_3.4)···c·(GCC_3.5)····
7 ··010:···4·(GLIBCXX_3.4)···6·(GLIBCXX_3.4.9)···0·(*local*)·······3·(GLIBC_2.4)··7 ··010:···4·(GLIBCXX_3.4)···6·(GLIBCXX_3.4.9)···0·(*local*)·······3·(GLIBC_2.4)··
8 ··014:···c·(GCC_3.5)·······4·(GLIBCXX_3.4)···7·(GLIBCXX_3.4.21)····3·(GLIBC_2.4)··8 ··014:···c·(GCC_3.5)·······4·(GLIBCXX_3.4)···7·(GLIBCXX_3.4.21)····3·(GLIBC_2.4)··
9 ··018:···3·(GLIBC_2.4)·····d·(GLIBC_2.4)·····0·(*local*)·······0·(*local*)····9 ··018:···3·(GLIBC_2.4)·····d·(GLIBC_2.4)·····0·(*local*)·······0·(*local*)····
Offset 116, 15 lines modifiedOffset 116, 15 lines modified
116 ··1c0:···1·(*global*)······1·(*global*)······1·(*global*)······9·(CXXABI_1.3)·116 ··1c0:···1·(*global*)······1·(*global*)······1·(*global*)······9·(CXXABI_1.3)·
117 ··1c4:···1·(*global*)······1·(*global*)······1·(*global*)······1·(*global*)···117 ··1c4:···1·(*global*)······1·(*global*)······1·(*global*)······1·(*global*)···
118 ··1c8:···1·(*global*)······1·(*global*)······1·(*global*)······1·(*global*)···118 ··1c8:···1·(*global*)······1·(*global*)······1·(*global*)······1·(*global*)···
119 ··1cc:···1·(*global*)······1·(*global*)······1·(*global*)······1·(*global*)···119 ··1cc:···1·(*global*)······1·(*global*)······1·(*global*)······1·(*global*)···
120 ··1d0:···1·(*global*)······1·(*global*)······1·(*global*)······1·(*global*)···120 ··1d0:···1·(*global*)······1·(*global*)······1·(*global*)······1·(*global*)···
  
121 Version·needs·section·'.gnu.version_r'·contains·4·entries:121 Version·needs·section·'.gnu.version_r'·contains·4·entries:
122 ·Addr:·0x00000000000074e0··Offset:·0x000074e0··Link:·5·(.dynstr)122 ·Addr:·0x00000000000074e4··Offset:·0x000074e4··Link:·5·(.dynstr)
123 ··000000:·Version:·1··File:·libc.so.6··Cnt:·2123 ··000000:·Version:·1··File:·libc.so.6··Cnt:·2
124 ··0x0010:···Name:·GLIBC_2.34··Flags:·none··Version:·2124 ··0x0010:···Name:·GLIBC_2.34··Flags:·none··Version:·2
125 ··0x0020:···Name:·GLIBC_2.4··Flags:·none··Version:·3125 ··0x0020:···Name:·GLIBC_2.4··Flags:·none··Version:·3
126 ··0x0030:·Version:·1··File:·libstdc++.so.6··Cnt:·8126 ··0x0030:·Version:·1··File:·libstdc++.so.6··Cnt:·8
127 ··0x0040:···Name:·GLIBCXX_3.4··Flags:·none··Version:·4127 ··0x0040:···Name:·GLIBCXX_3.4··Flags:·none··Version:·4
128 ··0x0050:···Name:·GLIBCXX_3.4.32··Flags:·none··Version:·5128 ··0x0050:···Name:·GLIBCXX_3.4.32··Flags:·none··Version:·5
129 ··0x0060:···Name:·GLIBCXX_3.4.9··Flags:·none··Version:·6129 ··0x0060:···Name:·GLIBCXX_3.4.9··Flags:·none··Version:·6
779 B
readelf --wide --decompress --hex-dump=.dynstr {}
    
Offset 1222, 9 lines modifiedOffset 1222, 10 lines modified
1222 ··0x00006b64·62637663·342e736f·2e37006c·6962636c·bcvc4.so.7.libcl1222 ··0x00006b64·62637663·342e736f·2e37006c·6962636c·bcvc4.so.7.libcl
1223 ··0x00006b74·6e2e736f·2e360000·00000000·00000000·n.so.6..........1223 ··0x00006b74·6e2e736f·2e360000·00000000·00000000·n.so.6..........
1224 ··0x00006b84·00000000·00000000·00000000·00000000·................1224 ··0x00006b84·00000000·00000000·00000000·00000000·................
1225 ··0x00006b94·00000000·00000000·00000000·00000000·................1225 ··0x00006b94·00000000·00000000·00000000·00000000·................
1226 ··0x00006ba4·00000000·00000000·00000000·00000000·................1226 ··0x00006ba4·00000000·00000000·00000000·00000000·................
1227 ··0x00006bb4·00000000·00000000·00000000·00000000·................1227 ··0x00006bb4·00000000·00000000·00000000·00000000·................
1228 ··0x00006bc4·00000000·00000000·00000000·00000000·................1228 ··0x00006bc4·00000000·00000000·00000000·00000000·................
1229 ··0x00006bd4·00000000·00000000·00000000·000000···...............1229 ··0x00006bd4·00000000·00000000·00000000·00000000·................
 1230 ··0x00006be4·000000······························...
  
11.4 KB
readelf --wide --decompress --hex-dump=.gnu.hash {}
    
Offset 1, 89 lines modifiedOffset 1, 89 lines modified
  
1 Hex·dump·of·section·'.gnu.hash':1 Hex·dump·of·section·'.gnu.hash':
2 ··0x00006be4·83000000·26010000·20000000·0a000000·....&...·.......2 ··0x00006be8·83000000·26010000·20000000·0a000000·....&...·.......
3 ··0x00006bf4·03420c0c·0a5824c1·401e0c55·03004505·.B...X$.@..U..E.3 ··0x00006bf8·03420c0c·0a5824c1·401e0c55·03004505·.B...X$.@..U..E.
4 ··0x00006c04·14998012·0094a488·3002021d·e0024095·........0.....@.4 ··0x00006c08·14998012·0094a488·3002021d·e0024095·........0.....@.
5 ··0x00006c14·81e8c092·4500d848·18c18230·3e770c2a·....E..H...0>w.*5 ··0x00006c18·81e8c092·4500d848·18c18230·3e770c2a·....E..H...0>w.*
6 ··0x00006c24·00822140·00540008·02454031·00202784·..!@.T...E@1.·'.6 ··0x00006c28·00822140·00540008·02454031·00202784·..!@.T...E@1.·'.
7 ··0x00006c34·005402a2·06020603·4381c544·024c2e00·.T......C..D.L..7 ··0x00006c38·005402a2·06020603·4381c544·024c2e00·.T......C..D.L..
8 ··0x00006c44·100008c8·23120488·40022088·ff038030·....#...@.·....08 ··0x00006c48·100008c8·23120488·40022088·ff038030·....#...@.·....0
9 ··0x00006c54·89820178·e3cb0577·30530210·ca2500c1·...x...w0S...%..9 ··0x00006c58·89820178·e3cb0577·30530210·ca2500c1·...x...w0S...%..
10 ··0x00006c64·01f2268c·0160271b·c0400700·051428d2·..&..`'..@....(.10 ··0x00006c68·01f2268c·0160271b·c0400700·051428d2·..&..`'..@....(.
11 ··0x00006c74·00000000·26010000·00000000·28010000·....&.......(...11 ··0x00006c78·00000000·26010000·00000000·28010000·....&.......(...
12 ··0x00006c84·00000000·2a010000·2c010000·2d010000·....*...,...-...12 ··0x00006c88·00000000·2a010000·2c010000·2d010000·....*...,...-...
13 ··0x00006c94·2f010000·00000000·30010000·00000000·/.......0.......13 ··0x00006c98·2f010000·00000000·30010000·00000000·/.......0.......
14 ··0x00006ca4·00000000·32010000·33010000·35010000·....2...3...5...14 ··0x00006ca8·00000000·32010000·33010000·35010000·....2...3...5...
15 ··0x00006cb4·00000000·00000000·37010000·39010000·........7...9...15 ··0x00006cb8·00000000·00000000·37010000·39010000·........7...9...
16 ··0x00006cc4·3d010000·00000000·3f010000·41010000·=.......?...A...16 ··0x00006cc8·3d010000·00000000·3f010000·41010000·=.......?...A...
17 ··0x00006cd4·42010000·45010000·47010000·48010000·B...E...G...H...17 ··0x00006cd8·42010000·45010000·47010000·48010000·B...E...G...H...
18 ··0x00006ce4·4a010000·00000000·4b010000·4d010000·J.......K...M...18 ··0x00006ce8·4a010000·00000000·4b010000·4d010000·J.......K...M...
19 ··0x00006cf4·51010000·52010000·53010000·55010000·Q...R...S...U...19 ··0x00006cf8·51010000·52010000·53010000·55010000·Q...R...S...U...
20 ··0x00006d04·56010000·59010000·5a010000·5b010000·V...Y...Z...[...20 ··0x00006d08·56010000·59010000·5a010000·5b010000·V...Y...Z...[...
21 ··0x00006d14·00000000·00000000·00000000·5e010000·............^...21 ··0x00006d18·00000000·00000000·00000000·5e010000·............^...
22 ··0x00006d24·5f010000·62010000·66010000·67010000·_...b...f...g...22 ··0x00006d28·5f010000·62010000·66010000·67010000·_...b...f...g...
23 ··0x00006d34·6a010000·00000000·6c010000·6e010000·j.......l...n...23 ··0x00006d38·6a010000·00000000·6c010000·6e010000·j.......l...n...
24 ··0x00006d44·70010000·71010000·73010000·74010000·p...q...s...t...24 ··0x00006d48·70010000·71010000·73010000·74010000·p...q...s...t...
25 ··0x00006d54·00000000·76010000·00000000·00000000·....v...........25 ··0x00006d58·00000000·76010000·00000000·00000000·....v...........
26 ··0x00006d64·00000000·77010000·00000000·7a010000·....w.......z...26 ··0x00006d68·00000000·77010000·00000000·7a010000·....w.......z...
27 ··0x00006d74·7b010000·7f010000·80010000·00000000·{...............27 ··0x00006d78·7b010000·7f010000·80010000·00000000·{...............
28 ··0x00006d84·82010000·83010000·84010000·00000000·................28 ··0x00006d88·82010000·83010000·84010000·00000000·................
29 ··0x00006d94·86010000·89010000·00000000·8b010000·................29 ··0x00006d98·86010000·89010000·00000000·8b010000·................
30 ··0x00006da4·8d010000·8f010000·90010000·00000000·................30 ··0x00006da8·8d010000·8f010000·90010000·00000000·................
31 ··0x00006db4·92010000·00000000·93010000·00000000·................31 ··0x00006db8·92010000·00000000·93010000·00000000·................
32 ··0x00006dc4·94010000·95010000·96010000·98010000·................32 ··0x00006dc8·94010000·95010000·96010000·98010000·................
33 ··0x00006dd4·9a010000·9b010000·9c010000·a0010000·................33 ··0x00006dd8·9a010000·9b010000·9c010000·a0010000·................
34 ··0x00006de4·a2010000·00000000·00000000·a3010000·................34 ··0x00006de8·a2010000·00000000·00000000·a3010000·................
35 ··0x00006df4·a5010000·a6010000·a7010000·a8010000·................35 ··0x00006df8·a5010000·a6010000·a7010000·a8010000·................
36 ··0x00006e04·aa010000·ad010000·ae010000·b0010000·................36 ··0x00006e08·aa010000·ad010000·ae010000·b0010000·................
37 ··0x00006e14·b3010000·b5010000·b7010000·b9010000·................37 ··0x00006e18·b3010000·b5010000·b7010000·b9010000·................
38 ··0x00006e24·00000000·ba010000·bb010000·bc010000·................38 ··0x00006e28·00000000·ba010000·bb010000·bc010000·................
39 ··0x00006e34·be010000·00000000·c0010000·00000000·................39 ··0x00006e38·be010000·00000000·c0010000·00000000·................
40 ··0x00006e44·c2010000·00000000·c3010000·c4010000·................40 ··0x00006e48·c2010000·00000000·c3010000·c4010000·................
41 ··0x00006e54·c5010000·c6010000·00000000·c8010000·................41 ··0x00006e58·c5010000·c6010000·00000000·c8010000·................
42 ··0x00006e64·ca010000·cc010000·d0010000·d1010000·................42 ··0x00006e68·ca010000·cc010000·d0010000·d1010000·................
43 ··0x00006e74·d2010000·00000000·00000000·64cdf5df·............d...43 ··0x00006e78·d2010000·00000000·00000000·64cdf5df·............d...
44 ··0x00006e84·e7a451b2·06430cd2·fbfca879·0ad993d7·..Q..C.....y....44 ··0x00006e88·e7a451b2·06430cd2·fbfca879·0ad993d7·..Q..C.....y....
45 ··0x00006e94·7de5eeea·2b27e3c2·5e4a1186·bf168470·}...+'..^J.....p45 ··0x00006e98·7de5eeea·2b27e3c2·5e4a1186·bf168470·}...+'..^J.....p
46 ··0x00006ea4·69950ea3·10667b66·13eccfb3·1f0111a3·i....f{f........46 ··0x00006ea8·69950ea3·10667b66·13eccfb3·1f0111a3·i....f{f........
47 ··0x00006eb4·fc9af299·5771a457·76047e3e·853075b1·....Wq.Wv.~>.0u.47 ··0x00006eb8·fc9af299·5771a457·76047e3e·853075b1·....Wq.Wv.~>.0u.
48 ··0x00006ec4·fe35a799·199d1424·72854c1b·9a039961·.5.....$r.L....a48 ··0x00006ec8·fe35a799·199d1424·72854c1b·9a039961·.5.....$r.L....a
49 ··0x00006ed4·48733cbd·a12637da·382ce960·1dfb7c01·Hs<..&7.8,.`..|.49 ··0x00006ed8·48733cbd·a12637da·382ce960·1dfb7c01·Hs<..&7.8,.`..|.
50 ··0x00006ee4·0e5d7ecf·bdd7ffb2·61c83a38·8adc5464·.]~.....a.:8..Td50 ··0x00006ee8·0e5d7ecf·bdd7ffb2·61c83a38·8adc5464·.]~.....a.:8..Td
51 ··0x00006ef4·78abea52·251be906·daa69e85·b328d630·x..R%........(.051 ··0x00006ef8·78abea52·251be906·daa69e85·b328d630·x..R%........(.0
52 ··0x00006f04·c175d9af·00835b56·83086e84·475a85dc·.u....[V..n.GZ..52 ··0x00006f08·c175d9af·00835b56·83086e84·475a85dc·.u....[V..n.GZ..
53 ··0x00006f14·f694553e·49337271·aefca8f0·b6ecea26·..U>I3rq.......&53 ··0x00006f18·f694553e·49337271·aefca8f0·b6ecea26·..U>I3rq.......&
54 ··0x00006f24·9ebdc441·0bfe087f·c77e72c5·cfd957e3·...A.....~r...W.54 ··0x00006f28·9ebdc441·0bfe087f·c77e72c5·cfd957e3·...A.....~r...W.
55 ··0x00006f34·e07377e7·c7c71550·cf433ac4·f055402a·.sw....P.C:..U@*55 ··0x00006f38·e07377e7·c7c71550·cf433ac4·f055402a·.sw....P.C:..U@*
56 ··0x00006f44·38064f87·7f2396aa·0d1dba29·4730ade5·8.O..#.....)G0..56 ··0x00006f48·38064f87·7f2396aa·0d1dba29·4730ade5·8.O..#.....)G0..
57 ··0x00006f54·3262dbed·e624e9b1·91fffa67·f9ab9f90·2b...$.....g....57 ··0x00006f58·3262dbed·e624e9b1·91fffa67·f9ab9f90·2b...$.....g....
58 ··0x00006f64·48470cd2·30a6e88b·5d97e13b·1cb9d051·HG..0...]..;...Q58 ··0x00006f68·48470cd2·30a6e88b·5d97e13b·1cb9d051·HG..0...]..;...Q
59 ··0x00006f74·a0e7191c·3260ac50·73ba3f71·2381d5e8·....2`.Ps.?q#...59 ··0x00006f78·a0e7191c·3260ac50·73ba3f71·2381d5e8·....2`.Ps.?q#...
60 ··0x00006f84·7840d690·fa45dcb1·6db1c9ac·f47b3dbd·x@...E..m....{=.60 ··0x00006f88·7840d690·fa45dcb1·6db1c9ac·f47b3dbd·x@...E..m....{=.
61 ··0x00006f94·413e3870·ac16b920·ad29b989·526a7b66·A>8p...·.)..Rj{f61 ··0x00006f98·413e3870·ac16b920·ad29b989·526a7b66·A>8p...·.)..Rj{f
62 ··0x00006fa4·d31f85e0·db24d2bb·6e6dff1b·1324a455·.....$..nm...$.U62 ··0x00006fa8·d31f85e0·db24d2bb·6e6dff1b·1324a455·.....$..nm...$.U
63 ··0x00006fb4·036fd5a5·3e9ff299·4be83bb7·3103915f·.o..>...K.;.1.._63 ··0x00006fb8·036fd5a5·3e9ff299·4be83bb7·3103915f·.o..>...K.;.1.._
64 ··0x00006fc4·c490ddc4·9e7e0789·73463f9e·bb822da7·.....~..sF?...-.64 ··0x00006fc8·c490ddc4·9e7e0789·73463f9e·bb822da7·.....~..sF?...-.
65 ··0x00006fd4·90558fcd·48e0780c·38e60195·d971581c·.U..H.x.8....qX.65 ··0x00006fd8·90558fcd·48e0780c·38e60195·d971581c·.U..H.x.8....qX.
66 ··0x00006fe4·671fe906·b0c387cd·35ed2e95·99a0ef00·g.......5.......66 ··0x00006fe8·671fe906·b0c387cd·35ed2e95·99a0ef00·g.......5.......
67 ··0x00006ff4·3973c804·7e8720b9·b530dc7d·f8f0ea26·9s..~.·..0.}...&67 ··0x00006ff8·3973c804·7e8720b9·b530dc7d·f8f0ea26·9s..~.·..0.}...&
68 ··0x00007004·1c73bf64·63a986be·a0ca1ece·0f042b66·.s.dc.........+f68 ··0x00007008·1c73bf64·63a986be·a0ca1ece·0f042b66·.s.dc.........+f
69 ··0x00007014·207877e7·23d407d3·9c105cfd·53184da2··xw.#.....\.S.M.69 ··0x00007018·207877e7·23d407d3·9c105cfd·53184da2··xw.#.....\.S.M.
70 ··0x00007024·3b6781e5·4e21ba29·f3559869·6dff76f5·;g..N!.).U.im.v.70 ··0x00007028·3b6781e5·4e21ba29·f3559869·6dff76f5·;g..N!.).U.im.v.
71 ··0x00007034·f333789d·4d3b3ac4·894b0cd2·5cbdd051·.3x.M;:..K..\..Q71 ··0x00007038·f333789d·4d3b3ac4·894b0cd2·5cbdd051·.3x.M;:..K..\..Q
72 ··0x00007044·3fcdd9a5·742e1506·9312409c·8f334b37·?...t.....@..3K772 ··0x00007048·3fcdd9a5·742e1506·9312409c·8f334b37·?...t.....@..3K7
73 ··0x00007054·2f07817b·ac4be3c0·28bb69d3·68b1fb14·/..{.K..(.i.h...73 ··0x00007058·2f07817b·ac4be3c0·28bb69d3·68b1fb14·/..{.K..(.i.h...
74 ··0x00007064·49110aea·5a286575·bbe3927c·936e7b66·I...Z(eu...|.n{f74 ··0x00007068·49110aea·5a286575·bbe3927c·936e7b66·I...Z(eu...|.n{f
75 ··0x00007074·6409a6ad·4573d5a5·7fa3f299·1d461186·d...Es.......F..75 ··0x00007078·6409a6ad·4573d5a5·7fa3f299·1d461186·d...Es.......F..
76 ··0x00007084·bb393e7d·e2820fb3·4345d5ec·da708604·.9>}....CE...p..76 ··0x00007088·bb393e7d·e2820fb3·4345d5ec·da708604·.9>}....CE...p..
77 ··0x00007094·365dc5c3·f7a625ba·4da8da6f·b83b66d0·6]....%.M..o.;f.77 ··0x00007098·365dc5c3·f7a625ba·4da8da6f·b83b66d0·6]....%.M..o.;f.
78 ··0x000070a4·3399b331·84bc5e32·308a4053·49c89d7e·3..1..^20.@SI..~78 ··0x000070a8·3399b331·84bc5e32·308a4053·49c89d7e·3..1..^20.@SI..~
79 ··0x000070b4·0c3a970b·fd862da7·6a062ef1·2f049e0c·.:....-.j.../...79 ··0x000070b8·0c3a970b·fd862da7·6a062ef1·2f049e0c·.:....-.j.../...
80 ··0x000070c4·c8291322·738dfc53·73d880bb·5706d7e2·.)."s..Ss...W...80 ··0x000070c8·c8291322·738dfc53·73d880bb·5706d7e2·.)."s..Ss...W...
81 ··0x000070d4·639f97ec·0e27eee7·c7d61cd4·6a7f9a7c·c....'......j..|81 ··0x000070d8·639f97ec·0e27eee7·c7d61cd4·6a7f9a7c·c....'......j..|
82 ··0x000070e4·e37f7b53·56c236dc·e516e906·41221cdc·..{SV.6.....A"..82 ··0x000070e8·e37f7b53·56c236dc·e516e906·41221cdc·..{SV.6.....A"..
83 ··0x000070f4·016805a6·8f25ba29·331f5d29·76e8ea26·.h...%.)3.])v..&83 ··0x000070f8·016805a6·8f25ba29·331f5d29·76e8ea26·.h...%.)3.])v..&
84 ··0x00007104·5db9c441·e622a1fc·5ff0e4b5·9e6f77e7·]..A.".._....ow.84 ··0x00007108·5db9c441·e622a1fc·5ff0e4b5·9e6f77e7·]..A.".._....ow.
85 ··0x00007114·3f8c3f0d·6a0943d6·9a57586b·8c3f3ac4·?.?.j.C..WXk.?:.85 ··0x00007118·3f8c3f0d·6a0943d6·9a57586b·8c3f3ac4·?.?.j.C..WXk.?:.
86 ··0x00007124·e98a5f29·3d1f96aa·9fc1d051·d060b3a4·.._)=......Q.`..86 ··0x00007128·e98a5f29·3d1f96aa·9fc1d051·d060b3a4·.._)=......Q.`..
87 ··0x00007134·2de08b02····························-...87 ··0x00007138·2de08b02····························-...
  
352 B
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.init {}
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
  
  
1 Disassembly·of·section·.init:1 Disassembly·of·section·.init:
  
2 00008418·<.init>:2 0000841c·<.init>:
3 _init():3 _init():
4 »       push»   {r3,·lr}4 »       push»   {r3,·lr}
5 »       bl»     b54c·<_start@@Base+0x34>5 »       bl»     b54c·<_start@@Base+0x34>
6 »       pop»    {r3,·pc}6 »       pop»    {r3,·pc}
55.0 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.plt {}
    
Offset 1, 1126 lines modifiedOffset 1, 1126 lines modified
  
  
  
1 Disassembly·of·section·.plt:1 Disassembly·of·section·.plt:
  
2 00008424·<__libc_start_main@plt-0x14>:2 00008428·<__libc_start_main@plt-0x14>:
3 »       push»   {lr}»       »       @·(str·lr,·[sp,·#-4]!)3 »       push»   {lr}»       »       @·(str·lr,·[sp,·#-4]!)
4 »       ldr»    lr,·[pc,·#4]»  @·8434·<CVC4::main::pOptions@@Base+0x8434>4 »       ldr»    lr,·[pc,·#4]»  @·8438·<CVC4::main::pOptions@@Base+0x8438>
5 »       add»    lr,·pc,·lr5 »       add»    lr,·pc,·lr
6 »       ldr»    pc,·[lr,·#8]!6 »       ldr»    pc,·[lr,·#8]!
7 »       andeq»  r1,·r1,·r4,·asr·#167 »       andeq»  r1,·r1,·r0,·asr·#16
  
8 00008438·<__libc_start_main@plt>:8 0000843c·<__libc_start_main@plt>:
9 »       add»    ip,·pc,·#0,·129 »       add»    ip,·pc,·#0,·12
10 »       add»    ip,·ip,·#69632»@·0x1100010 »       add»    ip,·ip,·#69632»@·0x11000
11 »       ldr»    pc,·[ip,·#2116]!»      @·0x84411 »       ldr»    pc,·[ip,·#2112]!»      @·0x840
  
12 00008444·<abort@plt>:12 00008448·<abort@plt>:
13 »       add»    ip,·pc,·#0,·1213 »       add»    ip,·pc,·#0,·12
14 »       add»    ip,·ip,·#69632»@·0x1100014 »       add»    ip,·ip,·#69632»@·0x11000
15 »       ldr»    pc,·[ip,·#2108]!»      @·0x83c15 »       ldr»    pc,·[ip,·#2104]!»      @·0x838
  
16 00008450·<__gmon_start__@plt>:16 00008454·<__gmon_start__@plt>:
17 »       add»    ip,·pc,·#0,·1217 »       add»    ip,·pc,·#0,·12
18 »       add»    ip,·ip,·#69632»@·0x1100018 »       add»    ip,·ip,·#69632»@·0x11000
19 »       ldr»    pc,·[ip,·#2100]!»      @·0x83419 »       ldr»    pc,·[ip,·#2096]!»      @·0x830
  
20 0000845c·<__cxa_finalize@plt>:20 00008460·<__cxa_finalize@plt>:
21 »       add»    ip,·pc,·#0,·1221 »       add»    ip,·pc,·#0,·12
22 »       add»    ip,·ip,·#69632»@·0x1100022 »       add»    ip,·ip,·#69632»@·0x11000
23 »       ldr»    pc,·[ip,·#2092]!»      @·0x82c23 »       ldr»    pc,·[ip,·#2088]!»      @·0x828
  
24 00008468·<operator·delete(void*)@plt>:24 0000846c·<operator·delete(void*)@plt>:
25 »       add»    ip,·pc,·#0,·1225 »       add»    ip,·pc,·#0,·12
26 »       add»    ip,·ip,·#69632»@·0x1100026 »       add»    ip,·ip,·#69632»@·0x11000
27 »       ldr»    pc,·[ip,·#2084]!»      @·0x82427 »       ldr»    pc,·[ip,·#2080]!»      @·0x820
  
28 00008474·<std::ios_base::ios_base()@plt>:28 00008478·<std::ios_base::ios_base()@plt>:
29 »       add»    ip,·pc,·#0,·1229 »       add»    ip,·pc,·#0,·12
30 »       add»    ip,·ip,·#69632»@·0x1100030 »       add»    ip,·ip,·#69632»@·0x11000
31 »       ldr»    pc,·[ip,·#2076]!»      @·0x81c31 »       ldr»    pc,·[ip,·#2072]!»      @·0x818
  
32 00008480·<std::basic_ios<char,·std::char_traits<char>·>::init(std::basic_streambuf<char,·std::char_traits<char>·>*)@plt>:32 00008484·<std::basic_ios<char,·std::char_traits<char>·>::init(std::basic_streambuf<char,·std::char_traits<char>·>*)@plt>:
33 »       add»    ip,·pc,·#0,·1233 »       add»    ip,·pc,·#0,·12
34 »       add»    ip,·ip,·#69632»@·0x1100034 »       add»    ip,·ip,·#69632»@·0x11000
35 »       ldr»    pc,·[ip,·#2068]!»      @·0x81435 »       ldr»    pc,·[ip,·#2064]!»      @·0x810
  
36 0000848c·<std::locale::locale()@plt>:36 00008490·<std::locale::locale()@plt>:
37 »       add»    ip,·pc,·#0,·1237 »       add»    ip,·pc,·#0,·12
38 »       add»    ip,·ip,·#69632»@·0x1100038 »       add»    ip,·ip,·#69632»@·0x11000
39 »       ldr»    pc,·[ip,·#2060]!»      @·0x80c39 »       ldr»    pc,·[ip,·#2056]!»      @·0x808
  
40 00008498·<std::basic_ostream<char,·std::char_traits<char>·>&·std::__ostream_insert<char,·std::char_traits<char>·>(std::basic_ostream<char,·std::char_traits<char>·>&,·char·const*,·int)@plt>:40 0000849c·<std::basic_ostream<char,·std::char_traits<char>·>&·std::__ostream_insert<char,·std::char_traits<char>·>(std::basic_ostream<char,·std::char_traits<char>·>&,·char·const*,·int)@plt>:
41 »       add»    ip,·pc,·#0,·1241 »       add»    ip,·pc,·#0,·12
42 »       add»    ip,·ip,·#69632»@·0x1100042 »       add»    ip,·ip,·#69632»@·0x11000
43 »       ldr»    pc,·[ip,·#2052]!»      @·0x80443 »       ldr»    pc,·[ip,·#2048]!»      @·0x800
  
44 000084a4·<CVC4::Options::getBinaryName[abi:cxx11]()·const@plt>:44 000084a8·<CVC4::Options::getBinaryName[abi:cxx11]()·const@plt>:
45 »       add»    ip,·pc,·#0,·1245 »       add»    ip,·pc,·#0,·12
46 »       add»    ip,·ip,·#69632»@·0x1100046 »       add»    ip,·ip,·#69632»@·0x11000
47 »       ldr»    pc,·[ip,·#2044]!»      @·0x7fc47 »       ldr»    pc,·[ip,·#2040]!»      @·0x7f8
  
48 000084b0·<std::ostream::put(char)@plt>:48 000084b4·<std::ostream::put(char)@plt>:
49 »       add»    ip,·pc,·#0,·1249 »       add»    ip,·pc,·#0,·12
50 »       add»    ip,·ip,·#69632»@·0x1100050 »       add»    ip,·ip,·#69632»@·0x11000
51 »       ldr»    pc,·[ip,·#2036]!»      @·0x7f451 »       ldr»    pc,·[ip,·#2032]!»      @·0x7f0
  
52 000084bc·<std::ostream::flush()@plt>:52 000084c0·<std::ostream::flush()@plt>:
53 »       add»    ip,·pc,·#0,·1253 »       add»    ip,·pc,·#0,·12
54 »       add»    ip,·ip,·#69632»@·0x1100054 »       add»    ip,·ip,·#69632»@·0x11000
55 »       ldr»    pc,·[ip,·#2028]!»      @·0x7ec55 »       ldr»    pc,·[ip,·#2024]!»      @·0x7e8
  
56 000084c8·<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_replace(unsigned·int,·unsigned·int,·char·const*,·unsigned·int)@plt>:56 000084cc·<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_replace(unsigned·int,·unsigned·int,·char·const*,·unsigned·int)@plt>:
57 »       add»    ip,·pc,·#0,·1257 »       add»    ip,·pc,·#0,·12
58 »       add»    ip,·ip,·#69632»@·0x1100058 »       add»    ip,·ip,·#69632»@·0x11000
59 »       ldr»    pc,·[ip,·#2020]!»      @·0x7e459 »       ldr»    pc,·[ip,·#2016]!»      @·0x7e0
  
60 000084d4·<CVC4::Options::getOut()@plt>:60 000084d8·<CVC4::Options::getOut()@plt>:
61 »       add»    ip,·pc,·#0,·1261 »       add»    ip,·pc,·#0,·12
62 »       add»    ip,·ip,·#69632»@·0x1100062 »       add»    ip,·ip,·#69632»@·0x11000
63 »       ldr»    pc,·[ip,·#2012]!»      @·0x7dc63 »       ldr»    pc,·[ip,·#2008]!»      @·0x7d8
  
64 000084e0·<CVC4::Options::printShortUsage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::ostream&)@plt>:64 000084e4·<CVC4::Options::printShortUsage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::ostream&)@plt>:
65 »       add»    ip,·pc,·#0,·1265 »       add»    ip,·pc,·#0,·12
66 »       add»    ip,·ip,·#69632»@·0x1100066 »       add»    ip,·ip,·#69632»@·0x11000
67 »       ldr»    pc,·[ip,·#2004]!»      @·0x7d467 »       ldr»    pc,·[ip,·#2000]!»      @·0x7d0
  
68 000084ec·<std::locale::~locale()@plt>:68 000084f0·<std::locale::~locale()@plt>:
69 »       add»    ip,·pc,·#0,·1269 »       add»    ip,·pc,·#0,·12
70 »       add»    ip,·ip,·#69632»@·0x1100070 »       add»    ip,·ip,·#69632»@·0x11000
71 »       ldr»    pc,·[ip,·#1996]!»      @·0x7cc71 »       ldr»    pc,·[ip,·#1992]!»      @·0x7c8
  
72 000084f8·<std::ios_base::~ios_base()@plt>:72 000084fc·<std::ios_base::~ios_base()@plt>:
73 »       add»    ip,·pc,·#0,·1273 »       add»    ip,·pc,·#0,·12
74 »       add»    ip,·ip,·#69632»@·0x1100074 »       add»    ip,·ip,·#69632»@·0x11000
75 »       ldr»    pc,·[ip,·#1988]!»      @·0x7c475 »       ldr»    pc,·[ip,·#1984]!»      @·0x7c0
  
76 00008504·<CVC4::Options::printUsage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::ostream&)@plt>:76 00008508·<CVC4::Options::printUsage(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>,·std::ostream&)@plt>:
77 »       add»    ip,·pc,·#0,·1277 »       add»    ip,·pc,·#0,·12
78 »       add»    ip,·ip,·#69632»@·0x1100078 »       add»    ip,·ip,·#69632»@·0x11000
79 »       ldr»    pc,·[ip,·#1980]!»      @·0x7bc79 »       ldr»    pc,·[ip,·#1976]!»      @·0x7b8
  
80 00008510·<std::ctype<char>::_M_widen_init()·const@plt>:80 00008514·<std::ctype<char>::_M_widen_init()·const@plt>:
81 »       add»    ip,·pc,·#0,·1281 »       add»    ip,·pc,·#0,·12
82 »       add»    ip,·ip,·#69632»@·0x1100082 »       add»    ip,·ip,·#69632»@·0x11000
83 »       ldr»    pc,·[ip,·#1972]!»      @·0x7b483 »       ldr»    pc,·[ip,·#1968]!»      @·0x7b0
  
84 0000851c·<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_assign(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@plt>:84 00008520·<std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_assign(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>·const&)@plt>:
85 »       add»    ip,·pc,·#0,·1285 »       add»    ip,·pc,·#0,·12
86 »       add»    ip,·ip,·#69632»@·0x1100086 »       add»    ip,·ip,·#69632»@·0x11000
87 »       ldr»    pc,·[ip,·#1964]!»      @·0x7ac87 »       ldr»    pc,·[ip,·#1960]!»      @·0x7a8
  
88 00008528·<std::__throw_bad_cast()@plt>:88 0000852c·<std::__throw_bad_cast()@plt>:
89 »       add»    ip,·pc,·#0,·1289 »       add»    ip,·pc,·#0,·12
90 »       add»    ip,·ip,·#69632»@·0x1100090 »       add»    ip,·ip,·#69632»@·0x11000
91 »       ldr»    pc,·[ip,·#1956]!»      @·0x7a491 »       ldr»    pc,·[ip,·#1952]!»      @·0x7a0
  
92 00008534·<std::__cxx11::basic_stringstream<char,·std::char_traits<char>,·std::allocator<char>·>::~basic_stringstream()@plt>:92 00008538·<std::__cxx11::basic_stringstream<char,·std::char_traits<char>,·std::allocator<char>·>::~basic_stringstream()@plt>:
93 »       add»    ip,·pc,·#0,·1293 »       add»    ip,·pc,·#0,·12
94 »       add»    ip,·ip,·#69632»@·0x1100094 »       add»    ip,·ip,·#69632»@·0x11000
95 »       ldr»    pc,·[ip,·#1948]!»      @·0x79c95 »       ldr»    pc,·[ip,·#1944]!»      @·0x798
  
96 00008540·<__stack_chk_fail@plt>:96 00008544·<__stack_chk_fail@plt>:
97 »       add»    ip,·pc,·#0,·1297 »       add»    ip,·pc,·#0,·12
98 »       add»    ip,·ip,·#69632»@·0x1100098 »       add»    ip,·ip,·#69632»@·0x11000
99 »       ldr»    pc,·[ip,·#1940]!»      @·0x79499 »       ldr»    pc,·[ip,·#1936]!»      @·0x790
  
Max diff block lines reached; 49573/56185 bytes (88.23%) of diff not shown.
827 KB
objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
    
Offset 22, 26 lines modifiedOffset 22, 26 lines modified
22 /usr/include/c++/13/bits/basic_string.h:63622 /usr/include/c++/13/bits/basic_string.h:636
23 »       ldrbtmi»r4,·[sl],·#-2846»  @·0xfffff4e223 »       ldrbtmi»r4,·[sl],·#-2846»  @·0xfffff4e2
24 »       ldmdavs»sl,·{r0,·r1,·r4,·r6,·r7,·fp,·ip,·lr}24 »       ldmdavs»sl,·{r0,·r1,·r4,·r6,·r7,·fp,·ip,·lr}
25 »       subsmi» r9,·sl,·r1,·lsl·#2225 »       subsmi» r9,·sl,·r1,·lsl·#22
26 »       movweq» pc,·#79»   @·0x4f»      @·<UNPREDICTABLE>26 »       movweq» pc,·#79»   @·0x4f»      @·<UNPREDICTABLE>
27 »       ldmdami»ip,·{r0,·r2,·r3,·r5,·r8,·ip,·lr,·pc}27 »       ldmdami»ip,·{r0,·r2,·r3,·r5,·r8,·ip,·lr,·pc}
28 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff447828 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4478
29 »       »       »       @·<UNDEFINED>·instruction:·0x4604ec9a29 »       »       »       @·<UNDEFINED>·instruction:·0x4604ec9c
30 std::char_traits<char>::length(char·const*):30 std::char_traits<char>::length(char·const*):
31 /usr/include/c++/13/bits/char_traits.h:40931 /usr/include/c++/13/bits/char_traits.h:409
32 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff463032 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4630
33 »       strmi»  lr,·[r5],·-sl,·ror·#2233 »       strmi»  lr,·[r5],·-ip,·ror·#22
34 void·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_construct<char·const*>(char·const*,·char·const*,·std::forward_iterator_tag):34 void·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_construct<char·const*>(char·const*,·char·const*,·std::forward_iterator_tag):
35 /usr/include/c++/13/bits/basic_string.tcc:22335 /usr/include/c++/13/bits/basic_string.tcc:223
36 »       andls»  r2,·r0,·pc,·lsl·#1636 »       andls»  r2,·r0,·pc,·lsl·#16
37 »       andcs»  sp,·r0,·#114688»     @·0x1c00037 »       andcs»  sp,·r0,·#114688»     @·0x1c000
38 /usr/include/c++/13/bits/basic_string.tcc:22538 /usr/include/c++/13/bits/basic_string.tcc:225
39 »       strtmi» r4,·[r0],·-r9,·ror·#1239 »       strtmi» r4,·[r0],·-r9,·ror·#12
40 »       stc»    7,·cr15,·[r0],·#-1020»  @·0xfffffc0440 »       stc»    7,·cr15,·[r2],·#-1020»  @·0xfffffc04
41 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_capacity(unsigned·int):41 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_capacity(unsigned·int):
42 /usr/include/c++/13/bits/basic_string.h:25042 /usr/include/c++/13/bits/basic_string.h:250
43 »       eorvs»  r9,·r0,·r0,·lsl·#2243 »       eorvs»  r9,·r0,·r0,·lsl·#22
44 »       stmdavs»r0!,·{r0,·r1,·r5,·r7,·sp,·lr}44 »       stmdavs»r0!,·{r0,·r1,·r5,·r7,·sp,·lr}
45 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_S_copy(char*,·char·const*,·unsigned·int):45 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_S_copy(char*,·char·const*,·unsigned·int):
46 /usr/include/c++/13/bits/basic_string.h:41746 /usr/include/c++/13/bits/basic_string.h:417
47 »       tstle»  r2,·r1,·lsl·#2647 »       tstle»  r2,·r1,·lsl·#26
Offset 49, 30 lines modifiedOffset 49, 30 lines modified
49 /usr/include/c++/13/bits/char_traits.h:36849 /usr/include/c++/13/bits/char_traits.h:368
50 »       andvc»  r7,·r3,·r3,·lsr·r850 »       andvc»  r7,·r3,·r3,·lsr·r8
51 /usr/include/c++/13/bits/char_traits.h:36951 /usr/include/c++/13/bits/char_traits.h:369
52 »       tstlt»  sp,·r452 »       tstlt»  sp,·r4
53 std::char_traits<char>::copy(char*,·char·const*,·unsigned·int):53 std::char_traits<char>::copy(char*,·char·const*,·unsigned·int):
54 /usr/include/c++/13/bits/char_traits.h:44554 /usr/include/c++/13/bits/char_traits.h:445
55 »       ldrtmi» r4,·[r1],·-sl,·lsr·#1255 »       ldrtmi» r4,·[r1],·-sl,·lsr·#12
56 »       ldc»    7,·cr15,·[r8],·{255}»   @·0xff56 »       ldc»    7,·cr15,·[sl],·{255}»   @·0xff
57 void·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_construct<char·const*>(char·const*,·char·const*,·std::forward_iterator_tag):57 void·std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_construct<char·const*>(char·const*,·char·const*,·std::forward_iterator_tag):
58 /usr/include/c++/13/bits/basic_string.tcc:24758 /usr/include/c++/13/bits/basic_string.tcc:247
59 »       tstcs»  r0,·r0,·lsl·#2259 »       tstcs»  r0,·r0,·lsl·#22
60 std::char_traits<char>::assign(char&,·char·const&):60 std::char_traits<char>::assign(char&,·char·const&):
61 /usr/include/c++/13/bits/char_traits.h:36861 /usr/include/c++/13/bits/char_traits.h:368
62 »       rsbvs»  r6,·r3,·r2,·lsr·#1662 »       rsbvs»  r6,·r3,·r2,·lsr·#16
63 »       bmi»    2de274·<_end@@Base+0x2c2b83>63 »       bmi»    2de274·<_end@@Base+0x2c2b83>
64 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::basic_string(char·const*,·std::allocator<char>·const&):64 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::basic_string(char·const*,·std::allocator<char>·const&):
65 /usr/include/c++/13/bits/basic_string.h:64065 /usr/include/c++/13/bits/basic_string.h:640
66 »       ldrbtmi»r4,·[sl],·#-2823»  @·0xfffff4f966 »       ldrbtmi»r4,·[sl],·#-2823»  @·0xfffff4f9
67 »       ldmdavs»sl,·{r0,·r1,·r4,·r6,·r7,·fp,·ip,·lr}67 »       ldmdavs»sl,·{r0,·r1,·r4,·r6,·r7,·fp,·ip,·lr}
68 »       subsmi» r9,·sl,·r1,·lsl·#2268 »       subsmi» r9,·sl,·r1,·lsl·#22
69 »       movweq» pc,·#79»   @·0x4f»      @·<UNPREDICTABLE>69 »       movweq» pc,·#79»   @·0x4f»      @·<UNPREDICTABLE>
70 »       »       »       @·<UNDEFINED>·instruction:·0xf7ffd00170 »       »       »       @·<UNDEFINED>·instruction:·0xf7ffd001
71 »       andlt»  lr,·r2,·r0,·lsl·#2271 »       andlt»  lr,·r2,·r2,·lsl·#22
72 »       svclt»  0x0000bd7072 »       svclt»  0x0000bd70
73 »       »       »       @·<UNDEFINED>·instruction:·0x00010dba73 »       »       »       @·<UNDEFINED>·instruction:·0x00010dba
74 »       »       »       @·<UNDEFINED>·instruction:·0xfffffe4474 »       »       »       @·<UNDEFINED>·instruction:·0xfffffe44
75 »       andeq»  r0,·r1,·r2,·lsr·#2775 »       andeq»  r0,·r1,·r2,·lsr·#27
76 »       andeq»  ip,·r0,·ip,·ror·#976 »       andeq»  ip,·r0,·ip,·ror·#9
77 »       andeq»  r0,·r1,·r6,·asr·#2677 »       andeq»  r0,·r1,·r6,·asr·#26
78 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::basic_string(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>&&):78 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::basic_string(std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>&&):
Offset 92, 15 lines modifiedOffset 92, 15 lines modified
92 »       adcsmi» r3,·r3,·#8,·22»      @·0x200092 »       adcsmi» r3,·r3,·#8,·22»      @·0x2000
93 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_is_local()·const:93 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_is_local()·const:
94 /usr/include/c++/13/bits/basic_string.h:264·(discriminator·2)94 /usr/include/c++/13/bits/basic_string.h:264·(discriminator·2)
95 »       andcc»  sp,·r1,·#4,·295 »       andcc»  sp,·r1,·#4,·2
96 std::char_traits<char>::copy(char*,·char·const*,·unsigned·int):96 std::char_traits<char>::copy(char*,·char·const*,·unsigned·int):
97 /usr/include/c++/13/bits/char_traits.h:44597 /usr/include/c++/13/bits/char_traits.h:445
98 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff463198 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4631
99 »       and»    lr,·r2,·ip,·ror·#2399 »       and»    lr,·r2,·lr,·ror·#23
100 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_capacity(unsigned·int):100 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_capacity(unsigned·int):
101 /usr/include/c++/13/bits/basic_string.h:250101 /usr/include/c++/13/bits/basic_string.h:250
102 »       eorvs»  r6,·fp,·sl,·lsl·#17102 »       eorvs»  r6,·fp,·sl,·lsl·#17
103 »       stmdavs»r2!,·{r1,·r3,·r5,·r7,·sp,·lr}^103 »       stmdavs»r2!,·{r1,·r3,·r5,·r7,·sp,·lr}^
104 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_length(unsigned·int):104 std::__cxx11::basic_string<char,·std::char_traits<char>,·std::allocator<char>·>::_M_length(unsigned·int):
105 /usr/include/c++/13/bits/basic_string.h:218105 /usr/include/c++/13/bits/basic_string.h:218
106 »       rsbvs»  r2,·sl,·r0,·lsl·#6106 »       rsbvs»  r2,·sl,·r0,·lsl·#6
Offset 118, 85 lines modifiedOffset 118, 85 lines modified
118 ./obj-arm-linux-gnueabihf/src/main/./src/main/driver_unified.cpp:510118 ./obj-arm-linux-gnueabihf/src/main/./src/main/driver_unified.cpp:510
119 »       ldrbtmi»r4,·[ip],·#-3638»  @·0xfffff1ca119 »       ldrbtmi»r4,·[ip],·#-3638»  @·0xfffff1ca
120 /usr/include/cln/io.h:76·(discriminator·1)120 /usr/include/cln/io.h:76·(discriminator·1)
121 »       »       »       @·<UNDEFINED>·instruction:·0xf1044d36121 »       »       »       @·<UNDEFINED>·instruction:·0xf1044d36
122 /usr/include/cln/io.h:76122 /usr/include/cln/io.h:76
123 »       ldrbtmi»r0,·[lr],·#-1808»  @·0xfffff8f0123 »       ldrbtmi»r0,·[lr],·#-1808»  @·0xfffff8f0
124 »       ldrbtmi»r4,·[sp],·#-1592»  @·0xfffff9c8124 »       ldrbtmi»r4,·[sp],·#-1592»  @·0xfffff9c8
125 »       ldc»    7,·cr15,·[r0],·#1020»   @·0x3fc125 »       ldc»    7,·cr15,·[r2],·#1020»   @·0x3fc
126 /usr/include/cln/io.h:76·(discriminator·1)126 /usr/include/cln/io.h:76·(discriminator·1)
127 »       »       »       @·<UNDEFINED>·instruction:·0x462a4b33127 »       »       »       @·<UNDEFINED>·instruction:·0x462a4b33
128 »       »       »       @·<UNDEFINED>·instruction:·0xf1044638128 »       »       »       @·<UNDEFINED>·instruction:·0xf1044638
129 /usr/include/cln/random.h:43129 /usr/include/cln/random.h:43
130 »       ldmpl»  r3!,·{r2,·r4,·r8,·r9,·sl}^130 »       ldmpl»  r3!,·{r2,·r4,·r8,·r9,·sl}^
131 /usr/include/cln/io.h:76·(discriminator·1)131 /usr/include/cln/io.h:76·(discriminator·1)
132 »       ldrmi»  r9,·[r9],·-r1,·lsl·#6132 »       ldrmi»  r9,·[r9],·-r1,·lsl·#6
133 »       stc»    7,·cr15,·[ip],·#1020»   @·0x3fc133 »       stc»    7,·cr15,·[lr],·#1020»   @·0x3fc
134 /usr/include/cln/random.h:43134 /usr/include/cln/random.h:43
135 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4638135 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4638
136 »       blmi»   bc428c·<_end@@Base+0xba8b9b>136 »       blmi»   bc4294·<_end@@Base+0xba8ba3>
137 /usr/include/cln/random.h:43·(discriminator·1)137 /usr/include/cln/random.h:43·(discriminator·1)
138 »       ldrtmi» r4,·[r8],·-sl,·lsr·#12138 »       ldrtmi» r4,·[r8],·-sl,·lsr·#12
139 /usr/include/cln/ring.h:392139 /usr/include/cln/ring.h:392
140 »       ldreq»  pc,·[r8,·-r4,·lsl·#2]140 »       ldreq»  pc,·[r8,·-r4,·lsl·#2]
141 /usr/include/cln/random.h:43·(discriminator·1)141 /usr/include/cln/random.h:43·(discriminator·1)
142 »       movwls» r5,·#6387» @·0x18f3142 »       movwls» r5,·#6387» @·0x18f3
143 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4619143 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4619
144 »       ldrtmi» lr,·[r8],·-r0,·lsr·#25144 »       ldrtmi» lr,·[r8],·-r2,·lsr·#25
145 /usr/include/cln/ring.h:392145 /usr/include/cln/ring.h:392
146 »       stc»    7,·cr15,·[r8],·#1020»   @·0x3fc146 »       stc»    7,·cr15,·[sl],·#1020»   @·0x3fc
147 /usr/include/cln/ring.h:392·(discriminator·1)147 /usr/include/cln/ring.h:392·(discriminator·1)
148 »       strtmi» r4,·[sl],·-r8,·lsr·#22148 »       strtmi» r4,·[sl],·-r8,·lsr·#22
149 »       »       »       @·<UNDEFINED>·instruction:·0xf1044638149 »       »       »       @·<UNDEFINED>·instruction:·0xf1044638
150 /usr/include/cln/modinteger.h:57150 /usr/include/cln/modinteger.h:57
151 »       ldmpl»  r3!,·{r2,·r3,·r4,·r8,·r9,·sl}^151 »       ldmpl»  r3!,·{r2,·r3,·r4,·r8,·r9,·sl}^
152 /usr/include/cln/ring.h:392·(discriminator·1)152 /usr/include/cln/ring.h:392·(discriminator·1)
153 »       ldrmi»  r9,·[r9],·-r1,·lsl·#6153 »       ldrmi»  r9,·[r9],·-r1,·lsl·#6
154 »       ldc»    7,·cr15,·[r2],·{255}»   @·0xff154 »       ldc»    7,·cr15,·[r4],·{255}»   @·0xff
155 /usr/include/cln/modinteger.h:57155 /usr/include/cln/modinteger.h:57
156 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4638156 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4638
157 »       blmi»   904288·<_end@@Base+0x8e8b97>157 »       blmi»   904290·<_end@@Base+0x8e8b9f>
158 /usr/include/cln/modinteger.h:57·(discriminator·1)158 /usr/include/cln/modinteger.h:57·(discriminator·1)
159 »       ldrtmi» r4,·[r8],·-sl,·lsr·#12159 »       ldrtmi» r4,·[r8],·-sl,·lsr·#12
160 /usr/include/cln/modinteger.h:370160 /usr/include/cln/modinteger.h:370
161 »       streq»  pc,·[r0,·-r4,·lsl·#2]!161 »       streq»  pc,·[r0,·-r4,·lsl·#2]!
162 /usr/include/cln/modinteger.h:57·(discriminator·1)162 /usr/include/cln/modinteger.h:57·(discriminator·1)
163 »       andhi»  pc,·r3,·r6,·asr·r8»    @·<UNPREDICTABLE>163 »       andhi»  pc,·r3,·r6,·asr·r8»    @·<UNPREDICTABLE>
164 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4641164 »       »       »       @·<UNDEFINED>·instruction:·0xf7ff4641
165 »       ldrtmi» lr,·[r8],·-r6,·lsl·#25165 »       ldrtmi» lr,·[r8],·-r8,·lsl·#25
166 /usr/include/cln/modinteger.h:370166 /usr/include/cln/modinteger.h:370
167 »       ldc»    7,·cr15,·[r4],·{255}»   @·0xff167 »       ldc»    7,·cr15,·[r6],·{255}»   @·0xff
168 /usr/include/cln/modinteger.h:370·(discriminator·1)168 /usr/include/cln/modinteger.h:370·(discriminator·1)
169 »       strbmi» r4,·[r1],·-sl,·lsr·#12169 »       strbmi» r4,·[r1],·-sl,·lsr·#12
170 »       »       »       @·<UNDEFINED>·instruction:·0xf1044638170 »       »       »       @·<UNDEFINED>·instruction:·0xf1044638
Max diff block lines reached; 840452/846703 bytes (99.26%) of diff not shown.
11.7 KB
readelf --wide --decompress --hex-dump=.ARM.extab {}
    
Offset 1, 16 lines modifiedOffset 1, 16 lines modified
  
1 Hex·dump·of·section·'.ARM.extab':1 Hex·dump·of·section·'.ARM.extab':
2 ··0x00016670·3022ff7f·af3f0a00·ffff0154·7604da09·0"...?.....Tv...2 ··0x00016670·3422ff7f·af3f0a00·ffff0154·7604da09·4"...?.....Tv...
3 ··0x00016680·00900104·e20a008c·02048c0a·009a0210·................3 ··0x00016680·00900104·e20a008c·02048c0a·009a0210·................
4 ··0x00016690·bc0900b0·028a0288·0a008805·04fe0900·................4 ··0x00016690·bc0900b0·028a0288·0a008805·04fe0900·................
5 ··0x000166a0·8e050c8a·0a00e806·04860a00·ee060ce4·................5 ··0x000166a0·8e050c8a·0a00e806·04860a00·ee060ce4·................
6 ··0x000166b0·0a00fe06·ae01880a·00b40804·860a00be·................6 ··0x000166b0·0a00fe06·ae01880a·00b40804·860a00be·................
7 ··0x000166c0·0804fe09·00d80864·880a00fa·09040000·.......d........7 ··0x000166c0·0804fe09·00d80864·880a00fa·09040000·.......d........
8 ··0x000166d0·d021ff7f·af3f2000·ff90c004·01b50430·.!...?·........08 ··0x000166d0·d421ff7f·af3f2000·ff90c004·01b50430·.!...?·........0
9 ··0x000166e0·be010000·f80104de·38008402·32983800·........8...2.8.9 ··0x000166e0·be010000·f80104de·38008402·32983800·........8...2.8.
10 ··0x000166f0·ca020aa6·39009203·40983800·8404ba01·....9...@.8.....10 ··0x000166f0·ca020aa6·39009203·40983800·8404ba01·....9...@.8.....
11 ··0x00016700·d83a00c2·0504cc3a·00de0504·d83a00de·.:.....:.....:..11 ··0x00016700·d83a00c2·0504cc3a·00de0504·d83a00de·.:.....:.....:..
12 ··0x00016710·0604dc38·009a0704·9e3500ac·0726e635·...8.....5...&.512 ··0x00016710·0604dc38·009a0704·9e3500ac·0726e635·...8.....5...&.5
13 ··0x00016720·009e0804·9c3500c0·0804a032·00de0804·.....5.....2....13 ··0x00016720·009e0804·9c3500c0·0804a032·00de0804·.....5.....2....
14 ··0x00016730·903800ee·08048e38·00fe0804·fc3703ac·.8.....8.....7..14 ··0x00016730·903800ee·08048e38·00fe0804·fc3703ac·.8.....8.....7..
15 ··0x00016740·0972fa37·00ee0a04·d83a00ae·0b48fa37·.r.7.....:...H.715 ··0x00016740·0972fa37·00ee0a04·d83a00ae·0b48fa37·.r.7.....:...H.7
Offset 38, 60 lines modifiedOffset 38, 60 lines modified
38 ··0x000168a0·9c3800d4·3004e635·00da3008·983800c0·.8..0..5..0..8..38 ··0x000168a0·9c3800d4·3004e635·00da3008·983800c0·.8..0..5..0..8..
39 ··0x000168b0·3104c235·00b43226·a8350088·35040000·1..5..2&.5..5...39 ··0x000168b0·3104c235·00b43226·a8350088·35040000·1..5..2&.5..5...
40 ··0x000168c0·8236048a·3700d036·04923700·863704e6·.6..7..6..7..7..40 ··0x000168c0·8236048a·3700d036·04923700·863704e6·.6..7..6..7..7..
41 ··0x000168d0·3500ac37·04e03700·dc3704f4·37008638·5..7..7..7..7..841 ··0x000168d0·3500ac37·04e03700·dc3704f4·37008638·5..7..7..7..7..8
42 ··0x000168e0·04fa3700·ba3816a0·3b00d038·04c43100·..7..8..;..8..1.42 ··0x000168e0·04fa3700·ba3816a0·3b00d038·04c43100·..7..8..;..8..1.
43 ··0x000168f0·f23804f8·3000a239·04bc3a00·d43904be·.8..0..9..:..9..43 ··0x000168f0·f23804f8·3000a239·04bc3a00·d43904be·.8..0..9..:..9..
44 ··0x00016900·3a00b83a·04983800·ec3a04a6·3b009c3b·:..:..8..:..;..;44 ··0x00016900·3a00b83a·04983800·ec3a04a6·3b009c3b·:..:..8..:..;..;
45 ··0x00016910·04be3b00·0000017d·84320000·841fff7f·..;....}.2......45 ··0x00016910·04be3b00·0000017d·84320000·881fff7f·..;....}.2......
46 ··0x00016920·b0ab0800·ffff010a·4e04a601·00840144·........N......D46 ··0x00016920·b0ab0800·ffff010a·4e04a601·00840144·........N......D
47 ··0x00016930·00000000·6c1fff7f·b0aa0b00·ffff010a·....l...........47 ··0x00016930·00000000·701fff7f·b0aa0b00·ffff010a·....p...........
48 ··0x00016940·5c04b401·00920144·00000000·541fff7f·\......D....T...48 ··0x00016940·5c04b401·00920144·00000000·581fff7f·\......D....X...
49 ··0x00016950·b0af0c00·ffff0116·44048002·00960104·........D.......49 ··0x00016950·b0af0c00·ffff0116·44048002·00960104·........D.......
50 ··0x00016960·fe0100a2·0104ce01·009a0204·00000000·................50 ··0x00016960·fe0100a2·0104ce01·009a0204·00000000·................
51 ··0x00016970·301fff7f·b0af0800·ffff0116·4030f201·0...........@0..51 ··0x00016970·341fff7f·b0af0800·ffff0116·4030f201·4...........@0..
52 ··0x00016980·00da0104·c80200a8·0220f201·00e80204·.........·......52 ··0x00016980·00da0104·c80200a8·0220f201·00e80204·.........·......
53 ··0x00016990·00000000·0c1fff7f·af3f0800·ffff012e·.........?......53 ··0x00016990·00000000·101fff7f·af3f0800·ffff012e·.........?......
54 ··0x000169a0·6a049c05·00880104·920500fe·01049a04·j...............54 ··0x000169a0·6a049c05·00880104·920500fe·01049a04·j...............
55 ··0x000169b0·008a0202·fc0300ca·02049e05·00d20204·................55 ··0x000169b0·008a0202·fc0300ca·02049e05·00d20204·................
56 ··0x000169c0·940500f6·03049e05·008e0504·00000000·................56 ··0x000169c0·940500f6·03049e05·008e0504·00000000·................
57 ··0x000169d0·d01eff7f·af3f1200·ffff0135·b40104f6·.....?.....5....57 ··0x000169d0·d41eff7f·af3f1200·ffff0135·b40104f6·.....?.....5....
58 ··0x000169e0·0500cc01·04f80500·c80204fa·0400d002·................58 ··0x000169e0·0500cc01·04f80500·c80204fa·0400d002·................
59 ··0x000169f0·04880600·9003048a·06009803·04fa0500·................59 ··0x000169f0·04880600·9003048a·06009803·04fa0500·................
60 ··0x00016a00·d2040400·00ee0404·8a0600f6·049a0100·................60 ··0x00016a00·d2040400·00ee0404·8a0600f6·049a0100·................
61 ··0x00016a10·00000000·8c1eff7f·af3f1000·ffff0135·.........?.....561 ··0x00016a10·00000000·901eff7f·af3f1000·ffff0135·.........?.....5
62 ··0x00016a20·a20104fc·0500c001·04fe0500·c00204fe·................62 ··0x00016a20·a20104fc·0500c001·04fe0500·c00204fe·................
63 ··0x00016a30·0400ca02·048e0600·90030490·06009803·................63 ··0x00016a30·0400ca02·048e0600·90030490·06009803·................
64 ··0x00016a40·04800600·d4040400·00f00404·900600fa·................64 ··0x00016a40·04800600·d4040400·00f00404·900600fa·................
65 ··0x00016a50·049c0100·00000000·481eff7f·b0ab2a00·........H.....*.65 ··0x00016a50·049c0100·00000000·4c1eff7f·b0ab2a00·........L.....*.
66 ··0x00016a60·ff902d01·1a1e0400·002a0452·058a0136·..-......*.R...666 ··0x00016a60·ff902d01·1a1e0400·002a0452·058a0136·..-......*.R...6
67 ··0x00016a70·be0200d2·019a01ee·0200f002·04000000·................67 ··0x00016a70·be0200d2·019a01ee·0200f002·04000000·................
68 ··0x00016a80·00027d01·7d000000·08310000·f0300000·..}.}....1...0..68 ··0x00016a80·00027d01·7d000000·08310000·f0300000·..}.}....1...0..
69 ··0x00016a90·101eff7f·b0ac0700·ffff011f·34049c02·............4...69 ··0x00016a90·141eff7f·b0ac0700·ffff011f·34049c02·............4...
70 ··0x00016aa0·003c049a·02004404·94020072·04a40100·.<....D....r....70 ··0x00016aa0·003c049a·02004404·94020072·04a40100·.<....D....r....
71 ··0x00016ab0·840104d8·01009602·04000000·e41dff7f·................71 ··0x00016ab0·840104d8·01009602·04000000·e81dff7f·................
72 ··0x00016ac0·b0b0aa00·ffff010c·060c0000·16044400·..............D.72 ··0x00016ac0·b0b0aa00·ffff010c·060c0000·16044400·..............D.
73 ··0x00016ad0·38160000·cc1dff7f·b0af1c00·ffff0144·8..............D73 ··0x00016ad0·38160000·d01dff7f·b0af1c00·ffff0144·8..............D
74 ··0x00016ae0·28200000·800102ca·0400bc01·04cc0400·(·..............74 ··0x00016ae0·28200000·800102ca·0400bc01·04cc0400·(·..............
75 ··0x00016af0·8c0204f0·04009202·04c80400·9e0204c6·................75 ··0x00016af0·8c0204f0·04009202·04c80400·9e0204c6·................
76 ··0x00016b00·0400a802·04800400·fc0204f0·04009003·................76 ··0x00016b00·0400a802·04800400·fc0204f0·04009003·................
77 ··0x00016b10·04cc0400·c8030200·00c20404·cc0400ec·................77 ··0x00016b10·04cc0400·c8030200·00c20404·cc0400ec·................
78 ··0x00016b20·04040000·7c1dff7f·018cb201·b0b0b0af·....|...........78 ··0x00016b20·04040000·801dff7f·018cb201·b0b0b0af·................
79 ··0x00016b30·ffff01b5·018c0104·ee1400b6·0204de16·................79 ··0x00016b30·ffff01b5·018c0104·ee1400b6·0204de16·................
80 ··0x00016b40·00be0204·be1600f8·0204d416·00fa0304·................80 ··0x00016b40·00be0204·be1600f8·0204d416·00fa0304·................
81 ··0x00016b50·e4150082·04049216·00e204be·01e21500·................81 ··0x00016b50·e4150082·04049216·00e204be·01e21500·................
82 ··0x00016b60·d80604ce·1600fc07·04961500·840804f0·................82 ··0x00016b60·d80604ce·1600fc07·04961500·840804f0·................
83 ··0x00016b70·12008e08·04981500·ee0804a0·15008e0a·................83 ··0x00016b70·12008e08·04981500·ee0804a0·15008e0a·................
84 ··0x00016b80·04ae1500·960a04d8·15009e0a·04d61600·................84 ··0x00016b80·04ae1500·960a04d8·15009e0a·04d61600·................
85 ··0x00016b90·ee0ba801·e215009e·0d049a16·00c60d6e·...............n85 ··0x00016b90·ee0ba801·e215009e·0d049a16·00c60d6e·...............n
86 ··0x00016ba0·e21500c6·0e04e015·00da1046·e21500b2·...........F....86 ··0x00016ba0·e21500c6·0e04e015·00da1046·e21500b2·...........F....
87 ··0x00016bb0·1104d016·00f21104·00009012·04d21600·................87 ··0x00016bb0·1104d016·00f21104·00009012·04d21600·................
88 ··0x00016bc0·d21204e0·1500ec12·8e01e215·00941404·................88 ··0x00016bc0·d21204e0·1500ec12·8e01e215·00941404·................
89 ··0x00016bd0·d01600ae·1404e215·00cc1404·d21600ea·................89 ··0x00016bd0·d01600ae·1404e215·00cc1404·d21600ea·................
90 ··0x00016be0·14049a16·00921504·00000000·b41cff7f·................90 ··0x00016be0·14049a16·00921504·00000000·b81cff7f·................
91 ··0x00016bf0·af3f3a00·ffff01e3·02262600·007c04ca·.?:......&&..|..91 ··0x00016bf0·af3f3a00·ffff01e3·02262600·007c04ca·.?:......&&..|..
92 ··0x00016c00·1500e401·04861500·9a0204ca·15008603·................92 ··0x00016c00·1500e401·04861500·9a0204ca·15008603·................
93 ··0x00016c10·04881500·b20304ca·15009604·04ac1300·................93 ··0x00016c10·04881500·b20304ca·15009604·04ac1300·................
94 ··0x00016c20·c40404cc·1500d404·04c41500·e4040482·................94 ··0x00016c20·c40404cc·1500d404·04c41500·e4040482·................
95 ··0x00016c30·1500f404·04c61500·840504c8·15009c05·................95 ··0x00016c30·1500f404·04c61500·840504c8·15009c05·................
96 ··0x00016c40·22841500·c00604ca·15009007·04981500·"...............96 ··0x00016c40·22841500·c00604ca·15009007·04981500·"...............
97 ··0x00016c50·ee0704dc·1300fc07·0ad61300·ca0804da·................97 ··0x00016c50·ee0704dc·1300fc07·0ad61300·ca0804da·................
Offset 106, 41 lines modifiedOffset 106, 41 lines modified
106 ··0x00016ce0·0d049615·00c40d04·941500e6·0d048e15·................106 ··0x00016ce0·0d049615·00c40d04·941500e6·0d048e15·................
107 ··0x00016cf0·00ee0d04·8a150094·0e04b413·00b00e04·................107 ··0x00016cf0·00ee0d04·8a150094·0e04b413·00b00e04·................
108 ··0x00016d00·c61400b8·0e04ae14·00e80e04·841500ee·................108 ··0x00016d00·c61400b8·0e04ae14·00e80e04·841500ee·................
109 ··0x00016d10·0e049a15·00f80e18·8415009e·0f04a015·................109 ··0x00016d10·0e049a15·00f80e18·8415009e·0f04a015·................
110 ··0x00016d20·00ba0f04·801500c2·0f04cc14·00a81004·................110 ··0x00016d20·00ba0f04·801500c2·0f04cc14·00a81004·................
111 ··0x00016d30·841500ae·1004ce13·00b81004·841500d8·................111 ··0x00016d30·841500ae·1004ce13·00b81004·841500d8·................
112 ··0x00016d40·1104b815·00f21104·a4150088·1204d813·................112 ··0x00016d40·1104b815·00f21104·a4150088·1204d813·................
113 ··0x00016d50·00921204·da1300a8·14040000·441bff7f·............D...113 ··0x00016d50·00921204·da1300a8·14040000·481bff7f·............H...
114 ··0x00016d60·af3f1000·ff904d01·3b7404aa·07008402·.?....M.;t......114 ··0x00016d60·af3f1000·ff904d01·3b7404aa·07008402·.?....M.;t......
115 ··0x00016d70·04f00700·8c0204d6·0600bc02·8001c607·................115 ··0x00016d70·04f00700·8c0204d6·0600bc02·8001c607·................
116 ··0x00016d80·00ae0504·f20700c8·051ec607·00820620·...............·116 ··0x00016d80·00ae0504·f20700c8·051ec607·00820620·...............·
117 ··0x00016d90·ac0705ba·0604f207·00d20604·c60700ec·................117 ··0x00016d90·ac0705ba·0604f207·00d20604·c60700ec·................
118 ··0x00016da0·07040000·0000027d·017d0000·4c2e0000·.......}.}..L...118 ··0x00016da0·07040000·0000027d·017d0000·4c2e0000·.......}.}..L...
119 ··0x00016db0·4c2e0000·ec1aff7f·af3f0200·ffff0131·L........?.....1119 ··0x00016db0·4c2e0000·f01aff7f·af3f0200·ffff0131·L........?.....1
120 ··0x00016dc0·20100000·7604c404·00da0104·f60300e6··...v...........120 ··0x00016dc0·20100000·7604c404·00da0104·f60300e6··...v...........
121 ··0x00016dd0·0108ce03·00b00204·f40300b8·0204ec03·................121 ··0x00016dd0·0108ce03·00b00204·f40300b8·0204ec03·................
122 ··0x00016de0·008e0334·0000c803·04f40300·c0040400·...4............122 ··0x00016de0·008e0334·0000c803·04f40300·c0040400·...4............
123 ··0x00016df0·00000000·ac1aff7f·b0aa0d00·ffff0115·................123 ··0x00016df0·00000000·b01aff7f·b0aa0d00·ffff0115·................
124 ··0x00016e00·1c0c0000·2c048e01·003a0400·00420470·....,....:...B.p124 ··0x00016e00·1c0c0000·2c048e01·003a0400·00420470·....,....:...B.p
125 ··0x00016e10·006c4000·00000000·881aff7f·b0b0a800·.l@.............125 ··0x00016e10·006c4000·00000000·8c1aff7f·b0b0a800·.l@.............
126 ··0x00016e20·ffff0100·7c1aff7f·b0af0a00·ffff0100·....|...........126 ··0x00016e20·ffff0100·801aff7f·b0af0a00·ffff0100·................
127 ··0x00016e30·701aff7f·af3f2200·ffff01b3·01281a00·p....?"......(..127 ··0x00016e30·741aff7f·af3f2200·ffff01b3·01281a00·t....?"......(..
128 ··0x00016e40·006404dc·1a008001·08d81a00·96016ada·.d............j.128 ··0x00016e40·006404dc·1a008001·08d81a00·96016ada·.d............j.
129 ··0x00016e50·1a00b602·04d01a00·d20204ce·1a00ee02·................129 ··0x00016e50·1a00b602·04d01a00·d20204ce·1a00ee02·................
130 ··0x00016e60·04b01900·b8030eda·1a00a604·04921900·................130 ··0x00016e60·04b01900·b8030eda·1a00a604·04921900·................
131 ··0x00016e70·c005e602·da1a00c0·0802b019·00c40804·................131 ··0x00016e70·c005e602·da1a00c0·0802b019·00c40804·................
132 ··0x00016e80·da1a009e·09048c1a·00b80904·e61900b6·................132 ··0x00016e80·da1a009e·09048c1a·00b80904·e61900b6·................
133 ··0x00016e90·0a048e1a·00c40a04·c41900be·0b04ae19·................133 ··0x00016e90·0a048e1a·00c40a04·c41900be·0b04ae19·................
134 ··0x00016ea0·009c0d04·a01500ae·0e22da1a·00ec0e04·........."......134 ··0x00016ea0·009c0d04·a01500ae·0e22da1a·00ec0e04·........."......
135 ··0x00016eb0·c41900fe·0e04c619·00b40f04·c8190090·................135 ··0x00016eb0·c41900fe·0e04c619·00b40f04·c8190090·................
136 ··0x00016ec0·106ac419·00da11a4·03da1a00·e61504ae·.j..............136 ··0x00016ec0·106ac419·00da11a4·03da1a00·e61504ae·.j..............
137 ··0x00016ed0·19008216·04a01500·9e161cda·1a00d216·................137 ··0x00016ed0·19008216·04a01500·9e161cda·1a00d216·................
138 ··0x00016ee0·04921900·ee16a402·da1a00e2·19040000·................138 ··0x00016ee0·04921900·ee16a402·da1a00e2·19040000·................
139 ··0x00016ef0·b019ff7f·b0af3600·ff909402·01820272·......6........r139 ··0x00016ef0·b419ff7f·b0af3600·ff909402·01820272·......6........r
140 ··0x00016f00·789a1500·d20204ce·13009803·04901500·x...............140 ··0x00016f00·789a1500·d20204ce·13009803·04901500·x...............
141 ··0x00016f10·b20304d8·1500b004·bc019e15·00f60520·...............·141 ··0x00016f10·b20304d8·1500b004·bc019e15·00f60520·...............·
142 ··0x00016f20·ce1300d0·06cc019e·15009009·04b21500·................142 ··0x00016f20·ce1300d0·06cc019e·15009009·04b21500·................
143 ··0x00016f30·d60904b8·1500b60a·20b21500·dc0a0a9e·........·.......143 ··0x00016f30·d60904b8·1500b60a·20b21500·dc0a0a9e·........·.......
144 ··0x00016f40·1500f20a·04b81500·ba0b409e·1500fc0b·..........@.....144 ··0x00016f40·1500f20a·04b81500·ba0b409e·1500fc0b·..........@.....
145 ··0x00016f50·04a01500·980c5aae·1505fc0c·04b61405·......Z.........145 ··0x00016f50·04a01500·980c5aae·1505fc0c·04b61405·......Z.........
146 ··0x00016f60·900d66ae·1505fc0d·048e1505·a00e04ae·..f.............146 ··0x00016f60·900d66ae·1505fc0d·048e1505·a00e04ae·..f.............
Offset 150, 15 lines modifiedOffset 150, 15 lines modified
150 ··0x00016fa0·15008810·249a1500·ca10089e·1500f010·....$...........150 ··0x00016fa0·15008810·249a1500·ca10089e·1500f010·....$...........
151 ··0x00016fb0·04a61400·c411049a·1500e211·1c9e1500·................151 ··0x00016fb0·04a61400·c411049a·1500e211·1c9e1500·................
152 ··0x00016fc0·921204ce·1300b012·04d81500·ca120a9a·................152 ··0x00016fc0·921204ce·1300b012·04d81500·ca120a9a·................
153 ··0x00016fd0·1500ec12·04b21500·8a13449e·15008814·..........D.....153 ··0x00016fd0·1500ec12·04b21500·8a13449e·15008814·..........D.....
154 ··0x00016fe0·040000a2·14049a15·00d61434·961600ee·...........4....154 ··0x00016fe0·040000a2·14049a15·00d61434·961600ee·...........4....
155 ··0x00016ff0·1504f815·00f21504·9e150088·16089616·................155 ··0x00016ff0·1504f815·00f21504·9e150088·16089616·................
156 ··0x00017000·00000002·7d017d00·282c0000·302c0000·....}.}.(,..0,..156 ··0x00017000·00000002·7d017d00·282c0000·302c0000·....}.}.(,..0,..
Max diff block lines reached; 1898/11866 bytes (16.00%) of diff not shown.
8.01 KB
readelf --wide --decompress --hex-dump=.got {}
    
Offset 26, 65 lines modifiedOffset 26, 65 lines modified
26 ··0x00019c08·acb60100·793a0100·00000000·00000000·....y:..........26 ··0x00019c08·acb60100·793a0100·00000000·00000000·....y:..........
27 ··0x00019c18·00000000·00000000·00000000·00000000·................27 ··0x00019c18·00000000·00000000·00000000·00000000·................
28 ··0x00019c28·50990100·093b0100·38990100·00000000·P....;..8.......28 ··0x00019c28·50990100·093b0100·38990100·00000000·P....;..8.......
29 ··0x00019c38·00000000·44990100·00000000·8d3d0100·....D........=..29 ··0x00019c38·00000000·44990100·00000000·8d3d0100·....D........=..
30 ··0x00019c48·00000000·00000000·00000000·e8b60100·................30 ··0x00019c48·00000000·00000000·00000000·e8b60100·................
31 ··0x00019c58·ecb60100·6d460100·2d460100·51470100·....mF..-F..QG..31 ··0x00019c58·ecb60100·6d460100·2d460100·51470100·....mF..-F..QG..
32 ··0x00019c68·8d460100·4d460100·71470100·a1470100·.F..MF..qG...G..32 ··0x00019c68·8d460100·4d460100·71470100·a1470100·.F..MF..qG...G..
33 ··0x00019c78·00000000·00000000·00000000·24840000·............$...33 ··0x00019c78·00000000·00000000·00000000·28840000·............(...
34 ··0x00019c88·24840000·24840000·24840000·24840000·$...$...$...$...34 ··0x00019c88·28840000·28840000·28840000·28840000·(...(...(...(...
35 ··0x00019c98·24840000·24840000·24840000·24840000·$...$...$...$...35 ··0x00019c98·28840000·28840000·28840000·28840000·(...(...(...(...
36 ··0x00019ca8·24840000·24840000·24840000·24840000·$...$...$...$...36 ··0x00019ca8·28840000·28840000·28840000·28840000·(...(...(...(...
37 ··0x00019cb8·24840000·24840000·24840000·24840000·$...$...$...$...37 ··0x00019cb8·28840000·28840000·28840000·28840000·(...(...(...(...
38 ··0x00019cc8·24840000·24840000·24840000·24840000·$...$...$...$...38 ··0x00019cc8·28840000·28840000·28840000·28840000·(...(...(...(...
39 ··0x00019cd8·24840000·24840000·24840000·24840000·$...$...$...$...39 ··0x00019cd8·28840000·28840000·28840000·28840000·(...(...(...(...
40 ··0x00019ce8·24840000·24840000·24840000·24840000·$...$...$...$...40 ··0x00019ce8·28840000·28840000·28840000·28840000·(...(...(...(...
41 ··0x00019cf8·24840000·24840000·24840000·24840000·$...$...$...$...41 ··0x00019cf8·28840000·28840000·28840000·28840000·(...(...(...(...
42 ··0x00019d08·24840000·24840000·24840000·24840000·$...$...$...$...42 ··0x00019d08·28840000·28840000·28840000·28840000·(...(...(...(...
43 ··0x00019d18·24840000·24840000·24840000·24840000·$...$...$...$...43 ··0x00019d18·28840000·28840000·28840000·28840000·(...(...(...(...
44 ··0x00019d28·24840000·24840000·24840000·24840000·$...$...$...$...44 ··0x00019d28·28840000·28840000·28840000·28840000·(...(...(...(...
45 ··0x00019d38·24840000·24840000·24840000·24840000·$...$...$...$...45 ··0x00019d38·28840000·28840000·28840000·28840000·(...(...(...(...
46 ··0x00019d48·24840000·24840000·24840000·24840000·$...$...$...$...46 ··0x00019d48·28840000·28840000·28840000·28840000·(...(...(...(...
47 ··0x00019d58·24840000·24840000·24840000·24840000·$...$...$...$...47 ··0x00019d58·28840000·28840000·28840000·28840000·(...(...(...(...
48 ··0x00019d68·24840000·24840000·24840000·24840000·$...$...$...$...48 ··0x00019d68·28840000·28840000·28840000·28840000·(...(...(...(...
49 ··0x00019d78·24840000·24840000·24840000·24840000·$...$...$...$...49 ··0x00019d78·28840000·28840000·28840000·28840000·(...(...(...(...
50 ··0x00019d88·24840000·24840000·24840000·24840000·$...$...$...$...50 ··0x00019d88·28840000·28840000·28840000·28840000·(...(...(...(...
51 ··0x00019d98·24840000·24840000·24840000·24840000·$...$...$...$...51 ··0x00019d98·28840000·28840000·28840000·28840000·(...(...(...(...
52 ··0x00019da8·24840000·24840000·24840000·24840000·$...$...$...$...52 ··0x00019da8·28840000·28840000·28840000·28840000·(...(...(...(...
53 ··0x00019db8·24840000·24840000·24840000·24840000·$...$...$...$...53 ··0x00019db8·28840000·28840000·28840000·28840000·(...(...(...(...
54 ··0x00019dc8·24840000·24840000·24840000·24840000·$...$...$...$...54 ··0x00019dc8·28840000·28840000·28840000·28840000·(...(...(...(...
55 ··0x00019dd8·24840000·24840000·24840000·24840000·$...$...$...$...55 ··0x00019dd8·28840000·28840000·28840000·28840000·(...(...(...(...
56 ··0x00019de8·24840000·24840000·24840000·24840000·$...$...$...$...56 ··0x00019de8·28840000·28840000·28840000·28840000·(...(...(...(...
57 ··0x00019df8·24840000·24840000·24840000·24840000·$...$...$...$...57 ··0x00019df8·28840000·28840000·28840000·28840000·(...(...(...(...
58 ··0x00019e08·24840000·24840000·24840000·24840000·$...$...$...$...58 ··0x00019e08·28840000·28840000·28840000·28840000·(...(...(...(...
59 ··0x00019e18·24840000·24840000·24840000·24840000·$...$...$...$...59 ··0x00019e18·28840000·28840000·28840000·28840000·(...(...(...(...
60 ··0x00019e28·24840000·24840000·24840000·24840000·$...$...$...$...60 ··0x00019e28·28840000·28840000·28840000·28840000·(...(...(...(...
61 ··0x00019e38·24840000·24840000·24840000·24840000·$...$...$...$...61 ··0x00019e38·28840000·28840000·28840000·28840000·(...(...(...(...
62 ··0x00019e48·24840000·24840000·24840000·24840000·$...$...$...$...62 ··0x00019e48·28840000·28840000·28840000·28840000·(...(...(...(...
63 ··0x00019e58·24840000·24840000·24840000·24840000·$...$...$...$...63 ··0x00019e58·28840000·28840000·28840000·28840000·(...(...(...(...
64 ··0x00019e68·24840000·24840000·24840000·24840000·$...$...$...$...64 ··0x00019e68·28840000·28840000·28840000·28840000·(...(...(...(...
65 ··0x00019e78·24840000·24840000·24840000·24840000·$...$...$...$...65 ··0x00019e78·28840000·28840000·28840000·28840000·(...(...(...(...
66 ··0x00019e88·24840000·24840000·24840000·24840000·$...$...$...$...66 ··0x00019e88·28840000·28840000·28840000·28840000·(...(...(...(...
67 ··0x00019e98·24840000·24840000·24840000·24840000·$...$...$...$...67 ··0x00019e98·28840000·28840000·28840000·28840000·(...(...(...(...
68 ··0x00019ea8·24840000·24840000·24840000·24840000·$...$...$...$...68 ··0x00019ea8·28840000·28840000·28840000·28840000·(...(...(...(...
69 ··0x00019eb8·24840000·24840000·24840000·24840000·$...$...$...$...69 ··0x00019eb8·28840000·28840000·28840000·28840000·(...(...(...(...
70 ··0x00019ec8·24840000·24840000·24840000·24840000·$...$...$...$...70 ··0x00019ec8·28840000·28840000·28840000·28840000·(...(...(...(...
71 ··0x00019ed8·24840000·24840000·24840000·24840000·$...$...$...$...71 ··0x00019ed8·28840000·28840000·28840000·28840000·(...(...(...(...
72 ··0x00019ee8·24840000·24840000·24840000·24840000·$...$...$...$...72 ··0x00019ee8·28840000·28840000·28840000·28840000·(...(...(...(...
73 ··0x00019ef8·24840000·24840000·24840000·24840000·$...$...$...$...73 ··0x00019ef8·28840000·28840000·28840000·28840000·(...(...(...(...
74 ··0x00019f08·24840000·24840000·24840000·24840000·$...$...$...$...74 ··0x00019f08·28840000·28840000·28840000·28840000·(...(...(...(...
75 ··0x00019f18·24840000·24840000·24840000·24840000·$...$...$...$...75 ··0x00019f18·28840000·28840000·28840000·28840000·(...(...(...(...
76 ··0x00019f28·24840000·24840000·24840000·24840000·$...$...$...$...76 ··0x00019f28·28840000·28840000·28840000·28840000·(...(...(...(...
77 ··0x00019f38·24840000·24840000·24840000·24840000·$...$...$...$...77 ··0x00019f38·28840000·28840000·28840000·28840000·(...(...(...(...
78 ··0x00019f48·24840000·24840000·24840000·24840000·$...$...$...$...78 ··0x00019f48·28840000·28840000·28840000·28840000·(...(...(...(...
79 ··0x00019f58·24840000·24840000·24840000·24840000·$...$...$...$...79 ··0x00019f58·28840000·28840000·28840000·28840000·(...(...(...(...
80 ··0x00019f68·24840000·24840000·24840000·24840000·$...$...$...$...80 ··0x00019f68·28840000·28840000·28840000·28840000·(...(...(...(...
81 ··0x00019f78·24840000·24840000·24840000·24840000·$...$...$...$...81 ··0x00019f78·28840000·28840000·28840000·28840000·(...(...(...(...
82 ··0x00019f88·24840000·24840000·24840000·24840000·$...$...$...$...82 ··0x00019f88·28840000·28840000·28840000·28840000·(...(...(...(...
83 ··0x00019f98·24840000·24840000·24840000·24840000·$...$...$...$...83 ··0x00019f98·28840000·28840000·28840000·28840000·(...(...(...(...
84 ··0x00019fa8·24840000·24840000·24840000·24840000·$...$...$...$...84 ··0x00019fa8·28840000·28840000·28840000·28840000·(...(...(...(...
85 ··0x00019fb8·24840000·24840000·24840000·24840000·$...$...$...$...85 ··0x00019fb8·28840000·28840000·28840000·28840000·(...(...(...(...
86 ··0x00019fc8·24840000·24840000·24840000·24840000·$...$...$...$...86 ··0x00019fc8·28840000·28840000·28840000·28840000·(...(...(...(...
87 ··0x00019fd8·24840000·24840000·24840000·24840000·$...$...$...$...87 ··0x00019fd8·28840000·28840000·28840000·28840000·(...(...(...(...
88 ··0x00019fe8·24840000·24840000·24840000·24840000·$...$...$...$...88 ··0x00019fe8·28840000·28840000·28840000·28840000·(...(...(...(...
89 ··0x00019ff8·24840000·24840000···················$...$...89 ··0x00019ff8·28840000·28840000···················(...(...
  
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·64613665·33346536·36303034·63366566·da6e34e66004c6ef 
3 ··0x00000010·65633334·37393734·64643233·66333766·ec347974dd23f37f2 ··0x00000000·39393931·61343439·32343862·36633233·9991a449248b6c23
 3 ··0x00000010·65306637·39656434·62353862·32653033·e0f79ed4b58b2e03
4 ··0x00000020·31663366·37612e64·65627567·00000000·1f3f7a.debug....4 ··0x00000020·31323038·61342e64·65627567·00000000·1208a4.debug....
5 ··0x00000030·99e7bd4c····························...L5 ··0x00000030·8058b0cf····························.X..
  
412 B
./usr/share/man/man1/cvc4.1.gz
352 B
cvc4.1
    
Offset 1, 11 lines modifiedOffset 1, 11 lines modified
1 .\"·Process·this·file·with1 .\"·Process·this·file·with
2 .\"·groff·-man·-Tascii·cvc4.12 .\"·groff·-man·-Tascii·cvc4.1
3 .\"3 .\"
4 .TH·CVC4·1·"2022-10-29"·"CVC4·release·CVC4_RELEASE_STRING"·"User·Manuals"4 .TH·CVC4·1·"2022-10-30"·"CVC4·release·CVC4_RELEASE_STRING"·"User·Manuals"
5 .SH·NAME5 .SH·NAME
6 cvc4,·pcvc4·\-·an·automated·theorem·prover6 cvc4,·pcvc4·\-·an·automated·theorem·prover
7 .SH·SYNOPSIS7 .SH·SYNOPSIS
8 .B·cvc4·[8 .B·cvc4·[
9 .I·options9 .I·options
10 .B·]·[10 .B·]·[
11 .I·file11 .I·file
515 B
./usr/share/man/man5/cvc4.5.gz
455 B
cvc4.5
    
Offset 1, 11 lines modifiedOffset 1, 11 lines modified
1 .\"·Process·this·file·with1 .\"·Process·this·file·with
2 .\"·groff·-man·-Tascii·cvc4.52 .\"·groff·-man·-Tascii·cvc4.5
3 .\"3 .\"
4 .TH·CVC4·5·"2022-10-29"·"CVC4·release·CVC4_RELEASE_STRING"·"Languages·documentation"4 .TH·CVC4·5·"2022-10-30"·"CVC4·release·CVC4_RELEASE_STRING"·"Languages·documentation"
5 .SH·NAME5 .SH·NAME
6 cvc4·\-·the·native·input·language·for·CVC46 cvc4·\-·the·native·input·language·for·CVC4
7 .SH·DESCRIPTION7 .SH·DESCRIPTION
8 .B·cvc48 .B·cvc4
9 is·an·automated·theorem·prover·for·first-order·formulas·with·respect9 is·an·automated·theorem·prover·for·first-order·formulas·with·respect
10 to·background·theories·of·interest.10 to·background·theories·of·interest.
  
3.25 KB
libcvc4-7_1.8-3_armhf.deb
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary1 -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary
2 -rw-r--r--···0········0········0·····1212·2022-10-29·18:49:40.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1216·2022-10-29·18:49:40.000000·control.tar.xz
3 -rw-r--r--···0········0········0··5369652·2022-10-29·18:49:40.000000·data.tar.xz3 -rw-r--r--···0········0········0··5370528·2022-10-29·18:49:40.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.67 KB
data.tar.xz
2.64 KB
data.tar
2.63 KB
./usr/lib/arm-linux-gnueabihf/libcvc4.so.7
File has been modified after NT_GNU_BUILD_ID has been applied.
623 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e63eec4b17d105c718f1dc1d72002b8d8f35e11d3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·458a4f18a6d981747188a33798e3ff72fb5d6035
  
4 Displaying·notes·found·in:·.note.gnu.gold-version4 Displaying·notes·found·in:·.note.gnu.gold-version
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.166 ··GNU··················0x00000009»  NT_GNU_GOLD_VERSION·(gold·version)»  ····Version:·gold·1.16
777 B
strings --all --bytes=8 {}
    
Offset 27233, 15 lines modifiedOffset 27233, 15 lines modified
27233 EQUALITY_UNKNOWN27233 EQUALITY_UNKNOWN
27234 ./src/theory/valuation.cpp27234 ./src/theory/valuation.cpp
27235 std::ostream&·CVC4::theory::operator<<(std::ostream&,·EqualityStatus)27235 std::ostream&·CVC4::theory::operator<<(std::ostream&,·EqualityStatus)
27236 Fatal·failure·within·27236 Fatal·failure·within·
27237 '·is·a·bad·argument;·expected·27237 '·is·a·bad·argument;·expected·
27238 ·to·hold27238 ·to·hold
27239 Illegal·argument·detected27239 Illegal·argument·detected
27240 2022-10-29·06:49:4027240 2022-10-30·08:49:40
27241 Copyright·(c)·2009-2020·by·the·authors·and·their·institutional27241 Copyright·(c)·2009-2020·by·the·authors·and·their·institutional
27242 affiliations·listed·at·http://cvc4.cs.stanford.edu/authors27242 affiliations·listed·at·http://cvc4.cs.stanford.edu/authors
27243 This·build·of·CVC4·uses·GPLed·libraries,·and·is·thus·covered·by27243 This·build·of·CVC4·uses·GPLed·libraries,·and·is·thus·covered·by
27244 the·GNU·General·Public·License·(GPL)·version·3.··Versions·of·CVC427244 the·GNU·General·Public·License·(GPL)·version·3.··Versions·of·CVC4
27245 are·available·that·are·covered·by·the·(modified)·BSD·license.·If27245 are·available·that·are·covered·by·the·(modified)·BSD·license.·If
27246 you·want·to·license·CVC4·under·this·license,·please·configure·CVC427246 you·want·to·license·CVC4·under·this·license,·please·configure·CVC4
27247 with·the·"--no-gpl"·option·before·building·from·sources.27247 with·the·"--no-gpl"·option·before·building·from·sources.
54.0 B
.fini
Timeout exceeded; details may be incomplete.
58.0 B
.rodata
Timeout exceeded; details may be incomplete.
64.0 B
.ARM.extab
Timeout exceeded; details may be incomplete.
64.0 B
.ARM.exidx
Timeout exceeded; details may be incomplete.
62.0 B
.eh_frame
Timeout exceeded; details may be incomplete.
70.0 B
.eh_frame_hdr
Timeout exceeded; details may be incomplete.
54.0 B
.tbss
Timeout exceeded; details may be incomplete.
80.0 B
.data.rel.ro.local
Timeout exceeded; details may be incomplete.
66.0 B
.fini_array
Timeout exceeded; details may be incomplete.
66.0 B
.init_array
Timeout exceeded; details may be incomplete.
68.0 B
.data.rel.ro
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.
74.0 B
.tm_clone_table
Timeout exceeded; details may be incomplete.
52.0 B
.bss
Timeout exceeded; details may be incomplete.
74.0 B
.ARM.attributes
Timeout exceeded; details may be incomplete.
72.0 B
Timeout exceeded; details may be incomplete.
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
98.0 B
libcvc4-dev_1.8-3_armhf.deb
Timeout exceeded; details may be incomplete.
104 B
libcvc4parser7_1.8-3_armhf.deb
Timeout exceeded; details may be incomplete.
98.0 B
cvc4-dbgsym_1.8-3_armhf.deb
Timeout exceeded; details may be incomplete.
108 B
libcvc4-7-dbgsym_1.8-3_armhf.deb
Timeout exceeded; details may be incomplete.
118 B
libcvc4parser7-dbgsym_1.8-3_armhf.deb
Timeout exceeded; details may be incomplete.