Stars
Ethereum implementation on the efficiency frontier
A modular tool to track anything on the EVM chain, including real-time tracking and alerts.
Benchmark Generator for Smart-Contract Fuzzers
A tool for analyzing the security and parameters of a solidity smart contract
Pre-built security properties for common Ethereum operations
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
The Use of Likely Invariants as Feedback for Fuzzers
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
WTF Solidity 极简入门教程，供小白们使用。Now supports English! 官网: https://wtf.academy
AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
Reproduce DeFi hacked incidents using Foundry.
Go implementation of the Ethereum protocol
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
A binary lifter and analysis framework for Ethereum smart contracts
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
SolidCTF is an infrastructure solution that simplifies the build of Solidity CTF challenges.
A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).
An unobtrusive and user-friendly desktop application for IPFS on Windows, Mac and Linux.