A fast ethereum transaction fuzzer
☆26Apr 2, 2019Updated 6 years ago
Alternatives and similar repositories for ChainFuzz
Users that are interested in ChainFuzz are comparing it to the libraries listed below
Sorting:
- The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)☆246Dec 7, 2022Updated 3 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆41Aug 31, 2018Updated 7 years ago
- Barebones Solidity smart contract fuzzer☆96Jul 20, 2022Updated 3 years ago
- Example Manticore scripts☆68Dec 7, 2023Updated 2 years ago
- The Michelson Symbolic vErifier☆13Feb 3, 2023Updated 3 years ago
- ☆22Dec 28, 2024Updated last year
- ☆102Mar 24, 2022Updated 3 years ago
- ☆68Aug 17, 2022Updated 3 years ago
- ☆82Dec 2, 2022Updated 3 years ago
- Solidity Contract Function Profiler☆80Oct 14, 2018Updated 7 years ago
- Melfina is a proof-of-thought smart contract built on the Ethereum blockchain.☆18Oct 17, 2021Updated 4 years ago
- Repository skeleton to help you build or start with the development of Smart contracts for Ethereum blockchain written in Solidity langua…☆22Jan 29, 2018Updated 8 years ago
- Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other E…☆54Dec 27, 2024Updated last year
- Dynamic Vulnerability Discovery for Smart Contracts☆29Jul 12, 2023Updated 2 years ago
- ☆25Jun 21, 2022Updated 3 years ago
- Semantics of Solidity in K☆29Oct 11, 2019Updated 6 years ago
- A tool to detect integer bugs in Ethereum smart contracts (ACSAC 2018).☆65Mar 7, 2023Updated 2 years ago
- Dig into Ethereum transactions and reveal their secrets; kinda like having Etherscan in your code.☆69Jan 5, 2021Updated 5 years ago
- Test-Time Memory Framework: Control Hallucinations in Foundation Models☆11Nov 4, 2025Updated 3 months ago
- EVM Bytecode Super Optimizer☆36Jan 3, 2021Updated 5 years ago
- Runtime verification tool for Solidity smart contracts.☆35Mar 29, 2023Updated 2 years ago
- Papers of smart contract security analysis (and tools)☆36Jun 5, 2019Updated 6 years ago
- Ethereum (EVM) smart contracts reverse engineering helper utility☆230Jun 15, 2022Updated 3 years ago
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆157Nov 24, 2025Updated 3 months ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38May 2, 2023Updated 2 years ago
- Docker Compose to install N8N, Openweb UI, Qdrant, Ollama, EvolutionAPI and other systems.☆10Feb 7, 2026Updated 3 weeks ago
- 🛒 电商价格监控分析系统 | E-commerce Price Monitoring & Analysis System - 支持多平台数据采集、智能分析、可视化报告和自动化导出。覆盖中文平台（京东、淘宝、小红书、抖音）和国际平台（Amazon、eBay、Walma…☆24Sep 10, 2025Updated 5 months ago
- A curated list of awesome introductory programming resources for a variety of specialties within the profession.☆13Jul 16, 2024Updated last year
- ergonomic devtooling for foundry☆46Jun 22, 2024Updated last year
- 256 bit bloom filter implementation written in Solidity☆39Mar 30, 2019Updated 6 years ago
- Analysis tool for Solidity smart contracts. Prototype.☆35Nov 7, 2023Updated 2 years ago
- Numen Cyber Smart Contract CTF☆47Mar 30, 2023Updated 2 years ago
- ☆15Nov 7, 2021Updated 4 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 8 years ago
- ☆10Mar 2, 2023Updated 2 years ago
- LobotoMl is a set of scripts and tools to assess production deployments of ML services☆10May 16, 2022Updated 3 years ago
- Script your gmail filters through a sieve-like language☆11Apr 15, 2020Updated 5 years ago
- 🛍 Fullstack Ecommerce Platform☆10May 7, 2024Updated last year