Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
☆1,088Dec 10, 2025Updated 4 months ago
Alternatives and similar repositories for ityfuzz
Users that are interested in ityfuzz are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts…☆1,522Apr 19, 2026Updated last week
- A symbolic testing tool for EVM smart contracts☆996Aug 6, 2025Updated 8 months ago
- Fine-tuning GPT for Smart Contract Auditing☆165Apr 23, 2023Updated 3 years ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆129Aug 19, 2024Updated last year
- Semgrep rules for smart contracts based on DeFi exploits☆711Jun 2, 2025Updated 10 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Reproduce DeFi hacked incidents using Foundry.☆6,516Apr 11, 2026Updated 2 weeks ago
- Benchmark Generator for Smart-Contract Fuzzers☆143Oct 2, 2025Updated 6 months ago
- Slither Detectors by Pessimistic.io☆373Jun 25, 2024Updated last year
- Demystifying Exploitable Bugs in Smart Contracts☆1,795Jun 19, 2025Updated 10 months ago
- Multi-agent framework for design, simulation, and auditing.☆736Apr 22, 2026Updated last week
- A tool for analyzing the security and parameters of a solidity smart contract☆800Feb 14, 2025Updated last year
- A chronological and (hopefully) complete list of reentrancy attacks to date.☆1,604Nov 24, 2025Updated 5 months ago
- 🚀 Try the Learn EVM Explorer we just launched!!!☆1,804Feb 20, 2026Updated 2 months ago
- Ethereum smart contract fuzzer☆3,117Apr 22, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Bugs in commonly forked DeFi protocols☆489Oct 3, 2025Updated 6 months ago
- Symbolic stack CFG generator for EVM☆191Feb 10, 2025Updated last year
- To learn common smart contract vulnerabilities using Foundry!☆1,922Apr 24, 2025Updated last year
- A binary lifter and analysis framework for Ethereum smart contracts☆370Updated this week
- Pre-built security properties for commonly forked DeFi protocols☆197Nov 7, 2023Updated 2 years ago
- Extracts function selectors, arguments, state mutability and storage layout from EVM bytecode, even for unverified contracts☆435Apr 18, 2026Updated last week
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆472Apr 20, 2026Updated last week
- ☆482Mar 31, 2025Updated last year
- Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.☆526Mar 29, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Generate invariants for Foundry projects with LLM☆107Aug 30, 2024Updated last year
- Using mutations to improve specs and test suites☆206May 12, 2025Updated 11 months ago
- A simple, modular, and fast framework for writing MEV bots in Rust.☆2,933Mar 5, 2024Updated 2 years ago
- Rust implementation of the Ethereum Virtual Machine.☆2,176Apr 22, 2026Updated last week
- A summary and solutions for 200+ CTF blockchain challenges☆1,082Oct 9, 2025Updated 6 months ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 2 years ago
- Static Analyzer for Solidity and Vyper☆6,217Apr 22, 2026Updated last week
- A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.☆428Nov 17, 2023Updated 2 years ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆719Dec 19, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Guidelines and training material to write secure smart contracts☆2,461Apr 13, 2026Updated 2 weeks ago
- Symbolic EVM in Rust (WIP)☆87Dec 23, 2023Updated 2 years ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆103Oct 11, 2023Updated 2 years ago
- cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes☆1,555Jan 8, 2025Updated last year
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆270Updated this week
- A curated list of blockchain security Capture the Flag (CTF) competitions☆1,634Mar 11, 2024Updated 2 years ago
- Puzzles used in the 2022 Paradigm CTF☆392Sep 16, 2022Updated 3 years ago