安全开发流程指南

引导走 Trail of Bits 的 5 步安全开发流程。跑 Slither 扫描、检查特殊特性（可升级性/ERC 一致性/代币集成）、生成可视化安全图、帮助记录用于模糊测试/验证的安全属性，并审查手动安全区域。用于端到端加固智能合约，而非只猎一个 bug；用于每次提交或部署前检查项目、分流 Slither 报告，或问智能合约安全从哪开始。