{"vulnerability": "CVE-2020-5232", "sightings": [{"uuid": "db580f69-13dc-4d6a-a4c4-faf680f3ac45", "vulnerability_lookup_origin": "1a89b78e-f703-45f3-bb86-59eb712668bd", "author": "9f56dd64-161d-43a6-b9c3-555944290a09", "vulnerability": "CVE-2020-5232", "type": "seen", "source": "https://t.me/techpwnews/272", "content": "Manticore discovers the ENS bug\n\nThe Ethereum Name Service (ENS) contract recently suffered from a critical bug that prompted a security advisory and a migration to a new contract (CVE-2020-5232). ENS allows users to associate online resources with human-readable names. As you might expect, it allows you to transfer and sell domain names. Specific details about the bug were in [\u2026]\n\nContinue reading at Trail of Bits Blog", "creation_timestamp": "2020-03-26T15:07:14.000000Z"}, {"uuid": "8a3caeb2-75f3-4346-8017-98da1feb9afb", "vulnerability_lookup_origin": "1a89b78e-f703-45f3-bb86-59eb712668bd", "author": "9f56dd64-161d-43a6-b9c3-555944290a09", "vulnerability": "CVE-2020-5232", "type": "seen", "source": "https://t.me/codeby_sec/10094", "content": "6 \u0441\u0442\u0440\u043e\u043a \u043a\u043e\u0434\u0430 \u0432\u043c\u0435\u0441\u0442\u043e 4 \u0447\u0430\u0441\u043e\u0432 \u0440\u0435\u0432\u0435\u0440\u0441\u0430: \u043a\u0430\u043a \u0441\u0438\u043c\u0432\u043e\u043b\u044c\u043d\u043e\u0435 \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u043b\u043e\u043c\u0430\u0435\u0442 CTF-\u0442\u0430\u0441\u043a\u0438\n\n\u041d\u0430 CSAW CTF 2015 \u0437\u0430\u0434\u0430\u0447\u0430 \u00abwyvern\u00bb \u0438\u0437 \u043a\u0430\u0442\u0435\u0433\u043e\u0440\u0438\u0438 Reversing 500 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u043b\u0430 \u0431\u0438\u043d\u0430\u0440\u044c \u0441 \u0434\u0435\u0441\u044f\u0442\u043a\u0430\u043c\u0438 \u0432\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0445 \u043f\u0440\u043e\u0432\u0435\u0440\u043e\u043a \u0432\u0432\u043e\u0434\u0430. \u0420\u0443\u0447\u043d\u043e\u0439 \u0440\u0435\u0432\u0435\u0440\u0441 \u0432 Ghidra \u2014 \u0447\u0430\u0441\u044b \u0440\u0430\u0431\u043e\u0442\u044b. \u0421\u043a\u0440\u0438\u043f\u0442 \u043d\u0430 6 \u0441\u0442\u0440\u043e\u043a\u0430\u0445 angr \u0440\u0435\u0448\u0438\u043b \u0435\u0451 \u0437\u0430 15 \u043c\u0438\u043d\u0443\u0442. \u0410\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u0441\u0433\u0435\u043d\u0435\u0440\u0438\u0440\u043e\u0432\u0430\u043b \u0432\u0445\u043e\u0434\u043d\u044b\u0435 \u0434\u0430\u043d\u043d\u044b\u0435, \u0443\u0434\u043e\u0432\u043b\u0435\u0442\u0432\u043e\u0440\u044f\u044e\u0449\u0438\u0435 \u043a\u0430\u0436\u0434\u043e\u043c\u0443 \u0443\u0441\u043b\u043e\u0432\u0438\u044e. \u041d\u0435 \u043c\u0430\u0433\u0438\u044f, \u0430 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430.\n\n\ud83d\udd2c \u0421\u0443\u0442\u044c \u043f\u043e\u0434\u0445\u043e\u0434\u0430 \u043f\u0440\u043e\u0441\u0442\u0430\u044f. \u0412\u043c\u0435\u0441\u0442\u043e \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043d\u0430 \u0432\u0445\u043e\u0434 \u043f\u043e\u0434\u0430\u044e\u0442\u0441\u044f \u0441\u0438\u043c\u0432\u043e\u043b\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 \u2014 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0447\u0435\u043c \u0443\u0433\u043e\u0434\u043d\u043e. \u041d\u0430 \u043a\u0430\u0436\u0434\u043e\u043c \u0432\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u0438 (if, switch, \u0433\u0440\u0430\u043d\u0438\u0446\u0430 \u0446\u0438\u043a\u043b\u0430) \u0434\u0432\u0438\u0436\u043e\u043a \u0441\u043e\u0437\u0434\u0430\u0451\u0442 \u0434\u0432\u0430 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u044f \u0438 \u043d\u0430\u043a\u0430\u043f\u043b\u0438\u0432\u0430\u0435\u0442 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u044f. \u0412 \u0446\u0435\u043b\u0435\u0432\u043e\u0439 \u0442\u043e\u0447\u043a\u0435 \u2014 \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043f\u0440\u0438 \u0432\u044b\u0437\u043e\u0432\u0435 puts(\"Access granted\") \u2014 \u0432\u0441\u0451 \u043f\u0435\u0440\u0435\u0434\u0430\u0451\u0442\u0441\u044f SMT-\u0441\u043e\u043b\u0432\u0435\u0440\u0443 Z3, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0440\u0435\u0448\u0430\u0435\u0442 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u0443\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0439 \u0438 \u0432\u043e\u0437\u0432\u0440\u0430\u0449\u0430\u0435\u0442 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u044b\u0439 \u0432\u0432\u043e\u0434. \u041d\u0438\u043a\u0430\u043a\u043e\u0433\u043e \u043f\u0435\u0440\u0435\u0431\u043e\u0440\u0430 \u2014 \u0447\u0438\u0441\u0442\u0430\u044f \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u0437\u0430\u0434\u0430\u0447\u0430.\n\n\u0415\u0441\u043b\u0438 \u0446\u0435\u043b\u0435\u0432\u043e\u0439 \u0442\u043e\u0447\u043a\u043e\u0439 \u043d\u0430\u0437\u043d\u0430\u0447\u0438\u0442\u044c \u0432\u044b\u0437\u043e\u0432 strcpy \u0441 \u043a\u043e\u043d\u0442\u0440\u043e\u043b\u0438\u0440\u0443\u0435\u043c\u044b\u043c \u0431\u0443\u0444\u0435\u0440\u043e\u043c, \u0441\u043e\u043b\u0432\u0435\u0440 \u043d\u0430\u0439\u0434\u0451\u0442 \u0432\u0432\u043e\u0434, \u043f\u0440\u0438\u0432\u043e\u0434\u044f\u0449\u0438\u0439 \u043a buffer overflow. \u042d\u0442\u043e \u0443\u0436\u0435 \u043d\u0435 CTF \u2014 \u044d\u0442\u043e \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u043f\u043e\u0438\u0441\u043a \u0443\u044f\u0437\u0432\u0438\u043c\u043e\u0441\u0442\u0435\u0439 \u0432 \u0440\u0435\u0430\u043b\u044c\u043d\u044b\u0445 \u0431\u0438\u043d\u0430\u0440\u044f\u0445.\n\n\u26a1\ufe0f \u041d\u043e \u0435\u0441\u0442\u044c \u043d\u044e\u0430\u043d\u0441\u044b. \u0413\u043b\u0430\u0432\u043d\u044b\u0439 \u0432\u0440\u0430\u0433 \u2014 path explosion. \u041a\u0430\u0436\u0434\u043e\u0435 \u0432\u0435\u0442\u0432\u043b\u0435\u043d\u0438\u0435 \u0443\u0434\u0432\u0430\u0438\u0432\u0430\u0435\u0442 \u0447\u0438\u0441\u043b\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439. \u0426\u0438\u043a\u043b \u043d\u0430 1000 \u0438\u0442\u0435\u0440\u0430\u0446\u0438\u0439 \u0441 \u0443\u0441\u043b\u043e\u0432\u0438\u0435\u043c \u0432\u043d\u0443\u0442\u0440\u0438 \u2014 \u0442\u0435\u043e\u0440\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438 2^1000 \u043f\u0443\u0442\u0435\u0439. \u0410 \u0435\u0441\u043b\u0438 \u043f\u0440\u043e\u0432\u0435\u0440\u043a\u0430 \u0432\u043a\u043b\u044e\u0447\u0430\u0435\u0442 SHA-256 \u0438\u043b\u0438 \u0434\u0440\u0443\u0433\u0443\u044e \u043a\u0440\u0438\u043f\u0442\u043e\u0433\u0440\u0430\u0444\u0438\u044e, Z3 \u043f\u0440\u043e\u0441\u0442\u043e \u043d\u0435 \u0440\u0435\u0448\u0438\u0442 constraints \u0437\u0430 \u0440\u0430\u0437\u0443\u043c\u043d\u043e\u0435 \u0432\u0440\u0435\u043c\u044f. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u0441\u0438\u043c\u0432\u043e\u043b\u044c\u043d\u043e\u0435 \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u2014 \u0444\u0438\u043b\u044c\u0442\u0440, \u0430 \u043d\u0435 \u0441\u0435\u0440\u0435\u0431\u0440\u044f\u043d\u0430\u044f \u043f\u0443\u043b\u044f.\n\n\u0422\u0435\u043f\u0435\u0440\u044c \u043a \u0432\u044b\u0431\u043e\u0440\u0443 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430. \u0422\u0440\u0438 \u043e\u0441\u043d\u043e\u0432\u043d\u044b\u0445 \u0444\u0440\u0435\u0439\u043c\u0432\u043e\u0440\u043a\u0430:\n\n\u2022 angr \u2014 \u0441\u0430\u043c\u044b\u0439 \u0437\u0440\u0435\u043b\u044b\u0439 \u0438 \u0436\u0438\u0432\u043e\u0439. \u041f\u043e\u0434\u0434\u0435\u0440\u0436\u0438\u0432\u0430\u0435\u0442 x86/x64, ARM, MIPS. \u0415\u0436\u0435\u043d\u0435\u0434\u0435\u043b\u044c\u043d\u044b\u0435 \u043a\u043e\u043c\u043c\u0438\u0442\u044b, \u0431\u043e\u0433\u0430\u0442\u0430\u044f \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f, \u0434\u0435\u0441\u044f\u0442\u043a\u0438 \u0433\u043e\u0442\u043e\u0432\u044b\u0445 \u043f\u0440\u0438\u043c\u0435\u0440\u043e\u0432. \u041d\u0430 FlareOn 2015 Challenge 5 \u2014 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0437\u0430 2 \u043c\u0438\u043d\u0443\u0442\u044b 10 \u0441\u0435\u043a\u0443\u043d\u0434. ASIS CTF Finals 2015 \u2014 3.6 \u0441\u0435\u043a\u0443\u043d\u0434\u044b. \u041b\u0443\u0447\u0448\u0438\u0439 \u0432\u044b\u0431\u043e\u0440 \u0434\u043b\u044f CTF, \u043f\u0435\u043d\u0442\u0435\u0441\u0442\u0430, \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0437\u0430\u0446\u0438\u0438 \u0440\u0443\u0442\u0438\u043d\u043d\u043e\u0433\u043e \u0440\u0435\u0432\u0435\u0440\u0441\u0430.\n\n\u2022 Manticore \u2014 \u043e\u0442 Trail of Bits. \u0423\u043d\u0438\u043a\u0430\u043b\u044c\u043d\u0430\u044f \u0444\u0438\u0448\u043a\u0430 \u2014 \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0430 \u0441\u043c\u0430\u0440\u0442-\u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 Ethereum. \u041f\u043e\u043c\u043e\u0433 \u043e\u0431\u043d\u0430\u0440\u0443\u0436\u0438\u0442\u044c CVE-2020-5232 (CVSS 8.7) \u0432 Ethereum Name Service. \u041d\u043e \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0430 \u0444\u0430\u043a\u0442\u0438\u0447\u0435\u0441\u043a\u0438 \u043e\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043b\u0430\u0441\u044c \u2014 \u043d\u0430\u0447\u0438\u043d\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u0439 \u043f\u0440\u043e\u0435\u043a\u0442 \u043d\u0430 \u043d\u0451\u043c \u0440\u0438\u0441\u043a\u043e\u0432\u0430\u043d\u043d\u043e.\n\n\u2022 Triton \u2014 \u0437\u0430\u0442\u043e\u0447\u0435\u043d \u043f\u043e\u0434 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0430\u043d\u0430\u043b\u0438\u0437. \u0420\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u043d\u0435 \u0441 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0442\u043d\u044b\u043c \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435\u043c \u0432\u0441\u0435\u0445 \u043f\u0443\u0442\u0435\u0439, \u0430 \u0441 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0439 \u0442\u0440\u0430\u0441\u0441\u043e\u0439. \u0418\u0434\u0435\u0430\u043b\u0435\u043d \u0434\u043b\u044f \u0434\u0435\u043e\u0431\u0444\u0443\u0441\u043a\u0430\u0446\u0438\u0438, \u0441\u043d\u044f\u0442\u0438\u044f MBA-\u0432\u044b\u0440\u0430\u0436\u0435\u043d\u0438\u0439, \u0442\u043e\u0447\u0435\u0447\u043d\u043e\u0433\u043e \u0430\u043d\u0430\u043b\u0438\u0437\u0430 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0433\u043e \u043f\u0443\u0442\u0438 \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f.\n\n\ud83c\udfaf \u041f\u0440\u043e\u0441\u0442\u043e\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0432\u044b\u0431\u043e\u0440\u0430: \u043d\u0443\u0436\u0435\u043d \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u043e\u0431\u0445\u043e\u0434 \u0432\u0441\u0435\u0445 \u043f\u0443\u0442\u0435\u0439 \u2014 angr. \u0410\u0443\u0434\u0438\u0442 \u0441\u043c\u0430\u0440\u0442-\u043a\u043e\u043d\u0442\u0440\u0430\u043a\u0442\u043e\u0432 \u2014 Manticore (\u0441 \u043e\u0433\u043e\u0432\u043e\u0440\u043a\u0430\u043c\u0438). \u0420\u0430\u0431\u043e\u0442\u0430 \u0441 \u043a\u043e\u043d\u043a\u0440\u0435\u0442\u043d\u043e\u0439 \u0442\u0440\u0430\u0441\u0441\u043e\u0439 \u0438 \u0434\u0435\u043e\u0431\u0444\u0443\u0441\u043a\u0430\u0446\u0438\u044f \u2014 Triton.\n\n\u0412 \u043f\u043e\u043b\u043d\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435 \u2014 \u0440\u0430\u0431\u043e\u0447\u0438\u0439 \u043a\u043e\u0434 \u0434\u043b\u044f \u043a\u0430\u0436\u0434\u043e\u0433\u043e \u0444\u0440\u0435\u0439\u043c\u0432\u043e\u0440\u043a\u0430, decision tree \u0432\u044b\u0431\u043e\u0440\u0430 \u0438\u043d\u0441\u0442\u0440\u0443\u043c\u0435\u043d\u0442\u0430 \u0438 \u0447\u0435\u0441\u0442\u043d\u044b\u0439 \u0440\u0430\u0437\u0431\u043e\u0440 \u0433\u0440\u0430\u043d\u0438\u0447\u043d\u044b\u0445 \u0441\u043b\u0443\u0447\u0430\u0435\u0432, \u0433\u0434\u0435 \u0441\u0438\u043c\u0432\u043e\u043b\u044c\u043d\u043e\u0435 \u0438\u0441\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u0435 \u043b\u043e\u043c\u0430\u0435\u0442\u0441\u044f.\n\nhttps://codeby.net/threads/simvol-noye-ispolneniye-dlya-poiska-uyazvimostei-angr-manticore-i-triton-na-praktike.92962/", "creation_timestamp": "2026-05-06T16:04:17.000000Z"}]}