静态分析工具，可以对java程序进行静态切片，获取相关程序静态信息。