合约分析工具