[Soot-list] Shimple Error

[Marc-André Laverdière-Papineau]

Hello,

As far as I know, Shimple is the only SSA option available in Soot.

I am seeing that Ishan is also hitting some Shimple problems. Maybe we
can work together on getting Soot's SSA code to behave :) It will take
some effort, but you get to be an expert, so its not a bad thing :D

Marc-André Laverdière-Papineau
Doctorant - PhD Candidate

On 23/06/13 02:44 AM, Akhil Jain wrote:
> Hi
> 
> Yeah, I tried with Jimple and it works fine. But the thing is that I am
> working on something that requires the SSA form of the code, for which I
> guess Shimple is the best alternative, right? Thanks anyways for the help.
> 
> Akhil Jain
> 
> 
> ------------------------------------------------------------------------
> *From:* Marc-André Laverdière <marc-andre.laverdiere-papineau at polymtl.ca>
> *To:* Akhil Jain <akhil.jain93 at yahoo.co.in>; Akhil Jain
> <akhil.jain93 at yahoo.co.in>; "soot-list at sable.mcgill.ca"
> <soot-list at sable.mcgill.ca>
> *Sent:* Saturday, 22 June 2013 9:27 PM
> *Subject:* Re: [Soot-list] Shimple Error
> 
> Hi,
> 
> Shimple is not maintained. Did you try with Jimple instead?
> -- 
> Marc-André Laverdière
> PhD Candidate - Doctorant
> Sent from a mobile device - please excuse the brevity
> 
> Akhil Jain <akhil.jain93 at yahoo.co.in <mailto:akhil.jain93 at yahoo.co.in>>
> wrote:
>>Hi
>>
>>I was working with Soot on Android Applications and was trying to get
>>the Shimple version of some APKs
>>
>>I got the following error:
>>Exception in thread "main" java.lang.RuntimeException: Assertion
>>failed.
>>    at
>>soot.shimple.internal.PhiNodeManager.dominates(PhiNodeManager.java:359)
>>    at
>>soot.shimple.internal.PhiNodeManager.trimPhiNode(PhiNodeManager.java:288)
>>    at
>>soot.shimple.internal.PhiNodeManager.trimExceptionalPhiNodes(PhiNodeManager.java:227)
>>    at
>>soot.shimple.internal.ShimpleBodyBuilder.transform(ShimpleBodyBuilder.java:116)
>>    at soot.shimple.ShimpleBody.rebuild(ShimpleBody.java:133)
>>    at soot.shimple.ShimpleBody.<init>(ShimpleBody.java:102)
>>    at soot.shimple.Shimple.newBody(Shimple.java:88)
>>    at soot.PackManager.runBodyPacks(PackManager.java:812)
>>    at soot.PackManager.runBodyPacks(PackManager.java:510)
>>    at soot.PackManager.runBodyPacks(PackManager.java:417)
>>    at soot.PackManager.runPacksNormally(PackManager.java:394)
>>    at soot.PackManager.runPacks(PackManager.java:335)
>>    at soot.Main.run(Main.java:198)
>>    at soot.Main.main(Main.java:141)
>>
>>This error comes up in many applications and does not allow analysis to
>>complete.
>>
>>Options used for compilation are:
>>-cp . -pp -android-jars <path-to-android-jars> -process-dir
>><path-to-apk> -d sootOutput -allow-phantom-refs -src-prec apk -ire -f
>>shimple
>>
>>Can anybody help me out with what I need to do in order to resolve this
>>exception?
>>
>>Thanks
>>Akhil Jain
>>
>>
>>------------------------------------------------------------------------
>>
>>_______________________________________________
>>Soot-list mailing list
>>Soot-list at sable.mcgill.ca <mailto:Soot-list at sable.mcgill.ca>
>>http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> 
> 
>