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
  ☆27Updated 7 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 9 months ago
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆51Updated 6 months ago
• cryptostaker2 / blockchain-security-audits
  A collection of my security audits
  ☆54Updated last month
• zeroknots / boilerplate.sol
  ☆15Updated last year
• 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…
  ☆48Updated last week
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆45Updated 11 months ago
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆29Updated last month
• minaminao / tokyo-payload
  An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals
  ☆28Updated last year
• shortdoom / betterscan-v1
  A Solidity code search tool with built-in static analysis detection
  ☆75Updated 7 months ago
• 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 3 weeks 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
• ShieldifyMartin / web3-audits
  ☆50Updated 3 months ago
• 0xKoda / llevm
  Talk with EVM Bytecode using webLLM
  ☆15Updated 3 weeks ago
• RareSkills / solana-tutorial
  ☆26Updated 3 months ago
• GuardianAudits / DefenderAudits
  ☆21Updated last year
• ConsenSysDiligence / napalm
  ☆47Updated 11 months ago
• PositiveSecurity / tron-audit-guide
  Checklist for security audit of tron projects by @positivesecurity
  ☆22Updated 5 months ago
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆32Updated last year
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆28Updated 11 months ago
• fuzzland / writeup
  CTF Writeups
  ☆37Updated last year
• vnmrtz / mastering-fuzzing
  Practical fuzzing examples for the mastering fuzzing talk
  ☆108Updated last year
• iphelix / euler-exploit-poc
  ☆48Updated last year
• Sabnock01 / blur-v2
  Contracts for Blur and Blend
  ☆30Updated last year
• ETAAcademy / ETAAcademy-Audit
  Web3.0 Audit Resources and Competition Materials
  ☆18Updated 2 weeks ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆53Updated 6 months ago
• paradigmxyz / paradigm-ctf-2023
  ☆69Updated last year
• Wardens-OSS-Club / tx-identicons
  Pattern Interrupts to prevent you from signing malicious transactions
  ☆22Updated last year
• SunWeb3Sec / damn-vulnerable-defi-v4-solutions
  Damn Vulnerable DeFi v4 Solutions
  ☆39Updated 5 months ago