verichains / revelaLinks
Decompiler for Move smart contracts
☆80Updated last year
Alternatives and similar repositories for revela
Users that are interested in revela are comparing it to the libraries listed below
Sorting:
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆123Updated last year
- EDB: The Ethereum Project Debugger☆244Updated this week
- Sui smart contract fuzzer☆45Updated last year
- Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs☆75Updated 2 months ago
- ☆84Updated last year
- Published security audits☆101Updated last week
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆99Updated 6 months ago
- Generate invariants for Foundry projects with LLM☆101Updated last year
- My swiss army knife for reversing EVM bytecodes (super experimental)☆124Updated last month
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆54Updated 2 months ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆242Updated 8 months ago
- ☆38Updated last year
- A curated list of awesome ton security resources☆39Updated last week
- A curated list of awesome Solana security resources☆65Updated last year
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆47Updated 11 months ago
- MoveBit Sampled Audit Reports☆50Updated 11 months ago
- A modular tool to track anything on the EVM chain, including real-time tracking and alerts.☆166Updated 4 months ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆99Updated last year
- Static Analyzer for Starknet smart contracts☆145Updated last year
- PoC of KyberSwap double liquidity add exploit☆43Updated 2 years ago
- EVM simulation tutorials and samples (revm / foundry-evm / eth_call)☆56Updated last year
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆73Updated last year
- Damn Vulnerable DeFi v4 Solutions☆46Updated last year
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆77Updated 2 weeks ago
- ⚡️ Ethernaut CTF 2024 Challenges & Solutions☆114Updated last year
- ☆40Updated last year
- ☆49Updated 4 months ago
- Numen Cyber Smart Contract CTF☆46Updated 2 years ago
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆57Updated 4 months ago
- Public infra related to hosting Paradigm CTF☆114Updated last year