3.2 正确性与安全性分析