a structural diff that understands syntax 🟥🟩

Resources for the budding field of risk modelling and analysis in DeFi

To learn common smart contract vulnerabilities using Foundry!

Slither Detectors by Pessimistic.io

A list of Blockchain Security audit companies and location of public audits.

Symbolic bounded model checker for Ethereum smart contracts

Reproduce DeFi hacked incidents using Foundry.

Semgrep rules registry

Materials related to security: docs, checklists, processes, etc...

Guidelines and training material to write secure smart contracts

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

A smart contract security search utility

Diff your Github against Etherscan.

Blazing Fast Hybrid Fuzzer for Smart Contracts

🦄 🦄 Core smart contracts of Uniswap V2

🍋 An open dataset containing smart contract audit issues from various sources.

Ethereum smart contract fuzzer

A BugBounty companion that checks out high-reward yielding bug bounty code-bases from Immunefi/code4rena 🙌 (use at own risk)

Semgrep rules for smart contracts based on DeFi exploits

DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references!

Static Analyzer for Solidity

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Generate Solidity Source Code Metrics, Complexity and Risk profile reports for your project.

A tool for analyzing the security and parameters of a solidity smart contract

Solidity Code Metrics

A collection of practical security-focused guides and checklists for smart contract development

A curated list of blockchain security Capture the Flag (CTF) competitions

A 6-part series on how to use Echidna on real-world codebases