[Soot-list] bugs in soot?

[Sébastien Adam]

Hi,

 

I use Soot-2.2.2 to compute SableCC-2.18.2 on a Pentium with Windows XP
installed.

 

I provide Soot with the following command-line  :

********************************

java soot.Main -cp ".;C:\Program Files\Java\jdk1.5.0_06\jre\lib\rt.jar"
--app sablecc.SableCC

********************************

 

I get the following error :

********************************

Jasmin:9: JAS Error Unknown directive or badly formed
number...enclosing_method_attr

jas.jasError: Unknown directive or badly formed number.

        at jasmin.Scanner.next_token(Scanner.java:213)

        at jasmin.parser.scan(parser.java:409)

        at java_cup.runtime.lr_parser.parse(lr_parser.java:563)

        at jasmin.ClassFile.readJasmin(ClassFile.java:821)

        at jasmin.Main.assemble(Main.java:24)

        at soot.util.JasminOutputStream.flush(JasminOutputStream.java:35)

        at
sun.nio.cs.StreamEncoder$CharsetSE.implFlush(StreamEncoder.java:410)

        at sun.nio.cs.StreamEncoder.flush(StreamEncoder.java:152)

        at java.io.OutputStreamWriter.flush(OutputStreamWriter.java:213)

        at java.io.PrintWriter.flush(PrintWriter.java:270)

        at soot.PackManager.writeClass(PackManager.java:676)

        at soot.PackManager.writeOutput(PackManager.java:390)

        at soot.PackManager.writeOutput(PackManager.java:342)

        at soot.Main.run(Main.java:180)

        at soot.Main.main(Main.java:153)

Jasmin: Found 1 errors

********************************

 

Anyway, Soot produces some .class files. When I execute these .class files,
I get the following result :

********************************

C:\sabs\local\system\temp\sablecc>java -cp "" sablecc/SableCC java14.scc

 

-- Generating parser for java14.scc in C:\sabs\local\system\temp\sablecc

java.lang.VerifyError: (class: sablecc/parser/Parser, method: <init>
signature:(Lsablecc/lexer/Lexer;)V) Illegal type in constant pool

********************************

 

I do the same things with SableCC-3.2 and I get the same results. 

 

Can anybody help me? 

 

Is it a bug in Soot?

 

If somebody wants the .class files I work with, please email me because my
message body is too big: 398315 bytes with a limit of 100 KB.

Sébastien Adam

Courriel :  <mailto:sebastien.adam at gmail.com.ca> sebastien.adam at gmail.com

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20060130/0feb4917/attachment-0001.htm