地基期终测（四）：理论

解释为什么不存在完美的死循环检测工具，并说明现实中的静态分析工具