在下面的调试工具中，用于静态分析的是（）。