crytic/building-secure-contracts resource

Health v2 · maintenance only

Adoption not part of the score

2481 stars · 389 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

A Trail of Bits maintained collection of guidelines, best practices, and training material for developing secure smart contracts. It covers secure development workflows, EVM internals, common vulnerability examples across many chains, and tutorials for automated analysis tools like Echidna, Medusa, Slither, and Manticore.

Use cases

• learn how to write secure smart contracts
• fuzz test solidity contracts with echidna or medusa
• find examples of common smart contract vulnerabilities
• create an incident response plan for a blockchain project
• understand EVM opcodes and transaction tracing
• checklist for integrating arbitrary tokens safely
• evaluate the security maturity of a smart contract codebase

When to choose

• you are developing or auditing Ethereum/EVM smart contracts and want security best practices
• you need hands-on tutorials for Trail of Bits analysis tools like Echidna, Medusa, Slither, or Manticore
• you want vulnerability examples for chains beyond Ethereum such as Solana, Cosmos, or TON

When to avoid

• you need an executable security tool rather than documentation and training material
• your project is not blockchain or smart-contract related
• you need formal verification guarantees rather than guidelines and fuzzing tutorials

Facets

learning-resource · maturity active

security fuzzing testing documentation developer-tools blockchain security developer-tools tutorials cross-platform cli smart-contracts solidity ethereum evm blockchain-security static-analysis symbolic-execution trail-of-bits docker

Member repositories

For agents

markdown · JSON · MCP: product_card(name="crytic/building-secure-contracts")