Alternatives and similar repositories for tx-coverage:

Users that are interested in tx-coverage are comparing it to the libraries listed below

• MEDGA-eth / foundry
  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
  ☆45Updated 5 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 3 months ago
• aviggiano / security
  Security Reviews and Audit Checklists
  ☆107Updated 3 weeks ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆104Updated 3 months ago
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆30Updated 2 months ago
• shortdoom / betterscan-v1
  A Solidity code search tool with built-in static analysis detection
  ☆75Updated 8 months ago
• MrToph / ctf-lending
  ☆99Updated 2 years ago
• MiloTruck / evm-ctf-challenges
  CTF challenges made by MiloTruck
  ☆67Updated 7 months ago
• SunWeb3Sec / damn-vulnerable-defi-v4-solutions
  Damn Vulnerable DeFi v4 Solutions
  ☆42Updated 6 months ago
• audit-quality / security-checklist
  ☆42Updated 5 months ago
• ConsenSysDiligence / napalm
  ☆47Updated last year
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 2 years ago
• paradigmxyz / paradigm-ctf-2023
  ☆75Updated last year
• ShieldifyMartin / web3-audits
  ☆50Updated 5 months ago
• berndartmueller / audits
  Public profile of my adventure as a blockchain and smart contract security auditor.
  ☆69Updated 3 weeks ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆53Updated last month
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆27Updated 11 months ago
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 3 years ago
• electisec / Solidity-Proxy-Playground
  The good, the bad, and the ugly of proxy implementations
  ☆105Updated last year
• pratraut / scrapyFi
  Scrapper for Immunefi
  ☆43Updated 10 months ago
• deliriusz / turbopoc
  easy POC template generation from the command line
  ☆76Updated 7 months ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆46Updated last year
• crytic / roundme
  ☆91Updated 10 months ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆42Updated last year
• fuzzland / invgen
  Generate invariants for Foundry projects with LLM
  ☆98Updated 7 months ago
• 0xToshii / mr-steal-yo-crypto-ctf
  Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
  ☆104Updated last year
• ETAAcademy / ETAAcademy-Audit
  Web3.0 Audit Resources and Competition Materials
  ☆17Updated last week
• cryptostaker2 / blockchain-security-audits
  A collection of my security audits
  ☆54Updated last month
• forefy / eburger
  eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
  ☆31Updated last year
• chainlight-io / publications
  ☆86Updated 3 weeks ago