Alternatives and similar repositories for damn-vulnerable-defi-halmos

Users that are interested in damn-vulnerable-defi-halmos are comparing it to the libraries listed below

• redtrama / awesome-halmos
  List of Halmos resources.
  ☆57Updated 7 months ago
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆28Updated last year
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆110Updated last month
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆77Updated 3 weeks ago
• perimetersec / fuzzlib
  General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
  ☆52Updated 2 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 9 months ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• crytic / roundme
  ☆94Updated last year
• GianfrancoBazzani / awesome-advanced-smart-contracts-testing-and-verification
  A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.
  ☆73Updated last year
• chainlight-io / publications
  ☆88Updated last month
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• SunWeb3Sec / damn-vulnerable-defi-v4-solutions
  Damn Vulnerable DeFi v4 Solutions
  ☆46Updated last year
• deliriusz / turbopoc
  easy POC template generation from the command line
  ☆74Updated last year
• berndartmueller / audits
  Public profile of my adventure as a blockchain and smart contract security auditor.
  ☆74Updated 3 months ago
• ETAAcademy / ETAAcademy-Audit
  Web3.0 Audit Resources and Competition Materials
  ☆19Updated this week
• RareSkills / invariant-testing-foundry-tutorial
  This code accompanies the invariant testing tutorial on our website.
  ☆19Updated 2 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• BlockChomper / ctf-challenges
  A collection of ctf challenges based on Rareskills educational content
  ☆36Updated 9 months ago
• ConsenSysDiligence / napalm
  ☆46Updated last year
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆73Updated last year
• pcaversaccio / malleable-signatures
  This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…
  ☆113Updated this week
• magnetto90 / tokens-decimals
  Inspired by multichain-auditor, this list shows the difference of decimals positions between the original blockchain and others, only whe…
  ☆30Updated last year
• forefy / eburger
  eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
  ☆37Updated 3 months ago
• aviggiano / solidity-audit-report-generator
  Solidity Audit Report Generator
  ☆84Updated 2 years ago
• perimetersec / public-fuzzing-campaigns-list
  A list of public fuzzing campaigns
  ☆120Updated 3 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• punishell / DeFiVulnLabsCosmWasm
  DeFiVulnLabsCosmWasm
  ☆50Updated 2 years ago
• spearbit-audits / audit-template
  ☆35Updated 2 years ago