Alternatives and similar repositories for 4naly3er

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

• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆477Updated 4 months ago
• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆465Updated 6 months ago
• immunefi-team / forge-poc-templates
  ☆452Updated 2 months ago
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆322Updated last month
• spearbit / portfolio
  ☆543Updated 2 weeks ago
• 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…
  ☆442Updated last year
• 0xJuancito / multichain-auditor
  Observations and tips checklist for auditing protocols on multiple chains 🧐
  ☆693Updated 9 months ago
• nicolasgarcia214 / damn-vulnerable-defi-foundry
  Damn Vulnerable DeFi - Foundry Version
  ☆503Updated last year
• Cyfrin / audit-checklist
  Aggregated audit checklist
  ☆277Updated 3 weeks ago
• OpenCoreCH / smart-contract-auditing-heuristics
  Heuristics for smart contract auditors
  ☆593Updated 2 years ago
• Cyfrin / audit-report-templating
  ☆328Updated last year
• 0xNazgul / Blockchain-Security-Audit-List
  A list of Blockchain Security audit companies, solo auditors and location of public audits.
  ☆755Updated 4 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…
  ☆401Updated last year
• aviggiano / theauditorbook
  The Auditor Book
  ☆232Updated last year
• nascentxyz / pyrometer
  A tool for analyzing the security and parameters of a solidity smart contract
  ☆769Updated 3 months ago
• Cyfrin / sc-exploits-minimized
  A repo to showcase web3 hacks
  ☆479Updated 9 months ago
• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆360Updated 11 months ago
• a16z / halmos
  A symbolic testing tool for EVM smart contracts
  ☆901Updated this week
• sirhashalot / SCV-List
  Smart Contract Vulnerabilities (SCV) List
  ☆489Updated last year
• shanzson / Smart-Contract-Auditor-Tools-and-Techniques
  This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract audito…
  ☆688Updated 3 months ago
• Cyfrin / aderyn
  Solidity Static Analyzer that easily integrates into your editor
  ☆524Updated this week
• OffcierCia / tips-solidity-code-auditors
  Gaining the most elusive of tips. Add your input and let's collect them all!
  ☆302Updated last year
• GuardianAudits / Audits
  ☆292Updated last week
• chinmay-farkya / solidity-notes
  ☆584Updated 2 years ago
• 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…
  ☆346Updated last year
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆390Updated last week
• ConsenSysDiligence / solidity-metrics
  Solidity Code Metrics
  ☆266Updated 6 months ago
• 0xcacti / awesome-oracle-manipulation
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆523Updated last year
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆385Updated 8 months ago
• tamjid0x01 / SmartContracts-audit-checklist
  A checklist of things to look for when auditing Solidity smart contracts.
  ☆767Updated last year