verichains / revelaLinks
Decompiler for Move smart contracts
☆76Updated last year
Alternatives and similar repositories for revela
Users that are interested in revela are comparing it to the libraries listed below
Sorting:
- Sui smart contract fuzzer☆43Updated last year
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆97Updated 5 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆122Updated last year
- Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs☆64Updated last month
- Published security audits☆89Updated 3 weeks ago
- ☆81Updated last year
- My swiss army knife for reversing EVM bytecodes (super experimental)☆120Updated last week
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆51Updated last month
- Generate invariants for Foundry projects with LLM☆101Updated last year
- Public infra related to hosting Paradigm CTF☆113Updated last year
- ☆38Updated 11 months ago
- MoveBit Sampled Audit Reports☆48Updated 10 months ago
- A curated list of awesome Solana security resources☆62Updated last year
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆239Updated 7 months ago
- EDB: The EVM Project Debugger☆34Updated this week
- PoC of KyberSwap double liquidity add exploit☆43Updated 2 years ago
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆47Updated 10 months ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆105Updated 2 years ago
- Damn Vulnerable DeFi v4 Solutions☆44Updated 11 months ago
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆54Updated 3 months ago
- A collection of Solana CTF challenges☆176Updated 3 years ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆76Updated 2 weeks ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆110Updated last week
- ⚡️ Ethernaut CTF 2024 Challenges & Solutions☆111Updated last year
- DeFi Security Breaches: Comprehensive Root Cause Analysis☆76Updated last month
- Cuda implementation of EVM bytecode executor☆112Updated 8 months ago
- Cairo/Starknet smart contract fuzzer☆127Updated 4 months ago
- Static Analyzer for Starknet smart contracts☆145Updated last year
- Benchmark Generator for Smart-Contract Fuzzers☆138Updated 8 months ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆213Updated last week