FW: [Soot-list] Exception: This operation requiresresolvinglevel......

Chris Pickett chris.pickett at mail.mcgill.ca
Wed Feb 14 15:05:47 EST 2007 

I think in order to prevent this kind of question from continually 
cropping up, it might help to take the two extensive pages talking about 
the class resolver out of the Soot wiki and make them into permanent 
documents available from the Soot tutorials webpage.

Chris

Nitin Goel wrote:
> HI,
> 
> It worked when I have called
> 
> Scene.v().loadBasicClasses();
> 
> instead of
> 
> Scene.v().loadNecessaryClasses();
> 
> I was in a impression that calling loadNecessaryClasses() will load all 
> the classes.
> 
> Thanks & Regards,
> Nitin Goel
> 
> 
>> From: "Nitin Goel" <ernitingoel at hotmail.com>
>> To: eric.bodden at mail.mcgill.ca
>> CC: soot-list at sable.mcgill.ca
>> Subject: Re: FW: [Soot-list] Exception: This operation 
>> requiresresolvinglevel......
>> Date: Wed, 14 Feb 2007 18:01:27 +0000
>>
>> Hi Eric,
>>
>> I am using Soot API directy in my Java program. I am calling 
>> Hierarchy.resolveAbstractDispatch(SootClass, SootMethod) from there 
>> itself.
>>
>> As mentioned in 
>> http://www.sable.mcgill.ca/pipermail/soot-list/2006-May/000685.html, I 
>> have also tried to call
>>
>> SootResolver.v().resolveClass("java.lang.CloneNotSupportedException", 
>> SootClass.SIGNATURES)
>>
>> however it has not helped me as well. After calling the above API, I 
>> was getting the following error
>>
>> java.lang.RuntimeException: This operation requires resolving level 
>> SIGNATURES but java.lang.InterruptedException is at resolving level 
>> HIERARCHY
>>     at soot.SootClass.checkLevel(SootClass.java:126)
>>     at soot.SootClass.declaresMethod(SootClass.java:337)
>>     at soot.Hierarchy.resolveConcreteDispatch(Hierarchy.java:507)
>>     at soot.Hierarchy.resolveAbstractDispatch(Hierarchy.java:566)
>>
>>
>> I am also calling
>>
>> Scene.v().loadNecessaryClasses();
>>
>> to load the necessary class. I guess 
>> java.lang.CloneNotSupportedException class should be loaded by calling 
>> the above API, as it is one of the necessary class. Please correct me 
>> if I am wrong here.
>>
>> Thanks & Regards,
>> Nitin Goel
>>
>>
>>> From: "Eric Bodden" <eric.bodden at mail.mcgill.ca>
>>> To: "Nitin Goel" <ernitingoel at hotmail.com>
>>> CC: "Soot list" <soot-list at sable.mcgill.ca>
>>> Subject: Re: FW: [Soot-list] Exception: This operation requires 
>>> resolvinglevel......
>>> Date: Wed, 14 Feb 2007 10:40:41 -0500
>>>
>>> What's your command line? There are tons of previous posts about this
>>> problem in the archive. Usually it's always the same problem...
>>>
>>> Eric
>>>
>>> On 2/13/07, Nitin Goel <ernitingoel at hotmail.com> wrote:
>>>> Hi,
>>>>
>>>> Can anybody answer my question? I am stucked because of this.
>>>>
>>>> Thanks & Regards,
>>>> Nitin Goel
>>>>
>>>>
>>>> >From: "Nitin Goel" <ernitingoel at hotmail.com>
>>>> >To: soot-list at sable.mcgill.ca
>>>> >Subject: FW: [Soot-list] Exception: This operation requires
>>>> >resolvinglevel......
>>>> >Date: Tue, 06 Feb 2007 23:42:26 +0000
>>>> >
>>>> >
>>>> >
>>>> >
>>>> >>From: "Nitin Goel" <ernitingoel at hotmail.com>
>>>> >>To: soot-list at sable.mcgill.ca
>>>> >>Subject: [Soot-list] Exception: This operation requires resolving
>>>> >>level......
>>>> >>Date: Thu, 01 Feb 2007 18:41:23 +0000
>>>> >>
>>>> >>Hi,
>>>> >>
>>>> >>After successfully printing the jimple for my following test 
>>>> class, when I
>>>> >>want to iterate over the statment
>>>> >>
>>>> >>public class Test123 {
>>>> >>    public Test123() {
>>>> >>    }
>>>> >>    public static void main(String[] args) {
>>>> >>        try {
>>>> >>            System.out.println("test program");
>>>> >>        } catch (Exception e) {
>>>> >>            e.printStackTrace();
>>>> >>        }
>>>> >>    }
>>>> >>}
>>>> >>
>>>> >>
>>>> >>I am getting the following exception while calling the API
>>>> >>Hierarchy.resolveAbstractDispatch(SootClass, SootMethod)
>>>> >>
>>>> >>java.lang.RuntimeException: This operation requires resolving level
>>>> >>SIGNATURES but java.lang.CloneNotSupportedException is at 
>>>> resolving level
>>>> >>HIERARCHY
>>>> >>      at soot.SootClass.checkLevel(SootClass.java:126)
>>>> >>      at soot.SootClass.declaresMethod(SootClass.java:337)
>>>> >>      at soot.Hierarchy.resolveConcreteDispatch(Hierarchy.java:507)
>>>> >>      at soot.Hierarchy.resolveAbstractDispatch(Hierarchy.java:566)
>>>> >>
>>>> >>Based on the previous threads of this type of error when I have 
>>>> tried to
>>>> >>expilictly load java.lang.CloneNotSupportedException using the 
>>>> following
>>>> >>statement
>>>> >>
>>>> >>SootResolver.v().resolveClass("java.lang.CloneNotSupportedException",
>>>> >>SootClass.SIGNATURES);
>>>> >>
>>>> >>I was getting the same error for java.lang.InterruptedException 
>>>> class. I
>>>> >>have also tried to load java.lang.CloneNotSupportedException class
>>>> >>explictly, however I was getting the same exception for
>>>> >>java.lang.ClassNotFoundException then and so on for different 
>>>> classes.
>>>> >>
>>>> >>However if I remove e.printStackTrace() statement from my test 
>>>> class then
>>>> >>I am not getting this exception.
>>>> >>
>>>> >>Could you please help me out to find out what I am missing here?
>>>> >>
>>>> >>Thanks & Regards,
>>>> >>Nitin Goel
>>>> >>
>>>> >>_________________________________________________________________
>>>> >>Invite your Hotmail contacts to join your friends list with 
>>>> Windows Live
>>>> >>Spaces
>>>> >>http://clk.atdmt.com/MSN/go/msnnkwsp0070000001msn/direct/01/?href=http://spaces.live.com/spacesapi.aspx?wx_action=create&wx_url=/friends.aspx&mkt=en-us 
>>>>
>>>> >>
>>>> >>_______________________________________________
>>>> >>Soot-list mailing list
>>>> >>Soot-list at sable.mcgill.ca
>>>> >>http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>>> >
>>>> >_________________________________________________________________
>>>> >Check out all that glitters with the MSN Entertainment Guide to the 
>>>> Academy
>>>> >Awards(r)   
>>>> http://movies.msn.com/movies/oscars2007/?icid=ncoscartagline2
>>>> >
>>>> >_______________________________________________
>>>> >Soot-list mailing list
>>>> >Soot-list at sable.mcgill.ca
>>>> >http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>>>
>>>> _________________________________________________________________
>>>> Valentine's Day -- Shop for gifts that spell L-O-V-E at MSN Shopping
>>>> http://shopping.msn.com/content/shp/?ctId=8323,ptnrid=37,ptnrdata=24095&tcode=wlmtagline 
>>>>
>>>>
>>>> _______________________________________________
>>>> 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
>>
>> _________________________________________________________________
>> Turn searches into helpful donations. Make your search count. 
>> http://click4thecause.live.com/search/charity/default.aspx?source=hmemtagline_donation&FORM=WLMTAG 
>>
>>
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> 
> _________________________________________________________________
> Get in the mood for Valentine's Day. View photos, recipes and more on 
> your Live.com page. 
> http://www.live.com/?addTemplate=ValentinesDay&ocid=T001MSN30A0701
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

More information about the Soot-list mailing list