A binary lifter and analysis framework for Ethereum smart contracts
☆391Oct 21, 2026Updated 2 weeks ago
Alternatives and similar repositories for gigahorse-toolchain
Users that are interested in gigahorse-toolchain are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆139Dec 7, 2022Updated 3 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆167Apr 13, 2026Updated 6 months ago
- A symbolic execution engine for EVM smart contract binaries.☆123Dec 2, 2025Updated 11 months ago
- A benchmark suite (under construction) for smart contract vulnerability tools☆17Jul 13, 2021Updated 5 years ago
- Source code of EtherSolve: static analysis of Ethereum bytecode☆78Sep 21, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts☆1,120Dec 10, 2025Updated 10 months ago
- Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts…☆1,639Nov 1, 2026Updated last week
- Anonymous repo for USCHunt, a tool for detecting and classifying upgradeable proxy smart contracts, built atop Slither☆23Apr 2, 2023Updated 3 years ago
- EVM CFG recovery☆127Jun 29, 2023Updated 3 years ago
- Securify v2.0☆635May 25, 2025Updated last year
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆646Oct 23, 2026Updated 2 weeks ago
- Mutation Testing for Ethereum Smart Contracts☆209Nov 21, 2023Updated 2 years ago
- A symbolic testing tool for EVM smart contracts☆1,043Aug 6, 2025Updated last year
- Attacker Contract Identifier Through Static Dataflow Analysis☆25Oct 15, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆690Oct 27, 2026Updated last week
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆1,594Jul 29, 2026Updated 3 months ago
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆130Aug 19, 2024Updated 2 years ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆84Mar 25, 2025Updated last year
- Cuda implementation of EVM☆122Aug 27, 2026Updated 2 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆143Oct 2, 2025Updated last year
- EVMole is an open-source library that analyzes deployed EVM bytecode to infer function selectors, argument types, state mutability, persi…☆473Updated this week
- Data and code for the IEEE S&P'22 paper SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds☆62Jun 5, 2022Updated 4 years ago
- evm binary static analysis☆367Sep 4, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆104Oct 11, 2023Updated 3 years ago
- ☆18May 24, 2022Updated 4 years ago
- Replay and track historical state☆219Jan 31, 2025Updated last year
- The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"☆106Dec 30, 2022Updated 3 years ago
- Static Analyzer for Solidity and Vyper☆6,411Updated this week
- Symbolic stack CFG generator for EVM☆190Feb 10, 2025Updated last year
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 3 years ago
- Ethereum decompiler☆955Aug 4, 2024Updated 2 years ago
- Ethereum smart contract fuzzer☆3,191Updated this week
- 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.
- Demystifying Exploitable Bugs in Smart Contracts☆1,825Jun 19, 2025Updated last year
- ☆16Jun 21, 2024Updated 2 years ago
- EDB: The Ethereum Project Debugger☆369May 10, 2026Updated 5 months ago
- Smart Contract Weakness Classification and Test Cases☆902Aug 6, 2024Updated 2 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆99Sep 3, 2024Updated 2 years ago
- A smart contract security search utility☆78Dec 26, 2024Updated last year
- ☆12Jul 19, 2025Updated last year