Annotating Java Class Files and An Error

[Katsuhiro MIHARA <mihara@is.titech.ac.jp>]

Hello.

I read a document "Annotating Java Class Files with Array Bound Check and
Null Pointer Check Information", and want to examine. But, after I
annotate class files of _222_mpegaudio(SPECjvm98), I can't run this
benchmark program properly.

1) Annotate Java class files
  $ java soot.Main --app -A both -p wjtp2.ra with-wholeapp \
    -p jtp.abc with-all spec.benchmarks._222_mpegaudio.Main

2) Run _222_mpegaudio on Kaffe 1.0.6
   An error occur and this program abort with error messages
   (attached to this mail).
   If I run this program on JDK 1.3.1_02(Sun),
   this program finished properly.

My machine's OS is Linux 2.2.16 (Kondara Linux, compatible Red Hat Linux
6.2), and C compiler is GCC 2.95.3. Kaffe's JVM was compiled from the
original code distributed by kaffe.org.

I wonder why I failed to run. Anyone can run this benchmark properly on
Kaffe after annnotating class files?

-- 
Katsuhiro MIHARA
Dept. of Mathematical and Computing Sciences
Tokyo Institute of Technology
mailto:mihara@is.titech.ac.jp