blob: 73190c92b121c491084bd3ec22be85e7dd7d712b [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"
Mathieu Chartier210531f2018-01-12 10:15:51 -080027#include "quicken_info.h"
David Brazdil7b49e6c2016-09-01 11:06:18 +010028
29namespace art {
30
David Sehrbeca4fe2017-03-30 17:50:24 -070031class DexFile;
32
David Brazdil7b49e6c2016-09-01 11:06:18 +010033// VDEX files contain extracted DEX files. The VdexFile class maps the file to
34// memory and provides tools for accessing its individual sections.
35//
36// File format:
37// VdexFile::Header fixed-length header
38//
Mathieu Chartier210531f2018-01-12 10:15:51 -080039// quicken_table_off[0] offset into QuickeningInfo section for offset table for DEX[0].
40// DEX[0] array of the input DEX files, the bytecode may have been quickened.
41// quicken_table_off[1]
42// DEX[1]
David Brazdil7b49e6c2016-09-01 11:06:18 +010043// ...
44// DEX[D]
Nicolas Geoffrayb4c6acb2017-11-10 12:48:14 +000045// VerifierDeps
46// uint8[D][] verification dependencies
Nicolas Geoffrayb02ba932017-07-13 15:53:54 +010047// QuickeningInfo
Nicolas Geoffrayb4c6acb2017-11-10 12:48:14 +000048// uint8[D][] quickening data
Mathieu Chartier210531f2018-01-12 10:15:51 -080049// uint32[D][] quickening data offset tables
David Brazdil7b49e6c2016-09-01 11:06:18 +010050
51class VdexFile {
52 public:
53 struct Header {
54 public:
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +000055 Header(uint32_t number_of_dex_files_,
56 uint32_t dex_size,
57 uint32_t verifier_deps_size,
58 uint32_t quickening_info_size);
David Brazdil7b49e6c2016-09-01 11:06:18 +010059
Nicolas Geoffraye70dd562016-10-30 21:03:35 +000060 const char* GetMagic() const { return reinterpret_cast<const char*>(magic_); }
61 const char* GetVersion() const { return reinterpret_cast<const char*>(version_); }
David Brazdil7b49e6c2016-09-01 11:06:18 +010062 bool IsMagicValid() const;
63 bool IsVersionValid() const;
Nicolas Geoffraye70dd562016-10-30 21:03:35 +000064 bool IsValid() const { return IsMagicValid() && IsVersionValid(); }
David Brazdil7b49e6c2016-09-01 11:06:18 +010065
David Brazdil5d5a36b2016-09-14 15:34:10 +010066 uint32_t GetDexSize() const { return dex_size_; }
67 uint32_t GetVerifierDepsSize() const { return verifier_deps_size_; }
Nicolas Geoffray4acefd32016-10-24 13:14:58 +010068 uint32_t GetQuickeningInfoSize() const { return quickening_info_size_; }
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +000069 uint32_t GetNumberOfDexFiles() const { return number_of_dex_files_; }
David Brazdil5d5a36b2016-09-14 15:34:10 +010070
David Brazdil93592f52017-12-08 10:53:27 +000071 size_t GetComputedFileSize() const {
72 return sizeof(Header) +
73 GetSizeOfChecksumsSection() +
74 GetDexSize() +
75 GetVerifierDepsSize() +
76 GetQuickeningInfoSize();
77 }
78
79 size_t GetSizeOfChecksumsSection() const {
80 return sizeof(VdexChecksum) * GetNumberOfDexFiles();
81 }
82
Nicolas Geoffray36930ec2017-05-09 13:23:34 +010083 static constexpr uint8_t kVdexInvalidMagic[] = { 'w', 'd', 'e', 'x' };
84
David Brazdil7b49e6c2016-09-01 11:06:18 +010085 private:
86 static constexpr uint8_t kVdexMagic[] = { 'v', 'd', 'e', 'x' };
Mathieu Chartier210531f2018-01-12 10:15:51 -080087 // Last update: Revert^2 compact quicken info tables that don't modify the dex code items.
88 static constexpr uint8_t kVdexVersion[] = { '0', '1', '3', '\0' };
David Brazdil7b49e6c2016-09-01 11:06:18 +010089
90 uint8_t magic_[4];
91 uint8_t version_[4];
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +000092 uint32_t number_of_dex_files_;
David Brazdil5d5a36b2016-09-14 15:34:10 +010093 uint32_t dex_size_;
94 uint32_t verifier_deps_size_;
Nicolas Geoffray4acefd32016-10-24 13:14:58 +010095 uint32_t quickening_info_size_;
Nicolas Geoffray4e868fa2017-04-21 17:16:44 +010096
97 friend class VdexFile;
David Brazdil7b49e6c2016-09-01 11:06:18 +010098 };
99
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +0000100 typedef uint32_t VdexChecksum;
Mathieu Chartier210531f2018-01-12 10:15:51 -0800101 using QuickeningTableOffsetType = uint32_t;
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +0000102
Anestis Bechtsoudisa1f56a82017-10-08 23:37:10 +0300103 explicit VdexFile(MemMap* mmap) : mmap_(mmap) {}
104
Richard Uhlerb8ab63a2017-01-31 11:27:37 +0000105 // Returns nullptr if the vdex file cannot be opened or is not valid.
David Srbeckyec2cdf42017-12-08 16:21:25 +0000106 // The mmap_* parameters can be left empty (nullptr/0/false) to allocate at random address.
107 static std::unique_ptr<VdexFile> OpenAtAddress(uint8_t* mmap_addr,
108 size_t mmap_size,
109 bool mmap_reuse,
110 const std::string& vdex_filename,
111 bool writable,
112 bool low_4gb,
113 bool unquicken,
114 std::string* error_msg);
115
116 // Returns nullptr if the vdex file cannot be opened or is not valid.
117 // The mmap_* parameters can be left empty (nullptr/0/false) to allocate at random address.
118 static std::unique_ptr<VdexFile> OpenAtAddress(uint8_t* mmap_addr,
119 size_t mmap_size,
120 bool mmap_reuse,
121 int file_fd,
122 size_t vdex_length,
123 const std::string& vdex_filename,
124 bool writable,
125 bool low_4gb,
126 bool unquicken,
127 std::string* error_msg);
128
129 // Returns nullptr if the vdex file cannot be opened or is not valid.
Richard Uhlerb8ab63a2017-01-31 11:27:37 +0000130 static std::unique_ptr<VdexFile> Open(const std::string& vdex_filename,
131 bool writable,
132 bool low_4gb,
Nicolas Geoffray4e868fa2017-04-21 17:16:44 +0100133 bool unquicken,
David Srbeckyec2cdf42017-12-08 16:21:25 +0000134 std::string* error_msg) {
135 return OpenAtAddress(nullptr,
136 0,
137 false,
138 vdex_filename,
139 writable,
140 low_4gb,
141 unquicken,
142 error_msg);
143 }
David Brazdil7b49e6c2016-09-01 11:06:18 +0100144
Richard Uhlerb8ab63a2017-01-31 11:27:37 +0000145 // Returns nullptr if the vdex file cannot be opened or is not valid.
146 static std::unique_ptr<VdexFile> Open(int file_fd,
147 size_t vdex_length,
148 const std::string& vdex_filename,
149 bool writable,
150 bool low_4gb,
Nicolas Geoffray4e868fa2017-04-21 17:16:44 +0100151 bool unquicken,
David Srbeckyec2cdf42017-12-08 16:21:25 +0000152 std::string* error_msg) {
153 return OpenAtAddress(nullptr,
154 0,
155 false,
156 file_fd,
157 vdex_length,
158 vdex_filename,
159 writable,
160 low_4gb,
161 unquicken,
162 error_msg);
163 }
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000164
David Brazdil7b49e6c2016-09-01 11:06:18 +0100165 const uint8_t* Begin() const { return mmap_->Begin(); }
166 const uint8_t* End() const { return mmap_->End(); }
167 size_t Size() const { return mmap_->Size(); }
168
Nicolas Geoffraye70dd562016-10-30 21:03:35 +0000169 const Header& GetHeader() const {
170 return *reinterpret_cast<const Header*>(Begin());
171 }
172
173 ArrayRef<const uint8_t> GetVerifierDepsData() const {
174 return ArrayRef<const uint8_t>(
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +0000175 DexBegin() + GetHeader().GetDexSize(), GetHeader().GetVerifierDepsSize());
Nicolas Geoffraye70dd562016-10-30 21:03:35 +0000176 }
177
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000178 ArrayRef<const uint8_t> GetQuickeningInfo() const {
179 return ArrayRef<const uint8_t>(
180 GetVerifierDepsData().data() + GetHeader().GetVerifierDepsSize(),
181 GetHeader().GetQuickeningInfoSize());
182 }
183
184 bool IsValid() const {
185 return mmap_->Size() >= sizeof(Header) && GetHeader().IsValid();
186 }
187
188 // This method is for iterating over the dex files in the vdex. If `cursor` is null,
189 // the first dex file is returned. If `cursor` is not null, it must point to a dex
190 // file and this method returns the next dex file if there is one, or null if there
191 // is none.
192 const uint8_t* GetNextDexFileData(const uint8_t* cursor) const;
193
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +0000194 // Get the location checksum of the dex file number `dex_file_index`.
195 uint32_t GetLocationChecksum(uint32_t dex_file_index) const {
196 DCHECK_LT(dex_file_index, GetHeader().GetNumberOfDexFiles());
197 return reinterpret_cast<const uint32_t*>(Begin() + sizeof(Header))[dex_file_index];
198 }
199
Nicolas Geoffrayb02ba932017-07-13 15:53:54 +0100200 // Open all the dex files contained in this vdex file.
David Sehrbeca4fe2017-03-30 17:50:24 -0700201 bool OpenAllDexFiles(std::vector<std::unique_ptr<const DexFile>>* dex_files,
202 std::string* error_msg);
203
Nicolas Geoffray4e868fa2017-04-21 17:16:44 +0100204 // In-place unquicken the given `dex_files` based on `quickening_info`.
Anestis Bechtsoudisa1f56a82017-10-08 23:37:10 +0300205 // `decompile_return_instruction` controls if RETURN_VOID_BARRIER instructions are
206 // decompiled to RETURN_VOID instructions using the slower ClassDataItemIterator
207 // instead of the faster QuickeningInfoIterator.
Mathieu Chartier210531f2018-01-12 10:15:51 -0800208 // Always unquickens using the vdex dex files as the source for quicken tables.
209 void Unquicken(const std::vector<const DexFile*>& target_dex_files,
210 bool decompile_return_instruction) const;
Nicolas Geoffray4e868fa2017-04-21 17:16:44 +0100211
Nicolas Geoffrayb4c6acb2017-11-10 12:48:14 +0000212 // Fully unquicken `target_dex_file` based on `quickening_info`.
Mathieu Chartier210531f2018-01-12 10:15:51 -0800213 void UnquickenDexFile(const DexFile& target_dex_file,
214 const DexFile& source_dex_file,
215 bool decompile_return_instruction) const;
Nicolas Geoffrayb02ba932017-07-13 15:53:54 +0100216
Mathieu Chartier210531f2018-01-12 10:15:51 -0800217 // Return the quickening info of a given method index (or null if it's empty).
218 ArrayRef<const uint8_t> GetQuickenedInfoOf(const DexFile& dex_file,
219 uint32_t dex_method_idx) const;
Nicolas Geoffrayb4c6acb2017-11-10 12:48:14 +0000220
David Brazdil7b49e6c2016-09-01 11:06:18 +0100221 private:
Mathieu Chartier210531f2018-01-12 10:15:51 -0800222 uint32_t GetQuickeningInfoTableOffset(const uint8_t* source_dex_begin) const;
223
224 // Source dex must be the in the vdex file.
225 void UnquickenDexFile(const DexFile& target_dex_file,
226 const uint8_t* source_dex_begin,
227 bool decompile_return_instruction) const;
228
229 QuickenInfoOffsetTableAccessor GetQuickenInfoOffsetTable(
230 const DexFile& dex_file,
231 const ArrayRef<const uint8_t>& quickening_info) const;
232
233 QuickenInfoOffsetTableAccessor GetQuickenInfoOffsetTable(
234 const uint8_t* source_dex_begin,
235 uint32_t num_method_ids,
236 const ArrayRef<const uint8_t>& quickening_info) const;
237
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000238 bool HasDexSection() const {
239 return GetHeader().GetDexSize() != 0;
240 }
241
Mathieu Chartier210531f2018-01-12 10:15:51 -0800242 bool ContainsDexFile(const DexFile& dex_file) const;
243
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000244 const uint8_t* DexBegin() const {
David Brazdil93592f52017-12-08 10:53:27 +0000245 return Begin() + sizeof(Header) + GetHeader().GetSizeOfChecksumsSection();
Nicolas Geoffrayb0bbe8e2016-11-19 10:42:37 +0000246 }
247
248 const uint8_t* DexEnd() const {
Nicolas Geoffrayf54e5df2016-12-01 10:45:08 +0000249 return DexBegin() + GetHeader().GetDexSize();
250 }
251
David Brazdil7b49e6c2016-09-01 11:06:18 +0100252 std::unique_ptr<MemMap> mmap_;
253
254 DISALLOW_COPY_AND_ASSIGN(VdexFile);
255};
256
257} // namespace art
258
259#endif // ART_RUNTIME_VDEX_FILE_H_