blob: 898d07d22cab0f4e0fdcbc8ec2fed59256116795 [file] [log] [blame]
David Brazdil7b49e6c2016-09-01 11:06:18 +01001/*
2 * Copyright (C) 2016 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_VDEX_FILE_H_
18#define ART_RUNTIME_VDEX_FILE_H_
19
20#include <stdint.h>
21#include <string>
22
Nicolas Geoffraye70dd562016-10-30 21:03:35 +000023#include "base/array_ref.h"
David Brazdil7b49e6c2016-09-01 11:06:18 +010024#include "base/macros.h"
David Brazdil7b49e6c2016-09-01 11:06:18 +010025#include "mem_map.h"
26#include "os.h"
27
28namespace art {
29
30// VDEX files contain extracted DEX files. The VdexFile class maps the file to
31// memory and provides tools for accessing its individual sections.
32//
33// File format:
34// VdexFile::Header fixed-length header
35//
36// DEX[0] array of the input DEX files
37// DEX[1] the bytecode may have been quickened
38// ...
39// DEX[D]
40//
41
42class VdexFile {
43 public:
44 struct Header {
45 public:
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +000046 Header(uint32_t number_of_dex_files_,
47 uint32_t dex_size,
48 uint32_t verifier_deps_size,
49 uint32_t quickening_info_size);
David Brazdil7b49e6c2016-09-01 11:06:18 +010050
Nicolas Geoffraye70dd562016-10-30 21:03:35 +000051 const char* GetMagic() const { return reinterpret_cast<const char*>(magic_); }
52 const char* GetVersion() const { return reinterpret_cast<const char*>(version_); }
David Brazdil7b49e6c2016-09-01 11:06:18 +010053 bool IsMagicValid() const;
54 bool IsVersionValid() const;
Nicolas Geoffraye70dd562016-10-30 21:03:35 +000055 bool IsValid() const { return IsMagicValid() && IsVersionValid(); }
David Brazdil7b49e6c2016-09-01 11:06:18 +010056
David Brazdil5d5a36b2016-09-14 15:34:10 +010057 uint32_t GetDexSize() const { return dex_size_; }
58 uint32_t GetVerifierDepsSize() const { return verifier_deps_size_; }
Nicolas Geoffray4acefd32016-10-24 13:14:58 +010059 uint32_t GetQuickeningInfoSize() const { return quickening_info_size_; }
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +000060 uint32_t GetNumberOfDexFiles() const { return number_of_dex_files_; }
David Brazdil5d5a36b2016-09-14 15:34:10 +010061
David Brazdil7b49e6c2016-09-01 11:06:18 +010062 private:
63 static constexpr uint8_t kVdexMagic[] = { 'v', 'd', 'e', 'x' };
Nicolas Geoffray6e54f782017-03-08 15:27:09 +000064 static constexpr uint8_t kVdexVersion[] = { '0', '0', '5', '\0' }; // access flags
David Brazdil7b49e6c2016-09-01 11:06:18 +010065
66 uint8_t magic_[4];
67 uint8_t version_[4];
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +000068 uint32_t number_of_dex_files_;
David Brazdil5d5a36b2016-09-14 15:34:10 +010069 uint32_t dex_size_;
70 uint32_t verifier_deps_size_;
Nicolas Geoffray4acefd32016-10-24 13:14:58 +010071 uint32_t quickening_info_size_;
David Brazdil7b49e6c2016-09-01 11:06:18 +010072 };
73
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +000074 typedef uint32_t VdexChecksum;
75
Richard Uhlerb8ab63a2017-01-31 11:27:37 +000076 // Returns nullptr if the vdex file cannot be opened or is not valid.
77 static std::unique_ptr<VdexFile> Open(const std::string& vdex_filename,
78 bool writable,
79 bool low_4gb,
80 std::string* error_msg);
David Brazdil7b49e6c2016-09-01 11:06:18 +010081
Richard Uhlerb8ab63a2017-01-31 11:27:37 +000082 // Returns nullptr if the vdex file cannot be opened or is not valid.
83 static std::unique_ptr<VdexFile> Open(int file_fd,
84 size_t vdex_length,
85 const std::string& vdex_filename,
86 bool writable,
87 bool low_4gb,
88 std::string* error_msg);
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +000089
David Brazdil7b49e6c2016-09-01 11:06:18 +010090 const uint8_t* Begin() const { return mmap_->Begin(); }
91 const uint8_t* End() const { return mmap_->End(); }
92 size_t Size() const { return mmap_->Size(); }
93
Nicolas Geoffraye70dd562016-10-30 21:03:35 +000094 const Header& GetHeader() const {
95 return *reinterpret_cast<const Header*>(Begin());
96 }
97
98 ArrayRef<const uint8_t> GetVerifierDepsData() const {
99 return ArrayRef<const uint8_t>(
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +0000100 DexBegin() + GetHeader().GetDexSize(), GetHeader().GetVerifierDepsSize());
Nicolas Geoffraye70dd562016-10-30 21:03:35 +0000101 }
102
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000103 ArrayRef<const uint8_t> GetQuickeningInfo() const {
104 return ArrayRef<const uint8_t>(
105 GetVerifierDepsData().data() + GetHeader().GetVerifierDepsSize(),
106 GetHeader().GetQuickeningInfoSize());
107 }
108
109 bool IsValid() const {
110 return mmap_->Size() >= sizeof(Header) && GetHeader().IsValid();
111 }
112
113 // This method is for iterating over the dex files in the vdex. If `cursor` is null,
114 // the first dex file is returned. If `cursor` is not null, it must point to a dex
115 // file and this method returns the next dex file if there is one, or null if there
116 // is none.
117 const uint8_t* GetNextDexFileData(const uint8_t* cursor) const;
118
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +0000119 // Get the location checksum of the dex file number `dex_file_index`.
120 uint32_t GetLocationChecksum(uint32_t dex_file_index) const {
121 DCHECK_LT(dex_file_index, GetHeader().GetNumberOfDexFiles());
122 return reinterpret_cast<const uint32_t*>(Begin() + sizeof(Header))[dex_file_index];
123 }
124
David Brazdil7b49e6c2016-09-01 11:06:18 +0100125 private:
Andreas Gampef7e82232016-09-12 15:55:56 -0700126 explicit VdexFile(MemMap* mmap) : mmap_(mmap) {}
David Brazdil7b49e6c2016-09-01 11:06:18 +0100127
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000128 bool HasDexSection() const {
129 return GetHeader().GetDexSize() != 0;
130 }
131
132 const uint8_t* DexBegin() const {
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +0000133 return Begin() + sizeof(Header) + GetSizeOfChecksumsSection();
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000134 }
135
136 const uint8_t* DexEnd() const {
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +0000137 return DexBegin() + GetHeader().GetDexSize();
138 }
139
140 size_t GetSizeOfChecksumsSection() const {
141 return sizeof(VdexChecksum) * GetHeader().GetNumberOfDexFiles();
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000142 }
143
David Brazdil7b49e6c2016-09-01 11:06:18 +0100144 std::unique_ptr<MemMap> mmap_;
145
146 DISALLOW_COPY_AND_ASSIGN(VdexFile);
147};
148
149} // namespace art
150
151#endif // ART_RUNTIME_VDEX_FILE_H_