1 /*
   2  * Copyright (c) 2005, 2017, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 
  25 #include "precompiled.hpp"
  26 #include "classfile/symbolTable.hpp"
  27 #include "interpreter/bytecodeStream.hpp"
  28 #include "oops/fieldStreams.hpp"
  29 #include "prims/jvmtiClassFileReconstituter.hpp"
  30 #include "runtime/signature.hpp"
  31 #include "utilities/bytes.hpp"
  32 
  33 // FIXME: add Deprecated attribute
  34 // FIXME: fix Synthetic attribute
  35 // FIXME: per Serguei, add error return handling for ConstantPool::copy_cpool_bytes()
  36 
  37 JvmtiConstantPoolReconstituter::JvmtiConstantPoolReconstituter(InstanceKlass* ik) {
  38   set_error(JVMTI_ERROR_NONE);
  39   _ik = ik;
  40   _cpool = constantPoolHandle(Thread::current(), ik->constants());
  41   _symmap = new SymbolHashMap();
  42   _classmap = new SymbolHashMap();
  43   _cpool_size = _cpool->hash_entries_to(_symmap, _classmap);
  44   if (_cpool_size == 0) {
  45     set_error(JVMTI_ERROR_OUT_OF_MEMORY);
  46   } else if (_cpool_size < 0) {
  47     set_error(JVMTI_ERROR_INTERNAL);
  48   }
  49 }
  50 
  51 // Write the field information portion of ClassFile structure
  52 // JVMSpec|     u2 fields_count;
  53 // JVMSpec|     field_info fields[fields_count];
  54 void JvmtiClassFileReconstituter::write_field_infos() {
  55   HandleMark hm(thread());
  56   Array<AnnotationArray*>* fields_anno = ik()->fields_annotations();
  57   Array<AnnotationArray*>* fields_type_anno = ik()->fields_type_annotations();
  58 
  59   // Compute the real number of Java fields
  60   int java_fields = ik()->java_fields_count();
  61 
  62   write_u2(java_fields);
  63   for (JavaFieldStream fs(ik()); !fs.done(); fs.next()) {
  64     AccessFlags access_flags = fs.access_flags();
  65     int name_index = fs.name_index();
  66     int signature_index = fs.signature_index();
  67     int initial_value_index = fs.initval_index();
  68     guarantee(name_index != 0 && signature_index != 0, "bad constant pool index for field");
  69     // int offset = ik()->field_offset( index );
  70     int generic_signature_index = fs.generic_signature_index();
  71     AnnotationArray* anno = fields_anno == NULL ? NULL : fields_anno->at(fs.index());
  72     AnnotationArray* type_anno = fields_type_anno == NULL ? NULL : fields_type_anno->at(fs.index());
  73 
  74     // JVMSpec|   field_info {
  75     // JVMSpec|         u2 access_flags;
  76     // JVMSpec|         u2 name_index;
  77     // JVMSpec|         u2 descriptor_index;
  78     // JVMSpec|         u2 attributes_count;
  79     // JVMSpec|         attribute_info attributes[attributes_count];
  80     // JVMSpec|   }
  81 
  82     write_u2(access_flags.as_int() & JVM_RECOGNIZED_FIELD_MODIFIERS);
  83     write_u2(name_index);
  84     write_u2(signature_index);
  85     int attr_count = 0;
  86     if (initial_value_index != 0) {
  87       ++attr_count;
  88     }
  89     if (access_flags.is_synthetic()) {
  90       // ++attr_count;
  91     }
  92     if (generic_signature_index != 0) {
  93       ++attr_count;
  94     }
  95     if (anno != NULL) {
  96       ++attr_count;     // has RuntimeVisibleAnnotations attribute
  97     }
  98     if (type_anno != NULL) {
  99       ++attr_count;     // has RuntimeVisibleTypeAnnotations attribute
 100     }
 101 
 102     write_u2(attr_count);
 103 
 104     if (initial_value_index != 0) {
 105       write_attribute_name_index("ConstantValue");
 106       write_u4(2); //length always 2
 107       write_u2(initial_value_index);
 108     }
 109     if (access_flags.is_synthetic()) {
 110       // write_synthetic_attribute();
 111     }
 112     if (generic_signature_index != 0) {
 113       write_signature_attribute(generic_signature_index);
 114     }
 115     if (anno != NULL) {
 116       write_annotations_attribute("RuntimeVisibleAnnotations", anno);
 117     }
 118     if (type_anno != NULL) {
 119       write_annotations_attribute("RuntimeVisibleTypeAnnotations", type_anno);
 120     }
 121   }
 122 }
 123 
 124 // Write Code attribute
 125 // JVMSpec|   Code_attribute {
 126 // JVMSpec|     u2 attribute_name_index;
 127 // JVMSpec|     u4 attribute_length;
 128 // JVMSpec|     u2 max_stack;
 129 // JVMSpec|     u2 max_locals;
 130 // JVMSpec|     u4 code_length;
 131 // JVMSpec|     u1 code[code_length];
 132 // JVMSpec|     u2 exception_table_length;
 133 // JVMSpec|     {       u2 start_pc;
 134 // JVMSpec|             u2 end_pc;
 135 // JVMSpec|             u2  handler_pc;
 136 // JVMSpec|             u2  catch_type;
 137 // JVMSpec|     }       exception_table[exception_table_length];
 138 // JVMSpec|     u2 attributes_count;
 139 // JVMSpec|     attribute_info attributes[attributes_count];
 140 // JVMSpec|   }
 141 void JvmtiClassFileReconstituter::write_code_attribute(const methodHandle& method) {
 142   ConstMethod* const_method = method->constMethod();
 143   u2 line_num_cnt = 0;
 144   int stackmap_len = 0;
 145   int local_variable_table_length = 0;
 146   int local_variable_type_table_length = 0;
 147 
 148   // compute number and length of attributes
 149   int attr_count = 0;
 150   int attr_size = 0;
 151   if (const_method->has_linenumber_table()) {
 152     line_num_cnt = line_number_table_entries(method);
 153     if (line_num_cnt != 0) {
 154       ++attr_count;
 155       // Compute the complete size of the line number table attribute:
 156       //      LineNumberTable_attribute {
 157       //        u2 attribute_name_index;
 158       //        u4 attribute_length;
 159       //        u2 line_number_table_length;
 160       //        {  u2 start_pc;
 161       //           u2 line_number;
 162       //        } line_number_table[line_number_table_length];
 163       //      }
 164       attr_size += 2 + 4 + 2 + line_num_cnt * (2 + 2);
 165     }
 166   }
 167   if (method->has_stackmap_table()) {
 168     stackmap_len = method->stackmap_data()->length();
 169     if (stackmap_len != 0) {
 170       ++attr_count;
 171       // Compute the  size of the stack map table attribute (VM stores raw):
 172       //      StackMapTable_attribute {
 173       //        u2 attribute_name_index;
 174       //        u4 attribute_length;
 175       //        u2 number_of_entries;
 176       //        stack_map_frame_entries[number_of_entries];
 177       //      }
 178       attr_size += 2 + 4 + stackmap_len;
 179     }
 180   }
 181   if (method->has_localvariable_table()) {
 182     local_variable_table_length = method->localvariable_table_length();
 183     if (local_variable_table_length != 0) {
 184       ++attr_count;
 185       // Compute the size of the local variable table attribute (VM stores raw):
 186       // LocalVariableTable_attribute {
 187       //   u2 attribute_name_index;
 188       //   u4 attribute_length;
 189       //   u2 local_variable_table_length;
 190       //   {
 191       //     u2 start_pc;
 192       //     u2 length;
 193       //     u2 name_index;
 194       //     u2 descriptor_index;
 195       //     u2 index;
 196       //   }
 197       attr_size += 2 + 4 + 2 + local_variable_table_length * (2 + 2 + 2 + 2 + 2);
 198 
 199       // Local variables with generic signatures must have LVTT entries
 200       LocalVariableTableElement *elem = method->localvariable_table_start();
 201       for (int idx = 0; idx < local_variable_table_length; idx++) {
 202         if (elem[idx].signature_cp_index != 0) {
 203           local_variable_type_table_length++;
 204         }
 205       }
 206 
 207       if (local_variable_type_table_length != 0) {
 208         ++attr_count;
 209         // Compute the size of the local variable type table attribute (VM stores raw):
 210         // LocalVariableTypeTable_attribute {
 211         //   u2 attribute_name_index;
 212         //   u4 attribute_length;
 213         //   u2 local_variable_type_table_length;
 214         //   {
 215         //     u2 start_pc;
 216         //     u2 length;
 217         //     u2 name_index;
 218         //     u2 signature_index;
 219         //     u2 index;
 220         //   }
 221         attr_size += 2 + 4 + 2 + local_variable_type_table_length * (2 + 2 + 2 + 2 + 2);
 222       }
 223     }
 224   }
 225 
 226   ExceptionTable exception_table(method());
 227   int exception_table_length = exception_table.length();
 228   int code_size = const_method->code_size();
 229   int size =
 230     2+2+4 +                                // max_stack, max_locals, code_length
 231     code_size +                            // code
 232     2 +                                    // exception_table_length
 233     (2+2+2+2) * exception_table_length +   // exception_table
 234     2 +                                    // attributes_count
 235     attr_size;                             // attributes
 236 
 237   write_attribute_name_index("Code");
 238   write_u4(size);
 239   write_u2(method->verifier_max_stack());
 240   write_u2(method->max_locals());
 241   write_u4(code_size);
 242   copy_bytecodes(method, (unsigned char*)writeable_address(code_size));
 243   write_u2(exception_table_length);
 244   for (int index = 0; index < exception_table_length; index++) {
 245     write_u2(exception_table.start_pc(index));
 246     write_u2(exception_table.end_pc(index));
 247     write_u2(exception_table.handler_pc(index));
 248     write_u2(exception_table.catch_type_index(index));
 249   }
 250   write_u2(attr_count);
 251   if (line_num_cnt != 0) {
 252     write_line_number_table_attribute(method, line_num_cnt);
 253   }
 254   if (stackmap_len != 0) {
 255     write_stackmap_table_attribute(method, stackmap_len);
 256   }
 257   if (local_variable_table_length != 0) {
 258     write_local_variable_table_attribute(method, local_variable_table_length);
 259   }
 260   if (local_variable_type_table_length != 0) {
 261     write_local_variable_type_table_attribute(method, local_variable_type_table_length);
 262   }
 263 }
 264 
 265 // Write Exceptions attribute
 266 // JVMSpec|   Exceptions_attribute {
 267 // JVMSpec|     u2 attribute_name_index;
 268 // JVMSpec|     u4 attribute_length;
 269 // JVMSpec|     u2 number_of_exceptions;
 270 // JVMSpec|     u2 exception_index_table[number_of_exceptions];
 271 // JVMSpec|   }
 272 void JvmtiClassFileReconstituter::write_exceptions_attribute(ConstMethod* const_method) {
 273   CheckedExceptionElement* checked_exceptions = const_method->checked_exceptions_start();
 274   int checked_exceptions_length = const_method->checked_exceptions_length();
 275   int size =
 276     2 +                                    // number_of_exceptions
 277     2 * checked_exceptions_length;         // exception_index_table
 278 
 279   write_attribute_name_index("Exceptions");
 280   write_u4(size);
 281   write_u2(checked_exceptions_length);
 282   for (int index = 0; index < checked_exceptions_length; index++) {
 283     write_u2(checked_exceptions[index].class_cp_index);
 284   }
 285 }
 286 
 287 // Write SourceFile attribute
 288 // JVMSpec|   SourceFile_attribute {
 289 // JVMSpec|     u2 attribute_name_index;
 290 // JVMSpec|     u4 attribute_length;
 291 // JVMSpec|     u2 sourcefile_index;
 292 // JVMSpec|   }
 293 void JvmtiClassFileReconstituter::write_source_file_attribute() {
 294   assert(ik()->source_file_name() != NULL, "caller must check");
 295 
 296   write_attribute_name_index("SourceFile");
 297   write_u4(2);  // always length 2
 298   write_u2(symbol_to_cpool_index(ik()->source_file_name()));
 299 }
 300 
 301 // Write SourceDebugExtension attribute
 302 // JSR45|   SourceDebugExtension_attribute {
 303 // JSR45|       u2 attribute_name_index;
 304 // JSR45|       u4 attribute_length;
 305 // JSR45|       u1 debug_extension[attribute_length];
 306 // JSR45|   }
 307 void JvmtiClassFileReconstituter::write_source_debug_extension_attribute() {
 308   assert(ik()->source_debug_extension() != NULL, "caller must check");
 309 
 310   write_attribute_name_index("SourceDebugExtension");
 311   int len = (int)strlen(ik()->source_debug_extension());
 312   write_u4(len);
 313   u1* ext = (u1*)ik()->source_debug_extension();
 314   for (int i=0; i<len; i++) {
 315     write_u1(ext[i]);
 316   }
 317 }
 318 
 319 // Write (generic) Signature attribute
 320 // JVMSpec|   Signature_attribute {
 321 // JVMSpec|     u2 attribute_name_index;
 322 // JVMSpec|     u4 attribute_length;
 323 // JVMSpec|     u2 signature_index;
 324 // JVMSpec|   }
 325 void JvmtiClassFileReconstituter::write_signature_attribute(u2 generic_signature_index) {
 326   write_attribute_name_index("Signature");
 327   write_u4(2);  // always length 2
 328   write_u2(generic_signature_index);
 329 }
 330 
 331 // Compute the number of entries in the InnerClasses attribute
 332 u2 JvmtiClassFileReconstituter::inner_classes_attribute_length() {
 333   InnerClassesIterator iter(ik());
 334   return iter.length();
 335 }
 336 
 337 // Write an annotation attribute.  The VM stores them in raw form, so all we need
 338 // to do is add the attrubute name and fill in the length.
 339 // JSR202|   *Annotations_attribute {
 340 // JSR202|     u2 attribute_name_index;
 341 // JSR202|     u4 attribute_length;
 342 // JSR202|     ...
 343 // JSR202|   }
 344 void JvmtiClassFileReconstituter::write_annotations_attribute(const char* attr_name,
 345                                                               AnnotationArray* annos) {
 346   u4 length = annos->length();
 347   write_attribute_name_index(attr_name);
 348   write_u4(length);
 349   memcpy(writeable_address(length), annos->adr_at(0), length);
 350 }
 351 
 352 //  BootstrapMethods_attribute {
 353 //    u2 attribute_name_index;
 354 //    u4 attribute_length;
 355 //    u2 num_bootstrap_methods;
 356 //    {   u2 bootstrap_method_ref;
 357 //        u2 num_bootstrap_arguments;
 358 //        u2 bootstrap_arguments[num_bootstrap_arguments];
 359 //    } bootstrap_methods[num_bootstrap_methods];
 360 //  }
 361 void JvmtiClassFileReconstituter::write_bootstrapmethod_attribute() {
 362   Array<u2>* operands = cpool()->operands();
 363   write_attribute_name_index("BootstrapMethods");
 364   int num_bootstrap_methods = ConstantPool::operand_array_length(operands);
 365 
 366   // calculate length of attribute
 367   int length = sizeof(u2); // num_bootstrap_methods
 368   for (int n = 0; n < num_bootstrap_methods; n++) {
 369     u2 num_bootstrap_arguments = cpool()->operand_argument_count_at(n);
 370     length += sizeof(u2); // bootstrap_method_ref
 371     length += sizeof(u2); // num_bootstrap_arguments
 372     length += sizeof(u2) * num_bootstrap_arguments; // bootstrap_arguments[num_bootstrap_arguments]
 373   }
 374   write_u4(length);
 375 
 376   // write attribute
 377   write_u2(num_bootstrap_methods);
 378   for (int n = 0; n < num_bootstrap_methods; n++) {
 379     u2 bootstrap_method_ref = cpool()->operand_bootstrap_method_ref_index_at(n);
 380     u2 num_bootstrap_arguments = cpool()->operand_argument_count_at(n);
 381     write_u2(bootstrap_method_ref);
 382     write_u2(num_bootstrap_arguments);
 383     for (int arg = 0; arg < num_bootstrap_arguments; arg++) {
 384       u2 bootstrap_argument = cpool()->operand_argument_index_at(n, arg);
 385       write_u2(bootstrap_argument);
 386     }
 387   }
 388 }
 389 
 390 
 391 // Write InnerClasses attribute
 392 // JVMSpec|   InnerClasses_attribute {
 393 // JVMSpec|     u2 attribute_name_index;
 394 // JVMSpec|     u4 attribute_length;
 395 // JVMSpec|     u2 number_of_classes;
 396 // JVMSpec|     {  u2 inner_class_info_index;
 397 // JVMSpec|        u2 outer_class_info_index;
 398 // JVMSpec|        u2 inner_name_index;
 399 // JVMSpec|        u2 inner_class_access_flags;
 400 // JVMSpec|     } classes[number_of_classes];
 401 // JVMSpec|   }
 402 void JvmtiClassFileReconstituter::write_inner_classes_attribute(int length) {
 403   InnerClassesIterator iter(ik());
 404   guarantee(iter.length() != 0 && iter.length() == length,
 405             "caller must check");
 406   u2 entry_count = length / InstanceKlass::inner_class_next_offset;
 407   u4 size = 2 + entry_count * (2+2+2+2);
 408 
 409   write_attribute_name_index("InnerClasses");
 410   write_u4(size);
 411   write_u2(entry_count);
 412   for (; !iter.done(); iter.next()) {
 413     write_u2(iter.inner_class_info_index());
 414     write_u2(iter.outer_class_info_index());
 415     write_u2(iter.inner_name_index());
 416     write_u2(iter.inner_access_flags());
 417   }
 418 }
 419 
 420 // Write Synthetic attribute
 421 // JVMSpec|   Synthetic_attribute {
 422 // JVMSpec|     u2 attribute_name_index;
 423 // JVMSpec|     u4 attribute_length;
 424 // JVMSpec|   }
 425 void JvmtiClassFileReconstituter::write_synthetic_attribute() {
 426   write_attribute_name_index("Synthetic");
 427   write_u4(0); //length always zero
 428 }
 429 
 430 // Compute size of LineNumberTable
 431 u2 JvmtiClassFileReconstituter::line_number_table_entries(const methodHandle& method) {
 432   // The line number table is compressed so we don't know how big it is until decompressed.
 433   // Decompression is really fast so we just do it twice.
 434   u2 num_entries = 0;
 435   CompressedLineNumberReadStream stream(method->compressed_linenumber_table());
 436   while (stream.read_pair()) {
 437     num_entries++;
 438   }
 439   return num_entries;
 440 }
 441 
 442 // Write LineNumberTable attribute
 443 // JVMSpec|   LineNumberTable_attribute {
 444 // JVMSpec|     u2 attribute_name_index;
 445 // JVMSpec|     u4 attribute_length;
 446 // JVMSpec|     u2 line_number_table_length;
 447 // JVMSpec|     {  u2 start_pc;
 448 // JVMSpec|        u2 line_number;
 449 // JVMSpec|     } line_number_table[line_number_table_length];
 450 // JVMSpec|   }
 451 void JvmtiClassFileReconstituter::write_line_number_table_attribute(const methodHandle& method,
 452                                                                     u2 num_entries) {
 453 
 454   write_attribute_name_index("LineNumberTable");
 455   write_u4(2 + num_entries * (2 + 2));
 456   write_u2(num_entries);
 457 
 458   CompressedLineNumberReadStream stream(method->compressed_linenumber_table());
 459   while (stream.read_pair()) {
 460     write_u2(stream.bci());
 461     write_u2(stream.line());
 462   }
 463 }
 464 
 465 // Write LocalVariableTable attribute
 466 // JVMSpec|   LocalVariableTable_attribute {
 467 // JVMSpec|     u2 attribute_name_index;
 468 // JVMSpec|     u4 attribute_length;
 469 // JVMSpec|     u2 local_variable_table_length;
 470 // JVMSpec|     {  u2 start_pc;
 471 // JVMSpec|       u2 length;
 472 // JVMSpec|       u2 name_index;
 473 // JVMSpec|       u2 descriptor_index;
 474 // JVMSpec|       u2 index;
 475 // JVMSpec|     } local_variable_table[local_variable_table_length];
 476 // JVMSpec|   }
 477 void JvmtiClassFileReconstituter::write_local_variable_table_attribute(const methodHandle& method, u2 num_entries) {
 478     write_attribute_name_index("LocalVariableTable");
 479     write_u4(2 + num_entries * (2 + 2 + 2 + 2 + 2));
 480     write_u2(num_entries);
 481 
 482     assert(method->localvariable_table_length() == num_entries, "just checking");
 483 
 484     LocalVariableTableElement *elem = method->localvariable_table_start();
 485     for (int j=0; j<method->localvariable_table_length(); j++) {
 486       write_u2(elem->start_bci);
 487       write_u2(elem->length);
 488       write_u2(elem->name_cp_index);
 489       write_u2(elem->descriptor_cp_index);
 490       write_u2(elem->slot);
 491       elem++;
 492     }
 493 }
 494 
 495 // Write LocalVariableTypeTable attribute
 496 // JVMSpec|   LocalVariableTypeTable_attribute {
 497 // JVMSpec|     u2 attribute_name_index;
 498 // JVMSpec|     u4 attribute_length;
 499 // JVMSpec|     u2 local_variable_type_table_length;
 500 // JVMSpec|     { u2 start_pc;
 501 // JVMSpec|       u2 length;
 502 // JVMSpec|       u2 name_index;
 503 // JVMSpec|       u2 signature_index;
 504 // JVMSpec|       u2 index;
 505 // JVMSpec|     } local_variable_type_table[local_variable_type_table_length];
 506 // JVMSpec|   }
 507 void JvmtiClassFileReconstituter::write_local_variable_type_table_attribute(const methodHandle& method, u2 num_entries) {
 508     write_attribute_name_index("LocalVariableTypeTable");
 509     write_u4(2 + num_entries * (2 + 2 + 2 + 2 + 2));
 510     write_u2(num_entries);
 511 
 512     LocalVariableTableElement *elem = method->localvariable_table_start();
 513     for (int j=0; j<method->localvariable_table_length(); j++) {
 514       if (elem->signature_cp_index > 0) {
 515         // Local variable has a generic signature - write LVTT attribute entry
 516         write_u2(elem->start_bci);
 517         write_u2(elem->length);
 518         write_u2(elem->name_cp_index);
 519         write_u2(elem->signature_cp_index);
 520         write_u2(elem->slot);
 521         num_entries--;
 522       }
 523       elem++;
 524     }
 525     assert(num_entries == 0, "just checking");
 526 }
 527 
 528 // Write stack map table attribute
 529 // JSR-202|   StackMapTable_attribute {
 530 // JSR-202|     u2 attribute_name_index;
 531 // JSR-202|     u4 attribute_length;
 532 // JSR-202|     u2 number_of_entries;
 533 // JSR-202|     stack_map_frame_entries[number_of_entries];
 534 // JSR-202|   }
 535 void JvmtiClassFileReconstituter::write_stackmap_table_attribute(const methodHandle& method,
 536                                                                  int stackmap_len) {
 537 
 538   write_attribute_name_index("StackMapTable");
 539   write_u4(stackmap_len);
 540   memcpy(
 541     writeable_address(stackmap_len),
 542     (void*)(method->stackmap_data()->adr_at(0)),
 543     stackmap_len);
 544 }
 545 
 546 // Write one method_info structure
 547 // JVMSpec|   method_info {
 548 // JVMSpec|     u2 access_flags;
 549 // JVMSpec|     u2 name_index;
 550 // JVMSpec|     u2 descriptor_index;
 551 // JVMSpec|     u2 attributes_count;
 552 // JVMSpec|     attribute_info attributes[attributes_count];
 553 // JVMSpec|   }
 554 void JvmtiClassFileReconstituter::write_method_info(const methodHandle& method) {
 555   AccessFlags access_flags = method->access_flags();
 556   ConstMethod* const_method = method->constMethod();
 557   u2 generic_signature_index = const_method->generic_signature_index();
 558   AnnotationArray* anno = method->annotations();
 559   AnnotationArray* param_anno = method->parameter_annotations();
 560   AnnotationArray* default_anno = method->annotation_default();
 561   AnnotationArray* type_anno = method->type_annotations();
 562 
 563   // skip generated default interface methods
 564   if (method->is_overpass()) {
 565     return;
 566   }
 567 
 568   write_u2(access_flags.get_flags() & JVM_RECOGNIZED_METHOD_MODIFIERS);
 569   write_u2(const_method->name_index());
 570   write_u2(const_method->signature_index());
 571 
 572   // write attributes in the same order javac does, so we can test with byte for
 573   // byte comparison
 574   int attr_count = 0;
 575   if (const_method->code_size() != 0) {
 576     ++attr_count;     // has Code attribute
 577   }
 578   if (const_method->has_checked_exceptions()) {
 579     ++attr_count;     // has Exceptions attribute
 580   }
 581   if (default_anno != NULL) {
 582     ++attr_count;     // has AnnotationDefault attribute
 583   }
 584   // Deprecated attribute would go here
 585   if (access_flags.is_synthetic()) { // FIXME
 586     // ++attr_count;
 587   }
 588   if (generic_signature_index != 0) {
 589     ++attr_count;
 590   }
 591   if (anno != NULL) {
 592     ++attr_count;     // has RuntimeVisibleAnnotations attribute
 593   }
 594   if (param_anno != NULL) {
 595     ++attr_count;     // has RuntimeVisibleParameterAnnotations attribute
 596   }
 597   if (type_anno != NULL) {
 598     ++attr_count;     // has RuntimeVisibleTypeAnnotations attribute
 599   }
 600 
 601   write_u2(attr_count);
 602   if (const_method->code_size() > 0) {
 603     write_code_attribute(method);
 604   }
 605   if (const_method->has_checked_exceptions()) {
 606     write_exceptions_attribute(const_method);
 607   }
 608   if (default_anno != NULL) {
 609     write_annotations_attribute("AnnotationDefault", default_anno);
 610   }
 611   // Deprecated attribute would go here
 612   if (access_flags.is_synthetic()) {
 613     // write_synthetic_attribute();
 614   }
 615   if (generic_signature_index != 0) {
 616     write_signature_attribute(generic_signature_index);
 617   }
 618   if (anno != NULL) {
 619     write_annotations_attribute("RuntimeVisibleAnnotations", anno);
 620   }
 621   if (param_anno != NULL) {
 622     write_annotations_attribute("RuntimeVisibleParameterAnnotations", param_anno);
 623   }
 624   if (type_anno != NULL) {
 625     write_annotations_attribute("RuntimeVisibleTypeAnnotations", type_anno);
 626   }
 627 }
 628 
 629 // Write the class attributes portion of ClassFile structure
 630 // JVMSpec|     u2 attributes_count;
 631 // JVMSpec|     attribute_info attributes[attributes_count];
 632 void JvmtiClassFileReconstituter::write_class_attributes() {
 633   u2 inner_classes_length = inner_classes_attribute_length();
 634   Symbol* generic_signature = ik()->generic_signature();
 635   AnnotationArray* anno = ik()->class_annotations();
 636   AnnotationArray* type_anno = ik()->class_type_annotations();
 637 
 638   int attr_count = 0;
 639   if (generic_signature != NULL) {
 640     ++attr_count;
 641   }
 642   if (ik()->source_file_name() != NULL) {
 643     ++attr_count;
 644   }
 645   if (ik()->source_debug_extension() != NULL) {
 646     ++attr_count;
 647   }
 648   if (inner_classes_length > 0) {
 649     ++attr_count;
 650   }
 651   if (anno != NULL) {
 652     ++attr_count;     // has RuntimeVisibleAnnotations attribute
 653   }
 654   if (type_anno != NULL) {
 655     ++attr_count;     // has RuntimeVisibleTypeAnnotations attribute
 656   }
 657   if (cpool()->operands() != NULL) {
 658     ++attr_count;
 659   }
 660 
 661   write_u2(attr_count);
 662 
 663   if (generic_signature != NULL) {
 664     write_signature_attribute(symbol_to_cpool_index(generic_signature));
 665   }
 666   if (ik()->source_file_name() != NULL) {
 667     write_source_file_attribute();
 668   }
 669   if (ik()->source_debug_extension() != NULL) {
 670     write_source_debug_extension_attribute();
 671   }
 672   if (inner_classes_length > 0) {
 673     write_inner_classes_attribute(inner_classes_length);
 674   }
 675   if (anno != NULL) {
 676     write_annotations_attribute("RuntimeVisibleAnnotations", anno);
 677   }
 678   if (type_anno != NULL) {
 679     write_annotations_attribute("RuntimeVisibleTypeAnnotations", type_anno);
 680   }
 681   if (cpool()->operands() != NULL) {
 682     write_bootstrapmethod_attribute();
 683   }
 684 }
 685 
 686 // Write the method information portion of ClassFile structure
 687 // JVMSpec|     u2 methods_count;
 688 // JVMSpec|     method_info methods[methods_count];
 689 void JvmtiClassFileReconstituter::write_method_infos() {
 690   HandleMark hm(thread());
 691   Array<Method*>* methods = ik()->methods();
 692   int num_methods = methods->length();
 693   int num_overpass = 0;
 694 
 695   // count the generated default interface methods
 696   // these will not be re-created by write_method_info
 697   // and should not be included in the total count
 698   for (int index = 0; index < num_methods; index++) {
 699     Method* method = methods->at(index);
 700     if (method->is_overpass()) {
 701       num_overpass++;
 702     }
 703   }
 704 
 705   write_u2(num_methods - num_overpass);
 706   if (JvmtiExport::can_maintain_original_method_order()) {
 707     int index;
 708     int original_index;
 709     intArray method_order(num_methods, num_methods, 0);
 710 
 711     // invert the method order mapping
 712     for (index = 0; index < num_methods; index++) {
 713       original_index = ik()->method_ordering()->at(index);
 714       assert(original_index >= 0 && original_index < num_methods,
 715              "invalid original method index");
 716       method_order.at_put(original_index, index);
 717     }
 718 
 719     // write in original order
 720     for (original_index = 0; original_index < num_methods; original_index++) {
 721       index = method_order.at(original_index);
 722       methodHandle method(thread(), methods->at(index));
 723       write_method_info(method);
 724     }
 725   } else {
 726     // method order not preserved just dump the method infos
 727     for (int index = 0; index < num_methods; index++) {
 728       methodHandle method(thread(), methods->at(index));
 729       write_method_info(method);
 730     }
 731   }
 732 }
 733 
 734 void JvmtiClassFileReconstituter::write_class_file_format() {
 735   ReallocMark();
 736 
 737   // JVMSpec|   ClassFile {
 738   // JVMSpec|           u4 magic;
 739   write_u4(0xCAFEBABE);
 740 
 741   // JVMSpec|           u2 minor_version;
 742   // JVMSpec|           u2 major_version;
 743   write_u2(ik()->minor_version());
 744   u2 major = ik()->major_version();
 745   write_u2(major);
 746 
 747   // JVMSpec|           u2 constant_pool_count;
 748   // JVMSpec|           cp_info constant_pool[constant_pool_count-1];
 749   write_u2(cpool()->length());
 750   copy_cpool_bytes(writeable_address(cpool_size()));
 751 
 752   // JVMSpec|           u2 access_flags;
 753   write_u2(ik()->access_flags().get_flags() & JVM_RECOGNIZED_CLASS_MODIFIERS);
 754 
 755   // JVMSpec|           u2 this_class;
 756   // JVMSpec|           u2 super_class;
 757   write_u2(class_symbol_to_cpool_index(ik()->name()));
 758   Klass* super_class = ik()->super();
 759   write_u2(super_class == NULL? 0 :  // zero for java.lang.Object
 760                 class_symbol_to_cpool_index(super_class->name()));
 761 
 762   // JVMSpec|           u2 interfaces_count;
 763   // JVMSpec|           u2 interfaces[interfaces_count];
 764   Array<Klass*>* interfaces =  ik()->local_interfaces();
 765   int num_interfaces = interfaces->length();
 766   write_u2(num_interfaces);
 767   for (int index = 0; index < num_interfaces; index++) {
 768     HandleMark hm(thread());
 769     InstanceKlass* iik = InstanceKlass::cast(interfaces->at(index));
 770     write_u2(class_symbol_to_cpool_index(iik->name()));
 771   }
 772 
 773   // JVMSpec|           u2 fields_count;
 774   // JVMSpec|           field_info fields[fields_count];
 775   write_field_infos();
 776 
 777   // JVMSpec|           u2 methods_count;
 778   // JVMSpec|           method_info methods[methods_count];
 779   write_method_infos();
 780 
 781   // JVMSpec|           u2 attributes_count;
 782   // JVMSpec|           attribute_info attributes[attributes_count];
 783   // JVMSpec|   } /* end ClassFile 8?
 784   write_class_attributes();
 785 }
 786 
 787 address JvmtiClassFileReconstituter::writeable_address(size_t size) {
 788   size_t used_size = _buffer_ptr - _buffer;
 789   if (size + used_size >= _buffer_size) {
 790     // compute the new buffer size: must be at least twice as big as before
 791     // plus whatever new is being used; then convert to nice clean block boundary
 792     size_t new_buffer_size = (size + _buffer_size*2 + 1) / initial_buffer_size
 793                                                          * initial_buffer_size;
 794 
 795     // VM goes belly-up if the memory isn't available, so cannot do OOM processing
 796     _buffer = REALLOC_RESOURCE_ARRAY(u1, _buffer, _buffer_size, new_buffer_size);
 797     _buffer_size = new_buffer_size;
 798     _buffer_ptr = _buffer + used_size;
 799   }
 800   u1* ret_ptr = _buffer_ptr;
 801   _buffer_ptr += size;
 802   return ret_ptr;
 803 }
 804 
 805 void JvmtiClassFileReconstituter::write_attribute_name_index(const char* name) {
 806   TempNewSymbol sym = SymbolTable::probe(name, (int)strlen(name));
 807   assert(sym != NULL, "attribute name symbol not found");
 808   u2 attr_name_index = symbol_to_cpool_index(sym);
 809   assert(attr_name_index != 0, "attribute name symbol not in constant pool");
 810   write_u2(attr_name_index);
 811 }
 812 
 813 void JvmtiClassFileReconstituter::write_u1(u1 x) {
 814   *writeable_address(1) = x;
 815 }
 816 
 817 void JvmtiClassFileReconstituter::write_u2(u2 x) {
 818   Bytes::put_Java_u2(writeable_address(2), x);
 819 }
 820 
 821 void JvmtiClassFileReconstituter::write_u4(u4 x) {
 822   Bytes::put_Java_u4(writeable_address(4), x);
 823 }
 824 
 825 void JvmtiClassFileReconstituter::write_u8(u8 x) {
 826   Bytes::put_Java_u8(writeable_address(8), x);
 827 }
 828 
 829 void JvmtiClassFileReconstituter::copy_bytecodes(const methodHandle& mh,
 830                                                  unsigned char* bytecodes) {
 831   // use a BytecodeStream to iterate over the bytecodes. JVM/fast bytecodes
 832   // and the breakpoint bytecode are converted to their original bytecodes.
 833 
 834   BytecodeStream bs(mh);
 835 
 836   unsigned char* p = bytecodes;
 837   Bytecodes::Code code;
 838   bool is_rewritten = mh->method_holder()->is_rewritten();
 839 
 840   while ((code = bs.next()) >= 0) {
 841     assert(Bytecodes::is_java_code(code), "sanity check");
 842     assert(code != Bytecodes::_breakpoint, "sanity check");
 843 
 844     // length of bytecode (mnemonic + operands)
 845     address bcp = bs.bcp();
 846     int     len = bs.instruction_size();
 847     assert(len > 0, "length must be > 0");
 848 
 849     // copy the bytecodes
 850     *p = (unsigned char) (bs.is_wide()? Bytecodes::_wide : code);
 851     if (len > 1) {
 852       memcpy(p+1, bcp+1, len-1);
 853     }
 854 
 855     // During linking the get/put and invoke instructions are rewritten
 856     // with an index into the constant pool cache. The original constant
 857     // pool index must be returned to caller.  Rewrite the index.
 858     if (is_rewritten && len > 1) {
 859       bool is_wide = false;
 860       switch (code) {
 861       case Bytecodes::_getstatic       :  // fall through
 862       case Bytecodes::_putstatic       :  // fall through
 863       case Bytecodes::_getfield        :  // fall through
 864       case Bytecodes::_putfield        :  // fall through
 865       case Bytecodes::_invokevirtual   :  // fall through
 866       case Bytecodes::_invokespecial   :  // fall through
 867       case Bytecodes::_invokestatic    :  // fall through
 868       case Bytecodes::_invokedynamic   :  // fall through
 869       case Bytecodes::_invokeinterface : {
 870         assert(len == 3 ||
 871                (code == Bytecodes::_invokeinterface && len == 5) ||
 872                (code == Bytecodes::_invokedynamic   && len == 5),
 873                "sanity check");
 874 
 875         int cpci = Bytes::get_native_u2(bcp+1);
 876         bool is_invokedynamic = (code == Bytecodes::_invokedynamic);
 877         ConstantPoolCacheEntry* entry;
 878         if (is_invokedynamic) {
 879           cpci = Bytes::get_native_u4(bcp+1);
 880           entry = mh->constants()->invokedynamic_cp_cache_entry_at(cpci);
 881         } else {
 882         // cache cannot be pre-fetched since some classes won't have it yet
 883           entry = mh->constants()->cache()->entry_at(cpci);
 884         }
 885         int i = entry->constant_pool_index();
 886         assert(i < mh->constants()->length(), "sanity check");
 887         Bytes::put_Java_u2((address)(p+1), (u2)i);     // java byte ordering
 888         if (is_invokedynamic)  *(p+3) = *(p+4) = 0;
 889         break;
 890       }
 891       case Bytecodes::_ldc_w:
 892         is_wide = true; // fall through
 893       case Bytecodes::_ldc: {
 894         if (bs.raw_code() == Bytecodes::_fast_aldc || bs.raw_code() == Bytecodes::_fast_aldc_w) {
 895           int cpci = is_wide ? Bytes::get_native_u2(bcp+1) : (u1)(*(bcp+1));
 896           int i = mh->constants()->object_to_cp_index(cpci);
 897           assert(i < mh->constants()->length(), "sanity check");
 898           if (is_wide) {
 899             Bytes::put_Java_u2((address)(p+1), (u2)i);     // java byte ordering
 900           } else {
 901             *(p+1) = (u1)i;
 902           }
 903         }
 904         break;
 905         }
 906       default:
 907         break;
 908       }
 909     }
 910 
 911     p += len;
 912   }
 913 }