Alternatives and similar repositories for smartcontract-inspect:

Users that are interested in smartcontract-inspect are comparing it to the libraries listed below

• rappie / echidna-curve-reentrancy-hack
  Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
  ☆28Updated 8 months ago
• 0xnirlin / Thirdweb-Exploit-POC
  Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.
  ☆17Updated last year
• runtimeverification / secureum-kontrol
  ☆10Updated 10 months ago
• shortdoom / betterscan-v1
  A Solidity code search tool with built-in static analysis detection
  ☆75Updated 8 months ago
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆30Updated 2 months ago
• pcaversaccio / tornado-cash-exploit
  This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…
  ☆50Updated last week
• pcaversaccio / ecdsa-nonce-reuse-attack
  This repository implements a Python function that recovers the private key from two different signatures that use the same random nonce d…
  ☆89Updated 2 months ago
• Certora / SecurityReports
  Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…
  ☆16Updated 2 weeks ago
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆32Updated last year
• CyVers-AI / oswar
  Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities
  ☆51Updated last year
• zeroknots / boilerplate.sol
  ☆15Updated 2 years ago
• ArjunaSec / Awesome-Solana-checklist
  A circualted list of various solana issues for security researchers to read and learn from
  ☆16Updated this week
• vnmrtz / mastering-fuzzing
  Practical fuzzing examples for the mastering fuzzing talk
  ☆109Updated last year
• cryptostaker2 / blockchain-security-audits
  A collection of my security audits
  ☆54Updated last month
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆28Updated last year
• PositiveSecurity / tron-audit-guide
  Checklist for security audit of tron projects by @positivesecurity
  ☆22Updated 6 months ago
• SunWeb3Sec / damn-vulnerable-defi-v4-solutions
  Damn Vulnerable DeFi v4 Solutions
  ☆42Updated 6 months ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆46Updated last year
• ShieldifyMartin / web3-audits
  ☆50Updated 5 months ago
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆76Updated 2 years ago
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆52Updated 7 months ago
• 0xsomnus / secure-smart-contract-design-principles
  Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.
  ☆55Updated 3 years ago
• iphelix / euler-exploit-poc
  ☆48Updated last year
• minaminao / tokyo-payload
  An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals
  ☆28Updated last year
• emilianobonassi / bsc-hack-analysis-2022-10-06
  ☆21Updated 2 years ago
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• ImmuneBytes-Security-Audit / Blockchain-Attack-Vectors
  A framework that references, categorizes, and mitigates blockchain attack vectors.
  ☆24Updated last week
• Ackee-Blockchain / awesome-wake-tests
  A collection of awesome Wake tests including links to guides and more.
  ☆10Updated 5 months ago
• crytic / secureum-medusa
  ☆46Updated last year
• igorganich / damn-vulnerable-defi-halmos
  Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
  ☆33Updated last month