MPC.3.5.LINUX/preverifier/README.TXT

   1 PREVERIFIER TOOL
   2
   3 This directory contains the source code of the
   4 preverifier tool that is used for preprocessing
   5 Java class files for the KVM.  The preprocessed
   6 class files are regular Java class files, but
   7 they contain some additional/modified information
   8 that will help speed up runtime verification.
   9
  10 The preverifier implementation is derived from
  11 the J2SE class file verifier that was written
  12 originally for the "Classic" Java Virtual Machine.
  13 Therefore, the implementation style is quite
  14 different from the rest of the KVM codebase.
  15