MorenaBarboni / SuMo-SOlidity-MUtator
A mutation testing tool for Solidity Smart Contracts
☆74Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for SuMo-SOlidity-MUtator
- Using mutations to improve specs and test suites☆167Updated 2 months ago
- ☆95Updated 3 weeks ago
- ☆90Updated 3 years ago
- A smart contract security search utility☆67Updated this week
- ☆88Updated 5 months ago
- Smart contract debugging data format – Standards development working group☆50Updated last week
- Benchmark Generator for Smart-Contract Fuzzers☆124Updated 4 months ago
- ☆107Updated 3 weeks ago
- Solidity Audit Report Generator☆84Updated last year
- An opinionated template for Foundry projects.☆74Updated 5 months ago
- Tools for Yul.☆137Updated last year
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆57Updated 3 years ago
- List of Halmos resources.☆48Updated last month
- Experimental tool to ease the review of smart contracts upgrades☆74Updated 7 months ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆116Updated 8 months ago
- ☆103Updated 2 years ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆93Updated 5 months ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated last year
- Diff your Github against Etherscan.☆135Updated last week
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated last year
- Simple Rust script for finding colliding 4byte function selectors☆58Updated last year
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆115Updated 2 months ago
- Foundry + Yul template☆94Updated 10 months ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆89Updated 2 months ago
- ☆162Updated last year
- 🧠 A scriptable semantic grep utility for solidity☆144Updated 3 months ago
- A Solidity code search tool with built-in static analysis detection☆73Updated 4 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆108Updated 2 years ago
- SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.☆90Updated last year
- ☆57Updated last year