Alternatives and similar repositories for DeFiVulnLabsCosmWasm

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

• JoranHonig / awesome-web3-ai-security
  ☆39Updated 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
  ☆61Updated 4 years ago
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆75Updated last year
• igorganich / damn-vulnerable-defi-halmos
  Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
  ☆33Updated 8 months ago
• crytic / secureum-medusa
  ☆47Updated 2 years ago
• minaminao / defi-exploits
  DeFi exploits for educational purposes
  ☆61Updated 2 years ago
• Zellic / Masamune
  A smart contract security search utility
  ☆75Updated 10 months ago
• chainlight-io / publications
  ☆87Updated 2 months ago
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆76Updated 3 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• ConsenSysDiligence / napalm
  ☆46Updated last year
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆44Updated 2 years ago
• beskay / solidity-challenges
  Solidity challenges for EthernautDAO
  ☆43Updated 2 years ago
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 3 years ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆42Updated 3 years ago
• MrToph / ctf-lending
  ☆99Updated 2 years ago
• Dedaub / audits
  Repository containing past audit reports
  ☆55Updated last year
• Anish-Agnihotri / sushiswap-exploit
  SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.
  ☆92Updated 2 years ago
• timurguvenkaya / near-sc-security-course
  ☆26Updated 2 years ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 3 years ago
• Jeiwan / uniswapv3-unrefunded-eth-poc
  ☆41Updated 2 years ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• Hexens / Smart-Contract-Review-Public-Reports
  List of the public smart contract audit reports and security reviews performed by Hexens.
  ☆46Updated 2 weeks ago
• forefy / eburger
  eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
  ☆37Updated 5 months ago
• crytic / roundme
  ☆98Updated last year
• crytic / diffusc
  Experimental tool to ease the review of smart contracts upgrades
  ☆79Updated last year
• ConsenSysDiligence / secureum-diligence-bootcamp
  ☆37Updated last year
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆35Updated 2 years ago