[Soot-list] A possible bug in Soot 2.5.0

[Steven Arzt]

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 enabled:false -p 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/17b9a279/attachment.html