[Soot-list] bugs in soot?

[Prof. Laurie HENDREN]

Hi Sebastien,

Does SableCC need java 1.5?   If not, you could try this with java 1.4.

Also, some bugs that have been recently reported in Soot have been fixed
in the svn version.   You can get the most recent version by following
the directions at:   http://www.sable.mcgill.ca/soot/index.html - in the
section titled "Repository Access".

Cheers, Laurie

+-----------------------------------------------------------------
| Laurie Hendren --- laurie.hendren at mcgill.ca
| Associate Dean (Academic), Faculty of Science,
| Dawson Hall, McGill University, 853 Sherbrooke St W,
| Montreal QC H3A 2T6 Canada, 514-398-7179, fax 514-398-1774
+----------------------------------------------------------------
| For contact and home page info as Professor, Computer Science:
| http://www.sable.mcgill.ca/~hendren   ---  hendren at cs.mcgill.ca
| Research: http://www.sable.mcgill.ca  http://aspectbench.org
+----------------------------------------------------------------

On Mon, 30 Jan 2006, Sébastien Adam wrote:

> 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
>
>
>
>