ghidra-evm

Модуль Ghidra EVM За последние несколько лет атаки на развернутые смарт-контракты в блокчейне Ethereum привели к краже значительных сумм из-за ошибок программирования. Поскольку смарт-контракты после компиляции и развертывания сложны в модификации и обновлении, различные практики подчеркнули...

efcf-framework

EF/CF - il Fuzzer per Contratti ethereum smart Estremamente Veloce EF/CF è un nuovo approccio al fuzzing di smart contract: invece di usare un nuovo fuzzer costruito su misura, riutilizza l'infrastruttura di fuzzing esistente per codice C/C++ applicandola agli smart contract. Attualmente, AFL++ è...

manticore

⚠️ Project is archived ⚠️ This project is no longer internally developed and maintained. Manticore Manticore is a symbolic execution tool for the analysis of smart contracts and binaries. Features Program Exploration : Manticore can execute a program with symbolic inputs and explore all the...