[Soot-list] Flowdroid exception: no method run()

Mon Feb 23 09:01:09 EST 2015

you are definitely right! and thank you for the information about the sdk manager!

I re-downloaded the jars, the exception of the run method is gone, however I’m getting a new one!!

Exception in thread "main" java.lang.IllegalStateException: UnitThrowAnalysis St
mtSwitch: type of throw argument is not a RefType!
        at soot.toolkits.exceptions.AbstractThrowAnalysis.mightThrowExplicitly(A
bstractThrowAnalysis.java:65)
        at soot.toolkits.exceptions.UnitThrowAnalysis$UnitSwitch.caseThrowStmt(U
nitThrowAnalysis.java:706)
        at soot.jimple.internal.JThrowStmt.apply(JThrowStmt.java:70)
        at soot.toolkits.exceptions.UnitThrowAnalysis.mightThrow(UnitThrowAnalys
is.java:241)
        at soot.toolkits.graph.ExceptionalUnitGraph.getExceptionDests(Exceptiona
lUnitGraph.java:800)
        at soot.toolkits.graph.ExceptionalUnitGraph.buildHeadsAndTails(Exception
alUnitGraph.java:763)
        at soot.toolkits.graph.ExceptionalUnitGraph.initialize(ExceptionalUnitGr
aph.java:293)
        at soot.toolkits.graph.ExceptionalUnitGraph.<init>(ExceptionalUnitGraph.
java:159)
        at soot.toolkits.graph.ExceptionalUnitGraph.<init>(ExceptionalUnitGraph.
java:192)
        at soot.jimple.toolkits.base.Aggregator.internalAggregate(Aggregator.jav
a:103)
        at soot.jimple.toolkits.base.Aggregator.internalTransform(Aggregator.jav
a:86)
        at soot.BodyTransformer.transform(BodyTransformer.java:51)
        at soot.BodyTransformer.transform(BodyTransformer.java:58)
        at soot.BodyTransformer.transform(BodyTransformer.java:63)
        at soot.dexpler.DexBody.jimplify(DexBody.java:628)
        at soot.dexpler.DexMethod$1.getBody(DexMethod.java:150)
        at soot.SootMethod.getBodyFromMethodSource(SootMethod.java:91)
        at soot.SootMethod.retrieveActiveBody(SootMethod.java:324)
        at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processNewMethod
(OnFlyCallGraphBuilder.java:529)
        at soot.jimple.toolkits.callgraph.OnFlyCallGraphBuilder.processReachable
s(OnFlyCallGraphBuilder.java:420)
        at soot.jimple.spark.solver.OnFlyCallGraph.build(OnFlyCallGraph.java:55)

        at soot.jimple.spark.solver.PropWorklist.handleVarNode(PropWorklist.java
:122)
        at soot.jimple.spark.solver.PropWorklist.propagate(PropWorklist.java:52)

        at soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer
.java:152)
        at soot.SceneTransformer.transform(SceneTransformer.java:39)
        at soot.Transform.apply(Transform.java:90)
        at soot.RadioScenePack.internalApply(RadioScenePack.java:57)
        at soot.jimple.toolkits.callgraph.CallGraphPack.internalApply(CallGraphP
ack.java:49)
        at soot.Pack.apply(Pack.java:116)
        at soot.jimple.infoflow.Infoflow.runAnalysis(Infoflow.java:538)
        at soot.jimple.infoflow.Infoflow.computeInfoflow(Infoflow.java:305)
        at soot.jimple.infoflow.android.SetupApplication.runInfoflow(Unknown Sou
rce)
        at soot.jimple.infoflow.android.TestApps.Test.runAnalysis(Unknown Source
)
        at soot.jimple.infoflow.android.TestApps.Test.main(Unknown Source)

D:\FlowDroid>

Sent from Windows Mail

From: Steven Arzt
Sent: ‎Monday‎, ‎February‎ ‎23‎, ‎2015 ‎7‎:‎53‎ ‎AM
To: Modhi Alsobeihy, soot-list at CS.McGill.CA

Hi Modhi,

How did you update FlowDroid? I just committed the new code, so if you re-downloaded the nightly build, you still got the old version from the last scheduled build. To make sure that nothing went wrong here, I manually triggered a new nightly build, so *now*, we definitely have a new nightly build as well.

By the way, you can also download these deprecated API revisions from the SDK manager. There is a checkbox at the bottom you have to check so that it also displays the stuff Google assumes to be deprecated.

Best regards,

  Steven

Von: Modhi Alsobiehy [mailto:m99m20 at hotmail.com] 
Gesendet: Montag, 23. Februar 2015 14:28
An: Steven Arzt; soot-list at CS.McGill.CA
Betreff: Re: AW: [Soot-list] Flowdroid exception: no method run()

Hi Steven,

Thanks for responding!

I updated flowdroid and I’m still getting the same exception!

I get this exception mostly from apks requiring platform 9 android jar. because this jar is not available in the sdk manager I downloaded it from https://github.com/Sable/android-platforms

this is the command:

java -Xmx12g -cp soot-trunk.jar;soot-infoflow.jar;soot-infoflow-android.jar;slf4j-api-1.7.5.jar;slf4j-simple-1.7.5.jar;axml-2.0.jar soot.jimple.infoflow.android.TestApps.Test "D:\APKs\apkName.apk" D:\Android\android-sdk\platforms --nostatic --aplength 1 --aliasflowins --nocallbacks --layoutmode none --nopaths

Sent from Windows Mail

From: Steven Arzt
Sent: ‎Monday‎, ‎February‎ ‎23‎, ‎2015 ‎5‎:‎57‎ ‎AM
To: Modhi Alsobeihy, soot-list at CS.McGill.CA

Hi Modhi,

Though I was unable to reproduce the problem with the given APK, I committed a stability fix which makes FlowDroid continue even if the reference to Runnable.run() cannot be resolved. Please try again.

Best regards,

  Steven

Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA] Im Auftrag von Modhi Alsobiehy
Gesendet: Samstag, 21. Februar 2015 16:10
An: soot-list at CS.McGill.CA
Betreff: [Soot-list] Flowdroid exception: no method run()

Hi all,

I am using flowdroid from the command line and I’ve been getting this exception lately with multiple apks - I attached one-

your quick response is highly recommended!

thank you!

-modhi

exception:

Exception in thread "main" java.lang.RuntimeException: No method void run() in class java.lang.Runnable
        at soot.SootClass.getMethod(SootClass.java:339)
        at soot.SootClass.getMethod(SootClass.java:373)
        at soot.jimple.infoflow.Infoflow.patchHandlerPostBody(Infoflow.java:472)

        at soot.jimple.infoflow.Infoflow.patchHandlerImplementation(Infoflow.jav
a:433)
        at soot.jimple.infoflow.Infoflow.runAnalysis(Infoflow.java:531)
        at soot.jimple.infoflow.Infoflow.computeInfoflow(Infoflow.java:303)
        at soot.jimple.infoflow.android.SetupApplication.runInfoflow(Unknown Source)
        at soot.jimple.infoflow.android.TestApps.Test.runAnalysis(Unknown Source)
        at soot.jimple.infoflow.android.TestApps.Test.main(Unknown Source)

Sent from Windows Mail
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150223/c483b415/attachment-0001.html 