FuzzingLabs / cairo-fuzzerLinks
Cairo/Starknet smart contract fuzzer
☆129Updated 9 months ago
Alternatives and similar repositories for cairo-fuzzer
Users that are interested in cairo-fuzzer are comparing it to the libraries listed below
Sorting:
- Static Analyzer for Starknet smart contracts☆146Updated 2 years ago
- Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)☆271Updated 9 months ago
- Practical fuzzing examples for the mastering fuzzing talk☆109Updated 2 years ago
- A framework for assessing the security of L2s☆48Updated 2 years ago
- StarkNet smart contract fuzzer☆81Updated 3 years ago
- A collection of my security audits☆55Updated 6 months ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆99Updated last year
- Public infra related to hosting Paradigm CTF☆114Updated last year
- ☆115Updated 3 years ago
- ☆88Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- ☆21Updated 2 years ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆147Updated 11 months ago
- An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals☆28Updated 2 years ago
- The repository contains a runnable POC for uninitialized wormhole implementation contract☆74Updated 2 years ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆62Updated this week
- Zellic's audits, publications, and reports☆211Updated this week
- ☆52Updated 2 years ago
- A smart contract security search utility☆76Updated last year
- Semgrep rules for Cairo 1.0☆18Updated 2 years ago
- ☆49Updated last year
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 7 months ago
- This repository represents my portfolio of smart contract security audits and audit contest findings☆51Updated last year
- Sui smart contract fuzzer☆48Updated last year
- CTF Writeups☆36Updated 2 years ago
- ethpwn - the Swiss Army Knife for Smart Contract Hacking☆56Updated 2 months ago
- Quickly open your favorite Web IDE to review the selected smart contract codebase☆30Updated last year
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆29Updated 3 weeks ago
- Public audits☆51Updated 2 years ago
- Collection of PoCs and exploits for DeFi and other Ethereum projects☆83Updated 3 years ago