[Soot-list] Method without CodeAttribute

[Bernhard Berger]

Hi Eric

Today, I found three libraries with the same problem. All libraries are from the JavaEE environment and are used at compile time (at runtime the application container will provide a real implementation of the class).  I will check if I can add a warning that is printed in those cases. 

Bernhard

Am 03.01.2013 um 16:10 schrieb Eric Bodden <eric.bodden at ec-spride.de>:

> Hi Bernhard.
> 
> Thanks for reporting this. Given that "java" deems the class invalid,
> I think we should rather not "fix" this, though.
> 
> Eric
> 
> On 3 January 2013 08:26, Bernhard Berger <berber at tzi.de> wrote:
>> Hi, folks!
>> 
>> Today I came across a class file that soot was not able to load (some dependencies of my project). It is the class javax.servlet.GenericServlet that can be found here [1]. The class contains a class initializer <clinit> without a code attribute which leads to a NullPointerException. In particular, coffi loads the method in soot.coffi.ClassFile.parseMethod. The parsing process stops if the code attribute cannot be found without assigning a value to the instruction field of m. Later on, soot.coffi.CFG.<init> dereferences the field without checking for null. I took a look at the source but I've no idea how to fix this "bug". I am even unsure whether the class file is correct (On the one hand, javap accepts the class file. On the other hand, java throws a java.lang.ClassFormatError)
>> 
>> I think I can find another library containing a proper version of this class to circumvent the problem but I wanted to report the behavior for other users of soot.
>> 
>> Bernhard
>> 
>> [1] http://download.java.net/maven/2/javaee/javaee-api/5/javaee-api-5.jar
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> 
> 
> 
> -- 
> Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
> Head of Secure Software Engineering Group at EC SPRIDE
> Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
> Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt