crytic / ida-evm
IDA Processor Module for the Ethereum Virtual Machine (EVM)
☆311Updated last year
Alternatives and similar repositories for ida-evm:
Users that are interested in ida-evm are comparing it to the libraries listed below
- evm binary static analysis☆354Updated last year
- Ethereum smart contract reverse engineering☆100Updated 6 years ago
- Ethereum Virtual Machine (EVM) disassembler and assembler☆365Updated 8 months ago
- Static program analysis framework for Ethereum smart contract bytecode.☆162Updated 3 years ago
- ☆137Updated 3 years ago
- Symbolic virtual machine for Ethereum☆68Updated 6 years ago
- Verified contracts synced from Etherscan☆62Updated 6 years ago
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆219Updated 5 years ago
- Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)☆483Updated last year
- This repo contains a collection of smart contract honeypots.☆290Updated 6 years ago
- An ethereum evm bytecode disassembler and static/dynamic analysis tool☆221Updated 5 years ago
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆131Updated 2 years ago
- POC for DeFi Vulnerabilities☆198Updated 2 years ago
- Vulnerable smart contracts☆70Updated 6 years ago
- The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)☆236Updated 2 years ago
- Writings on symbolic-execution-based security analysis of EVM smart contracts.☆170Updated 5 years ago
- Utilities for interacting with the Ethereum virtual machine☆371Updated 5 years ago
- Ethereum (EVM) smart contracts reverse engineering helper utility☆220Updated 2 years ago
- The Ghidra EVM Module (ghidra-evm) leverages Ghidra 9.1.2 to disassemble and analyze compiled Ethereum smart contracts. Ghidra-evm was pr…☆135Updated 3 years ago
- EVM dissassembler☆849Updated last year
- A binary lifter and analysis framework for Ethereum smart contracts☆319Updated 2 weeks ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆87Updated last year
- Papers of smart contract security analysis (and tools)☆35Updated 5 years ago
- EVM debugger☆28Updated last year
- Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine☆341Updated 2 years ago
- Tool for auditing Ethereum contracts☆55Updated 7 years ago
- An all-in-one Ethereum SDK and command-line tool written in python.☆78Updated 3 months ago
- Simplify Ethereum security analysis and testing☆339Updated last year
- EVM CFG recovery☆120Updated last year
- Example Manticore scripts☆68Updated last year