Decurity / tx-coverage

Related projects ⓘ

Alternatives and complementary repositories for tx-coverage

• aviggiano / security
  Security Reviews and Audit Checklists
  ☆94Updated 6 months ago
• MEDGA-eth / foundry
  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
  ☆42Updated last month
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆28Updated 6 months ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆94Updated 5 months ago
• shortdoom / betterscan-v1
  A Solidity code search tool with built-in static analysis detection
  ☆73Updated 4 months ago
• Zellic / Masamune
  A smart contract security search utility
  ☆67Updated this week
• chainlight-io / publications
  ☆83Updated 4 months ago
• deliriusz / turbopoc
  easy POC template generation from the command line
  ☆76Updated 2 months ago
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆26Updated 8 months ago
• iphelix / euler-exploit-poc
  ☆46Updated last year
• MiloTruck / evm-ctf-challenges
  CTF challenges made by MiloTruck
  ☆65Updated 2 months ago
• audit-quality / security-checklist
  ☆41Updated last month
• sherlock-protocol / sherlock-ctf-0x0
  ☆114Updated 2 years ago
• devdacian / solidity-fuzzing-comparison
  A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
  ☆116Updated this week
• perimetersec / public-fuzzing-campaigns-list
  A list of public fuzzing campaigns
  ☆79Updated this week
• GuardianAudits / DefenderAudits
  ☆22Updated last year
• ShieldifyMartin / web3-audits
  ☆50Updated 3 weeks ago
• immunefi-team / hack-analysis-pocs
  ☆38Updated 7 months ago
• YAcademy-Residents / Solidity-Proxy-Playground
  The good, the bad, and the ugly of proxy implementations
  ☆104Updated 10 months ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆48Updated last month
• crytic / roundme
  ☆88Updated 5 months ago
• 0xToshii / mr-steal-yo-crypto-ctf
  Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
  ☆93Updated last year
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆22Updated 8 months ago
• berndartmueller / audits
  Public profile of my adventure as a blockchain and smart contract security auditor.
  ☆67Updated 5 months ago
• GianfrancoBazzani / awesome-advanced-smart-contracts-testing-and-verification
  A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.
  ☆56Updated 3 months ago
• lucas-manuel / invariant-examples
  ☆162Updated last year
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆33Updated 2 years ago
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆30Updated last week
• crytic / diffusc
  Experimental tool to ease the review of smart contracts upgrades
  ☆74Updated 8 months ago