Alternatives and similar repositories for slitherin

Users that are interested in slitherin are comparing it to the libraries listed below

• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆342Updated 6 months ago
• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆485Updated 3 weeks ago
• zobront / quickpoc
  easy POC template generation from the command line
  ☆323Updated last year
• aviggiano / theauditorbook
  The Auditor Book
  ☆231Updated last year
• spearbit / armory
  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…
  ☆400Updated 2 years ago
• immunefi-team / forge-poc-templates
  ☆459Updated 6 months ago
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆401Updated last year
• RareSkills / solidity-riddles
  A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…
  ☆381Updated last year
• 0xcacti / awesome-oracle-manipulation
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆525Updated last year
• 0xKitsune / solstat
  A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
  ☆431Updated last year
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆237Updated 2 years ago
• OffcierCia / tips-solidity-code-auditors
  Gaining the most elusive of tips. Add your input and let's collect them all!
  ☆353Updated last year
• nicolasgarcia214 / damn-vulnerable-defi-foundry
  Damn Vulnerable DeFi - Foundry Version
  ☆505Updated last year
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆545Updated last year
• nascentxyz / pyrometer
  A tool for analyzing the security and parameters of a solidity smart contract
  ☆786Updated 8 months ago
• Ackee-Blockchain / wake
  Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum…
  ☆328Updated this week
• spearbit / portfolio
  ☆560Updated this week
• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆226Updated last year
• ConsenSysDiligence / solidity-metrics
  Solidity Code Metrics
  ☆281Updated 10 months ago
• ciaranmcveigh5 / ethernaut-x-foundry
  Ethernaut puzzles solved with foundry
  ☆280Updated 2 years ago
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆499Updated 9 months ago
• OpenCoreCH / smart-contract-auditing-heuristics
  Heuristics for smart contract auditors
  ☆605Updated 2 years ago
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆245Updated 7 months ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆427Updated this week
• byterocket / c4udit
  Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests
  ☆237Updated 3 years ago
• huff-language / huffmate
  A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
  ☆461Updated last year
• Perelyn-sama / yul_by_example
  Code examples in Yul
  ☆256Updated last year
• obheda12 / Solidity-Security-Compendium
  A mission to breakout every single solidity vuln I come across and categorize it
  ☆229Updated 2 years ago
• sirhashalot / SCV-List
  Smart Contract Vulnerabilities (SCV) List
  ☆503Updated 2 years ago
• engn33r / DeFi-Risk-Modelling-Awesome
  Resources for the budding field of risk modelling and analysis in DeFi
  ☆159Updated last year