Offset 1, 8 lines modified | Offset 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 | · | 1 | ·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 |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary | 1 | -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.xz | 2 | -rw-r--r--···0········0········0·····1476·2022-10-29·18:49:40.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0····74 | 3 | -rw-r--r--···0········0········0····74280·2022-10-29·18:49:40.000000·data.tar.xz |
Offset 24, 8 lines modified | Offset 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/THANKS | 24 | -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.gz | 25 | -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/copyright | 26 | -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.gz | 29 | -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)······39 | 31 | -rw-r--r--···0·root·········(0)·root·········(0)······393·2022-10-29·18:49:40.000000·./usr/share/man/man5/cvc4.5.gz |
Offset 3, 22 lines modified | Offset 3, 22 lines modified | ||
3 | Section·Headers: | 3 | Section·Headers: |
4 | ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al | 4 | ··[Nr]·Name··············Type············Addr·····Off····Size···ES·Flg·Lk·Inf·Al |
5 | ··[·0]···················NULL············00000000·000000·000000·00······0···0··0 | 5 | ··[·0]···················NULL············00000000·000000·000000·00······0···0··0 |
6 | ··[·1]·.interp···········PROGBITS········00000194·000194·000019·00···A··0···0··1 | 6 | ··[·1]·.interp···········PROGBITS········00000194·000194·000019·00···A··0···0··1 |
7 | ··[·2]·.note.ABI-tag·····NOTE············000001b0·0001b0·000020·00···A··0···0··4 | 7 | ··[·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··4 | 8 | ··[·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··4 | 9 | ··[·4]·.dynsym···········DYNSYM··········000001f4·0001f4·001d40·10···A··5···1··4 |
10 | ··[·5]·.dynstr···········STRTAB··········00001f34·001f34·004c | 10 | ··[·5]·.dynstr···········STRTAB··········00001f34·001f34·004cb3·00···A··0···0··1 |
11 | ··[·6]·.gnu.hash·········GNU_HASH········00006be | 11 | ··[·6]·.gnu.hash·········GNU_HASH········00006be8·006be8·000554·04···A··4···0··4 |
12 | ··[·7]·.gnu.version······VERSYM··········0000713 | 12 | ··[·7]·.gnu.version······VERSYM··········0000713c·00713c·0003a8·02···A··4···0··2 |
13 | ··[·8]·.gnu.version_r····VERNEED·········000074e | 13 | ··[·8]·.gnu.version_r····VERNEED·········000074e4·0074e4·000100·00···A··5···4··4 |
14 | ··[·9]·.rel.dyn··········REL·············000075e | 14 | ··[·9]·.rel.dyn··········REL·············000075e4·0075e4·000740·08···A··4···0··4 |
15 | ··[10]·.rel.plt··········REL·············00007d2 | 15 | ··[10]·.rel.plt··········REL·············00007d24·007d24·0006f8·08··AI··4··26··4 |
16 | ··[11]·.init·············PROGBITS········0000841 | 16 | ··[11]·.init·············PROGBITS········0000841c·00841c·00000c·00··AX··0···0··4 |
17 | ··[12]·.plt··············PROGBITS········0000842 | 17 | ··[12]·.plt··············PROGBITS········00008428·008428·000a88·00··AX··0···0··4 |
18 | ··[13]·.text·············PROGBITS········00008eb0·008eb0·00c2cc·00··AX··0···0··8 | 18 | ··[13]·.text·············PROGBITS········00008eb0·008eb0·00c2cc·00··AX··0···0··8 |
19 | ··[14]·.fini·············PROGBITS········0001517c·01517c·000008·00··AX··0···0··4 | 19 | ··[14]·.fini·············PROGBITS········0001517c·01517c·000008·00··AX··0···0··4 |
20 | ··[15]·.rodata···········PROGBITS········00015184·015184·0014ec·00···A··0···0··4 | 20 | ··[15]·.rodata···········PROGBITS········00015184·015184·0014ec·00···A··0···0··4 |
21 | ··[16]·.ARM.extab········PROGBITS········00016670·016670·001047·00···A··0···0··4 | 21 | ··[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··4 | 22 | ··[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··4 | 23 | ··[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··4 | 24 | ··[19]·.eh_frame_hdr·····PROGBITS········000178c4·0178c4·000008·00···A··0···0··4 |
Offset 448, 15 lines modified | Offset 448, 15 lines modified | ||
448 | ···444:·0000b6f1··1468·FUNC····GLOBAL·DEFAULT···13·_Z10printUsageRN4CVC47OptionsEb | 448 | ···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·main | 450 | ···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·_ZN4CVC46parser15ParserExceptionD0Ev | 453 | ···449:·00013b59····84·FUNC····WEAK···DEFAULT···13·_ZN4CVC46parser15ParserExceptionD0Ev |
454 | ···450:·000147a1····52·FUNC····GLOBAL·DEFAULT···13·_ZN4CVC44main13cvc4terminateEv | 454 | ···450:·000147a1····52·FUNC····GLOBAL·DEFAULT···13·_ZN4CVC44main13cvc4terminateEv |
455 | ···451:·000089 | 455 | ···451:·00008970·····0·FUNC····WEAK···DEFAULT··UND·__cxa_pure_virtual@CXXABI_1.3·(9) |
456 | ···452:·0000dc45····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC415OptionExceptionD2Ev | 456 | ···452:·0000dc45····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC415OptionExceptionD2Ev |
457 | ···453:·00016530····30·OBJECT··WEAK···DEFAULT···15·_ZTSN4CVC48DataStatINS_6ResultEEE | 457 | ···453:·00016530····30·OBJECT··WEAK···DEFAULT···15·_ZTSN4CVC48DataStatINS_6ResultEEE |
458 | ···454:·0000dc79····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC413ReferenceStatINS_6ResultEED0Ev | 458 | ···454:·0000dc79····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC413ReferenceStatINS_6ResultEED0Ev |
459 | ···455:·0001181d····30·FUNC····WEAK···DEFAULT···13·_ZN3cln11cl_gcobjectD1Ev | 459 | ···455:·0001181d····30·FUNC····WEAK···DEFAULT···13·_ZN3cln11cl_gcobjectD1Ev |
460 | ···456:·00019768····24·OBJECT··WEAK···DEFAULT···21·_ZTVN4CVC49ExceptionE | 460 | ···456:·00019768····24·OBJECT··WEAK···DEFAULT···21·_ZTVN4CVC49ExceptionE |
461 | ···457:·000198ac····12·OBJECT··WEAK···DEFAULT···24·_ZTIN4CVC416ReadOnlyDataStatINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE | 461 | ···457:·000198ac····12·OBJECT··WEAK···DEFAULT···24·_ZTIN4CVC416ReadOnlyDataStatINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEE |
462 | ···458:·0000dcad····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC413ReferenceStatINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEED0Ev | 462 | ···458:·0000dcad····52·FUNC····WEAK···DEFAULT···13·_ZN4CVC413ReferenceStatINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEED0Ev |
Offset 1, 9 lines modified | Offset 1, 9 lines modified | ||
1 | Relocation·section·'.rel.dyn'·at·offset·0x75e | 1 | Relocation·section·'.rel.dyn'·at·offset·0x75e4·contains·232·entries: |
2 | ·Offset·····Info····Type················Sym.·Value··Symbol's·Name | 2 | ·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 modified | Offset 227, 18 lines modified | ||
227 | 00019c18··00011f15·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC422DeclareFunctionCommandE | 227 | 00019c18··00011f15·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC422DeclareFunctionCommandE |
228 | 00019c1c··00012015·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC421DefineFunctionCommandE | 228 | 00019c1c··00012015·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC421DefineFunctionCommandE |
229 | 00019c20··00012115·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC418DeclareTypeCommandE | 229 | 00019c20··00012115·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC418DeclareTypeCommandE |
230 | 00019c24··00012215·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC417DefineTypeCommandE | 230 | 00019c24··00012215·R_ARM_GLOB_DAT·········00000000···_ZTIN4CVC417DefineTypeCommandE |
231 | 00019c50··00012315·R_ARM_GLOB_DAT·········00000000···_ZTHN4CVC44main8pOptionsE | 231 | 00019c50··00012315·R_ARM_GLOB_DAT·········00000000···_ZTHN4CVC44main8pOptionsE |
232 | 00019c48··00014911·R_ARM_TLS_DTPMOD32·····00000000···_ZN4CVC44main8pOptionsE | 232 | 00019c48··00014911·R_ARM_TLS_DTPMOD32·····00000000···_ZN4CVC44main8pOptionsE |
233 | 00019c4c··00014912·R_ARM_TLS_DTPOFF32·····00000000···_ZN4CVC44main8pOptionsE | 233 | 00019c4c··00014912·R_ARM_TLS_DTPOFF32·····00000000···_ZN4CVC44main8pOptionsE |
234 | 00019904··0001c302·R_ARM_ABS32············000089 | 234 | 00019904··0001c302·R_ARM_ABS32············00008970···__cxa_pure_virtual@CXXABI_1.3 |
235 | 00019908··0001c302·R_ARM_ABS32············000089 | 235 | 00019908··0001c302·R_ARM_ABS32············00008970···__cxa_pure_virtual@CXXABI_1.3 |
236 | Relocation·section·'.rel.plt'·at·offset·0x7d2 | 236 | Relocation·section·'.rel.plt'·at·offset·0x7d24·contains·223·entries: |
237 | ·Offset·····Info····Type················Sym.·Value··Symbol's·Name | 237 | ·Offset·····Info····Type················Sym.·Value··Symbol's·Name |
238 | 00019c84··00000116·R_ARM_JUMP_SLOT········00000000···__libc_start_main@GLIBC_2.34 | 238 | 00019c84··00000116·R_ARM_JUMP_SLOT········00000000···__libc_start_main@GLIBC_2.34 |
239 | 00019c88··00000216·R_ARM_JUMP_SLOT········00000000···abort@GLIBC_2.4 | 239 | 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.4 | 241 | 00019c90··00000c16·R_ARM_JUMP_SLOT········00000000···__cxa_finalize@GLIBC_2.4 |
242 | 00019c94··00001016·R_ARM_JUMP_SLOT········00000000···_ZdlPv@GLIBCXX_3.4 | 242 | 00019c94··00001016·R_ARM_JUMP_SLOT········00000000···_ZdlPv@GLIBCXX_3.4 |
243 | 00019c98··00002d16·R_ARM_JUMP_SLOT········00000000···_ZNSt8ios_baseC2Ev@GLIBCXX_3.4 | 243 | 00019c98··00002d16·R_ARM_JUMP_SLOT········00000000···_ZNSt8ios_baseC2Ev@GLIBCXX_3.4 |
Offset 343, 15 lines modified | Offset 343, 15 lines modified | ||
343 | 00019e24··0000c316·R_ARM_JUMP_SLOT········00000000···__aeabi_atexit@CXXABI_ARM_1.3.3 | 343 | 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_helperC1Ev | 344 | 00019e28··0000c416·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_random_def_init_helperC1Ev |
345 | 00019e2c··0000c516·R_ARM_JUMP_SLOT········00000000···_ZN3cln22cl_no_ring_init_helperC1Ev | 345 | 00019e2c··0000c516·R_ARM_JUMP_SLOT········00000000···_ZN3cln22cl_no_ring_init_helperC1Ev |
346 | 00019e30··0000c616·R_ARM_JUMP_SLOT········00000000···_ZN3cln17cl_MI_init_helperC1Ev | 346 | 00019e30··0000c616·R_ARM_JUMP_SLOT········00000000···_ZN3cln17cl_MI_init_helperC1Ev |
347 | 00019e34··0000c716·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_DF_globals_init_helperC1Ev | 347 | 00019e34··0000c716·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_DF_globals_init_helperC1Ev |
348 | 00019e38··0000c816·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_FF_globals_init_helperC1Ev | 348 | 00019e38··0000c816·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_FF_globals_init_helperC1Ev |
349 | 00019e3c··0000c916·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_LF_globals_init_helperC1Ev | 349 | 00019e3c··0000c916·R_ARM_JUMP_SLOT········00000000···_ZN3cln25cl_LF_globals_init_helperC1Ev |
350 | 00019e40··0001c316·R_ARM_JUMP_SLOT········000089 | 350 | 00019e40··0001c316·R_ARM_JUMP_SLOT········00008970···__cxa_pure_virtual@CXXABI_1.3 |
351 | 00019e44··0000d416·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47OptionsC1Ev | 351 | 00019e44··0000d416·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47OptionsC1Ev |
352 | 00019e48··0000d516·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47OptionsD1Ev | 352 | 00019e48··0000d516·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47OptionsD1Ev |
353 | 00019e4c··0000b416·R_ARM_JUMP_SLOT········00000000···_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_@GLIBCXX_3.4 | 353 | 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_6output8LanguageE | 354 | 00019e50··0000d616·R_ARM_JUMP_SLOT········00000000···_ZN4CVC48language17isOutputLang_smt2ENS0_6output8LanguageE |
355 | 00019e54··0000d716·R_ARM_JUMP_SLOT········00000000···_ZNK4CVC47Options13getStatisticsEv | 355 | 00019e54··0000d716·R_ARM_JUMP_SLOT········00000000···_ZNK4CVC47Options13getStatisticsEv |
356 | 00019e58··0000d816·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47Options6getErrEv | 356 | 00019e58··0000d816·R_ARM_JUMP_SLOT········00000000···_ZN4CVC47Options6getErrEv |
357 | 00019e5c··0000cf16·R_ARM_JUMP_SLOT········00000000···getrlimit@GLIBC_2.4 | 357 | 00019e5c··0000cf16·R_ARM_JUMP_SLOT········00000000···getrlimit@GLIBC_2.4 |
Offset 1, 37 lines modified | Offset 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/Value | 2 | ··Tag········Type·························Name/Value |
3 | ·0x00000003·(PLTGOT)·····················0x19c78 | 3 | ·0x00000003·(PLTGOT)·····················0x19c78 |
4 | ·0x00000002·(PLTRELSZ)···················1784·(bytes) | 4 | ·0x00000002·(PLTRELSZ)···················1784·(bytes) |
5 | ·0x00000017·(JMPREL)·····················0x7d2 | 5 | ·0x00000017·(JMPREL)·····················0x7d24 |
6 | ·0x00000014·(PLTREL)·····················REL | 6 | ·0x00000014·(PLTREL)·····················REL |
7 | ·0x00000011·(REL)························0x75e | 7 | ·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)···················140 | 10 | ·0x6ffffffa·(RELCOUNT)···················140 |
11 | ·0x00000015·(DEBUG)······················0x0 | 11 | ·0x00000015·(DEBUG)······················0x0 |
12 | ·0x00000006·(SYMTAB)·····················0x1f4 | 12 | ·0x00000006·(SYMTAB)·····················0x1f4 |
13 | ·0x0000000b·(SYMENT)·····················16·(bytes) | 13 | ·0x0000000b·(SYMENT)·····················16·(bytes) |
14 | ·0x00000005·(STRTAB)·····················0x1f34 | 14 | ·0x00000005·(STRTAB)·····················0x1f34 |
15 | ·0x0000000a·(STRSZ)······················1963 | 15 | ·0x0000000a·(STRSZ)······················19635·(bytes) |
16 | ·0x6ffffef5·(GNU_HASH)···················0x6be | 16 | ·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)·······················0x841 | 25 | ·0x0000000c·(INIT)·······················0x841c |
26 | ·0x0000000d·(FINI)·······················0x1517c | 26 | ·0x0000000d·(FINI)·······················0x1517c |
27 | ·0x0000001a·(FINI_ARRAY)·················0x19838 | 27 | ·0x0000001a·(FINI_ARRAY)·················0x19838 |
28 | ·0x0000001c·(FINI_ARRAYSZ)···············4·(bytes) | 28 | ·0x0000001c·(FINI_ARRAYSZ)···············4·(bytes) |
29 | ·0x00000019·(INIT_ARRAY)·················0x1983c | 29 | ·0x00000019·(INIT_ARRAY)·················0x1983c |
30 | ·0x0000001b·(INIT_ARRAYSZ)···············24·(bytes) | 30 | ·0x0000001b·(INIT_ARRAYSZ)···············24·(bytes) |
31 | ·0x0000001e·(FLAGS)······················BIND_NOW | 31 | ·0x0000001e·(FLAGS)······················BIND_NOW |
32 | ·0x6ffffffb·(FLAGS_1)····················Flags:·NOW·PIE | 32 | ·0x6ffffffb·(FLAGS_1)····················Flags:·NOW·PIE |
33 | ·0x6ffffff0·(VERSYM)·····················0x713 | 33 | ·0x6ffffff0·(VERSYM)·····················0x713c |
34 | ·0x6ffffffe·(VERNEED)····················0x74e | 34 | ·0x6ffffffe·(VERNEED)····················0x74e4 |
35 | ·0x6fffffff·(VERNEEDNUM)·················4 | 35 | ·0x6fffffff·(VERNEEDNUM)·················4 |
36 | ·0x00000000·(NULL)·······················0x0 | 36 | ·0x00000000·(NULL)·······················0x0 |
Offset 1, 12 lines modified | Offset 1, 12 lines modified | ||
1 | Displaying·notes·found·in:·.note.ABI-tag | 1 | Displaying·notes·found·in:·.note.ABI-tag |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 | 3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 |
4 | Displaying·notes·found·in:·.note.gnu.build-id | 4 | Displaying·notes·found·in:·.note.gnu.build-id |
5 | ··Owner················Data·size·» Description | 5 | ··Owner················Data·size·» Description |
6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·309991a449248b6c23e0f79ed4b58b2e031208a4 |
7 | Displaying·notes·found·in:·.note.gnu.gold-version | 7 | Displaying·notes·found·in:·.note.gnu.gold-version |
8 | ··Owner················Data·size·» Description | 8 | ··Owner················Data·size·» Description |
9 | ··GNU··················0x00000009» NT_GNU_GOLD_VERSION·(gold·version)» ····Version:·gold·1.16 | 9 | ··GNU··················0x00000009» NT_GNU_GOLD_VERSION·(gold·version)» ····Version:·gold·1.16 |
Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
1 | Version·symbols·section·'.gnu.version'·contains·468·entries: | 1 | Version·symbols·section·'.gnu.version'·contains·468·entries: |
2 | ·Addr:·0x000000000000713 | 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 modified | Offset 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:·0x00000000000074e | 122 | ·Addr:·0x00000000000074e4··Offset:·0x000074e4··Link:·5·(.dynstr) |
123 | ··000000:·Version:·1··File:·libc.so.6··Cnt:·2 | 123 | ··000000:·Version:·1··File:·libc.so.6··Cnt:·2 |
124 | ··0x0010:···Name:·GLIBC_2.34··Flags:·none··Version:·2 | 124 | ··0x0010:···Name:·GLIBC_2.34··Flags:·none··Version:·2 |
125 | ··0x0020:···Name:·GLIBC_2.4··Flags:·none··Version:·3 | 125 | ··0x0020:···Name:·GLIBC_2.4··Flags:·none··Version:·3 |
126 | ··0x0030:·Version:·1··File:·libstdc++.so.6··Cnt:·8 | 126 | ··0x0030:·Version:·1··File:·libstdc++.so.6··Cnt:·8 |
127 | ··0x0040:···Name:·GLIBCXX_3.4··Flags:·none··Version:·4 | 127 | ··0x0040:···Name:·GLIBCXX_3.4··Flags:·none··Version:·4 |
128 | ··0x0050:···Name:·GLIBCXX_3.4.32··Flags:·none··Version:·5 | 128 | ··0x0050:···Name:·GLIBCXX_3.4.32··Flags:·none··Version:·5 |
129 | ··0x0060:···Name:·GLIBCXX_3.4.9··Flags:·none··Version:·6 | 129 | ··0x0060:···Name:·GLIBCXX_3.4.9··Flags:·none··Version:·6 |
Offset 1222, 9 lines modified | Offset 1222, 10 lines modified | ||
1222 | ··0x00006b64·62637663·342e736f·2e37006c·6962636c·bcvc4.so.7.libcl | 1222 | ··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······························... | ||
Offset 1, 89 lines modified | Offset 1, 89 lines modified | ||
1 | Hex·dump·of·section·'.gnu.hash': | 1 | Hex·dump·of·section·'.gnu.hash': |
2 | ··0x00006be | 2 | ··0x00006be8·83000000·26010000·20000000·0a000000·....&...·....... |
3 | ··0x00006bf | 3 | ··0x00006bf8·03420c0c·0a5824c1·401e0c55·03004505·.B...X$.@..U..E. |
4 | ··0x00006c0 | 4 | ··0x00006c08·14998012·0094a488·3002021d·e0024095·........0.....@. |
5 | ··0x00006c1 | 5 | ··0x00006c18·81e8c092·4500d848·18c18230·3e770c2a·....E..H...0>w.* |
6 | ··0x00006c2 | 6 | ··0x00006c28·00822140·00540008·02454031·00202784·..!@.T...E@1.·'. |
7 | ··0x00006c3 | 7 | ··0x00006c38·005402a2·06020603·4381c544·024c2e00·.T......C..D.L.. |
8 | ··0x00006c4 | 8 | ··0x00006c48·100008c8·23120488·40022088·ff038030·....#...@.·....0 |
9 | ··0x00006c5 | 9 | ··0x00006c58·89820178·e3cb0577·30530210·ca2500c1·...x...w0S...%.. |
10 | ··0x00006c6 | 10 | ··0x00006c68·01f2268c·0160271b·c0400700·051428d2·..&..`'..@....(. |
11 | ··0x00006c7 | 11 | ··0x00006c78·00000000·26010000·00000000·28010000·....&.......(... |
12 | ··0x00006c8 | 12 | ··0x00006c88·00000000·2a010000·2c010000·2d010000·....*...,...-... |
13 | ··0x00006c9 | 13 | ··0x00006c98·2f010000·00000000·30010000·00000000·/.......0....... |
14 | ··0x00006ca | 14 | ··0x00006ca8·00000000·32010000·33010000·35010000·....2...3...5... |
15 | ··0x00006cb | 15 | ··0x00006cb8·00000000·00000000·37010000·39010000·........7...9... |
16 | ··0x00006cc | 16 | ··0x00006cc8·3d010000·00000000·3f010000·41010000·=.......?...A... |
17 | ··0x00006cd | 17 | ··0x00006cd8·42010000·45010000·47010000·48010000·B...E...G...H... |
18 | ··0x00006ce | 18 | ··0x00006ce8·4a010000·00000000·4b010000·4d010000·J.......K...M... |
19 | ··0x00006cf | 19 | ··0x00006cf8·51010000·52010000·53010000·55010000·Q...R...S...U... |
20 | ··0x00006d0 | 20 | ··0x00006d08·56010000·59010000·5a010000·5b010000·V...Y...Z...[... |
21 | ··0x00006d1 | 21 | ··0x00006d18·00000000·00000000·00000000·5e010000·............^... |
22 | ··0x00006d2 | 22 | ··0x00006d28·5f010000·62010000·66010000·67010000·_...b...f...g... |
23 | ··0x00006d3 | 23 | ··0x00006d38·6a010000·00000000·6c010000·6e010000·j.......l...n... |
24 | ··0x00006d4 | 24 | ··0x00006d48·70010000·71010000·73010000·74010000·p...q...s...t... |
25 | ··0x00006d5 | 25 | ··0x00006d58·00000000·76010000·00000000·00000000·....v........... |
26 | ··0x00006d6 | 26 | ··0x00006d68·00000000·77010000·00000000·7a010000·....w.......z... |
27 | ··0x00006d7 | 27 | ··0x00006d78·7b010000·7f010000·80010000·00000000·{............... |
28 | ··0x00006d8 | 28 | ··0x00006d88·82010000·83010000·84010000·00000000·................ |
29 | ··0x00006d9 | 29 | ··0x00006d98·86010000·89010000·00000000·8b010000·................ |
30 | ··0x00006da | 30 | ··0x00006da8·8d010000·8f010000·90010000·00000000·................ |
31 | ··0x00006db | 31 | ··0x00006db8·92010000·00000000·93010000·00000000·................ |
32 | ··0x00006dc | 32 | ··0x00006dc8·94010000·95010000·96010000·98010000·................ |
33 | ··0x00006dd | 33 | ··0x00006dd8·9a010000·9b010000·9c010000·a0010000·................ |
34 | ··0x00006de | 34 | ··0x00006de8·a2010000·00000000·00000000·a3010000·................ |
35 | ··0x00006df | 35 | ··0x00006df8·a5010000·a6010000·a7010000·a8010000·................ |
36 | ··0x00006e0 | 36 | ··0x00006e08·aa010000·ad010000·ae010000·b0010000·................ |
37 | ··0x00006e1 | 37 | ··0x00006e18·b3010000·b5010000·b7010000·b9010000·................ |
38 | ··0x00006e2 | 38 | ··0x00006e28·00000000·ba010000·bb010000·bc010000·................ |
39 | ··0x00006e3 | 39 | ··0x00006e38·be010000·00000000·c0010000·00000000·................ |
40 | ··0x00006e4 | 40 | ··0x00006e48·c2010000·00000000·c3010000·c4010000·................ |
41 | ··0x00006e5 | 41 | ··0x00006e58·c5010000·c6010000·00000000·c8010000·................ |
42 | ··0x00006e6 | 42 | ··0x00006e68·ca010000·cc010000·d0010000·d1010000·................ |
43 | ··0x00006e7 | 43 | ··0x00006e78·d2010000·00000000·00000000·64cdf5df·............d... |
44 | ··0x00006e8 | 44 | ··0x00006e88·e7a451b2·06430cd2·fbfca879·0ad993d7·..Q..C.....y.... |
45 | ··0x00006e9 | 45 | ··0x00006e98·7de5eeea·2b27e3c2·5e4a1186·bf168470·}...+'..^J.....p |
46 | ··0x00006ea | 46 | ··0x00006ea8·69950ea3·10667b66·13eccfb3·1f0111a3·i....f{f........ |
47 | ··0x00006eb | 47 | ··0x00006eb8·fc9af299·5771a457·76047e3e·853075b1·....Wq.Wv.~>.0u. |
48 | ··0x00006ec | 48 | ··0x00006ec8·fe35a799·199d1424·72854c1b·9a039961·.5.....$r.L....a |
49 | ··0x00006ed | 49 | ··0x00006ed8·48733cbd·a12637da·382ce960·1dfb7c01·Hs<..&7.8,.`..|. |
50 | ··0x00006ee | 50 | ··0x00006ee8·0e5d7ecf·bdd7ffb2·61c83a38·8adc5464·.]~.....a.:8..Td |
51 | ··0x00006ef | 51 | ··0x00006ef8·78abea52·251be906·daa69e85·b328d630·x..R%........(.0 |
52 | ··0x00006f0 | 52 | ··0x00006f08·c175d9af·00835b56·83086e84·475a85dc·.u....[V..n.GZ.. |
53 | ··0x00006f1 | 53 | ··0x00006f18·f694553e·49337271·aefca8f0·b6ecea26·..U>I3rq.......& |
54 | ··0x00006f2 | 54 | ··0x00006f28·9ebdc441·0bfe087f·c77e72c5·cfd957e3·...A.....~r...W. |
55 | ··0x00006f3 | 55 | ··0x00006f38·e07377e7·c7c71550·cf433ac4·f055402a·.sw....P.C:..U@* |
56 | ··0x00006f4 | 56 | ··0x00006f48·38064f87·7f2396aa·0d1dba29·4730ade5·8.O..#.....)G0.. |
57 | ··0x00006f5 | 57 | ··0x00006f58·3262dbed·e624e9b1·91fffa67·f9ab9f90·2b...$.....g.... |
58 | ··0x00006f6 | 58 | ··0x00006f68·48470cd2·30a6e88b·5d97e13b·1cb9d051·HG..0...]..;...Q |
59 | ··0x00006f7 | 59 | ··0x00006f78·a0e7191c·3260ac50·73ba3f71·2381d5e8·....2`.Ps.?q#... |
60 | ··0x00006f8 | 60 | ··0x00006f88·7840d690·fa45dcb1·6db1c9ac·f47b3dbd·x@...E..m....{=. |
61 | ··0x00006f9 | 61 | ··0x00006f98·413e3870·ac16b920·ad29b989·526a7b66·A>8p...·.)..Rj{f |
62 | ··0x00006fa | 62 | ··0x00006fa8·d31f85e0·db24d2bb·6e6dff1b·1324a455·.....$..nm...$.U |
63 | ··0x00006fb | 63 | ··0x00006fb8·036fd5a5·3e9ff299·4be83bb7·3103915f·.o..>...K.;.1.._ |
64 | ··0x00006fc | 64 | ··0x00006fc8·c490ddc4·9e7e0789·73463f9e·bb822da7·.....~..sF?...-. |
65 | ··0x00006fd | 65 | ··0x00006fd8·90558fcd·48e0780c·38e60195·d971581c·.U..H.x.8....qX. |
66 | ··0x00006fe | 66 | ··0x00006fe8·671fe906·b0c387cd·35ed2e95·99a0ef00·g.......5....... |
67 | ··0x00006ff | 67 | ··0x00006ff8·3973c804·7e8720b9·b530dc7d·f8f0ea26·9s..~.·..0.}...& |
68 | ··0x0000700 | 68 | ··0x00007008·1c73bf64·63a986be·a0ca1ece·0f042b66·.s.dc.........+f |
69 | ··0x0000701 | 69 | ··0x00007018·207877e7·23d407d3·9c105cfd·53184da2··xw.#.....\.S.M. |
70 | ··0x0000702 | 70 | ··0x00007028·3b6781e5·4e21ba29·f3559869·6dff76f5·;g..N!.).U.im.v. |
71 | ··0x0000703 | 71 | ··0x00007038·f333789d·4d3b3ac4·894b0cd2·5cbdd051·.3x.M;:..K..\..Q |
72 | ··0x0000704 | 72 | ··0x00007048·3fcdd9a5·742e1506·9312409c·8f334b37·?...t.....@..3K7 |
73 | ··0x0000705 | 73 | ··0x00007058·2f07817b·ac4be3c0·28bb69d3·68b1fb14·/..{.K..(.i.h... |
74 | ··0x0000706 | 74 | ··0x00007068·49110aea·5a286575·bbe3927c·936e7b66·I...Z(eu...|.n{f |
75 | ··0x0000707 | 75 | ··0x00007078·6409a6ad·4573d5a5·7fa3f299·1d461186·d...Es.......F.. |
76 | ··0x0000708 | 76 | ··0x00007088·bb393e7d·e2820fb3·4345d5ec·da708604·.9>}....CE...p.. |
77 | ··0x0000709 | 77 | ··0x00007098·365dc5c3·f7a625ba·4da8da6f·b83b66d0·6]....%.M..o.;f. |
78 | ··0x000070a | 78 | ··0x000070a8·3399b331·84bc5e32·308a4053·49c89d7e·3..1..^20.@SI..~ |
79 | ··0x000070b | 79 | ··0x000070b8·0c3a970b·fd862da7·6a062ef1·2f049e0c·.:....-.j.../... |
80 | ··0x000070c | 80 | ··0x000070c8·c8291322·738dfc53·73d880bb·5706d7e2·.)."s..Ss...W... |
81 | ··0x000070d | 81 | ··0x000070d8·639f97ec·0e27eee7·c7d61cd4·6a7f9a7c·c....'......j..| |
82 | ··0x000070e | 82 | ··0x000070e8·e37f7b53·56c236dc·e516e906·41221cdc·..{SV.6.....A".. |
83 | ··0x000070f | 83 | ··0x000070f8·016805a6·8f25ba29·331f5d29·76e8ea26·.h...%.)3.])v..& |
84 | ··0x0000710 | 84 | ··0x00007108·5db9c441·e622a1fc·5ff0e4b5·9e6f77e7·]..A.".._....ow. |
85 | ··0x0000711 | 85 | ··0x00007118·3f8c3f0d·6a0943d6·9a57586b·8c3f3ac4·?.?.j.C..WXk.?:. |
86 | ··0x0000712 | 86 | ··0x00007128·e98a5f29·3d1f96aa·9fc1d051·d060b3a4·.._)=......Q.`.. |
87 | ··0x0000713 | 87 | ··0x00007138·2de08b02····························-... |
Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
1 | Disassembly·of·section·.init: | 1 | Disassembly·of·section·.init: |
2 | 0000841 | 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} |
Offset 1, 1126 lines modified | Offset 1, 1126 lines modified | ||
1 | Disassembly·of·section·.plt: | 1 | Disassembly·of·section·.plt: |
2 | 0000842 | 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]» @·843 | 4 | » ldr» lr,·[pc,·#4]» @·8438·<CVC4::main::pOptions@@Base+0x8438> |
5 | » add» lr,·pc,·lr | 5 | » add» lr,·pc,·lr |
6 | » ldr» pc,·[lr,·#8]! | 6 | » ldr» pc,·[lr,·#8]! |
7 | » andeq» r1,·r1,·r | 7 | » andeq» r1,·r1,·r0,·asr·#16 |
8 | 0000843 | 8 | 0000843c·<__libc_start_main@plt>: |
9 | » add» ip,·pc,·#0,·12 | 9 | » add» ip,·pc,·#0,·12 |
10 | » add» ip,·ip,·#69632»@·0x11000 | 10 | » add» ip,·ip,·#69632»@·0x11000 |
11 | » ldr» pc,·[ip,·#211 | 11 | » ldr» pc,·[ip,·#2112]!» @·0x840 |
12 | 0000844 | 12 | 00008448·<abort@plt>: |
13 | » add» ip,·pc,·#0,·12 | 13 | » add» ip,·pc,·#0,·12 |
14 | » add» ip,·ip,·#69632»@·0x11000 | 14 | » add» ip,·ip,·#69632»@·0x11000 |
15 | » ldr» pc,·[ip,·#210 | 15 | » ldr» pc,·[ip,·#2104]!» @·0x838 |
16 | 0000845 | 16 | 00008454·<__gmon_start__@plt>: |
17 | » add» ip,·pc,·#0,·12 | 17 | » add» ip,·pc,·#0,·12 |
18 | » add» ip,·ip,·#69632»@·0x11000 | 18 | » add» ip,·ip,·#69632»@·0x11000 |
19 | » ldr» pc,·[ip,·#2 | 19 | » ldr» pc,·[ip,·#2096]!» @·0x830 |
20 | 000084 | 20 | 00008460·<__cxa_finalize@plt>: |
21 | » add» ip,·pc,·#0,·12 | 21 | » add» ip,·pc,·#0,·12 |
22 | » add» ip,·ip,·#69632»@·0x11000 | 22 | » add» ip,·ip,·#69632»@·0x11000 |
23 | » ldr» pc,·[ip,·#20 | 23 | » ldr» pc,·[ip,·#2088]!» @·0x828 |
24 | 0000846 | 24 | 0000846c·<operator·delete(void*)@plt>: |
25 | » add» ip,·pc,·#0,·12 | 25 | » add» ip,·pc,·#0,·12 |
26 | » add» ip,·ip,·#69632»@·0x11000 | 26 | » add» ip,·ip,·#69632»@·0x11000 |
27 | » ldr» pc,·[ip,·#208 | 27 | » ldr» pc,·[ip,·#2080]!» @·0x820 |
28 | 0000847 | 28 | 00008478·<std::ios_base::ios_base()@plt>: |
29 | » add» ip,·pc,·#0,·12 | 29 | » add» ip,·pc,·#0,·12 |
30 | » add» ip,·ip,·#69632»@·0x11000 | 30 | » add» ip,·ip,·#69632»@·0x11000 |
31 | » ldr» pc,·[ip,·#207 | 31 | » ldr» pc,·[ip,·#2072]!» @·0x818 |
32 | 0000848 | 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,·12 | 33 | » add» ip,·pc,·#0,·12 |
34 | » add» ip,·ip,·#69632»@·0x11000 | 34 | » add» ip,·ip,·#69632»@·0x11000 |
35 | » ldr» pc,·[ip,·#206 | 35 | » ldr» pc,·[ip,·#2064]!» @·0x810 |
36 | 000084 | 36 | 00008490·<std::locale::locale()@plt>: |
37 | » add» ip,·pc,·#0,·12 | 37 | » add» ip,·pc,·#0,·12 |
38 | » add» ip,·ip,·#69632»@·0x11000 | 38 | » add» ip,·ip,·#69632»@·0x11000 |
39 | » ldr» pc,·[ip,·#20 | 39 | » ldr» pc,·[ip,·#2056]!» @·0x808 |
40 | 0000849 | 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,·12 | 41 | » add» ip,·pc,·#0,·12 |
42 | » add» ip,·ip,·#69632»@·0x11000 | 42 | » add» ip,·ip,·#69632»@·0x11000 |
43 | » ldr» pc,·[ip,·#20 | 43 | » ldr» pc,·[ip,·#2048]!» @·0x800 |
44 | 000084a | 44 | 000084a8·<CVC4::Options::getBinaryName[abi:cxx11]()·const@plt>: |
45 | » add» ip,·pc,·#0,·12 | 45 | » add» ip,·pc,·#0,·12 |
46 | » add» ip,·ip,·#69632»@·0x11000 | 46 | » add» ip,·ip,·#69632»@·0x11000 |
47 | » ldr» pc,·[ip,·#204 | 47 | » ldr» pc,·[ip,·#2040]!» @·0x7f8 |
48 | 000084b | 48 | 000084b4·<std::ostream::put(char)@plt>: |
49 | » add» ip,·pc,·#0,·12 | 49 | » add» ip,·pc,·#0,·12 |
50 | » add» ip,·ip,·#69632»@·0x11000 | 50 | » add» ip,·ip,·#69632»@·0x11000 |
51 | » ldr» pc,·[ip,·#203 | 51 | » ldr» pc,·[ip,·#2032]!» @·0x7f0 |
52 | 000084 | 52 | 000084c0·<std::ostream::flush()@plt>: |
53 | » add» ip,·pc,·#0,·12 | 53 | » add» ip,·pc,·#0,·12 |
54 | » add» ip,·ip,·#69632»@·0x11000 | 54 | » add» ip,·ip,·#69632»@·0x11000 |
55 | » ldr» pc,·[ip,·#202 | 55 | » ldr» pc,·[ip,·#2024]!» @·0x7e8 |
56 | 000084c | 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,·12 | 57 | » add» ip,·pc,·#0,·12 |
58 | » add» ip,·ip,·#69632»@·0x11000 | 58 | » add» ip,·ip,·#69632»@·0x11000 |
59 | » ldr» pc,·[ip,·#20 | 59 | » ldr» pc,·[ip,·#2016]!» @·0x7e0 |
60 | 000084d | 60 | 000084d8·<CVC4::Options::getOut()@plt>: |
61 | » add» ip,·pc,·#0,·12 | 61 | » add» ip,·pc,·#0,·12 |
62 | » add» ip,·ip,·#69632»@·0x11000 | 62 | » add» ip,·ip,·#69632»@·0x11000 |
63 | » ldr» pc,·[ip,·#20 | 63 | » ldr» pc,·[ip,·#2008]!» @·0x7d8 |
64 | 000084e | 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,·12 | 65 | » add» ip,·pc,·#0,·12 |
66 | » add» ip,·ip,·#69632»@·0x11000 | 66 | » add» ip,·ip,·#69632»@·0x11000 |
67 | » ldr» pc,·[ip,·#200 | 67 | » ldr» pc,·[ip,·#2000]!» @·0x7d0 |
68 | 000084 | 68 | 000084f0·<std::locale::~locale()@plt>: |
69 | » add» ip,·pc,·#0,·12 | 69 | » add» ip,·pc,·#0,·12 |
70 | » add» ip,·ip,·#69632»@·0x11000 | 70 | » add» ip,·ip,·#69632»@·0x11000 |
71 | » ldr» pc,·[ip,·#199 | 71 | » ldr» pc,·[ip,·#1992]!» @·0x7c8 |
72 | 000084f | 72 | 000084fc·<std::ios_base::~ios_base()@plt>: |
73 | » add» ip,·pc,·#0,·12 | 73 | » add» ip,·pc,·#0,·12 |
74 | » add» ip,·ip,·#69632»@·0x11000 | 74 | » add» ip,·ip,·#69632»@·0x11000 |
75 | » ldr» pc,·[ip,·#198 | 75 | » ldr» pc,·[ip,·#1984]!» @·0x7c0 |
76 | 0000850 | 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,·12 | 77 | » add» ip,·pc,·#0,·12 |
78 | » add» ip,·ip,·#69632»@·0x11000 | 78 | » add» ip,·ip,·#69632»@·0x11000 |
79 | » ldr» pc,·[ip,·#19 | 79 | » ldr» pc,·[ip,·#1976]!» @·0x7b8 |
80 | 0000851 | 80 | 00008514·<std::ctype<char>::_M_widen_init()·const@plt>: |
81 | » add» ip,·pc,·#0,·12 | 81 | » add» ip,·pc,·#0,·12 |
82 | » add» ip,·ip,·#69632»@·0x11000 | 82 | » add» ip,·ip,·#69632»@·0x11000 |
83 | » ldr» pc,·[ip,·#19 | 83 | » ldr» pc,·[ip,·#1968]!» @·0x7b0 |
84 | 000085 | 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,·12 | 85 | » add» ip,·pc,·#0,·12 |
86 | » add» ip,·ip,·#69632»@·0x11000 | 86 | » add» ip,·ip,·#69632»@·0x11000 |
87 | » ldr» pc,·[ip,·#196 | 87 | » ldr» pc,·[ip,·#1960]!» @·0x7a8 |
88 | 0000852 | 88 | 0000852c·<std::__throw_bad_cast()@plt>: |
89 | » add» ip,·pc,·#0,·12 | 89 | » add» ip,·pc,·#0,·12 |
90 | » add» ip,·ip,·#69632»@·0x11000 | 90 | » add» ip,·ip,·#69632»@·0x11000 |
91 | » ldr» pc,·[ip,·#195 | 91 | » ldr» pc,·[ip,·#1952]!» @·0x7a0 |
92 | 0000853 | 92 | 00008538·<std::__cxx11::basic_stringstream<char,·std::char_traits<char>,·std::allocator<char>·>::~basic_stringstream()@plt>: |
93 | » add» ip,·pc,·#0,·12 | 93 | » add» ip,·pc,·#0,·12 |
94 | » add» ip,·ip,·#69632»@·0x11000 | 94 | » add» ip,·ip,·#69632»@·0x11000 |
95 | » ldr» pc,·[ip,·#194 | 95 | » ldr» pc,·[ip,·#1944]!» @·0x798 |
96 | 0000854 | 96 | 00008544·<__stack_chk_fail@plt>: |
97 | » add» ip,·pc,·#0,·12 | 97 | » add» ip,·pc,·#0,·12 |
98 | » add» ip,·ip,·#69632»@·0x11000 | 98 | » add» ip,·ip,·#69632»@·0x11000 |
99 | » ldr» pc,·[ip,·#19 | 99 | » ldr» pc,·[ip,·#1936]!» @·0x790 |
Max diff block lines reached; 49573/56185 bytes (88.23%) of diff not shown. |
Offset 22, 26 lines modified | Offset 22, 26 lines modified | ||
22 | /usr/include/c++/13/bits/basic_string.h:636 | 22 | /usr/include/c++/13/bits/basic_string.h:636 |
23 | » ldrbtmi»r4,·[sl],·#-2846» @·0xfffff4e2 | 23 | » 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·#22 | 25 | » 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:·0xf7ff4478 | 28 | » » » @·<UNDEFINED>·instruction:·0xf7ff4478 |
29 | » » » @·<UNDEFINED>·instruction:·0x4604ec9 | 29 | » » » @·<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:409 | 31 | /usr/include/c++/13/bits/char_traits.h:409 |
32 | » » » @·<UNDEFINED>·instruction:·0xf7ff4630 | 32 | » » » @·<UNDEFINED>·instruction:·0xf7ff4630 |
33 | » strmi» lr,·[r5],·- | 33 | » 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:223 | 35 | /usr/include/c++/13/bits/basic_string.tcc:223 |
36 | » andls» r2,·r0,·pc,·lsl·#16 | 36 | » andls» r2,·r0,·pc,·lsl·#16 |
37 | » andcs» sp,·r0,·#114688» @·0x1c000 | 37 | » andcs» sp,·r0,·#114688» @·0x1c000 |
38 | /usr/include/c++/13/bits/basic_string.tcc:225 | 38 | /usr/include/c++/13/bits/basic_string.tcc:225 |
39 | » strtmi» r4,·[r0],·-r9,·ror·#12 | 39 | » strtmi» r4,·[r0],·-r9,·ror·#12 |
40 | » stc» 7,·cr15,·[r | 40 | » 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:250 | 42 | /usr/include/c++/13/bits/basic_string.h:250 |
43 | » eorvs» r9,·r0,·r0,·lsl·#22 | 43 | » 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:417 | 46 | /usr/include/c++/13/bits/basic_string.h:417 |
47 | » tstle» r2,·r1,·lsl·#26 | 47 | » tstle» r2,·r1,·lsl·#26 |
Offset 49, 30 lines modified | Offset 49, 30 lines modified | ||
49 | /usr/include/c++/13/bits/char_traits.h:368 | 49 | /usr/include/c++/13/bits/char_traits.h:368 |
50 | » andvc» r7,·r3,·r3,·lsr·r8 | 50 | » andvc» r7,·r3,·r3,·lsr·r8 |
51 | /usr/include/c++/13/bits/char_traits.h:369 | 51 | /usr/include/c++/13/bits/char_traits.h:369 |
52 | » tstlt» sp,·r4 | 52 | » 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:445 | 54 | /usr/include/c++/13/bits/char_traits.h:445 |
55 | » ldrtmi» r4,·[r1],·-sl,·lsr·#12 | 55 | » ldrtmi» r4,·[r1],·-sl,·lsr·#12 |
56 | » ldc» 7,·cr15,·[ | 56 | » 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:247 | 58 | /usr/include/c++/13/bits/basic_string.tcc:247 |
59 | » tstcs» r0,·r0,·lsl·#22 | 59 | » 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:368 | 61 | /usr/include/c++/13/bits/char_traits.h:368 |
62 | » rsbvs» r6,·r3,·r2,·lsr·#16 | 62 | » 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:640 | 65 | /usr/include/c++/13/bits/basic_string.h:640 |
66 | » ldrbtmi»r4,·[sl],·#-2823» @·0xfffff4f9 | 66 | » 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·#22 | 68 | » subsmi» r9,·sl,·r1,·lsl·#22 |
69 | » movweq» pc,·#79» @·0x4f» @·<UNPREDICTABLE> | 69 | » movweq» pc,·#79» @·0x4f» @·<UNPREDICTABLE> |
70 | » » » @·<UNDEFINED>·instruction:·0xf7ffd001 | 70 | » » » @·<UNDEFINED>·instruction:·0xf7ffd001 |
71 | » andlt» lr,·r2,·r | 71 | » andlt» lr,·r2,·r2,·lsl·#22 |
72 | » svclt» 0x0000bd70 | 72 | » svclt» 0x0000bd70 |
73 | » » » @·<UNDEFINED>·instruction:·0x00010dba | 73 | » » » @·<UNDEFINED>·instruction:·0x00010dba |
74 | » » » @·<UNDEFINED>·instruction:·0xfffffe44 | 74 | » » » @·<UNDEFINED>·instruction:·0xfffffe44 |
75 | » andeq» r0,·r1,·r2,·lsr·#27 | 75 | » andeq» r0,·r1,·r2,·lsr·#27 |
76 | » andeq» ip,·r0,·ip,·ror·#9 | 76 | » andeq» ip,·r0,·ip,·ror·#9 |
77 | » andeq» r0,·r1,·r6,·asr·#26 | 77 | » 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 modified | Offset 92, 15 lines modified | ||
92 | » adcsmi» r3,·r3,·#8,·22» @·0x2000 | 92 | » 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,·2 | 95 | » 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:445 | 97 | /usr/include/c++/13/bits/char_traits.h:445 |
98 | » » » @·<UNDEFINED>·instruction:·0xf7ff4631 | 98 | » » » @·<UNDEFINED>·instruction:·0xf7ff4631 |
99 | » and» lr,·r2,· | 99 | » 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:250 | 101 | /usr/include/c++/13/bits/basic_string.h:250 |
102 | » eorvs» r6,·fp,·sl,·lsl·#17 | 102 | » 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:218 | 105 | /usr/include/c++/13/bits/basic_string.h:218 |
106 | » rsbvs» r2,·sl,·r0,·lsl·#6 | 106 | » rsbvs» r2,·sl,·r0,·lsl·#6 |
Offset 118, 85 lines modified | Offset 118, 85 lines modified | ||
118 | ./obj-arm-linux-gnueabihf/src/main/./src/main/driver_unified.cpp:510 | 118 | ./obj-arm-linux-gnueabihf/src/main/./src/main/driver_unified.cpp:510 |
119 | » ldrbtmi»r4,·[ip],·#-3638» @·0xfffff1ca | 119 | » 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:·0xf1044d36 | 121 | » » » @·<UNDEFINED>·instruction:·0xf1044d36 |
122 | /usr/include/cln/io.h:76 | 122 | /usr/include/cln/io.h:76 |
123 | » ldrbtmi»r0,·[lr],·#-1808» @·0xfffff8f0 | 123 | » ldrbtmi»r0,·[lr],·#-1808» @·0xfffff8f0 |
124 | » ldrbtmi»r4,·[sp],·#-1592» @·0xfffff9c8 | 124 | » ldrbtmi»r4,·[sp],·#-1592» @·0xfffff9c8 |
125 | » ldc» 7,·cr15,·[r | 125 | » 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:·0x462a4b33 | 127 | » » » @·<UNDEFINED>·instruction:·0x462a4b33 |
128 | » » » @·<UNDEFINED>·instruction:·0xf1044638 | 128 | » » » @·<UNDEFINED>·instruction:·0xf1044638 |
129 | /usr/include/cln/random.h:43 | 129 | /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·#6 | 132 | » ldrmi» r9,·[r9],·-r1,·lsl·#6 |
133 | » stc» 7,·cr15,·[ | 133 | » stc» 7,·cr15,·[lr],·#1020» @·0x3fc |
134 | /usr/include/cln/random.h:43 | 134 | /usr/include/cln/random.h:43 |
135 | » » » @·<UNDEFINED>·instruction:·0xf7ff4638 | 135 | » » » @·<UNDEFINED>·instruction:·0xf7ff4638 |
136 | » blmi» bc42 | 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·#12 | 138 | » ldrtmi» r4,·[r8],·-sl,·lsr·#12 |
139 | /usr/include/cln/ring.h:392 | 139 | /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» @·0x18f3 | 142 | » movwls» r5,·#6387» @·0x18f3 |
143 | » » » @·<UNDEFINED>·instruction:·0xf7ff4619 | 143 | » » » @·<UNDEFINED>·instruction:·0xf7ff4619 |
144 | » ldrtmi» lr,·[r8],·-r | 144 | » ldrtmi» lr,·[r8],·-r2,·lsr·#25 |
145 | /usr/include/cln/ring.h:392 | 145 | /usr/include/cln/ring.h:392 |
146 | » stc» 7,·cr15,·[ | 146 | » 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·#22 | 148 | » strtmi» r4,·[sl],·-r8,·lsr·#22 |
149 | » » » @·<UNDEFINED>·instruction:·0xf1044638 | 149 | » » » @·<UNDEFINED>·instruction:·0xf1044638 |
150 | /usr/include/cln/modinteger.h:57 | 150 | /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·#6 | 153 | » ldrmi» r9,·[r9],·-r1,·lsl·#6 |
154 | » ldc» 7,·cr15,·[r | 154 | » ldc» 7,·cr15,·[r4],·{255}» @·0xff |
155 | /usr/include/cln/modinteger.h:57 | 155 | /usr/include/cln/modinteger.h:57 |
156 | » » » @·<UNDEFINED>·instruction:·0xf7ff4638 | 156 | » » » @·<UNDEFINED>·instruction:·0xf7ff4638 |
157 | » blmi» 9042 | 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·#12 | 159 | » ldrtmi» r4,·[r8],·-sl,·lsr·#12 |
160 | /usr/include/cln/modinteger.h:370 | 160 | /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:·0xf7ff4641 | 164 | » » » @·<UNDEFINED>·instruction:·0xf7ff4641 |
165 | » ldrtmi» lr,·[r8],·-r | 165 | » ldrtmi» lr,·[r8],·-r8,·lsl·#25 |
166 | /usr/include/cln/modinteger.h:370 | 166 | /usr/include/cln/modinteger.h:370 |
167 | » ldc» 7,·cr15,·[r | 167 | » 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·#12 | 169 | » strbmi» r4,·[r1],·-sl,·lsr·#12 |
170 | » » » @·<UNDEFINED>·instruction:·0xf1044638 | 170 | » » » @·<UNDEFINED>·instruction:·0xf1044638 |
Max diff block lines reached; 840452/846703 bytes (99.26%) of diff not shown. |
Offset 1, 16 lines modified | Offset 1, 16 lines modified | ||
1 | Hex·dump·of·section·'.ARM.extab': | 1 | Hex·dump·of·section·'.ARM.extab': |
2 | ··0x00016670·3 | 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·d | 8 | ··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...&.5 | 12 | ··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.7 | 15 | ··0x00016740·0972fa37·00ee0a04·d83a00ae·0b48fa37·.r.7.....:...H.7 |
Offset 38, 60 lines modified | Offset 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..8 | 41 | ··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·8 | 45 | ··0x00016910·04be3b00·0000017d·84320000·881fff7f·..;....}.2...... |
46 | ··0x00016920·b0ab0800·ffff010a·4e04a601·00840144·........N......D | 46 | ··0x00016920·b0ab0800·ffff010a·4e04a601·00840144·........N......D |
47 | ··0x00016930·00000000· | 47 | ··0x00016930·00000000·701fff7f·b0aa0b00·ffff010a·....p........... |
48 | ··0x00016940·5c04b401·00920144·00000000·5 | 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·3 | 51 | ··0x00016970·341fff7f·b0af0800·ffff0116·4030f201·4...........@0.. |
52 | ··0x00016980·00da0104·c80200a8·0220f201·00e80204·.........·...... | 52 | ··0x00016980·00da0104·c80200a8·0220f201·00e80204·.........·...... |
53 | ··0x00016990·00000000· | 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·d | 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· | 61 | ··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·4 | 65 | ··0x00016a50·049c0100·00000000·4c1eff7f·b0ab2a00·........L.....*. |
66 | ··0x00016a60·ff902d01·1a1e0400·002a0452·058a0136·..-......*.R...6 | 66 | ··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·1 | 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·e | 71 | ··0x00016ab0·840104d8·01009602·04000000·e81dff7f·................ |
72 | ··0x00016ac0·b0b0aa00·ffff010c·060c0000·16044400·..............D. | 72 | ··0x00016ac0·b0b0aa00·ffff010c·060c0000·16044400·..............D. |
73 | ··0x00016ad0·38160000· | 73 | ··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· | 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·...............n | 85 | ··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·b | 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 modified | Offset 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·4 | 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· | 119 | ··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· | 123 | ··0x00016df0·00000000·b01aff7f·b0aa0d00·ffff0115·................ |
124 | ··0x00016e00·1c0c0000·2c048e01·003a0400·00420470·....,....:...B.p | 124 | ··0x00016e00·1c0c0000·2c048e01·003a0400·00420470·....,....:...B.p |
125 | ··0x00016e10·006c4000·00000000·8 | 125 | ··0x00016e10·006c4000·00000000·8c1aff7f·b0b0a800·.l@............. |
126 | ··0x00016e20·ffff0100· | 126 | ··0x00016e20·ffff0100·801aff7f·b0af0a00·ffff0100·................ |
127 | ··0x00016e30·7 | 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·b | 139 | ··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 modified | Offset 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. |
Offset 26, 65 lines modified | Offset 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·2 | 33 | ··0x00019c78·00000000·00000000·00000000·28840000·............(... |
34 | ··0x00019c88·2 | 34 | ··0x00019c88·28840000·28840000·28840000·28840000·(...(...(...(... |
35 | ··0x00019c98·2 | 35 | ··0x00019c98·28840000·28840000·28840000·28840000·(...(...(...(... |
36 | ··0x00019ca8·2 | 36 | ··0x00019ca8·28840000·28840000·28840000·28840000·(...(...(...(... |
37 | ··0x00019cb8·2 | 37 | ··0x00019cb8·28840000·28840000·28840000·28840000·(...(...(...(... |
38 | ··0x00019cc8·2 | 38 | ··0x00019cc8·28840000·28840000·28840000·28840000·(...(...(...(... |
39 | ··0x00019cd8·2 | 39 | ··0x00019cd8·28840000·28840000·28840000·28840000·(...(...(...(... |
40 | ··0x00019ce8·2 | 40 | ··0x00019ce8·28840000·28840000·28840000·28840000·(...(...(...(... |
41 | ··0x00019cf8·2 | 41 | ··0x00019cf8·28840000·28840000·28840000·28840000·(...(...(...(... |
42 | ··0x00019d08·2 | 42 | ··0x00019d08·28840000·28840000·28840000·28840000·(...(...(...(... |
43 | ··0x00019d18·2 | 43 | ··0x00019d18·28840000·28840000·28840000·28840000·(...(...(...(... |
44 | ··0x00019d28·2 | 44 | ··0x00019d28·28840000·28840000·28840000·28840000·(...(...(...(... |
45 | ··0x00019d38·2 | 45 | ··0x00019d38·28840000·28840000·28840000·28840000·(...(...(...(... |
46 | ··0x00019d48·2 | 46 | ··0x00019d48·28840000·28840000·28840000·28840000·(...(...(...(... |
47 | ··0x00019d58·2 | 47 | ··0x00019d58·28840000·28840000·28840000·28840000·(...(...(...(... |
48 | ··0x00019d68·2 | 48 | ··0x00019d68·28840000·28840000·28840000·28840000·(...(...(...(... |
49 | ··0x00019d78·2 | 49 | ··0x00019d78·28840000·28840000·28840000·28840000·(...(...(...(... |
50 | ··0x00019d88·2 | 50 | ··0x00019d88·28840000·28840000·28840000·28840000·(...(...(...(... |
51 | ··0x00019d98·2 | 51 | ··0x00019d98·28840000·28840000·28840000·28840000·(...(...(...(... |
52 | ··0x00019da8·2 | 52 | ··0x00019da8·28840000·28840000·28840000·28840000·(...(...(...(... |
53 | ··0x00019db8·2 | 53 | ··0x00019db8·28840000·28840000·28840000·28840000·(...(...(...(... |
54 | ··0x00019dc8·2 | 54 | ··0x00019dc8·28840000·28840000·28840000·28840000·(...(...(...(... |
55 | ··0x00019dd8·2 | 55 | ··0x00019dd8·28840000·28840000·28840000·28840000·(...(...(...(... |
56 | ··0x00019de8·2 | 56 | ··0x00019de8·28840000·28840000·28840000·28840000·(...(...(...(... |
57 | ··0x00019df8·2 | 57 | ··0x00019df8·28840000·28840000·28840000·28840000·(...(...(...(... |
58 | ··0x00019e08·2 | 58 | ··0x00019e08·28840000·28840000·28840000·28840000·(...(...(...(... |
59 | ··0x00019e18·2 | 59 | ··0x00019e18·28840000·28840000·28840000·28840000·(...(...(...(... |
60 | ··0x00019e28·2 | 60 | ··0x00019e28·28840000·28840000·28840000·28840000·(...(...(...(... |
61 | ··0x00019e38·2 | 61 | ··0x00019e38·28840000·28840000·28840000·28840000·(...(...(...(... |
62 | ··0x00019e48·2 | 62 | ··0x00019e48·28840000·28840000·28840000·28840000·(...(...(...(... |
63 | ··0x00019e58·2 | 63 | ··0x00019e58·28840000·28840000·28840000·28840000·(...(...(...(... |
64 | ··0x00019e68·2 | 64 | ··0x00019e68·28840000·28840000·28840000·28840000·(...(...(...(... |
65 | ··0x00019e78·2 | 65 | ··0x00019e78·28840000·28840000·28840000·28840000·(...(...(...(... |
66 | ··0x00019e88·2 | 66 | ··0x00019e88·28840000·28840000·28840000·28840000·(...(...(...(... |
67 | ··0x00019e98·2 | 67 | ··0x00019e98·28840000·28840000·28840000·28840000·(...(...(...(... |
68 | ··0x00019ea8·2 | 68 | ··0x00019ea8·28840000·28840000·28840000·28840000·(...(...(...(... |
69 | ··0x00019eb8·2 | 69 | ··0x00019eb8·28840000·28840000·28840000·28840000·(...(...(...(... |
70 | ··0x00019ec8·2 | 70 | ··0x00019ec8·28840000·28840000·28840000·28840000·(...(...(...(... |
71 | ··0x00019ed8·2 | 71 | ··0x00019ed8·28840000·28840000·28840000·28840000·(...(...(...(... |
72 | ··0x00019ee8·2 | 72 | ··0x00019ee8·28840000·28840000·28840000·28840000·(...(...(...(... |
73 | ··0x00019ef8·2 | 73 | ··0x00019ef8·28840000·28840000·28840000·28840000·(...(...(...(... |
74 | ··0x00019f08·2 | 74 | ··0x00019f08·28840000·28840000·28840000·28840000·(...(...(...(... |
75 | ··0x00019f18·2 | 75 | ··0x00019f18·28840000·28840000·28840000·28840000·(...(...(...(... |
76 | ··0x00019f28·2 | 76 | ··0x00019f28·28840000·28840000·28840000·28840000·(...(...(...(... |
77 | ··0x00019f38·2 | 77 | ··0x00019f38·28840000·28840000·28840000·28840000·(...(...(...(... |
78 | ··0x00019f48·2 | 78 | ··0x00019f48·28840000·28840000·28840000·28840000·(...(...(...(... |
79 | ··0x00019f58·2 | 79 | ··0x00019f58·28840000·28840000·28840000·28840000·(...(...(...(... |
80 | ··0x00019f68·2 | 80 | ··0x00019f68·28840000·28840000·28840000·28840000·(...(...(...(... |
81 | ··0x00019f78·2 | 81 | ··0x00019f78·28840000·28840000·28840000·28840000·(...(...(...(... |
82 | ··0x00019f88·2 | 82 | ··0x00019f88·28840000·28840000·28840000·28840000·(...(...(...(... |
83 | ··0x00019f98·2 | 83 | ··0x00019f98·28840000·28840000·28840000·28840000·(...(...(...(... |
84 | ··0x00019fa8·2 | 84 | ··0x00019fa8·28840000·28840000·28840000·28840000·(...(...(...(... |
85 | ··0x00019fb8·2 | 85 | ··0x00019fb8·28840000·28840000·28840000·28840000·(...(...(...(... |
86 | ··0x00019fc8·2 | 86 | ··0x00019fc8·28840000·28840000·28840000·28840000·(...(...(...(... |
87 | ··0x00019fd8·2 | 87 | ··0x00019fd8·28840000·28840000·28840000·28840000·(...(...(...(... |
88 | ··0x00019fe8·2 | 88 | ··0x00019fe8·28840000·28840000·28840000·28840000·(...(...(...(... |
89 | ··0x00019ff8·2 | 89 | ··0x00019ff8·28840000·28840000···················(...(... |
Offset 1, 7 lines modified | Offset 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 | ··0x000000 | 2 | ··0x00000000·39393931·61343439·32343862·36633233·9991a449248b6c23 |
3 | ··0x00000010·65306637·39656434·62353862·32653033·e0f79ed4b58b2e03 | ||
4 | ··0x00000020·31 | 4 | ··0x00000020·31323038·61342e64·65627567·00000000·1208a4.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·8058b0cf····························.X.. |
Offset 1, 11 lines modified | Offset 1, 11 lines modified | ||
1 | .\"·Process·this·file·with | 1 | .\"·Process·this·file·with |
2 | .\"·groff·-man·-Tascii·cvc4.1 | 2 | .\"·groff·-man·-Tascii·cvc4.1 |
3 | .\" | 3 | .\" |
4 | .TH·CVC4·1·"2022-10- | 4 | .TH·CVC4·1·"2022-10-30"·"CVC4·release·CVC4_RELEASE_STRING"·"User·Manuals" |
5 | .SH·NAME | 5 | .SH·NAME |
6 | cvc4,·pcvc4·\-·an·automated·theorem·prover | 6 | cvc4,·pcvc4·\-·an·automated·theorem·prover |
7 | .SH·SYNOPSIS | 7 | .SH·SYNOPSIS |
8 | .B·cvc4·[ | 8 | .B·cvc4·[ |
9 | .I·options | 9 | .I·options |
10 | .B·]·[ | 10 | .B·]·[ |
11 | .I·file | 11 | .I·file |
Offset 1, 11 lines modified | Offset 1, 11 lines modified | ||
1 | .\"·Process·this·file·with | 1 | .\"·Process·this·file·with |
2 | .\"·groff·-man·-Tascii·cvc4.5 | 2 | .\"·groff·-man·-Tascii·cvc4.5 |
3 | .\" | 3 | .\" |
4 | .TH·CVC4·5·"2022-10- | 4 | .TH·CVC4·5·"2022-10-30"·"CVC4·release·CVC4_RELEASE_STRING"·"Languages·documentation" |
5 | .SH·NAME | 5 | .SH·NAME |
6 | cvc4·\-·the·native·input·language·for·CVC4 | 6 | cvc4·\-·the·native·input·language·for·CVC4 |
7 | .SH·DESCRIPTION | 7 | .SH·DESCRIPTION |
8 | .B·cvc4 | 8 | .B·cvc4 |
9 | is·an·automated·theorem·prover·for·first-order·formulas·with·respect | 9 | is·an·automated·theorem·prover·for·first-order·formulas·with·respect |
10 | to·background·theories·of·interest. | 10 | to·background·theories·of·interest. |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····121 | 2 | -rw-r--r--···0········0········0·····1216·2022-10-29·18:49:40.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0··53 | 3 | -rw-r--r--···0········0········0··5370528·2022-10-29·18:49:40.000000·data.tar.xz |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.build-id | 1 | Displaying·notes·found·in:·.note.gnu.build-id |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·458a4f18a6d981747188a33798e3ff72fb5d6035 |
4 | Displaying·notes·found·in:·.note.gnu.gold-version | 4 | Displaying·notes·found·in:·.note.gnu.gold-version |
5 | ··Owner················Data·size·» Description | 5 | ··Owner················Data·size·» Description |
6 | ··GNU··················0x00000009» NT_GNU_GOLD_VERSION·(gold·version)» ····Version:·gold·1.16 | 6 | ··GNU··················0x00000009» NT_GNU_GOLD_VERSION·(gold·version)» ····Version:·gold·1.16 |
Offset 27233, 15 lines modified | Offset 27233, 15 lines modified | ||
27233 | EQUALITY_UNKNOWN | 27233 | EQUALITY_UNKNOWN |
27234 | ./src/theory/valuation.cpp | 27234 | ./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·hold | 27238 | ·to·hold |
27239 | Illegal·argument·detected | 27239 | Illegal·argument·detected |
27240 | 2022-10- | 27240 | 2022-10-30·08:49:40 |
27241 | Copyright·(c)·2009-2020·by·the·authors·and·their·institutional | 27241 | Copyright·(c)·2009-2020·by·the·authors·and·their·institutional |
27242 | affiliations·listed·at·http://cvc4.cs.stanford.edu/authors | 27242 | affiliations·listed·at·http://cvc4.cs.stanford.edu/authors |
27243 | This·build·of·CVC4·uses·GPLed·libraries,·and·is·thus·covered·by | 27243 | This·build·of·CVC4·uses·GPLed·libraries,·and·is·thus·covered·by |
27244 | the·GNU·General·Public·License·(GPL)·version·3.··Versions·of·CVC4 | 27244 | the·GNU·General·Public·License·(GPL)·version·3.··Versions·of·CVC4 |
27245 | are·available·that·are·covered·by·the·(modified)·BSD·license.·If | 27245 | are·available·that·are·covered·by·the·(modified)·BSD·license.·If |
27246 | you·want·to·license·CVC4·under·this·license,·please·configure·CVC4 | 27246 | 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. |