文件名称：Slithice:Slithice 项目的存储库
文件大小：8MB
文件格式：ZIP
更新时间：2024-06-24 06:59:18
Java
Slithice：基于系统依赖图的程序切片器。 [实验] 特征： 副作用分析不同层次的堆抽象使用逃逸分析来过滤结果 到达定义分析（正在考虑对堆的定义） 过程依赖图构建 系统依赖图构建具有各种级别的隐式参数抽象可以限制库方法的分析深度 程序内切片 程序间切片 基于条形图的全局切片视图 在编辑器视图中突出显示切片 用点（或 jgraph）显示各种图形