ConsenSysDiligence / daedaluzz
Benchmark Generator for Smart-Contract Fuzzers
β133Updated 3 months ago
Alternatives and similar repositories for daedaluzz:
Users that are interested in daedaluzz are comparing it to the libraries listed below
- π An open dataset containing smart contract audit issues from various sources.β216Updated last year
- A smart contract security search utilityβ74Updated 3 months ago
- Symbolic stack CFG generator for EVMβ183Updated last month
- Using mutations to improve specs and test suitesβ182Updated 6 months ago
- A symbolic execution engine for EVM smart contract binaries.β104Updated last month
- Girl Friend <- Generate Foundry Fork Test from Attack Transactionβ117Updated 7 months ago
- Barebones Solidity smart contract fuzzerβ94Updated 2 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzersβ93Updated 6 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed propertiesβ104Updated 3 months ago
- Fine-tuning GPT for Smart Contract Auditingβ157Updated last year
- Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"β109Updated 5 years ago
- β62Updated 2 years ago
- β104Updated this week
- Generate invariants for Foundry projects with LLMβ98Updated 7 months ago
- Verified Ethereum Smart Contract datasetβ29Updated last year
- Ethereum Virtual Machine (EVM) Bytecode or Solidity Smart Contract static analysis tool based on symbolic executionβ75Updated 2 years ago
- Pre-built security properties for commonly forked DeFi protocolsβ192Updated last year
- π§ A scriptable semantic grep utility for solidityβ144Updated 7 months ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticallβ¦β79Updated 2 weeks ago
- Abstraction layer for smart contract build systemsβ171Updated 3 weeks ago
- Template repository intended to ease fuzzing components of Solidity projects, especially libraries.β207Updated last year
- EVM CFG recoveryβ122Updated last year
- β38Updated 2 months ago
- Hacks/Vulns/Audits Compilationβ162Updated 6 months ago
- EVM ByteCode To Opcode Disassemblerβ61Updated 4 months ago
- A 6-part series on how to use Echidna on real-world codebasesβ106Updated last year
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.β71Updated 11 months ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chainsβ¦β157Updated 3 weeks ago
- Public infra related to hosting Paradigm CTFβ110Updated last year
- TypeScript types and a JSON Schema for the Solidity ASTβ93Updated 2 weeks ago