[Soot-list] A possible bug in Soot 2.5.0

[Roman Manevich]

Problem solved, thanks a lot!
Roman


On Fri, Aug 22, 2014 at 12:11 PM, Steven Arzt <Steven.Arzt at cased.de> wrote:

> Hi Roman,
>
>
>
> Soot 2.5.0 is really ancient. Please use the nightly builds instead:
> https://ssebuild.cased.de/nightly/soot/lib/. You can also use the code
> from the “develop” branch on Github if you want to compile Soot on your own.
>
>
>
> Best regards,
>
>   Steven
>
>
>
> *Von:* soot-list-bounces at CS.McGill.CA [mailto:
> soot-list-bounces at CS.McGill.CA] *Im Auftrag von *Roman Manevich
> *Gesendet:* Montag, 11. August 2014 16:06
> *An:* soot-list at cs.mcgill.ca
> *Betreff:* [Soot-list] A possible bug in Soot 2.5.0
>
>
>
> Hello,
>
>
>
> While running Soot with the command-line options
> *java soot.Main -cp . -pp -f jimple -p jb use-original-names -p jb.ls
> <http://jb.ls> enabled:false -p jb.ls <http://jb.ls> enabled:false
> -keep-line-number -print-tags Soot_typing_bug*
>
>
>
> on the following code:
>
> *public class Soot_typing_bug {*
>
> *            @SuppressWarnings("unused")*
>
> *            public void bug() {*
>
> *                        Soot_typing_bug i = new Soot_typing_bug();*
>
> *                        boolean b1 = i instanceof Soot_typing_bug;*
>
> *                        boolean b2 = !b1;*
>
> *            }*
>
> *}*
>
>
>
> I get the following exception trace:
>
> *java.lang.Exception: null typing passed to useChecker*
>
> *            at
> soot.jimple.toolkits.typing.fast.UseChecker.check(UseChecker.java:50)*
>
> *            at
> soot.jimple.toolkits.typing.fast.TypeResolver.insertCasts(TypeResolver.java:345)*
>
> *            at
> soot.jimple.toolkits.typing.fast.TypeResolver.inferTypes(TypeResolver.java:124)*
>
> *            at
> soot.jimple.toolkits.typing.TypeAssigner.internalTransform(TypeAssigner.java:101)*
>
> *            at soot.BodyTransformer.transform(BodyTransformer.java:51)*
>
> *            at soot.Transform.apply(Transform.java:104)*
>
> *            at
> soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:66)*
>
> *            at soot.JimpleBodyPack.internalApply(JimpleBodyPack.java:89)*
>
> *            at soot.Pack.apply(Pack.java:124)*
>
> *            at
> soot.coffi.CoffiMethodSource.getBody(CoffiMethodSource.java:117)*
>
> *            at
> soot.SootMethod.getBodyFromMethodSource(SootMethod.java:89)*
>
> *            at soot.SootMethod.retrieveActiveBody(SootMethod.java:322)*
>
> *            at
> soot.jimple.toolkits.annotation.LineNumberAdder.internalTransform(LineNumberAdder.java:44)*
>
> *            at soot.PackManager.runPacks(PackManager.java:332)*
>
> *            at soot.Main.run(Main.java:198)*
>
> *            at soot.Main.main(Main.java:141)*
>
>
>
> Is this a bug or am I doing something wrong?
>
>
>
> Thanks,
>
> Roman
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140822/437b8c0f/attachment.html