crytic / ida-evm
IDA Processor Module for the Ethereum Virtual Machine (EVM)
☆312Updated 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☆357Updated last year
- Ethereum smart contract reverse engineering☆102Updated 6 years ago
- Ethereum Virtual Machine (EVM) disassembler and assembler☆373Updated 11 months ago
- The Ghidra EVM Module (ghidra-evm) leverages Ghidra 9.1.2 to disassemble and analyze compiled Ethereum smart contracts. Ghidra-evm was pr…☆139Updated 3 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆163Updated 3 years ago
- Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)☆486Updated last year
- Symbolic virtual machine for Ethereum☆69Updated 6 years ago
- ☆138Updated 3 years ago
- This repo contains a collection of smart contract honeypots.☆289Updated 7 years ago
- Verified contracts synced from Etherscan☆62Updated 6 years ago
- An ethereum evm bytecode disassembler and static/dynamic analysis tool☆221Updated 5 years ago
- Utilities for interacting with the Ethereum virtual machine☆377Updated 6 years ago
- POC for DeFi Vulnerabilities☆197Updated 2 years ago
- [DEPRECATED] Security Scanner for Ethereum Smart Contracts☆221Updated 5 years ago
- EVM debugger☆30Updated last year
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆133Updated 2 years ago
- Tool for auditing Ethereum contracts☆55Updated 7 years ago
- Writings on symbolic-execution-based security analysis of EVM smart contracts.☆171Updated 5 years ago
- Papers of smart contract security analysis (and tools)☆35Updated 5 years ago
- Vulnerable smart contracts☆69Updated 7 years ago
- EVM CFG recovery☆123Updated last year
- EVM dissassembler☆856Updated last year
- An all-in-one Ethereum SDK and command-line tool written in python.☆79Updated last week
- A tool that detects honeypots in Ethereum smart contracts (USENIX 2019).☆102Updated 2 years ago
- shw's CTF challenges☆27Updated 4 years ago
- The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)☆242Updated 2 years ago
- Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine☆343Updated 2 years ago
- AI based fuzzer based on imitation learning☆154Updated 10 months ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆93Updated last year
- Example Manticore scripts☆68Updated last year