Alternatives and similar repositories for solgrep:

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

• tintinweb / smart-contract-storage-viewer
  🔆🔎👀 Smart Contract Storage Viewer, DataType Guesser, Toolbox & Transaction Decoder
  ☆118Updated 11 months ago
• patrickd- / solidity-fuzzing-boilerplate
  Template repository intended to ease fuzzing components of Solidity projects, especially libraries.
  ☆206Updated last year
• lucas-manuel / invariant-examples
  ☆163Updated last year
• 0xNazgul / fuzzydefi
  Pre-built security properties for commonly forked DeFi protocols
  ☆192Updated last year
• tintinweb / smart-contract-vulndb
  🍋 An open dataset containing smart contract audit issues from various sources.
  ☆208Updated 11 months ago
• zobront / paradigm-ctf
  template for efficient paradigm ctf testing & scripts
  ☆154Updated last year
• plotchy / evm-cfg
  Symbolic stack CFG generator for EVM
  ☆181Updated last week
• maurelian / solidity-sandbox
  A forkable template repo for easily writing and testing toy contracts
  ☆147Updated last year
• smlxl / storage-layout-extractor
  A tool that performs extraction of storage layouts based on EVM bytecode.
  ☆135Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆72Updated last month
• a16z / metamorphic-contract-detector
  ☆161Updated 2 years ago
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆120Updated 5 months ago
• Certora / Tutorials
  Practical tutorials of Certora Prover
  ☆234Updated last year
• spearbit-audits / writing-exercise
  ☆102Updated 2 years ago
• abdulsamijay / Defi-Hack-Analysis-POC
  A curated list of major DeFi hacks along with their POCs in foundry
  ☆80Updated last year
• MrToph / ctf-lending
  ☆98Updated 2 years ago
• emilianobonassi / whitehacks-kit
  A simple template to perform whitehacks safely
  ☆175Updated last year
• fuzzland / girlfriend
  Girl Friend <- Generate Foundry Fork Test from Attack Transaction
  ☆115Updated 6 months ago
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• Deivitto / auditor-docker
  ☆129Updated 8 months ago
• Mikerah / solidity-bugs-and-vulns-in-yul
  ☆90Updated 4 years ago
• rainshowerLabs / sothis
  Replay and track historical state
  ☆204Updated 3 weeks ago
• mattaereal / yet-another-evm-puzzle
  This part of a small series of medium post dedicated to motivate myself while learning how the evm works.
  ☆90Updated 5 months ago
• engn33r / DeFi-Risk-Modelling-Awesome
  Resources for the budding field of risk modelling and analysis in DeFi
  ☆152Updated 9 months ago
• NethermindEth / Forta-Agents
  Collection of Forta Bots for on-chain anomaly/threat detection
  ☆109Updated this week
• Certora / gambit
  Using mutations to improve specs and test suites
  ☆176Updated 5 months ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆102Updated last month
• iFrostizz / solhunt
  Hunt for common bad practices in Solidity smart contracts !
  ☆121Updated last year
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 2 years ago
• zeroknots / brokentoken
  Foundry Test Suit to test weird ERC20 behavior
  ☆237Updated last year