Khaled E. Ahmed
Khaled E. Ahmed
Thank you for submitting the issue. Can you please attach the jar file and the command you used to run the slicer?
Hi @amordahl , I am still working on this, I am facing a different issue [Thread-40] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: 1 java.lang.ArrayIndexOutOfBoundsException: 1 at org.objectweb.asm.MethodWriter.visitParameterAnnotation(MethodWriter.java:697) I am...
Closing this issue since it predates several major bug fixes and improvements to the tool. Please re-open if you still face this issue. Thank you!
This is a soot issue, fixed by updating to the latest soot build. I can now create the instrumented JAR. Please pull and re-build both DynamicSlicingCore and this repo.
I do not get this error, however, it seems like disabling soot's unreachable code optimization may work. I'll try that and update the code and let you know.
Closing this issue since it predates several major bug fixes and improvements to the tool. Please re-open if you still face this issue. Thank you!
It seems like a bug. Can you please attach the fat jar?
Closing this issue since it predates several major bug fixes and improvements to the tool. Please re-open if you still face this issue. Thank you!
Hi @YLChen-007 , can you please inspect all the logs in the output folder? one of them may contain an error message explaining the problem.
For the Issue class: ```java 4. int b = 2; 5. int a = 1 + b; ``` If you look at the raw slice, you'll notice that line 5...