[Soot-list] A possible bug in Soot 2.5.0

[Roman Manevich]

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/20140811/efeebfd8/attachment.html