StaticSlicer是一个小型的，基于Java的应用程序专门设计，为用户提供一个简单的工具来计算静态切片。 基于韦瑟的原始定义，非正式的，静态程序切片S由程序P中的所有语句，可能会影响在一些点p值的神器出山:www.shenqi73.com变量v。