crytic / cloudexec
A general purpose foundation for cloud-based fuzzing and mutation testing jobs
☆19Updated 8 months ago
Alternatives and similar repositories for cloudexec:
Users that are interested in cloudexec 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
- ☆38Updated 10 months ago
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆94Updated 2 years ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Updated 9 months ago
- ☆13Updated last year
- ☆75Updated last year
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆71Updated last year
- A smart contract security search utility☆74Updated 3 months ago
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆40Updated 2 months ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- ☆46Updated last year
- ☆46Updated last year
- An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals☆28Updated last year
- ☆14Updated 2 years ago
- A framework for assessing the security of L2s☆46Updated last year
- DeFiVulnLabsCosmWasm☆50Updated last year
- ethpwn - the Swiss Army Knife for Smart Contract Hacking☆47Updated 5 months ago
- Sierra decompiler and analyzer☆11Updated last month
- A Solidity code search tool with built-in static analysis detection☆74Updated 9 months ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆72Updated 9 months ago
- Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.☆17Updated last year
- A test suite to check for client-side script injection on websites that display NFTs.☆51Updated last year
- Solidity CTF challenge from BSides TLV 2022☆14Updated 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
- Public infra related to hosting Paradigm CTF☆111Updated last year
- Practical fuzzing examples for the mastering fuzzing talk☆110Updated last year
- A collection of my security audits☆54Updated last month
- ☆42Updated 6 months ago
- Contains every issue l have ever found, while doing public auditing.☆30Updated 2 years ago