gcc/java/jcf-reader.c

   1 /* This file read a Java(TM) .class file.
   2    It is not stand-alone:  It depends on tons of macros, and the
   3    intent is you #include this file after you've defined the macros.
   4
   5    Copyright (C) 1996, 1997, 1998, 1999, 2000  Free Software Foundation, Inc.
   6
   7 This program is free software; you can redistribute it and/or modify
   8 it under the terms of the GNU General Public License as published by
   9 the Free Software Foundation; either version 2, or (at your option)
  10 any later version.
  11
  12 This program is distributed in the hope that it will be useful,
  13 but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 GNU General Public License for more details.
  16
  17 You should have received a copy of the GNU General Public License
  18 along with GNU CC; see the file COPYING.  If not, write to
  19 the Free Software Foundation, 59 Temple Place - Suite 330,
  20 Boston, MA 02111-1307, USA.
  21
  22 Java and all Java-based marks are trademarks or registered trademarks
  23 of Sun Microsystems, Inc. in the United States and other countries.
  24 The Free Software Foundation is independent of Sun Microsystems, Inc.  */
  25
  26 #include "jcf.h"
  27 #include "zipfile.h"
  28
  29 static int get_attribute PARAMS ((JCF *));
  30 static int jcf_parse_preamble PARAMS ((JCF *));
  31 static int jcf_parse_constant_pool PARAMS ((JCF *));
  32 static void jcf_parse_class PARAMS ((JCF *));
  33 static int jcf_parse_fields PARAMS ((JCF *));
  34 static int jcf_parse_one_method PARAMS ((JCF *));
  35 static int jcf_parse_methods PARAMS ((JCF *));
  36 static int jcf_parse_final_attributes PARAMS ((JCF *));
  37
  38 static int
  39 DEFUN(get_attribute, (jcf),
  40       JCF *jcf)
  41 {
  42   uint16 attribute_name = (JCF_FILL (jcf, 6), JCF_readu2 (jcf));
  43   uint32 attribute_length = JCF_readu4 (jcf);
  44   uint32 start_pos = JCF_TELL(jcf);
  45   int name_length;
  46   const unsigned char *name_data;
  47   JCF_FILL (jcf, (long) attribute_length);
  48   if (attribute_name <= 0 || attribute_name >= JPOOL_SIZE(jcf))
  49     return -2;
  50   if (JPOOL_TAG (jcf, attribute_name) != CONSTANT_Utf8)
  51     return -2;
  52   name_length = JPOOL_UTF_LENGTH (jcf, attribute_name);
  53   name_data = JPOOL_UTF_DATA (jcf, attribute_name);
  54
  55 #ifdef IGNORE_ATTRIBUTE
  56    if (IGNORE_ATTRIBUTE (jcf, attribute_name, attribute_length))
  57      {
  58        JCF_SKIP (jcf, attribute_length);
  59      }
  60    else
  61 #endif
  62 #ifdef HANDLE_SOURCEFILE
  63   if (name_length == 10 && memcmp (name_data, "SourceFile", 10) == 0)
  64     {
  65       uint16 sourcefile_index = JCF_readu2 (jcf);
  66       HANDLE_SOURCEFILE(sourcefile_index);
  67     }
  68   else
  69 #endif
  70 #ifdef HANDLE_CONSTANTVALUE
  71   if (name_length == 13 && memcmp (name_data, "ConstantValue", 13) == 0)
  72     {
  73       uint16 constantvalue_index = JCF_readu2 (jcf);
  74       if (constantvalue_index <= 0 || constantvalue_index >= JPOOL_SIZE(jcf))
  75         return -2;
  76       HANDLE_CONSTANTVALUE(constantvalue_index);
  77     }
  78   else
  79 #endif
  80 #ifdef HANDLE_CODE_ATTRIBUTE
  81   if (name_length == 4 && memcmp (name_data, "Code", 4) == 0)
  82     {
  83       uint16 j;
  84       uint16 max_stack ATTRIBUTE_UNUSED = JCF_readu2 (jcf);
  85       uint16 max_locals ATTRIBUTE_UNUSED = JCF_readu2 (jcf);
  86       uint32 code_length = JCF_readu4 (jcf);
  87       uint16 exception_table_length, attributes_count;
  88       if (code_length + 12 > attribute_length)
  89         return -1;
  90       HANDLE_CODE_ATTRIBUTE(max_stack, max_locals, code_length);
  91       JCF_SKIP (jcf, code_length);
  92       exception_table_length = JCF_readu2 (jcf);
  93       if (code_length + 8 * exception_table_length + 12 > attribute_length)
  94         return -1;
  95 #ifdef HANDLE_EXCEPTION_TABLE
  96       HANDLE_EXCEPTION_TABLE (jcf->read_ptr, exception_table_length);
  97 #endif
  98       JCF_SKIP (jcf, 2 * 4 * exception_table_length);
  99       attributes_count = JCF_readu2 (jcf);
 100       for (j = 0; j < attributes_count; j++)
 101         {
 102           int code = get_attribute (jcf);
 103           if (code != 0)
 104             return code;
 105         }
 106     }
 107   else
 108 #endif /* HANDLE_CODE_ATTRIBUTE */
 109 #ifdef HANDLE_EXCEPTIONS_ATTRIBUTE
 110   if (name_length == 10 && memcmp (name_data, "Exceptions", 10) == 0)
 111     {
 112       uint16 count = JCF_readu2 (jcf);
 113       HANDLE_EXCEPTIONS_ATTRIBUTE (count);
 114     }
 115   else
 116 #endif
 117 #ifdef HANDLE_LINENUMBERTABLE_ATTRIBUTE
 118   if (name_length == 15 && memcmp (name_data, "LineNumberTable", 15) == 0)
 119     {
 120       uint16 count = JCF_readu2 (jcf);
 121       HANDLE_LINENUMBERTABLE_ATTRIBUTE (count);
 122     }
 123   else
 124 #endif
 125 #ifdef HANDLE_LOCALVARIABLETABLE_ATTRIBUTE
 126   if (name_length == 18 && memcmp (name_data, "LocalVariableTable", 18) == 0)
 127     {
 128       uint16 count = JCF_readu2 (jcf);
 129       HANDLE_LOCALVARIABLETABLE_ATTRIBUTE (count);
 130     }
 131   else
 132 #endif
 133 #ifdef HANDLE_INNERCLASSES_ATTRIBUTE
 134   if (name_length == 12 && memcmp (name_data, "InnerClasses", 12) == 0)
 135     {
 136       uint16 count = JCF_readu2 (jcf);
 137       HANDLE_INNERCLASSES_ATTRIBUTE (count);
 138     }
 139   else
 140 #endif
 141     {
 142 #ifdef PROCESS_OTHER_ATTRIBUTE
 143       PROCESS_OTHER_ATTRIBUTE(jcf, attribute_name, attribute_length);
 144 #else
 145       JCF_SKIP (jcf, attribute_length);
 146 #endif
 147     }
 148   if ((long) (start_pos + attribute_length) != JCF_TELL(jcf))
 149     return -1;
 150   return 0;
 151 }
 152
 153 /* Read and handle the pre-amble. */
 154 static int
 155 DEFUN(jcf_parse_preamble, (jcf),
 156       JCF* jcf)
 157 {
 158   uint32 magic = (JCF_FILL (jcf, 8), JCF_readu4 (jcf));
 159   uint16 minor_version ATTRIBUTE_UNUSED = JCF_readu2 (jcf);
 160   uint16 major_version ATTRIBUTE_UNUSED = JCF_readu2 (jcf);
 161 #ifdef HANDLE_MAGIC
 162   HANDLE_MAGIC (magic, minor_version, major_version);
 163 #endif
 164   if (magic != 0xcafebabe)
 165     return -1;
 166   else
 167     return 0;
 168 }
 169
 170 /* Read and handle the constant pool.
 171
 172    Return 0 if OK.
 173    Return -2 if a bad cross-reference (index of other constant) was seen.
 174 */
 175 static int
 176 DEFUN(jcf_parse_constant_pool, (jcf),
 177       JCF* jcf)
 178 {
 179   int i, n;
 180   JPOOL_SIZE (jcf) = (JCF_FILL (jcf, 2), JCF_readu2 (jcf));
 181   jcf->cpool.tags = ALLOC (JPOOL_SIZE (jcf));
 182   jcf->cpool.data = ALLOC (sizeof (jword) * JPOOL_SIZE (jcf));
 183   jcf->cpool.tags[0] = 0;
 184 #ifdef HANDLE_START_CONSTANT_POOL
 185   HANDLE_START_CONSTANT_POOL (JPOOL_SIZE (jcf));
 186 #endif
 187   for (i = 1; i < (int) JPOOL_SIZE (jcf); i++)
 188     {
 189       int constant_kind;
 190
 191       /* Make sure at least 9 bytes are available.  This is enough
 192          for all fixed-sized constant pool entries (so we don't need many
 193          more JCF_FILL calls below), but is is small enough that
 194          we are guaranteed to not hit EOF (in a valid .class file). */
 195       JCF_FILL (jcf, 9);
 196       constant_kind = JCF_readu (jcf);
 197       jcf->cpool.tags[i] = constant_kind;
 198       switch (constant_kind)
 199         {
 200         case CONSTANT_String:
 201         case CONSTANT_Class:
 202           jcf->cpool.data[i] = JCF_readu2 (jcf);
 203           break;
 204         case CONSTANT_Fieldref:
 205         case CONSTANT_Methodref:
 206         case CONSTANT_InterfaceMethodref:
 207         case CONSTANT_NameAndType:
 208           jcf->cpool.data[i] = JCF_readu2 (jcf);
 209           jcf->cpool.data[i] |= JCF_readu2 (jcf) << 16;
 210           break;
 211         case CONSTANT_Integer:
 212         case CONSTANT_Float:
 213           jcf->cpool.data[i] = JCF_readu4 (jcf);
 214           break;
 215         case CONSTANT_Long:
 216         case CONSTANT_Double:
 217           jcf->cpool.data[i] = JCF_readu4 (jcf);
 218           i++; /* These take up two spots in the constant pool */
 219           jcf->cpool.tags[i] = 0;
 220           jcf->cpool.data[i] = JCF_readu4 (jcf);
 221           break;
 222         case CONSTANT_Utf8:
 223           n = JCF_readu2 (jcf);
 224           JCF_FILL (jcf, n);
 225 #ifdef HANDLE_CONSTANT_Utf8
 226           HANDLE_CONSTANT_Utf8(jcf, i, n);
 227 #else
 228           jcf->cpool.data[i] = JCF_TELL(jcf) - 2;
 229           JCF_SKIP (jcf, n);
 230 #endif
 231           break;
 232         default:
 233           return i;
 234         }
 235     }
 236   return 0;
 237 }
 238
 239 /* Read various class flags and numbers. */
 240
 241 static void
 242 DEFUN(jcf_parse_class, (jcf),
 243       JCF* jcf)
 244 {
 245   int i;
 246   uint16 interfaces_count;
 247   JCF_FILL (jcf, 8);
 248   jcf->access_flags = JCF_readu2 (jcf);
 249   jcf->this_class = JCF_readu2 (jcf);
 250   jcf->super_class = JCF_readu2 (jcf);
 251   interfaces_count = JCF_readu2 (jcf);
 252
 253 #ifdef HANDLE_CLASS_INFO
 254   HANDLE_CLASS_INFO(jcf->access_flags, jcf->this_class, jcf->super_class, interfaces_count);
 255 #endif
 256
 257   JCF_FILL (jcf, 2 * interfaces_count);
 258
 259   /* Read interfaces. */
 260   for (i = 0; i < interfaces_count; i++)
 261     {
 262       uint16 index ATTRIBUTE_UNUSED = JCF_readu2 (jcf);
 263 #ifdef HANDLE_CLASS_INTERFACE
 264       HANDLE_CLASS_INTERFACE (index);
 265 #endif
 266     }
 267 }
 268
 269 /* Read fields. */
 270 static int
 271 DEFUN(jcf_parse_fields, (jcf),
 272       JCF* jcf)
 273 {
 274   int i, j;
 275   uint16 fields_count;
 276   JCF_FILL (jcf, 2);
 277   fields_count = JCF_readu2 (jcf);
 278
 279 #ifdef HANDLE_START_FIELDS
 280   HANDLE_START_FIELDS (fields_count);
 281 #endif
 282   for (i = 0; i < fields_count; i++)
 283     {
 284       uint16 access_flags = (JCF_FILL (jcf, 8), JCF_readu2 (jcf));
 285       uint16 name_index = JCF_readu2 (jcf);
 286       uint16 signature_index = JCF_readu2 (jcf);
 287       uint16 attribute_count = JCF_readu2 (jcf);
 288 #ifdef HANDLE_START_FIELD
 289       HANDLE_START_FIELD (access_flags, name_index, signature_index,
 290                     attribute_count);
 291 #endif
 292       for (j = 0; j < attribute_count; j++)
 293         {
 294           int code = get_attribute (jcf);
 295           if (code != 0)
 296             return code;
 297         }
 298 #ifdef HANDLE_END_FIELD
 299       HANDLE_END_FIELD ();
 300 #endif
 301     }
 302 #ifdef HANDLE_END_FIELDS
 303   HANDLE_END_FIELDS ();
 304 #endif
 305   return 0;
 306 }
 307
 308 /* Read methods. */
 309
 310 static int
 311 DEFUN(jcf_parse_one_method, (jcf),
 312       JCF* jcf)
 313 {
 314   int i;
 315   uint16 access_flags = (JCF_FILL (jcf, 8), JCF_readu2 (jcf));
 316   uint16 name_index = JCF_readu2 (jcf);
 317   uint16 signature_index = JCF_readu2 (jcf);
 318   uint16 attribute_count = JCF_readu2 (jcf);
 319 #ifdef HANDLE_METHOD
 320   HANDLE_METHOD(access_flags, name_index, signature_index, attribute_count);
 321 #endif
 322   for (i = 0; i < attribute_count; i++)
 323     {
 324       int code = get_attribute (jcf);
 325       if (code != 0)
 326         return code;
 327     }
 328 #ifdef HANDLE_END_METHOD
 329   HANDLE_END_METHOD ();
 330 #endif
 331   return 0;
 332 }
 333
 334 static int
 335 DEFUN(jcf_parse_methods, (jcf),
 336       JCF* jcf)
 337 {
 338   int i;
 339   uint16 methods_count;
 340   JCF_FILL (jcf, 2);
 341   methods_count = JCF_readu2 (jcf);
 342 #ifdef HANDLE_START_METHODS
 343   HANDLE_START_METHODS (methods_count);
 344 #endif
 345   for (i = 0; i < methods_count; i++)
 346     {
 347       int code = jcf_parse_one_method (jcf);
 348       if (code != 0)
 349         return code;
 350     }
 351 #ifdef HANDLE_END_METHODS
 352   HANDLE_END_METHODS ();
 353 #endif
 354   return 0;
 355 }
 356
 357 /* Read attributes. */
 358 static int
 359 DEFUN(jcf_parse_final_attributes, (jcf),
 360       JCF *jcf)
 361 {
 362   int i;
 363   uint16 attributes_count = (JCF_FILL (jcf, 2), JCF_readu2 (jcf));
 364 #ifdef START_FINAL_ATTRIBUTES
 365   START_FINAL_ATTRIBUTES (attributes_count)
 366 #endif
 367   for (i = 0; i < attributes_count; i++)
 368     {
 369       int code = get_attribute (jcf);
 370       if (code != 0)
 371         return code;
 372     }
 373   return 0;
 374 }
 375