StErMi / smartcontract-inspectLinks
Quickly open your favorite Web IDE to review the selected smart contract codebase
☆30Updated last year
Alternatives and similar repositories for smartcontract-inspect
Users that are interested in smartcontract-inspect are comparing it to the libraries listed below
Sorting:
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Updated 10 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 datasette dashboard and source code downloader for Immunefi bug bounty data☆29Updated 4 months ago
- ☆10Updated last year
- A Solidity code search tool with built-in static analysis detection☆74Updated 10 months ago
- A collection of my security audits☆53Updated 3 months ago
- Checklist for security audit of tron projects by @positivesecurity☆23Updated 8 months ago
- A collection of awesome Wake tests including links to guides and more.☆11Updated 7 months ago
- Collection of past CTFs to play and practice locally.☆52Updated 9 months ago
- ☆49Updated 7 months ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆57Updated 3 weeks ago
- ☆15Updated 2 years ago
- OpenZeppelin Ethernaut CTFs solutions using Foundry framework☆29Updated last year
- Practical fuzzing examples for the mastering fuzzing talk☆110Updated last year
- An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals☆28Updated last year
- Index of Rareskill Blog posts using playwright☆21Updated last year
- Safer than SafeMath. Goes up to 11!☆39Updated last month
- This repository implements a Python function that recovers the private key from two different signatures that use the same random nonce d…☆90Updated last month
- Talk with EVM Bytecode using webLLM☆15Updated 4 months ago
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆19Updated last month
- ☆21Updated last year
- Damn Vulnerable DeFi v4 Solutions☆41Updated 8 months ago
- Formally verifying consistency between Solmate and Solady using Halmos☆54Updated 9 months ago
- ☆33Updated 3 weeks ago
- ☆49Updated 2 years ago
- Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities☆52Updated last year
- DeFi exploits for educational purposes☆60Updated last year
- Foundry + Yul puzzles☆33Updated last year
- ☆46Updated last year
- ☆46Updated last year