MorenaBarboni / SuMo-SOlidity-MUtatorLinks
A mutation testing tool for Solidity Smart Contracts
☆81Updated 2 months ago
Alternatives and similar repositories for SuMo-SOlidity-MUtator
Users that are interested in SuMo-SOlidity-MUtator are comparing it to the libraries listed below
Sorting:
- ☆109Updated 3 weeks ago
- Smart contract debugging data format – Standards development working group☆64Updated 3 weeks ago
- ☆76Updated this week
- Diff your Github against Etherscan.☆139Updated last week
- ☆90Updated 4 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- Using mutations to improve specs and test suites☆191Updated 2 months ago
- ☆92Updated last year
- ☆115Updated 3 months ago
- ☆131Updated 2 years ago
- build merkle trees on-chain☆121Updated 2 years ago
- ☆103Updated last year
- EVM ByteCode To Opcode Disassembler☆61Updated 8 months ago
- Tools for Yul.☆138Updated 2 years ago
- An opinionated template for Foundry projects.☆76Updated 2 months ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆121Updated 2 years ago
- a simple cli tool to load a contract code up in your IDE instantly.☆131Updated 3 months ago
- readable evm state diffs, enumerate full contract storage☆135Updated last year
- Foundry + Yul template☆96Updated last year
- Solidity Audit Report Generator☆85Updated last year
- A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse ♘.☆103Updated 2 years ago
- My solutions to https://ctf.paradigm.xyz/☆63Updated 2 years ago
- A smart contract security search utility☆75Updated 6 months ago
- 🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder☆119Updated last year
- A Foundry library for deploying and managing upgradeable smart contracts☆96Updated last year
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 4 years ago
- Simulate cross-chain protocols txs, easily.☆151Updated 3 weeks ago
- ☆107Updated last year