Alternatives and similar repositories for slither-static-analysis-action

Users that are interested in slither-static-analysis-action are comparing it to the libraries listed below

• security-alliance / safe-harbor
  ☆75Updated 5 months ago
• banteg / vyper-reentrancy
  ☆63Updated last year
• shortdoom / betterscan-v1
  A Solidity code search tool with built-in static analysis detection
  ☆74Updated 11 months ago
• emilianobonassi / security-toolkit
  A collection of smart contracts for implementing security controls and guardrails. Useful for OpSec and educational purposes.
  ☆52Updated 3 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆96Updated last year
• ConsenSysDiligence / secureum-diligence-bootcamp
  ☆37Updated last year
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆58Updated 4 years ago
• lpinilla / Smart-Contract-Hash-Matcher
  Audit assist tool: Given a contract, find all subcontracts defined on it, calculate their sha-256 hash and look for exact matches
  ☆39Updated 2 years ago
• Dan-Nolan / Delegatecall-Proxy-Bug
  An Exploit on the AAVE v2 Contract Vulnerability
  ☆28Updated 4 years ago
• Elyx0 / pectra-whitehat-rescue-7702
  ☆33Updated last month
• spearbit-audits / audit-template
  ☆36Updated last year
• ConsenSysDiligence / napalm
  ☆46Updated last year
• jtriley2p / ERC-6909
  ☆59Updated last year
• solidity-labs-io / forge-proposal-simulator
  Standard way to simulate governance actions from a timelock, multisig, or DAO.
  ☆73Updated last week
• Dedaub / audits
  Repository containing past audit reports
  ☆55Updated last year
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆27Updated last year
• candidelabs / candide-contracts
  Account Abstraction smart contract accounts, modules, audits, tests, and formal verification
  ☆79Updated 4 months ago
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 3 years ago
• Zellic / Masamune
  A smart contract security search utility
  ☆75Updated 6 months ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• ScopeLift / foundry-template
  An opinionated template for Foundry projects.
  ☆76Updated last month
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 2 years ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• Austin-Williams / pro-bono-spot-checks
  Chaotic good security research
  ☆18Updated 3 months ago
• ZeframLou / foundry-docgen
  ☆50Updated 3 years ago
• secureum / secureum-a-maze-x-challenges
  ☆18Updated 3 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• wslyvh / clean-contracts
  A guide on smart contract patterns & practices
  ☆32Updated 4 years ago
• secureum / RACE
  Readiness Assessment for CARE Endeavour
  ☆54Updated last year
• 0xsomnus / secure-smart-contract-design-principles
  Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.
  ☆55Updated 3 years ago