在 Solidity 智能合约开发中，安全审计应遵循哪些步骤？请列举并简要说明常用的安全审计工具及其作用。

回答思路

1. 【回答框架 1】智能合约安全审计是一个系统化过程，主要分为：需求与设计审查、代码静态分析、动态测试（如模糊测试）、人工复核与报告输出。核心目标是发现安全漏洞、逻辑缺陷和合规风险，而不只是代码规范问题。
2. 【回答框架 2】静态分析工具：Slither（基于 Python，可检测可重入、未检查的调用等常见问题）、Mythril（符号执行，可探索状态空间寻找漏洞路径）、Solhint（代码规范与安全规则检查）。这些工具速度快，但存在误报，需要人工确认。
3. 【回答框架 3】动态测试工具：Foundry（支持模糊测试和集成测试，可编写测试用例模拟攻击）、Hardhat（结合插件进行主网分叉测试和攻击模拟）、Echidna（基于属性的模糊测试，用于验证不变量）。动态测试能发现运行时异常，但覆盖有限。
4. 【回答框架 4】人工审计是核心环节：审计人员需逐行审查关键函数，重点关注重入攻击、整数溢出、权限控制、外部调用失败处理、Gas 限制、随机数可预测性、时间戳依赖等典型漏洞，并结合业务逻辑评估影响。
5. 【回答框架 5】审计流程还包括：确定审计范围与深度、运行自动化工具生成初步报告、人工验证并复现漏洞、与开发团队沟通修复、验证修复有效性并发布最终报告。审计并非一次性，版本更新后需重新审计。
6. 【关键点 1】审计流程包括需求设计审查、静态分析、动态测试、人工复核与报告。
7. 【关键点 2】常用静态工具：Slither、Mythril、Solhint；动态工具：Foundry、Hardhat、Echidna。
8. 【关键点 3】典型漏洞：重入、整数溢出、权限缺失、外部调用失败、Gas 限制、随机数可预测、时间戳依赖。
9. 【关键点 4】自动工具存在误报，需人工确认；审计需结合业务逻辑评估影响。
10. 【关键点 5】版本更新后应重新审计，保证安全性持续有效。
11. 【易错点 1】依赖单一工具结论，未结合人工验证，可能漏报逻辑漏洞。
12. 【易错点 2】忽视业务逻辑与权限管理，仅关注已知模式导致遗漏。
13. 【易错点 3】不审计或忽略测试覆盖率，低估动态测试局限性。