一个状态分析工具