crytic / echidna-parade
☆28Updated last year
Alternatives and similar repositories for echidna-parade:
Users that are interested in echidna-parade are comparing it to the libraries listed below
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆93Updated 7 months ago
- ☆69Updated this week
- ☆37Updated 10 months ago
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 3 years ago
- An EVM bytecode disassembler/assembler☆45Updated 3 months ago
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Library for building symbolically executable stack-based virtual machines☆74Updated 2 years ago
- ☆108Updated last week
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- Smart contract debugging data format – Standards development working group☆58Updated last month
- Evaluating fuzzer effectiveness☆21Updated last year
- Experimental tool to ease the review of smart contracts upgrades☆78Updated last year
- Formal verification of WETH9.sol with Z3☆57Updated 2 years ago
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic execution☆75Updated 2 years ago
- A smart contract security search utility☆74Updated 3 months ago
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- Using mutations to improve specs and test suites☆183Updated 6 months ago
- ☆38Updated 2 months ago
- A repository for Solidity smart contracts acting as security bug tests for static analysis tools.☆32Updated 3 years ago
- Tools for Yul.☆138Updated 2 years ago
- ☆13Updated last year
- ☆90Updated 4 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- ☆62Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆41Updated 9 months ago
- Symbolic Execution Benchmarks for Ethereum Smart Contracts☆19Updated 7 months ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆71Updated 11 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆133Updated 3 months ago