verichains / revela
Decompiler for Move smart contracts
☆55Updated 5 months ago
Alternatives and similar repositories for revela:
Users that are interested in revela are comparing it to the libraries listed below
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆72Updated 3 weeks ago
- ☆33Updated 3 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆112Updated 5 months ago
- Published security audits☆55Updated 2 months ago
- Numen Cyber Smart Contract CTF☆45Updated last year
- Generate invariants for Foundry projects with LLM☆91Updated 4 months ago
- Binary Ninja plugin for Solana eBPF☆152Updated last week
- ☆29Updated last month
- ☆57Updated last month
- Sui smart contract fuzzer☆33Updated 10 months ago
- ☆154Updated last year
- A curated list of awesome Solana security resources☆53Updated 11 months ago
- Binary Ninja eBPF & Solana plugin (disasm & LLIL)☆35Updated 2 years ago
- EVM simulation tutorials and samples (revm / foundry-evm / eth_call)☆47Updated last year
- CTF-like challenges of smart contracts☆63Updated 2 years ago
- ☆50Updated 2 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆130Updated last month
- My swiss army knife for reversing EVM bytecodes (super experimental)☆113Updated 2 months ago
- ☆67Updated last year
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆41Updated 2 months ago
- Framework for Solana CTF challenges☆58Updated 2 years ago
- A static analysis tool for anchor rust programs.☆69Updated last month
- BSC and opBNB client based on the Reth fork☆77Updated this week
- ☆32Updated this week
- Extracts function selectors, arguments, state mutability and storage layout from EVM bytecode, even for unverified contracts☆301Updated this week
- Writeup for Move CTF 2022 by MoveBit and others.☆18Updated 2 years ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆218Updated last week
- reproduce kyber-elastic exploit☆71Updated last year
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆56Updated 9 months ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆209Updated last month