FuzzingLabs / cairo-fuzzer
Cairo/Starknet smart contract fuzzer
☆122Updated last month
Alternatives and similar repositories for cairo-fuzzer:
Users that are interested in cairo-fuzzer are comparing it to the libraries listed below
- Static Analyzer for Starknet smart contracts☆142Updated last year
- Practical fuzzing examples for the mastering fuzzing talk☆109Updated last year
- Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)☆254Updated 2 months ago
- A framework for assessing the security of L2s☆46Updated last year
- A collection of my security audits☆54Updated last month
- Public infra related to hosting Paradigm CTF☆110Updated last year
- Scrappy bot army that automates web3 bug hunting workflows.☆102Updated last month
- An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals☆28Updated last year
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated last month
- ☆50Updated 5 months ago
- ☆74Updated last year
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆53Updated last week
- Sui smart contract fuzzer☆35Updated last year
- Public audits☆51Updated last year
- Zellic's audits, publications, and reports☆165Updated last week
- A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).☆129Updated last month
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- ☆46Updated this week
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to t…☆44Updated this week
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆152Updated last month
- ☆115Updated 3 years ago
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆139Updated last year
- Collection of security reviews of ZK Protocols☆225Updated 3 months ago
- ☆51Updated last year
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆24Updated last week
- ☆52Updated last year
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆93Updated 6 months ago
- Damn Vulnerable DeFi v4 Solutions☆42Updated 6 months ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆104Updated last year