Alternatives and similar repositories for defi-fork-bugs

Users that are interested in defi-fork-bugs are comparing it to the libraries listed below

• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆327Updated 2 months ago
• immunefi-team / forge-poc-templates
  ☆453Updated 2 months ago
• 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…
  ☆402Updated last year
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆477Updated 5 months ago
• zobront / quickpoc
  easy POC template generation from the command line
  ☆318Updated last year
• OffcierCia / tips-solidity-code-auditors
  Gaining the most elusive of tips. Add your input and let's collect them all!
  ☆307Updated last year
• Decurity / audit-checklists
  ☆210Updated last year
• Quillhash / Solidity-Attack-Vectors
  This Repository contains list of Common Solidity SmartContract Attack Vectors. If you find any attack vectors missing, you can create a p…
  ☆444Updated last year
• GuardianAudits / Audits
  Institutional-grade web3 security.
  ☆306Updated 2 weeks ago
• aviggiano / theauditorbook
  The Auditor Book
  ☆232Updated last year
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆238Updated 2 years ago
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆538Updated 10 months ago
• obheda12 / Solidity-Security-Compendium
  A mission to breakout every single solidity vuln I come across and categorize it
  ☆227Updated 2 years ago
• OpenCoreCH / smart-contract-auditing-heuristics
  Heuristics for smart contract auditors
  ☆594Updated 2 years ago
• spearbit / portfolio
  ☆546Updated last week
• 0xcacti / awesome-oracle-manipulation
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆524Updated 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…
  ☆359Updated last year
• 0xJuancito / multichain-auditor
  Observations and tips checklist for auditing protocols on multiple chains 🧐
  ☆696Updated 9 months ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆401Updated last week
• Cyfrin / audit-checklist
  Aggregated audit checklist
  ☆287Updated last month
• zobront / audits
  public audit & bug reports
  ☆276Updated 8 months ago
• SunWeb3Sec / DeFiLabs
  On-chain test DeFi using Foundry
  ☆207Updated 2 years ago
• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆364Updated 11 months ago
• engn33r / DeFi-Risk-Modelling-Awesome
  Resources for the budding field of risk modelling and analysis in DeFi
  ☆158Updated last year
• MiloTruck / audits
  Audits and findings by MiloTruck
  ☆172Updated last month
• nicolasgarcia214 / damn-vulnerable-defi-foundry
  Damn Vulnerable DeFi - Foundry Version
  ☆503Updated last year
• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆218Updated last year
• shieldify-security / audits-portfolio
  Shieldify's public audits portfolio
  ☆218Updated this week
• byterocket / c4udit
  Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests
  ☆235Updated 3 years ago
• 0xNazgul / Blockchain-Security-Library
  A library of blockchain security resources for various categories in blockchain.
  ☆161Updated 2 months ago