dex_file.h revision 76ed99d5ec208d5adcd63b41c2c290194ee0ecf7
1/* 2 * Copyright (C) 2011 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17#ifndef ART_RUNTIME_DEX_FILE_H_ 18#define ART_RUNTIME_DEX_FILE_H_ 19 20#include <memory> 21#include <string> 22#include <unordered_map> 23#include <vector> 24 25#include "base/logging.h" 26#include "base/mutex.h" // For Locks::mutator_lock_. 27#include "base/value_object.h" 28#include "globals.h" 29#include "invoke_type.h" 30#include "jni.h" 31#include "jvalue.h" 32#include "mirror/object_array.h" 33#include "modifiers.h" 34#include "utf.h" 35 36namespace art { 37 38// TODO: remove dependencies on mirror classes, primarily by moving 39// EncodedStaticFieldValueIterator to its own file. 40namespace mirror { 41 class ClassLoader; 42 class DexCache; 43} // namespace mirror 44class ArtField; 45class ArtMethod; 46class ClassLinker; 47template <class Key, class Value, class EmptyFn, class HashFn, class Pred, class Alloc> 48class HashMap; 49class MemMap; 50class OatDexFile; 51class Signature; 52template<class T> class Handle; 53class StringPiece; 54class TypeLookupTable; 55class ZipArchive; 56 57// TODO: move all of the macro functionality into the DexCache class. 58class DexFile { 59 public: 60 static const uint8_t kDexMagic[]; 61 static constexpr size_t kNumDexVersions = 2; 62 static constexpr size_t kDexVersionLen = 4; 63 static const uint8_t kDexMagicVersions[kNumDexVersions][kDexVersionLen]; 64 65 static constexpr size_t kSha1DigestSize = 20; 66 static constexpr uint32_t kDexEndianConstant = 0x12345678; 67 68 // name of the DexFile entry within a zip archive 69 static const char* kClassesDex; 70 71 // The value of an invalid index. 72 static const uint32_t kDexNoIndex = 0xFFFFFFFF; 73 74 // The value of an invalid index. 75 static const uint16_t kDexNoIndex16 = 0xFFFF; 76 77 // The separator character in MultiDex locations. 78 static constexpr char kMultiDexSeparator = ':'; 79 80 // A string version of the previous. This is a define so that we can merge string literals in the 81 // preprocessor. 82 #define kMultiDexSeparatorString ":" 83 84 // Raw header_item. 85 struct Header { 86 uint8_t magic_[8]; 87 uint32_t checksum_; // See also location_checksum_ 88 uint8_t signature_[kSha1DigestSize]; 89 uint32_t file_size_; // size of entire file 90 uint32_t header_size_; // offset to start of next section 91 uint32_t endian_tag_; 92 uint32_t link_size_; // unused 93 uint32_t link_off_; // unused 94 uint32_t map_off_; // unused 95 uint32_t string_ids_size_; // number of StringIds 96 uint32_t string_ids_off_; // file offset of StringIds array 97 uint32_t type_ids_size_; // number of TypeIds, we don't support more than 65535 98 uint32_t type_ids_off_; // file offset of TypeIds array 99 uint32_t proto_ids_size_; // number of ProtoIds, we don't support more than 65535 100 uint32_t proto_ids_off_; // file offset of ProtoIds array 101 uint32_t field_ids_size_; // number of FieldIds 102 uint32_t field_ids_off_; // file offset of FieldIds array 103 uint32_t method_ids_size_; // number of MethodIds 104 uint32_t method_ids_off_; // file offset of MethodIds array 105 uint32_t class_defs_size_; // number of ClassDefs 106 uint32_t class_defs_off_; // file offset of ClassDef array 107 uint32_t data_size_; // unused 108 uint32_t data_off_; // unused 109 110 // Decode the dex magic version 111 uint32_t GetVersion() const; 112 113 private: 114 DISALLOW_COPY_AND_ASSIGN(Header); 115 }; 116 117 // Map item type codes. 118 enum { 119 kDexTypeHeaderItem = 0x0000, 120 kDexTypeStringIdItem = 0x0001, 121 kDexTypeTypeIdItem = 0x0002, 122 kDexTypeProtoIdItem = 0x0003, 123 kDexTypeFieldIdItem = 0x0004, 124 kDexTypeMethodIdItem = 0x0005, 125 kDexTypeClassDefItem = 0x0006, 126 kDexTypeMapList = 0x1000, 127 kDexTypeTypeList = 0x1001, 128 kDexTypeAnnotationSetRefList = 0x1002, 129 kDexTypeAnnotationSetItem = 0x1003, 130 kDexTypeClassDataItem = 0x2000, 131 kDexTypeCodeItem = 0x2001, 132 kDexTypeStringDataItem = 0x2002, 133 kDexTypeDebugInfoItem = 0x2003, 134 kDexTypeAnnotationItem = 0x2004, 135 kDexTypeEncodedArrayItem = 0x2005, 136 kDexTypeAnnotationsDirectoryItem = 0x2006, 137 }; 138 139 struct MapItem { 140 uint16_t type_; 141 uint16_t unused_; 142 uint32_t size_; 143 uint32_t offset_; 144 145 private: 146 DISALLOW_COPY_AND_ASSIGN(MapItem); 147 }; 148 149 struct MapList { 150 uint32_t size_; 151 MapItem list_[1]; 152 153 private: 154 DISALLOW_COPY_AND_ASSIGN(MapList); 155 }; 156 157 // Raw string_id_item. 158 struct StringId { 159 uint32_t string_data_off_; // offset in bytes from the base address 160 161 private: 162 DISALLOW_COPY_AND_ASSIGN(StringId); 163 }; 164 165 // Raw type_id_item. 166 struct TypeId { 167 uint32_t descriptor_idx_; // index into string_ids 168 169 private: 170 DISALLOW_COPY_AND_ASSIGN(TypeId); 171 }; 172 173 // Raw field_id_item. 174 struct FieldId { 175 uint16_t class_idx_; // index into type_ids_ array for defining class 176 uint16_t type_idx_; // index into type_ids_ array for field type 177 uint32_t name_idx_; // index into string_ids_ array for field name 178 179 private: 180 DISALLOW_COPY_AND_ASSIGN(FieldId); 181 }; 182 183 // Raw method_id_item. 184 struct MethodId { 185 uint16_t class_idx_; // index into type_ids_ array for defining class 186 uint16_t proto_idx_; // index into proto_ids_ array for method prototype 187 uint32_t name_idx_; // index into string_ids_ array for method name 188 189 private: 190 DISALLOW_COPY_AND_ASSIGN(MethodId); 191 }; 192 193 // Raw proto_id_item. 194 struct ProtoId { 195 uint32_t shorty_idx_; // index into string_ids array for shorty descriptor 196 uint16_t return_type_idx_; // index into type_ids array for return type 197 uint16_t pad_; // padding = 0 198 uint32_t parameters_off_; // file offset to type_list for parameter types 199 200 private: 201 DISALLOW_COPY_AND_ASSIGN(ProtoId); 202 }; 203 204 // Raw class_def_item. 205 struct ClassDef { 206 uint16_t class_idx_; // index into type_ids_ array for this class 207 uint16_t pad1_; // padding = 0 208 uint32_t access_flags_; 209 uint16_t superclass_idx_; // index into type_ids_ array for superclass 210 uint16_t pad2_; // padding = 0 211 uint32_t interfaces_off_; // file offset to TypeList 212 uint32_t source_file_idx_; // index into string_ids_ for source file name 213 uint32_t annotations_off_; // file offset to annotations_directory_item 214 uint32_t class_data_off_; // file offset to class_data_item 215 uint32_t static_values_off_; // file offset to EncodedArray 216 217 // Returns the valid access flags, that is, Java modifier bits relevant to the ClassDef type 218 // (class or interface). These are all in the lower 16b and do not contain runtime flags. 219 uint32_t GetJavaAccessFlags() const { 220 // Make sure that none of our runtime-only flags are set. 221 static_assert((kAccValidClassFlags & kAccJavaFlagsMask) == kAccValidClassFlags, 222 "Valid class flags not a subset of Java flags"); 223 static_assert((kAccValidInterfaceFlags & kAccJavaFlagsMask) == kAccValidInterfaceFlags, 224 "Valid interface flags not a subset of Java flags"); 225 226 if ((access_flags_ & kAccInterface) != 0) { 227 // Interface. 228 return access_flags_ & kAccValidInterfaceFlags; 229 } else { 230 // Class. 231 return access_flags_ & kAccValidClassFlags; 232 } 233 } 234 235 private: 236 DISALLOW_COPY_AND_ASSIGN(ClassDef); 237 }; 238 239 // Raw type_item. 240 struct TypeItem { 241 uint16_t type_idx_; // index into type_ids section 242 243 private: 244 DISALLOW_COPY_AND_ASSIGN(TypeItem); 245 }; 246 247 // Raw type_list. 248 class TypeList { 249 public: 250 uint32_t Size() const { 251 return size_; 252 } 253 254 const TypeItem& GetTypeItem(uint32_t idx) const { 255 DCHECK_LT(idx, this->size_); 256 return this->list_[idx]; 257 } 258 259 // Size in bytes of the part of the list that is common. 260 static constexpr size_t GetHeaderSize() { 261 return 4U; 262 } 263 264 // Size in bytes of the whole type list including all the stored elements. 265 static constexpr size_t GetListSize(size_t count) { 266 return GetHeaderSize() + sizeof(TypeItem) * count; 267 } 268 269 private: 270 uint32_t size_; // size of the list, in entries 271 TypeItem list_[1]; // elements of the list 272 DISALLOW_COPY_AND_ASSIGN(TypeList); 273 }; 274 275 // Raw code_item. 276 struct CodeItem { 277 uint16_t registers_size_; // the number of registers used by this code 278 // (locals + parameters) 279 uint16_t ins_size_; // the number of words of incoming arguments to the method 280 // that this code is for 281 uint16_t outs_size_; // the number of words of outgoing argument space required 282 // by this code for method invocation 283 uint16_t tries_size_; // the number of try_items for this instance. If non-zero, 284 // then these appear as the tries array just after the 285 // insns in this instance. 286 uint32_t debug_info_off_; // file offset to debug info stream 287 uint32_t insns_size_in_code_units_; // size of the insns array, in 2 byte code units 288 uint16_t insns_[1]; // actual array of bytecode. 289 290 private: 291 DISALLOW_COPY_AND_ASSIGN(CodeItem); 292 }; 293 294 // Raw try_item. 295 struct TryItem { 296 uint32_t start_addr_; 297 uint16_t insn_count_; 298 uint16_t handler_off_; 299 300 private: 301 DISALLOW_COPY_AND_ASSIGN(TryItem); 302 }; 303 304 // Annotation constants. 305 enum { 306 kDexVisibilityBuild = 0x00, /* annotation visibility */ 307 kDexVisibilityRuntime = 0x01, 308 kDexVisibilitySystem = 0x02, 309 310 kDexAnnotationByte = 0x00, 311 kDexAnnotationShort = 0x02, 312 kDexAnnotationChar = 0x03, 313 kDexAnnotationInt = 0x04, 314 kDexAnnotationLong = 0x06, 315 kDexAnnotationFloat = 0x10, 316 kDexAnnotationDouble = 0x11, 317 kDexAnnotationString = 0x17, 318 kDexAnnotationType = 0x18, 319 kDexAnnotationField = 0x19, 320 kDexAnnotationMethod = 0x1a, 321 kDexAnnotationEnum = 0x1b, 322 kDexAnnotationArray = 0x1c, 323 kDexAnnotationAnnotation = 0x1d, 324 kDexAnnotationNull = 0x1e, 325 kDexAnnotationBoolean = 0x1f, 326 327 kDexAnnotationValueTypeMask = 0x1f, /* low 5 bits */ 328 kDexAnnotationValueArgShift = 5, 329 }; 330 331 struct AnnotationsDirectoryItem { 332 uint32_t class_annotations_off_; 333 uint32_t fields_size_; 334 uint32_t methods_size_; 335 uint32_t parameters_size_; 336 337 private: 338 DISALLOW_COPY_AND_ASSIGN(AnnotationsDirectoryItem); 339 }; 340 341 struct FieldAnnotationsItem { 342 uint32_t field_idx_; 343 uint32_t annotations_off_; 344 345 private: 346 DISALLOW_COPY_AND_ASSIGN(FieldAnnotationsItem); 347 }; 348 349 struct MethodAnnotationsItem { 350 uint32_t method_idx_; 351 uint32_t annotations_off_; 352 353 private: 354 DISALLOW_COPY_AND_ASSIGN(MethodAnnotationsItem); 355 }; 356 357 struct ParameterAnnotationsItem { 358 uint32_t method_idx_; 359 uint32_t annotations_off_; 360 361 private: 362 DISALLOW_COPY_AND_ASSIGN(ParameterAnnotationsItem); 363 }; 364 365 struct AnnotationSetRefItem { 366 uint32_t annotations_off_; 367 368 private: 369 DISALLOW_COPY_AND_ASSIGN(AnnotationSetRefItem); 370 }; 371 372 struct AnnotationSetRefList { 373 uint32_t size_; 374 AnnotationSetRefItem list_[1]; 375 376 private: 377 DISALLOW_COPY_AND_ASSIGN(AnnotationSetRefList); 378 }; 379 380 struct AnnotationSetItem { 381 uint32_t size_; 382 uint32_t entries_[1]; 383 384 private: 385 DISALLOW_COPY_AND_ASSIGN(AnnotationSetItem); 386 }; 387 388 struct AnnotationItem { 389 uint8_t visibility_; 390 uint8_t annotation_[1]; 391 392 private: 393 DISALLOW_COPY_AND_ASSIGN(AnnotationItem); 394 }; 395 396 struct AnnotationValue { 397 JValue value_; 398 uint8_t type_; 399 }; 400 401 enum AnnotationResultStyle { // private 402 kAllObjects, 403 kPrimitivesOrObjects, 404 kAllRaw 405 }; 406 407 // Returns the checksum of a file for comparison with GetLocationChecksum(). 408 // For .dex files, this is the header checksum. 409 // For zip files, this is the classes.dex zip entry CRC32 checksum. 410 // Return true if the checksum could be found, false otherwise. 411 static bool GetChecksum(const char* filename, uint32_t* checksum, std::string* error_msg); 412 413 // Opens .dex files found in the container, guessing the container format based on file extension. 414 static bool Open(const char* filename, const char* location, std::string* error_msg, 415 std::vector<std::unique_ptr<const DexFile>>* dex_files); 416 417 // Checks whether the given file has the dex magic, or is a zip file with a classes.dex entry. 418 // If this function returns false, Open will not succeed. The inverse is not true, however. 419 static bool MaybeDex(const char* filename); 420 421 // Opens .dex file, backed by existing memory 422 static std::unique_ptr<const DexFile> Open(const uint8_t* base, size_t size, 423 const std::string& location, 424 uint32_t location_checksum, 425 const OatDexFile* oat_dex_file, 426 bool verify, 427 std::string* error_msg); 428 429 // Open all classesXXX.dex files from a zip archive. 430 static bool OpenFromZip(const ZipArchive& zip_archive, const std::string& location, 431 std::string* error_msg, 432 std::vector<std::unique_ptr<const DexFile>>* dex_files); 433 434 // Closes a .dex file. 435 virtual ~DexFile(); 436 437 const std::string& GetLocation() const { 438 return location_; 439 } 440 441 // For normal dex files, location and base location coincide. If a dex file is part of a multidex 442 // archive, the base location is the name of the originating jar/apk, stripped of any internal 443 // classes*.dex path. 444 static std::string GetBaseLocation(const char* location) { 445 const char* pos = strrchr(location, kMultiDexSeparator); 446 if (pos == nullptr) { 447 return location; 448 } else { 449 return std::string(location, pos - location); 450 } 451 } 452 453 static std::string GetBaseLocation(const std::string& location) { 454 return GetBaseLocation(location.c_str()); 455 } 456 457 // Returns the ':classes*.dex' part of the dex location. Returns an empty 458 // string if there is no multidex suffix for the given location. 459 // The kMultiDexSeparator is included in the returned suffix. 460 static std::string GetMultiDexSuffix(const std::string& location) { 461 size_t pos = location.rfind(kMultiDexSeparator); 462 if (pos == std::string::npos) { 463 return ""; 464 } else { 465 return location.substr(pos); 466 } 467 } 468 469 std::string GetBaseLocation() const { 470 return GetBaseLocation(location_); 471 } 472 473 // For DexFiles directly from .dex files, this is the checksum from the DexFile::Header. 474 // For DexFiles opened from a zip files, this will be the ZipEntry CRC32 of classes.dex. 475 uint32_t GetLocationChecksum() const { 476 return location_checksum_; 477 } 478 479 const Header& GetHeader() const { 480 DCHECK(header_ != nullptr) << GetLocation(); 481 return *header_; 482 } 483 484 // Decode the dex magic version 485 uint32_t GetVersion() const { 486 return GetHeader().GetVersion(); 487 } 488 489 // Returns true if the byte string points to the magic value. 490 static bool IsMagicValid(const uint8_t* magic); 491 492 // Returns true if the byte string after the magic is the correct value. 493 static bool IsVersionValid(const uint8_t* magic); 494 495 // Returns the number of string identifiers in the .dex file. 496 size_t NumStringIds() const { 497 DCHECK(header_ != nullptr) << GetLocation(); 498 return header_->string_ids_size_; 499 } 500 501 // Returns the StringId at the specified index. 502 const StringId& GetStringId(uint32_t idx) const { 503 DCHECK_LT(idx, NumStringIds()) << GetLocation(); 504 return string_ids_[idx]; 505 } 506 507 uint32_t GetIndexForStringId(const StringId& string_id) const { 508 CHECK_GE(&string_id, string_ids_) << GetLocation(); 509 CHECK_LT(&string_id, string_ids_ + header_->string_ids_size_) << GetLocation(); 510 return &string_id - string_ids_; 511 } 512 513 int32_t GetStringLength(const StringId& string_id) const; 514 515 // Returns a pointer to the UTF-8 string data referred to by the given string_id as well as the 516 // length of the string when decoded as a UTF-16 string. Note the UTF-16 length is not the same 517 // as the string length of the string data. 518 const char* GetStringDataAndUtf16Length(const StringId& string_id, uint32_t* utf16_length) const; 519 520 const char* GetStringData(const StringId& string_id) const { 521 uint32_t ignored; 522 return GetStringDataAndUtf16Length(string_id, &ignored); 523 } 524 525 // Index version of GetStringDataAndUtf16Length. 526 const char* StringDataAndUtf16LengthByIdx(uint32_t idx, uint32_t* utf16_length) const { 527 if (idx == kDexNoIndex) { 528 *utf16_length = 0; 529 return nullptr; 530 } 531 const StringId& string_id = GetStringId(idx); 532 return GetStringDataAndUtf16Length(string_id, utf16_length); 533 } 534 535 const char* StringDataByIdx(uint32_t idx) const { 536 uint32_t unicode_length; 537 return StringDataAndUtf16LengthByIdx(idx, &unicode_length); 538 } 539 540 // Looks up a string id for a given modified utf8 string. 541 const StringId* FindStringId(const char* string) const; 542 543 const TypeId* FindTypeId(const char* string) const; 544 545 // Looks up a string id for a given utf16 string. 546 const StringId* FindStringId(const uint16_t* string, size_t length) const; 547 548 // Returns the number of type identifiers in the .dex file. 549 uint32_t NumTypeIds() const { 550 DCHECK(header_ != nullptr) << GetLocation(); 551 return header_->type_ids_size_; 552 } 553 554 // Returns the TypeId at the specified index. 555 const TypeId& GetTypeId(uint32_t idx) const { 556 DCHECK_LT(idx, NumTypeIds()) << GetLocation(); 557 return type_ids_[idx]; 558 } 559 560 uint16_t GetIndexForTypeId(const TypeId& type_id) const { 561 CHECK_GE(&type_id, type_ids_) << GetLocation(); 562 CHECK_LT(&type_id, type_ids_ + header_->type_ids_size_) << GetLocation(); 563 size_t result = &type_id - type_ids_; 564 DCHECK_LT(result, 65536U) << GetLocation(); 565 return static_cast<uint16_t>(result); 566 } 567 568 // Get the descriptor string associated with a given type index. 569 const char* StringByTypeIdx(uint32_t idx, uint32_t* unicode_length) const { 570 const TypeId& type_id = GetTypeId(idx); 571 return StringDataAndUtf16LengthByIdx(type_id.descriptor_idx_, unicode_length); 572 } 573 574 const char* StringByTypeIdx(uint32_t idx) const { 575 const TypeId& type_id = GetTypeId(idx); 576 return StringDataByIdx(type_id.descriptor_idx_); 577 } 578 579 // Returns the type descriptor string of a type id. 580 const char* GetTypeDescriptor(const TypeId& type_id) const { 581 return StringDataByIdx(type_id.descriptor_idx_); 582 } 583 584 // Looks up a type for the given string index 585 const TypeId* FindTypeId(uint32_t string_idx) const; 586 587 // Returns the number of field identifiers in the .dex file. 588 size_t NumFieldIds() const { 589 DCHECK(header_ != nullptr) << GetLocation(); 590 return header_->field_ids_size_; 591 } 592 593 // Returns the FieldId at the specified index. 594 const FieldId& GetFieldId(uint32_t idx) const { 595 DCHECK_LT(idx, NumFieldIds()) << GetLocation(); 596 return field_ids_[idx]; 597 } 598 599 uint32_t GetIndexForFieldId(const FieldId& field_id) const { 600 CHECK_GE(&field_id, field_ids_) << GetLocation(); 601 CHECK_LT(&field_id, field_ids_ + header_->field_ids_size_) << GetLocation(); 602 return &field_id - field_ids_; 603 } 604 605 // Looks up a field by its declaring class, name and type 606 const FieldId* FindFieldId(const DexFile::TypeId& declaring_klass, 607 const DexFile::StringId& name, 608 const DexFile::TypeId& type) const; 609 610 // Returns the declaring class descriptor string of a field id. 611 const char* GetFieldDeclaringClassDescriptor(const FieldId& field_id) const { 612 const DexFile::TypeId& type_id = GetTypeId(field_id.class_idx_); 613 return GetTypeDescriptor(type_id); 614 } 615 616 // Returns the class descriptor string of a field id. 617 const char* GetFieldTypeDescriptor(const FieldId& field_id) const { 618 const DexFile::TypeId& type_id = GetTypeId(field_id.type_idx_); 619 return GetTypeDescriptor(type_id); 620 } 621 622 // Returns the name of a field id. 623 const char* GetFieldName(const FieldId& field_id) const { 624 return StringDataByIdx(field_id.name_idx_); 625 } 626 627 // Returns the number of method identifiers in the .dex file. 628 size_t NumMethodIds() const { 629 DCHECK(header_ != nullptr) << GetLocation(); 630 return header_->method_ids_size_; 631 } 632 633 // Returns the MethodId at the specified index. 634 const MethodId& GetMethodId(uint32_t idx) const { 635 DCHECK_LT(idx, NumMethodIds()) << GetLocation(); 636 return method_ids_[idx]; 637 } 638 639 uint32_t GetIndexForMethodId(const MethodId& method_id) const { 640 CHECK_GE(&method_id, method_ids_) << GetLocation(); 641 CHECK_LT(&method_id, method_ids_ + header_->method_ids_size_) << GetLocation(); 642 return &method_id - method_ids_; 643 } 644 645 // Looks up a method by its declaring class, name and proto_id 646 const MethodId* FindMethodId(const DexFile::TypeId& declaring_klass, 647 const DexFile::StringId& name, 648 const DexFile::ProtoId& signature) const; 649 650 // Returns the declaring class descriptor string of a method id. 651 const char* GetMethodDeclaringClassDescriptor(const MethodId& method_id) const { 652 const DexFile::TypeId& type_id = GetTypeId(method_id.class_idx_); 653 return GetTypeDescriptor(type_id); 654 } 655 656 // Returns the prototype of a method id. 657 const ProtoId& GetMethodPrototype(const MethodId& method_id) const { 658 return GetProtoId(method_id.proto_idx_); 659 } 660 661 // Returns a representation of the signature of a method id. 662 const Signature GetMethodSignature(const MethodId& method_id) const; 663 664 // Returns the name of a method id. 665 const char* GetMethodName(const MethodId& method_id) const { 666 return StringDataByIdx(method_id.name_idx_); 667 } 668 669 // Returns the shorty of a method by its index. 670 const char* GetMethodShorty(uint32_t idx) const { 671 return StringDataByIdx(GetProtoId(GetMethodId(idx).proto_idx_).shorty_idx_); 672 } 673 674 // Returns the shorty of a method id. 675 const char* GetMethodShorty(const MethodId& method_id) const { 676 return StringDataByIdx(GetProtoId(method_id.proto_idx_).shorty_idx_); 677 } 678 const char* GetMethodShorty(const MethodId& method_id, uint32_t* length) const { 679 // Using the UTF16 length is safe here as shorties are guaranteed to be ASCII characters. 680 return StringDataAndUtf16LengthByIdx(GetProtoId(method_id.proto_idx_).shorty_idx_, length); 681 } 682 // Returns the number of class definitions in the .dex file. 683 uint32_t NumClassDefs() const { 684 DCHECK(header_ != nullptr) << GetLocation(); 685 return header_->class_defs_size_; 686 } 687 688 // Returns the ClassDef at the specified index. 689 const ClassDef& GetClassDef(uint16_t idx) const { 690 DCHECK_LT(idx, NumClassDefs()) << GetLocation(); 691 return class_defs_[idx]; 692 } 693 694 uint16_t GetIndexForClassDef(const ClassDef& class_def) const { 695 CHECK_GE(&class_def, class_defs_) << GetLocation(); 696 CHECK_LT(&class_def, class_defs_ + header_->class_defs_size_) << GetLocation(); 697 return &class_def - class_defs_; 698 } 699 700 // Returns the class descriptor string of a class definition. 701 const char* GetClassDescriptor(const ClassDef& class_def) const { 702 return StringByTypeIdx(class_def.class_idx_); 703 } 704 705 // Looks up a class definition by its class descriptor. Hash must be 706 // ComputeModifiedUtf8Hash(descriptor). 707 const ClassDef* FindClassDef(const char* descriptor, size_t hash) const; 708 709 // Looks up a class definition by its type index. 710 const ClassDef* FindClassDef(uint16_t type_idx) const; 711 712 const TypeList* GetInterfacesList(const ClassDef& class_def) const { 713 if (class_def.interfaces_off_ == 0) { 714 return nullptr; 715 } else { 716 const uint8_t* addr = begin_ + class_def.interfaces_off_; 717 return reinterpret_cast<const TypeList*>(addr); 718 } 719 } 720 721 // Returns a pointer to the raw memory mapped class_data_item 722 const uint8_t* GetClassData(const ClassDef& class_def) const { 723 if (class_def.class_data_off_ == 0) { 724 return nullptr; 725 } else { 726 return begin_ + class_def.class_data_off_; 727 } 728 } 729 730 // 731 const CodeItem* GetCodeItem(const uint32_t code_off) const { 732 DCHECK_LT(code_off, size_) << "Code item offset larger then maximum allowed offset"; 733 if (code_off == 0) { 734 return nullptr; // native or abstract method 735 } else { 736 const uint8_t* addr = begin_ + code_off; 737 return reinterpret_cast<const CodeItem*>(addr); 738 } 739 } 740 741 const char* GetReturnTypeDescriptor(const ProtoId& proto_id) const { 742 return StringByTypeIdx(proto_id.return_type_idx_); 743 } 744 745 // Returns the number of prototype identifiers in the .dex file. 746 size_t NumProtoIds() const { 747 DCHECK(header_ != nullptr) << GetLocation(); 748 return header_->proto_ids_size_; 749 } 750 751 // Returns the ProtoId at the specified index. 752 const ProtoId& GetProtoId(uint32_t idx) const { 753 DCHECK_LT(idx, NumProtoIds()) << GetLocation(); 754 return proto_ids_[idx]; 755 } 756 757 uint16_t GetIndexForProtoId(const ProtoId& proto_id) const { 758 CHECK_GE(&proto_id, proto_ids_) << GetLocation(); 759 CHECK_LT(&proto_id, proto_ids_ + header_->proto_ids_size_) << GetLocation(); 760 return &proto_id - proto_ids_; 761 } 762 763 // Looks up a proto id for a given return type and signature type list 764 const ProtoId* FindProtoId(uint16_t return_type_idx, 765 const uint16_t* signature_type_idxs, uint32_t signature_length) const; 766 const ProtoId* FindProtoId(uint16_t return_type_idx, 767 const std::vector<uint16_t>& signature_type_idxs) const { 768 return FindProtoId(return_type_idx, &signature_type_idxs[0], signature_type_idxs.size()); 769 } 770 771 // Given a signature place the type ids into the given vector, returns true on success 772 bool CreateTypeList(const StringPiece& signature, uint16_t* return_type_idx, 773 std::vector<uint16_t>* param_type_idxs) const; 774 775 // Create a Signature from the given string signature or return Signature::NoSignature if not 776 // possible. 777 const Signature CreateSignature(const StringPiece& signature) const; 778 779 // Returns the short form method descriptor for the given prototype. 780 const char* GetShorty(uint32_t proto_idx) const { 781 const ProtoId& proto_id = GetProtoId(proto_idx); 782 return StringDataByIdx(proto_id.shorty_idx_); 783 } 784 785 const TypeList* GetProtoParameters(const ProtoId& proto_id) const { 786 if (proto_id.parameters_off_ == 0) { 787 return nullptr; 788 } else { 789 const uint8_t* addr = begin_ + proto_id.parameters_off_; 790 return reinterpret_cast<const TypeList*>(addr); 791 } 792 } 793 794 const uint8_t* GetEncodedStaticFieldValuesArray(const ClassDef& class_def) const { 795 if (class_def.static_values_off_ == 0) { 796 return 0; 797 } else { 798 return begin_ + class_def.static_values_off_; 799 } 800 } 801 802 static const TryItem* GetTryItems(const CodeItem& code_item, uint32_t offset); 803 804 // Get the base of the encoded data for the given DexCode. 805 static const uint8_t* GetCatchHandlerData(const CodeItem& code_item, uint32_t offset) { 806 const uint8_t* handler_data = 807 reinterpret_cast<const uint8_t*>(GetTryItems(code_item, code_item.tries_size_)); 808 return handler_data + offset; 809 } 810 811 // Find which try region is associated with the given address (ie dex pc). Returns -1 if none. 812 static int32_t FindTryItem(const CodeItem &code_item, uint32_t address); 813 814 // Find the handler offset associated with the given address (ie dex pc). Returns -1 if none. 815 static int32_t FindCatchHandlerOffset(const CodeItem &code_item, uint32_t address); 816 817 // Get the pointer to the start of the debugging data 818 const uint8_t* GetDebugInfoStream(const CodeItem* code_item) const { 819 // Check that the offset is in bounds. 820 // Note that although the specification says that 0 should be used if there 821 // is no debug information, some applications incorrectly use 0xFFFFFFFF. 822 if (code_item->debug_info_off_ == 0 || code_item->debug_info_off_ >= size_) { 823 return nullptr; 824 } else { 825 return begin_ + code_item->debug_info_off_; 826 } 827 } 828 829 struct PositionInfo { 830 PositionInfo() 831 : address_(0), 832 line_(0), 833 source_file_(nullptr), 834 prologue_end_(false), 835 epilogue_begin_(false) { 836 } 837 838 uint32_t address_; // In 16-bit code units. 839 uint32_t line_; // Source code line number starting at 1. 840 const char* source_file_; // nullptr if the file from ClassDef still applies. 841 bool prologue_end_; 842 bool epilogue_begin_; 843 }; 844 845 // Callback for "new position table entry". 846 // Returning true causes the decoder to stop early. 847 typedef bool (*DexDebugNewPositionCb)(void* context, const PositionInfo& entry); 848 849 struct LocalInfo { 850 LocalInfo() 851 : name_(nullptr), 852 descriptor_(nullptr), 853 signature_(nullptr), 854 start_address_(0), 855 end_address_(0), 856 reg_(0), 857 is_live_(false) { 858 } 859 860 const char* name_; // E.g., list. It can be nullptr if unknown. 861 const char* descriptor_; // E.g., Ljava/util/LinkedList; 862 const char* signature_; // E.g., java.util.LinkedList<java.lang.Integer> 863 uint32_t start_address_; // PC location where the local is first defined. 864 uint32_t end_address_; // PC location where the local is no longer defined. 865 uint16_t reg_; // Dex register which stores the values. 866 bool is_live_; // Is the local defined and live. 867 }; 868 869 // Callback for "new locals table entry". 870 typedef void (*DexDebugNewLocalCb)(void* context, const LocalInfo& entry); 871 872 static bool LineNumForPcCb(void* context, const PositionInfo& entry); 873 874 const AnnotationsDirectoryItem* GetAnnotationsDirectory(const ClassDef& class_def) const { 875 if (class_def.annotations_off_ == 0) { 876 return nullptr; 877 } else { 878 return reinterpret_cast<const AnnotationsDirectoryItem*>(begin_ + class_def.annotations_off_); 879 } 880 } 881 882 const AnnotationSetItem* GetClassAnnotationSet(const AnnotationsDirectoryItem* anno_dir) const { 883 if (anno_dir->class_annotations_off_ == 0) { 884 return nullptr; 885 } else { 886 return reinterpret_cast<const AnnotationSetItem*>(begin_ + anno_dir->class_annotations_off_); 887 } 888 } 889 890 const FieldAnnotationsItem* GetFieldAnnotations(const AnnotationsDirectoryItem* anno_dir) const { 891 if (anno_dir->fields_size_ == 0) { 892 return nullptr; 893 } else { 894 return reinterpret_cast<const FieldAnnotationsItem*>(&anno_dir[1]); 895 } 896 } 897 898 const MethodAnnotationsItem* GetMethodAnnotations(const AnnotationsDirectoryItem* anno_dir) 899 const { 900 if (anno_dir->methods_size_ == 0) { 901 return nullptr; 902 } else { 903 // Skip past the header and field annotations. 904 const uint8_t* addr = reinterpret_cast<const uint8_t*>(&anno_dir[1]); 905 addr += anno_dir->fields_size_ * sizeof(FieldAnnotationsItem); 906 return reinterpret_cast<const MethodAnnotationsItem*>(addr); 907 } 908 } 909 910 const ParameterAnnotationsItem* GetParameterAnnotations(const AnnotationsDirectoryItem* anno_dir) 911 const { 912 if (anno_dir->parameters_size_ == 0) { 913 return nullptr; 914 } else { 915 // Skip past the header, field annotations, and method annotations. 916 const uint8_t* addr = reinterpret_cast<const uint8_t*>(&anno_dir[1]); 917 addr += anno_dir->fields_size_ * sizeof(FieldAnnotationsItem); 918 addr += anno_dir->methods_size_ * sizeof(MethodAnnotationsItem); 919 return reinterpret_cast<const ParameterAnnotationsItem*>(addr); 920 } 921 } 922 923 const AnnotationSetItem* GetFieldAnnotationSetItem(const FieldAnnotationsItem& anno_item) const { 924 uint32_t offset = anno_item.annotations_off_; 925 if (offset == 0) { 926 return nullptr; 927 } else { 928 return reinterpret_cast<const AnnotationSetItem*>(begin_ + offset); 929 } 930 } 931 932 const AnnotationSetItem* GetMethodAnnotationSetItem(const MethodAnnotationsItem& anno_item) 933 const { 934 uint32_t offset = anno_item.annotations_off_; 935 if (offset == 0) { 936 return nullptr; 937 } else { 938 return reinterpret_cast<const AnnotationSetItem*>(begin_ + offset); 939 } 940 } 941 942 const AnnotationSetRefList* GetParameterAnnotationSetRefList( 943 const ParameterAnnotationsItem* anno_item) const { 944 uint32_t offset = anno_item->annotations_off_; 945 if (offset == 0) { 946 return nullptr; 947 } 948 return reinterpret_cast<const AnnotationSetRefList*>(begin_ + offset); 949 } 950 951 const AnnotationItem* GetAnnotationItem(const AnnotationSetItem* set_item, uint32_t index) const { 952 DCHECK_LE(index, set_item->size_); 953 uint32_t offset = set_item->entries_[index]; 954 if (offset == 0) { 955 return nullptr; 956 } else { 957 return reinterpret_cast<const AnnotationItem*>(begin_ + offset); 958 } 959 } 960 961 const AnnotationSetItem* GetSetRefItemItem(const AnnotationSetRefItem* anno_item) const { 962 uint32_t offset = anno_item->annotations_off_; 963 if (offset == 0) { 964 return nullptr; 965 } 966 return reinterpret_cast<const AnnotationSetItem*>(begin_ + offset); 967 } 968 969 const AnnotationSetItem* FindAnnotationSetForField(ArtField* field) const 970 SHARED_REQUIRES(Locks::mutator_lock_); 971 mirror::Object* GetAnnotationForField(ArtField* field, Handle<mirror::Class> annotation_class) 972 const SHARED_REQUIRES(Locks::mutator_lock_); 973 mirror::ObjectArray<mirror::Object>* GetAnnotationsForField(ArtField* field) const 974 SHARED_REQUIRES(Locks::mutator_lock_); 975 mirror::ObjectArray<mirror::String>* GetSignatureAnnotationForField(ArtField* field) const 976 SHARED_REQUIRES(Locks::mutator_lock_); 977 bool IsFieldAnnotationPresent(ArtField* field, Handle<mirror::Class> annotation_class) const 978 SHARED_REQUIRES(Locks::mutator_lock_); 979 980 const AnnotationSetItem* FindAnnotationSetForMethod(ArtMethod* method) const 981 SHARED_REQUIRES(Locks::mutator_lock_); 982 const ParameterAnnotationsItem* FindAnnotationsItemForMethod(ArtMethod* method) const 983 SHARED_REQUIRES(Locks::mutator_lock_); 984 mirror::Object* GetAnnotationDefaultValue(ArtMethod* method) const 985 SHARED_REQUIRES(Locks::mutator_lock_); 986 mirror::Object* GetAnnotationForMethod(ArtMethod* method, Handle<mirror::Class> annotation_class) 987 const SHARED_REQUIRES(Locks::mutator_lock_); 988 mirror::ObjectArray<mirror::Object>* GetAnnotationsForMethod(ArtMethod* method) const 989 SHARED_REQUIRES(Locks::mutator_lock_); 990 mirror::ObjectArray<mirror::Class>* GetExceptionTypesForMethod(ArtMethod* method) const 991 SHARED_REQUIRES(Locks::mutator_lock_); 992 mirror::ObjectArray<mirror::Object>* GetParameterAnnotations(ArtMethod* method) const 993 SHARED_REQUIRES(Locks::mutator_lock_); 994 bool IsMethodAnnotationPresent(ArtMethod* method, Handle<mirror::Class> annotation_class) const 995 SHARED_REQUIRES(Locks::mutator_lock_); 996 997 const AnnotationSetItem* FindAnnotationSetForClass(Handle<mirror::Class> klass) const 998 SHARED_REQUIRES(Locks::mutator_lock_); 999 mirror::Object* GetAnnotationForClass(Handle<mirror::Class> klass, 1000 Handle<mirror::Class> annotation_class) const 1001 SHARED_REQUIRES(Locks::mutator_lock_); 1002 mirror::ObjectArray<mirror::Object>* GetAnnotationsForClass(Handle<mirror::Class> klass) const 1003 SHARED_REQUIRES(Locks::mutator_lock_); 1004 mirror::ObjectArray<mirror::Class>* GetDeclaredClasses(Handle<mirror::Class> klass) const 1005 SHARED_REQUIRES(Locks::mutator_lock_); 1006 mirror::Class* GetDeclaringClass(Handle<mirror::Class> klass) const 1007 SHARED_REQUIRES(Locks::mutator_lock_); 1008 mirror::Class* GetEnclosingClass(Handle<mirror::Class> klass) const 1009 SHARED_REQUIRES(Locks::mutator_lock_); 1010 mirror::Object* GetEnclosingMethod(Handle<mirror::Class> klass) const 1011 SHARED_REQUIRES(Locks::mutator_lock_); 1012 bool GetInnerClass(Handle<mirror::Class> klass, mirror::String** name) const 1013 SHARED_REQUIRES(Locks::mutator_lock_); 1014 bool GetInnerClassFlags(Handle<mirror::Class> klass, uint32_t* flags) const 1015 SHARED_REQUIRES(Locks::mutator_lock_); 1016 bool IsClassAnnotationPresent(Handle<mirror::Class> klass, Handle<mirror::Class> annotation_class) 1017 const SHARED_REQUIRES(Locks::mutator_lock_); 1018 1019 mirror::Object* CreateAnnotationMember(Handle<mirror::Class> klass, 1020 Handle<mirror::Class> annotation_class, 1021 const uint8_t** annotation) const 1022 SHARED_REQUIRES(Locks::mutator_lock_); 1023 const AnnotationItem* GetAnnotationItemFromAnnotationSet(Handle<mirror::Class> klass, 1024 const AnnotationSetItem* annotation_set, 1025 uint32_t visibility, 1026 Handle<mirror::Class> annotation_class) 1027 const SHARED_REQUIRES(Locks::mutator_lock_); 1028 mirror::Object* GetAnnotationObjectFromAnnotationSet(Handle<mirror::Class> klass, 1029 const AnnotationSetItem* annotation_set, 1030 uint32_t visibility, 1031 Handle<mirror::Class> annotation_class) const 1032 SHARED_REQUIRES(Locks::mutator_lock_); 1033 mirror::Object* GetAnnotationValue(Handle<mirror::Class> klass, 1034 const AnnotationItem* annotation_item, 1035 const char* annotation_name, 1036 Handle<mirror::Class> array_class, 1037 uint32_t expected_type) const 1038 SHARED_REQUIRES(Locks::mutator_lock_); 1039 mirror::ObjectArray<mirror::String>* GetSignatureValue(Handle<mirror::Class> klass, 1040 const AnnotationSetItem* annotation_set) 1041 const SHARED_REQUIRES(Locks::mutator_lock_); 1042 mirror::ObjectArray<mirror::Class>* GetThrowsValue(Handle<mirror::Class> klass, 1043 const AnnotationSetItem* annotation_set) const 1044 SHARED_REQUIRES(Locks::mutator_lock_); 1045 mirror::ObjectArray<mirror::Object>* ProcessAnnotationSet(Handle<mirror::Class> klass, 1046 const AnnotationSetItem* annotation_set, 1047 uint32_t visibility) const 1048 SHARED_REQUIRES(Locks::mutator_lock_); 1049 mirror::ObjectArray<mirror::Object>* ProcessAnnotationSetRefList(Handle<mirror::Class> klass, 1050 const AnnotationSetRefList* set_ref_list, uint32_t size) const 1051 SHARED_REQUIRES(Locks::mutator_lock_); 1052 bool ProcessAnnotationValue(Handle<mirror::Class> klass, const uint8_t** annotation_ptr, 1053 AnnotationValue* annotation_value, Handle<mirror::Class> return_class, 1054 DexFile::AnnotationResultStyle result_style) const 1055 SHARED_REQUIRES(Locks::mutator_lock_); 1056 mirror::Object* ProcessEncodedAnnotation(Handle<mirror::Class> klass, 1057 const uint8_t** annotation) const 1058 SHARED_REQUIRES(Locks::mutator_lock_); 1059 const AnnotationItem* SearchAnnotationSet(const AnnotationSetItem* annotation_set, 1060 const char* descriptor, uint32_t visibility) const 1061 SHARED_REQUIRES(Locks::mutator_lock_); 1062 const uint8_t* SearchEncodedAnnotation(const uint8_t* annotation, const char* name) const 1063 SHARED_REQUIRES(Locks::mutator_lock_); 1064 bool SkipAnnotationValue(const uint8_t** annotation_ptr) const 1065 SHARED_REQUIRES(Locks::mutator_lock_); 1066 1067 // Debug info opcodes and constants 1068 enum { 1069 DBG_END_SEQUENCE = 0x00, 1070 DBG_ADVANCE_PC = 0x01, 1071 DBG_ADVANCE_LINE = 0x02, 1072 DBG_START_LOCAL = 0x03, 1073 DBG_START_LOCAL_EXTENDED = 0x04, 1074 DBG_END_LOCAL = 0x05, 1075 DBG_RESTART_LOCAL = 0x06, 1076 DBG_SET_PROLOGUE_END = 0x07, 1077 DBG_SET_EPILOGUE_BEGIN = 0x08, 1078 DBG_SET_FILE = 0x09, 1079 DBG_FIRST_SPECIAL = 0x0a, 1080 DBG_LINE_BASE = -4, 1081 DBG_LINE_RANGE = 15, 1082 }; 1083 1084 struct LineNumFromPcContext { 1085 LineNumFromPcContext(uint32_t address, uint32_t line_num) 1086 : address_(address), line_num_(line_num) {} 1087 uint32_t address_; 1088 uint32_t line_num_; 1089 private: 1090 DISALLOW_COPY_AND_ASSIGN(LineNumFromPcContext); 1091 }; 1092 1093 // Determine the source file line number based on the program counter. 1094 // "pc" is an offset, in 16-bit units, from the start of the method's code. 1095 // 1096 // Returns -1 if no match was found (possibly because the source files were 1097 // compiled without "-g", so no line number information is present). 1098 // Returns -2 for native methods (as expected in exception traces). 1099 // 1100 // This is used by runtime; therefore use art::Method not art::DexFile::Method. 1101 int32_t GetLineNumFromPC(ArtMethod* method, uint32_t rel_pc) const 1102 SHARED_REQUIRES(Locks::mutator_lock_); 1103 1104 // Returns false if there is no debugging information or if it cannot be decoded. 1105 bool DecodeDebugLocalInfo(const CodeItem* code_item, bool is_static, uint32_t method_idx, 1106 DexDebugNewLocalCb local_cb, void* context) const; 1107 1108 // Returns false if there is no debugging information or if it cannot be decoded. 1109 bool DecodeDebugPositionInfo(const CodeItem* code_item, DexDebugNewPositionCb position_cb, 1110 void* context) const; 1111 1112 const char* GetSourceFile(const ClassDef& class_def) const { 1113 if (class_def.source_file_idx_ == 0xffffffff) { 1114 return nullptr; 1115 } else { 1116 return StringDataByIdx(class_def.source_file_idx_); 1117 } 1118 } 1119 1120 int GetPermissions() const; 1121 1122 bool IsReadOnly() const; 1123 1124 bool EnableWrite() const; 1125 1126 bool DisableWrite() const; 1127 1128 const uint8_t* Begin() const { 1129 return begin_; 1130 } 1131 1132 size_t Size() const { 1133 return size_; 1134 } 1135 1136 // Return the name of the index-th classes.dex in a multidex zip file. This is classes.dex for 1137 // index == 0, and classes{index + 1}.dex else. 1138 static std::string GetMultiDexClassesDexName(size_t index); 1139 1140 // Return the (possibly synthetic) dex location for a multidex entry. This is dex_location for 1141 // index == 0, and dex_location + multi-dex-separator + GetMultiDexClassesDexName(index) else. 1142 static std::string GetMultiDexLocation(size_t index, const char* dex_location); 1143 1144 // Returns the canonical form of the given dex location. 1145 // 1146 // There are different flavors of "dex locations" as follows: 1147 // the file name of a dex file: 1148 // The actual file path that the dex file has on disk. 1149 // dex_location: 1150 // This acts as a key for the class linker to know which dex file to load. 1151 // It may correspond to either an old odex file or a particular dex file 1152 // inside an oat file. In the first case it will also match the file name 1153 // of the dex file. In the second case (oat) it will include the file name 1154 // and possibly some multidex annotation to uniquely identify it. 1155 // canonical_dex_location: 1156 // the dex_location where it's file name part has been made canonical. 1157 static std::string GetDexCanonicalLocation(const char* dex_location); 1158 1159 const OatDexFile* GetOatDexFile() const { 1160 return oat_dex_file_; 1161 } 1162 1163 TypeLookupTable* GetTypeLookupTable() const { 1164 return lookup_table_.get(); 1165 } 1166 1167 void CreateTypeLookupTable(uint8_t* storage = nullptr) const; 1168 1169 private: 1170 // Opens a .dex file 1171 static std::unique_ptr<const DexFile> OpenFile(int fd, const char* location, 1172 bool verify, std::string* error_msg); 1173 1174 // Opens dex files from within a .jar, .zip, or .apk file 1175 static bool OpenZip(int fd, const std::string& location, std::string* error_msg, 1176 std::vector<std::unique_ptr<const DexFile>>* dex_files); 1177 1178 enum class ZipOpenErrorCode { // private 1179 kNoError, 1180 kEntryNotFound, 1181 kExtractToMemoryError, 1182 kDexFileError, 1183 kMakeReadOnlyError, 1184 kVerifyError 1185 }; 1186 1187 // Opens .dex file from the entry_name in a zip archive. error_code is undefined when non-null 1188 // return. 1189 static std::unique_ptr<const DexFile> Open(const ZipArchive& zip_archive, const char* entry_name, 1190 const std::string& location, std::string* error_msg, 1191 ZipOpenErrorCode* error_code); 1192 1193 // Opens a .dex file at the given address backed by a MemMap 1194 static std::unique_ptr<const DexFile> OpenMemory(const std::string& location, 1195 uint32_t location_checksum, 1196 MemMap* mem_map, 1197 std::string* error_msg); 1198 1199 // Opens a .dex file at the given address, optionally backed by a MemMap 1200 static std::unique_ptr<const DexFile> OpenMemory(const uint8_t* dex_file, 1201 size_t size, 1202 const std::string& location, 1203 uint32_t location_checksum, 1204 MemMap* mem_map, 1205 const OatDexFile* oat_dex_file, 1206 std::string* error_msg); 1207 1208 DexFile(const uint8_t* base, size_t size, 1209 const std::string& location, 1210 uint32_t location_checksum, 1211 MemMap* mem_map, 1212 const OatDexFile* oat_dex_file); 1213 1214 // Top-level initializer that calls other Init methods. 1215 bool Init(std::string* error_msg); 1216 1217 // Returns true if the header magic and version numbers are of the expected values. 1218 bool CheckMagicAndVersion(std::string* error_msg) const; 1219 1220 // Check whether a location denotes a multidex dex file. This is a very simple check: returns 1221 // whether the string contains the separator character. 1222 static bool IsMultiDexLocation(const char* location); 1223 1224 1225 // The base address of the memory mapping. 1226 const uint8_t* const begin_; 1227 1228 // The size of the underlying memory allocation in bytes. 1229 const size_t size_; 1230 1231 // Typically the dex file name when available, alternatively some identifying string. 1232 // 1233 // The ClassLinker will use this to match DexFiles the boot class 1234 // path to DexCache::GetLocation when loading from an image. 1235 const std::string location_; 1236 1237 const uint32_t location_checksum_; 1238 1239 // Manages the underlying memory allocation. 1240 std::unique_ptr<MemMap> mem_map_; 1241 1242 // Points to the header section. 1243 const Header* const header_; 1244 1245 // Points to the base of the string identifier list. 1246 const StringId* const string_ids_; 1247 1248 // Points to the base of the type identifier list. 1249 const TypeId* const type_ids_; 1250 1251 // Points to the base of the field identifier list. 1252 const FieldId* const field_ids_; 1253 1254 // Points to the base of the method identifier list. 1255 const MethodId* const method_ids_; 1256 1257 // Points to the base of the prototype identifier list. 1258 const ProtoId* const proto_ids_; 1259 1260 // Points to the base of the class definition list. 1261 const ClassDef* const class_defs_; 1262 1263 // If this dex file was loaded from an oat file, oat_dex_file_ contains a 1264 // pointer to the OatDexFile it was loaded from. Otherwise oat_dex_file_ is 1265 // null. 1266 const OatDexFile* oat_dex_file_; 1267 mutable std::unique_ptr<TypeLookupTable> lookup_table_; 1268 1269 friend class DexFileVerifierTest; 1270 ART_FRIEND_TEST(ClassLinkerTest, RegisterDexFileName); // for constructor 1271}; 1272 1273struct DexFileReference { 1274 DexFileReference(const DexFile* file, uint32_t idx) : dex_file(file), index(idx) { } 1275 const DexFile* dex_file; 1276 uint32_t index; 1277}; 1278 1279std::ostream& operator<<(std::ostream& os, const DexFile& dex_file); 1280 1281// Iterate over a dex file's ProtoId's paramters 1282class DexFileParameterIterator { 1283 public: 1284 DexFileParameterIterator(const DexFile& dex_file, const DexFile::ProtoId& proto_id) 1285 : dex_file_(dex_file), size_(0), pos_(0) { 1286 type_list_ = dex_file_.GetProtoParameters(proto_id); 1287 if (type_list_ != nullptr) { 1288 size_ = type_list_->Size(); 1289 } 1290 } 1291 bool HasNext() const { return pos_ < size_; } 1292 size_t Size() const { return size_; } 1293 void Next() { ++pos_; } 1294 uint16_t GetTypeIdx() { 1295 return type_list_->GetTypeItem(pos_).type_idx_; 1296 } 1297 const char* GetDescriptor() { 1298 return dex_file_.StringByTypeIdx(GetTypeIdx()); 1299 } 1300 private: 1301 const DexFile& dex_file_; 1302 const DexFile::TypeList* type_list_; 1303 uint32_t size_; 1304 uint32_t pos_; 1305 DISALLOW_IMPLICIT_CONSTRUCTORS(DexFileParameterIterator); 1306}; 1307 1308// Abstract the signature of a method. 1309class Signature : public ValueObject { 1310 public: 1311 std::string ToString() const; 1312 1313 static Signature NoSignature() { 1314 return Signature(); 1315 } 1316 1317 bool operator==(const Signature& rhs) const; 1318 bool operator!=(const Signature& rhs) const { 1319 return !(*this == rhs); 1320 } 1321 1322 bool operator==(const StringPiece& rhs) const; 1323 1324 private: 1325 Signature(const DexFile* dex, const DexFile::ProtoId& proto) : dex_file_(dex), proto_id_(&proto) { 1326 } 1327 1328 Signature() : dex_file_(nullptr), proto_id_(nullptr) { 1329 } 1330 1331 friend class DexFile; 1332 1333 const DexFile* const dex_file_; 1334 const DexFile::ProtoId* const proto_id_; 1335}; 1336std::ostream& operator<<(std::ostream& os, const Signature& sig); 1337 1338// Iterate and decode class_data_item 1339class ClassDataItemIterator { 1340 public: 1341 ClassDataItemIterator(const DexFile& dex_file, const uint8_t* raw_class_data_item) 1342 : dex_file_(dex_file), pos_(0), ptr_pos_(raw_class_data_item), last_idx_(0) { 1343 ReadClassDataHeader(); 1344 if (EndOfInstanceFieldsPos() > 0) { 1345 ReadClassDataField(); 1346 } else if (EndOfVirtualMethodsPos() > 0) { 1347 ReadClassDataMethod(); 1348 } 1349 } 1350 uint32_t NumStaticFields() const { 1351 return header_.static_fields_size_; 1352 } 1353 uint32_t NumInstanceFields() const { 1354 return header_.instance_fields_size_; 1355 } 1356 uint32_t NumDirectMethods() const { 1357 return header_.direct_methods_size_; 1358 } 1359 uint32_t NumVirtualMethods() const { 1360 return header_.virtual_methods_size_; 1361 } 1362 bool HasNextStaticField() const { 1363 return pos_ < EndOfStaticFieldsPos(); 1364 } 1365 bool HasNextInstanceField() const { 1366 return pos_ >= EndOfStaticFieldsPos() && pos_ < EndOfInstanceFieldsPos(); 1367 } 1368 bool HasNextDirectMethod() const { 1369 return pos_ >= EndOfInstanceFieldsPos() && pos_ < EndOfDirectMethodsPos(); 1370 } 1371 bool HasNextVirtualMethod() const { 1372 return pos_ >= EndOfDirectMethodsPos() && pos_ < EndOfVirtualMethodsPos(); 1373 } 1374 bool HasNext() const { 1375 return pos_ < EndOfVirtualMethodsPos(); 1376 } 1377 inline void Next() { 1378 pos_++; 1379 if (pos_ < EndOfStaticFieldsPos()) { 1380 last_idx_ = GetMemberIndex(); 1381 ReadClassDataField(); 1382 } else if (pos_ == EndOfStaticFieldsPos() && NumInstanceFields() > 0) { 1383 last_idx_ = 0; // transition to next array, reset last index 1384 ReadClassDataField(); 1385 } else if (pos_ < EndOfInstanceFieldsPos()) { 1386 last_idx_ = GetMemberIndex(); 1387 ReadClassDataField(); 1388 } else if (pos_ == EndOfInstanceFieldsPos() && NumDirectMethods() > 0) { 1389 last_idx_ = 0; // transition to next array, reset last index 1390 ReadClassDataMethod(); 1391 } else if (pos_ < EndOfDirectMethodsPos()) { 1392 last_idx_ = GetMemberIndex(); 1393 ReadClassDataMethod(); 1394 } else if (pos_ == EndOfDirectMethodsPos() && NumVirtualMethods() > 0) { 1395 last_idx_ = 0; // transition to next array, reset last index 1396 ReadClassDataMethod(); 1397 } else if (pos_ < EndOfVirtualMethodsPos()) { 1398 last_idx_ = GetMemberIndex(); 1399 ReadClassDataMethod(); 1400 } else { 1401 DCHECK(!HasNext()); 1402 } 1403 } 1404 uint32_t GetMemberIndex() const { 1405 if (pos_ < EndOfInstanceFieldsPos()) { 1406 return last_idx_ + field_.field_idx_delta_; 1407 } else { 1408 DCHECK_LT(pos_, EndOfVirtualMethodsPos()); 1409 return last_idx_ + method_.method_idx_delta_; 1410 } 1411 } 1412 uint32_t GetRawMemberAccessFlags() const { 1413 if (pos_ < EndOfInstanceFieldsPos()) { 1414 return field_.access_flags_; 1415 } else { 1416 DCHECK_LT(pos_, EndOfVirtualMethodsPos()); 1417 return method_.access_flags_; 1418 } 1419 } 1420 uint32_t GetFieldAccessFlags() const { 1421 return GetRawMemberAccessFlags() & kAccValidFieldFlags; 1422 } 1423 uint32_t GetMethodAccessFlags() const { 1424 return GetRawMemberAccessFlags() & kAccValidMethodFlags; 1425 } 1426 bool MemberIsNative() const { 1427 return GetRawMemberAccessFlags() & kAccNative; 1428 } 1429 bool MemberIsFinal() const { 1430 return GetRawMemberAccessFlags() & kAccFinal; 1431 } 1432 InvokeType GetMethodInvokeType(const DexFile::ClassDef& class_def) const { 1433 if (HasNextDirectMethod()) { 1434 if ((GetRawMemberAccessFlags() & kAccStatic) != 0) { 1435 return kStatic; 1436 } else { 1437 return kDirect; 1438 } 1439 } else { 1440 DCHECK_EQ(GetRawMemberAccessFlags() & kAccStatic, 0U); 1441 if ((class_def.access_flags_ & kAccInterface) != 0) { 1442 return kInterface; 1443 } else if ((GetRawMemberAccessFlags() & kAccConstructor) != 0) { 1444 return kSuper; 1445 } else { 1446 return kVirtual; 1447 } 1448 } 1449 } 1450 const DexFile::CodeItem* GetMethodCodeItem() const { 1451 return dex_file_.GetCodeItem(method_.code_off_); 1452 } 1453 uint32_t GetMethodCodeItemOffset() const { 1454 return method_.code_off_; 1455 } 1456 const uint8_t* DataPointer() const { 1457 return ptr_pos_; 1458 } 1459 const uint8_t* EndDataPointer() const { 1460 CHECK(!HasNext()); 1461 return ptr_pos_; 1462 } 1463 1464 private: 1465 // A dex file's class_data_item is leb128 encoded, this structure holds a decoded form of the 1466 // header for a class_data_item 1467 struct ClassDataHeader { 1468 uint32_t static_fields_size_; // the number of static fields 1469 uint32_t instance_fields_size_; // the number of instance fields 1470 uint32_t direct_methods_size_; // the number of direct methods 1471 uint32_t virtual_methods_size_; // the number of virtual methods 1472 } header_; 1473 1474 // Read and decode header from a class_data_item stream into header 1475 void ReadClassDataHeader(); 1476 1477 uint32_t EndOfStaticFieldsPos() const { 1478 return header_.static_fields_size_; 1479 } 1480 uint32_t EndOfInstanceFieldsPos() const { 1481 return EndOfStaticFieldsPos() + header_.instance_fields_size_; 1482 } 1483 uint32_t EndOfDirectMethodsPos() const { 1484 return EndOfInstanceFieldsPos() + header_.direct_methods_size_; 1485 } 1486 uint32_t EndOfVirtualMethodsPos() const { 1487 return EndOfDirectMethodsPos() + header_.virtual_methods_size_; 1488 } 1489 1490 // A decoded version of the field of a class_data_item 1491 struct ClassDataField { 1492 uint32_t field_idx_delta_; // delta of index into the field_ids array for FieldId 1493 uint32_t access_flags_; // access flags for the field 1494 ClassDataField() : field_idx_delta_(0), access_flags_(0) {} 1495 1496 private: 1497 DISALLOW_COPY_AND_ASSIGN(ClassDataField); 1498 }; 1499 ClassDataField field_; 1500 1501 // Read and decode a field from a class_data_item stream into field 1502 void ReadClassDataField(); 1503 1504 // A decoded version of the method of a class_data_item 1505 struct ClassDataMethod { 1506 uint32_t method_idx_delta_; // delta of index into the method_ids array for MethodId 1507 uint32_t access_flags_; 1508 uint32_t code_off_; 1509 ClassDataMethod() : method_idx_delta_(0), access_flags_(0), code_off_(0) {} 1510 1511 private: 1512 DISALLOW_COPY_AND_ASSIGN(ClassDataMethod); 1513 }; 1514 ClassDataMethod method_; 1515 1516 // Read and decode a method from a class_data_item stream into method 1517 void ReadClassDataMethod(); 1518 1519 const DexFile& dex_file_; 1520 size_t pos_; // integral number of items passed 1521 const uint8_t* ptr_pos_; // pointer into stream of class_data_item 1522 uint32_t last_idx_; // last read field or method index to apply delta to 1523 DISALLOW_IMPLICIT_CONSTRUCTORS(ClassDataItemIterator); 1524}; 1525 1526class EncodedStaticFieldValueIterator { 1527 public: 1528 // A constructor for static tools. You cannot call 1529 // ReadValueToField() for an object created by this. 1530 EncodedStaticFieldValueIterator(const DexFile& dex_file, 1531 const DexFile::ClassDef& class_def); 1532 1533 // A constructor meant to be called from runtime code. 1534 EncodedStaticFieldValueIterator(const DexFile& dex_file, 1535 Handle<mirror::DexCache>* dex_cache, 1536 Handle<mirror::ClassLoader>* class_loader, 1537 ClassLinker* linker, 1538 const DexFile::ClassDef& class_def) 1539 SHARED_REQUIRES(Locks::mutator_lock_); 1540 1541 template<bool kTransactionActive> 1542 void ReadValueToField(ArtField* field) const SHARED_REQUIRES(Locks::mutator_lock_); 1543 1544 bool HasNext() const { return pos_ < array_size_; } 1545 1546 void Next(); 1547 1548 enum ValueType { 1549 kByte = 0x00, 1550 kShort = 0x02, 1551 kChar = 0x03, 1552 kInt = 0x04, 1553 kLong = 0x06, 1554 kFloat = 0x10, 1555 kDouble = 0x11, 1556 kString = 0x17, 1557 kType = 0x18, 1558 kField = 0x19, 1559 kMethod = 0x1a, 1560 kEnum = 0x1b, 1561 kArray = 0x1c, 1562 kAnnotation = 0x1d, 1563 kNull = 0x1e, 1564 kBoolean = 0x1f 1565 }; 1566 1567 ValueType GetValueType() const { return type_; } 1568 const jvalue& GetJavaValue() const { return jval_; } 1569 1570 private: 1571 EncodedStaticFieldValueIterator(const DexFile& dex_file, 1572 Handle<mirror::DexCache>* dex_cache, 1573 Handle<mirror::ClassLoader>* class_loader, 1574 ClassLinker* linker, 1575 const DexFile::ClassDef& class_def, 1576 size_t pos, 1577 ValueType type); 1578 1579 static constexpr uint8_t kEncodedValueTypeMask = 0x1f; // 0b11111 1580 static constexpr uint8_t kEncodedValueArgShift = 5; 1581 1582 const DexFile& dex_file_; 1583 Handle<mirror::DexCache>* const dex_cache_; // Dex cache to resolve literal objects. 1584 Handle<mirror::ClassLoader>* const class_loader_; // ClassLoader to resolve types. 1585 ClassLinker* linker_; // Linker to resolve literal objects. 1586 size_t array_size_; // Size of array. 1587 size_t pos_; // Current position. 1588 const uint8_t* ptr_; // Pointer into encoded data array. 1589 ValueType type_; // Type of current encoded value. 1590 jvalue jval_; // Value of current encoded value. 1591 DISALLOW_IMPLICIT_CONSTRUCTORS(EncodedStaticFieldValueIterator); 1592}; 1593std::ostream& operator<<(std::ostream& os, const EncodedStaticFieldValueIterator::ValueType& code); 1594 1595class CatchHandlerIterator { 1596 public: 1597 CatchHandlerIterator(const DexFile::CodeItem& code_item, uint32_t address); 1598 1599 CatchHandlerIterator(const DexFile::CodeItem& code_item, 1600 const DexFile::TryItem& try_item); 1601 1602 explicit CatchHandlerIterator(const uint8_t* handler_data) { 1603 Init(handler_data); 1604 } 1605 1606 uint16_t GetHandlerTypeIndex() const { 1607 return handler_.type_idx_; 1608 } 1609 uint32_t GetHandlerAddress() const { 1610 return handler_.address_; 1611 } 1612 void Next(); 1613 bool HasNext() const { 1614 return remaining_count_ != -1 || catch_all_; 1615 } 1616 // End of this set of catch blocks, convenience method to locate next set of catch blocks 1617 const uint8_t* EndDataPointer() const { 1618 CHECK(!HasNext()); 1619 return current_data_; 1620 } 1621 1622 private: 1623 void Init(const DexFile::CodeItem& code_item, int32_t offset); 1624 void Init(const uint8_t* handler_data); 1625 1626 struct CatchHandlerItem { 1627 uint16_t type_idx_; // type index of the caught exception type 1628 uint32_t address_; // handler address 1629 } handler_; 1630 const uint8_t* current_data_; // the current handler in dex file. 1631 int32_t remaining_count_; // number of handlers not read. 1632 bool catch_all_; // is there a handler that will catch all exceptions in case 1633 // that all typed handler does not match. 1634}; 1635 1636} // namespace art 1637 1638#endif // ART_RUNTIME_DEX_FILE_H_ 1639