Open amordahl opened 2 years ago
Thank you for submitting the issue. Can you please attach the jar file and the command you used to run the slicer?
Sure. I am trying to run Slicer4J on FlowDroid; I've attached the jar. The command I used to run is
python slicer4j.py -j ~/git/FlowDroid/soot-infoflow-cmd/target/soot-infoflow-cmd-jar-with-dependencies.jar -b soot/jimple/infoflow/Infoflow:711 -o ~/test -m "soot/jimple/infoflow/cmd/MainClass -a ~/Downloads/DroidBench30/benchmark/apks/Aliasing/FlowSensitivity1.apk -p ~/Library/Android/sdk/platforms -s ~/git/FlowDroid/soot-infoflow-android/SourcesAndSinks.txt "
Hi Khaled, just following up on this issue. Let me know if there's anything else you need. Thanks!
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 currently working on it, but have other projects to work on so the progress maybe slow. May I know are you able to slice other programs? is your work blocked by this issue? Thank you for your patience
When trying to run Slicer4J through the python script, the instrumentation fails. I am using JDK 9, on Mac OS. Here is the content of instr-debug.log.