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...

ghidra-evm

Ghidra EVM 모듈 지난 몇 년 동안 이더리움 블록체인에 배포된 스마트 컨트랙트에 대한 공격은 프로그래밍 실수로 인해 상당한 양의 자금이 도난당하는 결과를 초래했습니다. 스마트 컨트랙트는 한 번 컴파일되어 배포되면 수정 및 업데이트가 복잡하기 때문에, 다양한 실무자들은 이더리움 가상 머신EVM 바이트코드만 사용할 수 있는 블록체인에서 보안을 검토하는 것의 중요성을 제안해 왔습니다. 이러한 측면에서 디스어셈블 및 디컴파일을 통한 리버스 엔지니어링이 효과적일 수 있습니다. ghidra-EVM은 스마트 컨트랙트 리버스 엔지니어...

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++ è...