[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