[Soot-list] class resolving problem

[Eric Bodden]

Jochen, can you try without using -app?

I am not sure what -app and -w should do in combination.

Eric

On 12 November 2010 12:02, Jochen Huck <jochen.huck at student.kit.edu> wrote:
> Hi,
>
> I use the following soot arguments:
> -app -w -annot-side-effect -xml-attributes -f J -p cg.spark enabled -p jb
> use-original-names:true -p jp preserve-source-annotations:true
> -keep-line-number -src-prec java -cp <myClassPath> -main-class <MyMainClass>
>
> I tried -p cg all-reachable:true as well. But it didn't help.
>
> And I am analyzing source code from the javaDesktopSearch
> (http://sourceforge.net/projects/jdesktopsearch/) project where the
> lucene-core-1.9.jar library is replaced through the source code.
>
>
> Thanks again,
>
> Jochen
>
> Am 12.11.2010 13:54, schrieb Eric Bodden:
>>
>> Hi Jochen.
>>
>> Using addBasicClass seems not to be the right way in your case.
>> Actually I am wondering why you are seeing the message at all.
>> Usually, Soot should load all classes to BODIES in whole-program mode.
>> Can you let us know your command line and the code you are analyzing?
>>
>> Eric
>>
>> --
>> Dr. Eric Bodden
>> Software Technology Group, Technische Universität Darmstadt, Germany
>> Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
>> Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
>>
>>
>>
>> On 12 November 2010 09:34, Jochen Huck<jochen.huck at student.kit.edu>
>>  wrote:
>>>
>>> Hi,
>>>
>>> I've got a problem with soots class resolver. Runnig my analysis I get
>>> following Exception:
>>>
>>> Exception in thread "main" java.lang.RuntimeException: This operation
>>> requires resolving level BODIES but org.apache.lucene.store.FSIndexInput
>>> is
>>> at resolving level SIGNATURES
>>> If you are extending Soot, try to add the following call before calling
>>> soot.Main.main(..):
>>> Scene.v().addBasicClass(org.apache.lucene.store.FSIndexInput,BODIES);
>>>
>>> I can solve the problem for this class adding (1)
>>> Scene.v().addBasicClass("org.apache.lucene.store.FSIndexInput",
>>> SootClass.BODIES); before calling soot.Main.main(...) (I run soot in
>>> whole-program mode already)
>>>
>>> The thing is that after inserting the code line above soot will complain
>>> about another RuntimeException for another class. If I add code to solve
>>> the
>>> problem for this class it will find another one and so on.
>>> I want to write a script that runs the analysis for many projects and
>>> therefore it is very annoying to insert code by hand waiting for the next
>>> error and again doing the same thing for the next error and so on. I
>>> already
>>> read https://svn.sable.mcgill.ca/wiki/index.cgi/ClassResolver and so i
>>> decided to write a loop that adds all the classes (with statements like
>>> (1))
>>> found in the projects bin directory. Then no RuntimeException occurs but
>>> I
>>> get another Exception:
>>>
>>>         Exception in thread "main" java.lang.NullPointerException
>>>         at
>>>
>>> soot.JastAddInitialResolver.resolveFromJavaFile(JastAddInitialResolver.java:103)
>>>         at soot.JavaClassSource.resolve(JavaClassSource.java:57)
>>>         at soot.SootResolver.bringToHierarchy(SootResolver.java:194)
>>>         at soot.SootResolver.bringToSignatures(SootResolver.java:219)
>>>         at soot.SootResolver.bringToBodies(SootResolver.java:260)
>>>         at
>>> soot.SootResolver.processResolveWorklist(SootResolver.java:135)
>>>         at soot.SootResolver.resolveClass(SootResolver.java:124)
>>>         at soot.Scene.tryLoadClass(Scene.java:394)
>>>         at soot.Scene.loadBasicClasses(Scene.java:959)
>>>         at soot.Scene.loadNecessaryClasses(Scene.java:1018)
>>>         at soot.Main.run(Main.java:167)
>>>         at soot.Main.main(Main.java:141)
>>>         at analysis.MainAnalysis.main(MainAnalysis.java:35)
>>>         at test.ToolChain.main(ToolChain.java:118)
>>>         at test.ToolChainExample.main(ToolChainExample.java:36)
>>>
>>> Any advice how to solve this?
>>>
>>> Thanks,
>>>
>>> Jochen
>>>
>>>
>>> _______________________________________________
>>> Soot-list mailing list
>>> Soot-list at sable.mcgill.ca
>>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>>
>>>
>
>