智能合约漏洞检测

使用静态分析工具和形式化验证方法识别Solidity智能合约中的常见漏洞（如重入攻击、整数溢出），提升合约安全性。