[Soot-list] UnitThrowAnalysis throws exception

[Eric Bodden]

I am glad that you found it. I will see if we can improve exception
handling there.

Eric

2008/8/20 Fei Yan <feiya200 at cs.uregina.ca>:
> Never mind, after adding a Scene.v().loadNecessaryClasses();
>
> these exceptions were no longer thrown.
>
> Fei
>
> --------------------------------------------------
> From: "Fei Yan" <feiya200 at cs.uregina.ca>
> Sent: Wednesday, August 20, 2008 12:18 AM
> To: <soot-list at sable.mcgill.ca>
> Subject: [Soot-list] UnitThrowAnalysis throws exception
>
>> Hi All,
>>
>> When I try to use UnitThrowAnalysis, it throws certain exceptions which
>> really confused me:
>>
>> with the whole program to be false, I got
>> java.lang.NullPointerException
>> at soot.AnySubType.v(AnySubType.java:43)
>> at
>> soot.toolkits.exceptions.ThrowableSet$Manager.<init>(ThrowableSet.java:240)
>> at
>> soot.Singletons.soot_toolkits_exceptions_ThrowableSet_Manager(Singletons.java:765)
>> at soot.toolkits.exceptions.ThrowableSet$Manager.v(ThrowableSet.java:275)
>> at
>> soot.toolkits.exceptions.UnitThrowAnalysis.<init>(UnitThrowAnalysis.java:48)
>> at
>> soot.Singletons.soot_toolkits_exceptions_UnitThrowAnalysis(Singletons.java:771)
>> at soot.toolkits.exceptions.UnitThrowAnalysis.v(UnitThrowAnalysis.java:72)
>> at soot.Scene.getDefaultThrowAnalysis(Scene.java:750)
>> at
>> soot.toolkits.graph.ExceptionalUnitGraph.<init>(ExceptionalUnitGraph.java:179)
>> at
>> soot.toolkits.scalar.LocalSplitter.internalTransform(LocalSplitter.java:77)
>> at soot.BodyTransformer.transform(BodyTransformer.java:51)
>> at soot.Transform.apply(Transform.java:104)
>> at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:57)
>> 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:82)
>> at soot.SootMethod.retrieveActiveBody(SootMethod.java:329)
>>
>> and with the whole program to be true, I got
>> java.lang.NullPointerException
>> at soot.toolkits.exceptions.ThrowableSet.add(ThrowableSet.java:556)
>> at
>> soot.toolkits.exceptions.UnitThrowAnalysis.<init>(UnitThrowAnalysis.java:48)
>> at
>> soot.Singletons.soot_toolkits_exceptions_UnitThrowAnalysis(Singletons.java:771)
>> at soot.toolkits.exceptions.UnitThrowAnalysis.v(UnitThrowAnalysis.java:72)
>> at soot.Scene.getDefaultThrowAnalysis(Scene.java:750)
>> at
>> soot.toolkits.graph.ExceptionalUnitGraph.<init>(ExceptionalUnitGraph.java:179)
>> at
>> soot.toolkits.scalar.LocalSplitter.internalTransform(LocalSplitter.java:77)
>> at soot.BodyTransformer.transform(BodyTransformer.java:51)
>> at soot.Transform.apply(Transform.java:104)
>> at soot.JimpleBodyPack.applyPhaseOptions(JimpleBodyPack.java:57)
>> 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:82)
>> at soot.SootMethod.retrieveActiveBody(SootMethod.java:329)
>>
>>
>> Anybody had experience regarding to this?
>>
>> Many many thanks!
>>
>> Fei
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden
Sable Research Group
McGill University, Montréal, Canada