Автоматизація виявлення вразливостей у смарт-контрактах
Використання блокчейну для побудови, випадки вразливості смарт-контрактів. Логіка виявлення повторного входу, приклад оптимізації виявлення на вразливості повторного входу. Опис популярних інструментів статичного та гібридного пошуку вразливостей.
Подобные документы
Виявлення дефектів (несуцільностей) методом капілярної дефектоскопії. Особливості магнітопорошкового, ультразвукового та струмовихрового контролю, використовуване обладнання. Контроль деталей електропотенціальним методом, рентгенівської дефектоскопії.
методичка, добавлен 16.07.2017Виробництво кольорових металів, проблема та перспектива розвитку даної галузі, виявлення приорітетів і недоліків розширення виробництва та шляхи їх подолання. Аналіз асортименту виробів, а також оцінка якості металів та показники безпеки товарної групи.
контрольная работа, добавлен 12.02.2014Виділення із водорозподільної мережі типових представників мікроскопічних грибів Aspergillus, Penicillium, Cladosporium та ін. Метод виявлення мікроміцетів та етапи очищення води на станції водопідготовки. Класичні методи знезараження та очищення води.
статья, добавлен 22.03.2016Вивчення методів розробки петельних структур кулірного подвійного еластичного трикотажу реабілітаційного призначення для виготовлення на плосков'язальному обладнанні. Виявлення особливостей натягу армованих еластомерних ниток в процесі в'язання.
автореферат, добавлен 05.11.2013Опис проблеми підвищення рівня захисту мовної інформації у приміщеннях на основі застосування гібридного підходу шляхом створення комбінованої шумової та ревербераційної завад. Структурна схема генератора аудіо шуму та перевірено його функціональність.
статья, добавлен 11.07.2022Синтез кополімеру бутилметакрилату з 5 % вмістом фотоактивного мономера метил-(4-метакрилокси)-бензоату. Вивчення впливу УФ-опромінення на морфологію поверхні плівок. Виявлення змін у їх структурі, пов’язаних з перегрупуванням Фріса у фоточутливих ланках.
статья, добавлен 24.11.2016Захист прав споживачів в Україні та за кордоном. Характеристика міжнародних організацій. Роль стандартизації в розвитку економіки країни, її принципи, характеристика методів та форм виявлення. Основні положення Національної стандартизації України.
дипломная работа, добавлен 20.02.2013Розрахунки напружень елементів вала і осі, виявлення місця концентрації напружень і обґрунтування значень режимів роботи деревообробних верстатів. Результати моделювання напрацювань на відмову за методом Монте-Карло. Розробка структури ремонтного циклу.
статья, добавлен 30.07.2016Питання розроблення нових технологій для отримання необхідної інформації про дефекти металоконструкцій об’єктів нафтогазового комплексу в процесі їх діагностики. Ультразвукові фазовані решітки з високою інформативністю виявлення і параметризації дефектів.
статья, добавлен 06.12.2016Аналіз процессу формування і розвитку техносфери, виявлення та характеристика механізмів, які беруть участь у розробці технологічних артефактів. Дослідження основних передумов еволюційної теорії, поняття та сутність мемів. Особливості відтворення мемів.
статья, добавлен 02.05.2020Математична модель процесу масообміну у прямоточному масообмінному апараті. Дослідження масообмінних процесів у зоні контакту з метою виявлення оптимальних конструктивних параметрів масообмінного апарату з регулярною рухомою перфорованою насадкою.
автореферат, добавлен 21.11.2013Залежність складників імітансу об’єкта дослідження (курячого філе) від частоти випробувального сигналу під час замороження м’яса. Характеристика способу оперативного виявлення м’яса, яке було заморожено. Дослідження реактивної провідності зразків.
статья, добавлен 08.02.2017Розподілення температури при однобічному охолодженні окалини та виявлення основних параметрів процесу гідроочистки. Проектування двофазної моделі віялоподібного струменя. Розробка та оцінка математичної моделі охолодження металу через шар окалини.
автореферат, добавлен 21.11.2013Розробка способу поліпшення характеристик епоксидної матриці на основі епоксидного олігомеру CHS-Epoxy 525 і твердника ПЕПА при підвищенні температури полімеризації. Виявлення тенденції динаміки властивостей матриці при взаємодії твердників у комплексі.
статья, добавлен 29.07.2016Характеристика найбільш стабільних алкалоїдів чорного чаю в процесі його переробці. Методика визначення масової частки вологи у готової продукції після висушування. Дослідження основних хімічних технологій виявлення фальсифікації чайного продукту.
курсовая работа, добавлен 17.11.2014Етапи та особливості розробки сорочки для хлопчика дошкільного віку, призначеної для повсякденного носіння. Вимоги до конструкції, до матеріалів. Розробка технічного проекту, розрахунок собівартості. Виявлення потенційного покупця та потенційного попиту.
творческая работа, добавлен 18.05.2011- 117. Оцінка впливу конструкції кронштейна для установки приладів ГТ46, ГТ46-01 на їх вихідні сигнали
Результати експериментальних досліджень резонансних характеристик кронштейнів, на яких закріплені гіротахометри стабілізатора озброєння у бойовому модулі. Виявлення параметрів резонансних коливань кронштейнів з встановленими на них гіротахометрами.
статья, добавлен 04.03.2020 Повний аналіз існуючих схем регулювання варіаторів з гнучкими в’язями. Виявлення раціонального розподілу та накладення відцентрової сили, як керуючого зусилля. Сутність неавтоматичних, напівавтоматичних та автоматичних саморегульованих варіаторів.
статья, добавлен 15.11.2013Роль та значення ринку продовольчих товарів у контексті забезпечення продовольчої безпеки країни. Особливості формування та функціонування ринку хліба та хлібобулочних виробів, процес класифікації. Порядок виявлення попиту споживачів на продукцію.
автореферат, добавлен 24.04.2014Характеристика універсального алгоритму виявлення ознак корекції вимірювання витрати газу у магістральному газопроводі, що базується на статистичному аналізі випадкових часових рядів добового вимірювання надходження і розподілу газу у внутрішній системі.
статья, добавлен 25.10.2016Розробка оснащення для кування плит з метою зниження собівартості і підвищення якості поковок, отриманих зливків. Усунення штучних дефектів кування. Виявлення раціональної геометрії інструмента. Розподіл температур і деформацій за перерізом поковки.
автореферат, добавлен 13.07.2014Виявлення взаємозв’язку капілярної пористості і морозостійкості бетону в залежності від композиційного складу лужного шлакопортландцементу та хімічної природи добавок поверхнево-активних речовин. Розгляд структури пор лужних (лужно-активованих) цементів.
статья, добавлен 29.07.2016Розробка графоаналітичного способу виявлення сім’ї спіралеподібних кривих, апроксимованих еліпсом. Обрання еліпсу максимальної площі, який буде використано для автоматизованого керування коливальною системою за критерієм не виходу її з області стійкості.
автореферат, добавлен 26.08.2015Виявлення закономірностей впливу різних форм зовнішнього збурення на структуру фазових траєкторій в розширеному фазовому просторі. Розробка методів коректного визначення типів і параметрів пружних характеристик динамічних моделей елементів конструкцій.
автореферат, добавлен 26.09.2015Шляхи створення нових й удосконалення існуючих конструкцій плазмотронів для обробки дисперсних матеріалів. Виявлення основних критеріальних залежностей й узагальнених графіків для оцінки електричних і теплових характеристик в інженерній практиці.
автореферат, добавлен 29.01.2016