[Soot-list] the setting question about the flowdroid with "java.lang.NoSuchMethodError"
Tian Field
field0501 at gmail.com
Thu Sep 17 22:46:55 EDT 2015
Hi,
I am new to this tool, right now i am using flowdroid to test some Android
APKs based on the taint analysis. I defined some source and sink here, and
try to see what gonna happen next. However, I have some troubles here: (the
part of results)
[Spark] Propagation in 0.5 seconds.
[Spark] Solution found in 0.5 seconds.
[main] INFO
soot.jimple.infoflow.codeOptimization.InterproceduralConstantValuePropagator
- Removing side-effect free methods is disabled
[main] INFO soot.jimple.infoflow.Infoflow - Dead code elimination took
0.076672592 seconds
[main] INFO soot.jimple.infoflow.Infoflow - Callgraph has 1332 edges
[main] INFO soot.jimple.infoflow.android.InfoflowAndroidConfiguration -
Implicit flow tracking is NOT enabled
[main] INFO soot.jimple.infoflow.android.InfoflowAndroidConfiguration -
Exceptional flow tracking is enabled
[main] INFO soot.jimple.infoflow.android.InfoflowAndroidConfiguration -
Running with a maximum access path length of 5
[main] INFO soot.jimple.infoflow.android.InfoflowAndroidConfiguration -
Using path-agnostic result collection
[main] INFO soot.jimple.infoflow.android.InfoflowAndroidConfiguration -
Recursive access path shortening is enabled
[main] INFO soot.jimple.infoflow.Infoflow - Looking for sources and sinks...
[main] INFO soot.jimple.infoflow.Infoflow - Source lookup done, found 4
sources and 1 sinks.
[main] INFO soot.jimple.infoflow.Infoflow - Taint wrapper hits: 1914
[main] INFO soot.jimple.infoflow.Infoflow - Taint wrapper misses: 2923
[main] INFO soot.jimple.infoflow.Infoflow - IFDS problem with 18664 forward
and 2625 backward edges solved, processing 0 results...
[main] WARN soot.jimple.infoflow.Infoflow - No results found.
Exception in thread "main" java.lang.NoSuchMethodError:
soot.jimple.infoflow.results.InfoflowResults.getResults()Ljava/util/Map;
at
soot.jimple.infoflow.android.TestApps.Test$MyResultsAvailableHandler.onResultsAvailable(Test.java:80)
at soot.jimple.infoflow.Infoflow.runAnalysis(Infoflow.java:415)
at soot.jimple.infoflow.Infoflow.computeInfoflow(Infoflow.java:137)
at
soot.jimple.infoflow.android.SetupApplication.runInfoflow(SetupApplication.java:700)
at
soot.jimple.infoflow.android.TestApps.Test.runAnalysis(Test.java:554)
at soot.jimple.infoflow.android.TestApps.Test.main(Test.java:217)
It seems the method here cannot find in the jimple.infoflow, does it mean
my setting has some problem?
If anybody has answer to solve it, i will appreciate your kindness. Thank
you!
Regards,
Field
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150917/134ce4ee/attachment.html
More information about the Soot-list
mailing list