6.7 智能合约安全性分析