java文件的反向切片生成
我有一个java文件,我想得到对特定行的结果有影响的所有行(向后切片生成)。我知道解决方案,但是有没有java代码可以做到这一点 作为示例,请按以下代码排序:java文件的反向切片生成,java,program-slicing,Java,Program Slicing,我有一个java文件,我想得到对特定行的结果有影响的所有行(向后切片生成)。我知道解决方案,但是有没有java代码可以做到这一点 作为示例,请按以下代码排序: System.out.println("Start") Random r = new Random(); int i = r.nextInt(10); int n = 0; if(i<8) { n = 1; System.out.println("In if"); } int j = n * i; System.o
System.out.println("Start")
Random r = new Random();
int i = r.nextInt(10);
int n = 0;
if(i<8)
{
n = 1;
System.out.println("In if");
}
int j = n * i;
System.out.println(“开始”)
随机r=新随机();
int i=r.nextInt(10);
int n=0;
if(i似乎讨论理论方法的学术论文比实际实现的要多。(特别是在Java中)
您可以尝试以下选项之一:
分析单线程程序:
来自hammacher(@github)的Java切片器。据我所知,在您创建了程序的跟踪之后,它会给您一个Java字节码切片
另请查看IBM Wala切片器
分析多线程程序:
问题是复杂度会上升,尤其是在分析多线程程序时。
我认为目前唯一支持这一点的是这个项目。他们还提供了一个eclipse插件,名为Kaveri,但您必须在eclipse 3.1.2中使用它
但是,您的代码必须符合Java 2(J2SE 1.4.2)。请参阅
Random r = new Random();
int i = r.nextInt(10);
int n = 0;
if(i<8)
{
n = 1;
}
int j = n * i;