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☆165Updated 2 months ago
- Tools for Yul.☆138Updated last year
- ☆90Updated 3 years ago
- ☆107Updated last week
- Symbolic execution engine written in Solidity, based on Difference Logic.☆108Updated 2 years ago
- Diff your Github against Etherscan.☆135Updated this week
- ☆61Updated last week
- Solidity Audit Report Generator☆84Updated last year
- A Proxy contract incorporating a Reentrancy Guard☆28Updated last year
- Smart contract debugging data format – Standards development working group☆47Updated this week
- build merkle trees on-chain☆121Updated last year
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆122Updated last year
- ☆95Updated last week
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆57Updated 3 years ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆115Updated 2 months ago
- An opinionated template for Foundry projects.☆74Updated 5 months ago
- Foundry + Yul template☆93Updated 10 months ago
- readable evm state diffs, enumerate full contract storage☆133Updated last year
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆107Updated this week
- A simple template to perform whitehacks safely☆169Updated last year
- A smart contract security search utility☆67Updated this week
- Benchmark Generator for Smart-Contract Fuzzers☆122Updated 4 months ago
- ☆130Updated 2 years ago
- EVM ByteCode To Opcode Disassembler☆61Updated 2 years ago
- ☆116Updated 2 months ago
- ☆88Updated 5 months ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated last year
- A collection of gas optimizations for the EVM.☆90Updated 2 years ago
- The most optimized ERC20 & Wrapped Ether implementation.☆139Updated 10 months ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.☆205Updated 10 months ago