1 /*
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 #include "vdex_file.h"
18
19 #include <sys/mman.h> // For the PROT_* and MAP_* constants.
20
21 #include <memory>
22
23 #include "base/bit_utils.h"
24 #include "base/logging.h"
25 #include "base/stl_util.h"
26 #include "base/unix_file/fd_file.h"
27 #include "dex_file.h"
28 #include "dex_to_dex_decompiler.h"
29
30 namespace art {
31
32 constexpr uint8_t VdexFile::Header::kVdexInvalidMagic[4];
33 constexpr uint8_t VdexFile::Header::kVdexMagic[4];
34 constexpr uint8_t VdexFile::Header::kVdexVersion[4];
35
IsMagicValid() const36 bool VdexFile::Header::IsMagicValid() const {
37 return (memcmp(magic_, kVdexMagic, sizeof(kVdexMagic)) == 0);
38 }
39
IsVersionValid() const40 bool VdexFile::Header::IsVersionValid() const {
41 return (memcmp(version_, kVdexVersion, sizeof(kVdexVersion)) == 0);
42 }
43
Header(uint32_t number_of_dex_files,uint32_t dex_size,uint32_t verifier_deps_size,uint32_t quickening_info_size)44 VdexFile::Header::Header(uint32_t number_of_dex_files,
45 uint32_t dex_size,
46 uint32_t verifier_deps_size,
47 uint32_t quickening_info_size)
48 : number_of_dex_files_(number_of_dex_files),
49 dex_size_(dex_size),
50 verifier_deps_size_(verifier_deps_size),
51 quickening_info_size_(quickening_info_size) {
52 memcpy(magic_, kVdexMagic, sizeof(kVdexMagic));
53 memcpy(version_, kVdexVersion, sizeof(kVdexVersion));
54 DCHECK(IsMagicValid());
55 DCHECK(IsVersionValid());
56 }
57
Open(const std::string & vdex_filename,bool writable,bool low_4gb,bool unquicken,std::string * error_msg)58 std::unique_ptr<VdexFile> VdexFile::Open(const std::string& vdex_filename,
59 bool writable,
60 bool low_4gb,
61 bool unquicken,
62 std::string* error_msg) {
63 if (!OS::FileExists(vdex_filename.c_str())) {
64 *error_msg = "File " + vdex_filename + " does not exist.";
65 return nullptr;
66 }
67
68 std::unique_ptr<File> vdex_file;
69 if (writable) {
70 vdex_file.reset(OS::OpenFileReadWrite(vdex_filename.c_str()));
71 } else {
72 vdex_file.reset(OS::OpenFileForReading(vdex_filename.c_str()));
73 }
74 if (vdex_file == nullptr) {
75 *error_msg = "Could not open file " + vdex_filename +
76 (writable ? " for read/write" : "for reading");
77 return nullptr;
78 }
79
80 int64_t vdex_length = vdex_file->GetLength();
81 if (vdex_length == -1) {
82 *error_msg = "Could not read the length of file " + vdex_filename;
83 return nullptr;
84 }
85
86 return Open(vdex_file->Fd(), vdex_length, vdex_filename, writable, low_4gb, unquicken, error_msg);
87 }
88
Open(int file_fd,size_t vdex_length,const std::string & vdex_filename,bool writable,bool low_4gb,bool unquicken,std::string * error_msg)89 std::unique_ptr<VdexFile> VdexFile::Open(int file_fd,
90 size_t vdex_length,
91 const std::string& vdex_filename,
92 bool writable,
93 bool low_4gb,
94 bool unquicken,
95 std::string* error_msg) {
96 std::unique_ptr<MemMap> mmap(MemMap::MapFile(
97 vdex_length,
98 (writable || unquicken) ? PROT_READ | PROT_WRITE : PROT_READ,
99 unquicken ? MAP_PRIVATE : MAP_SHARED,
100 file_fd,
101 0 /* start offset */,
102 low_4gb,
103 vdex_filename.c_str(),
104 error_msg));
105 if (mmap == nullptr) {
106 *error_msg = "Failed to mmap file " + vdex_filename + " : " + *error_msg;
107 return nullptr;
108 }
109
110 std::unique_ptr<VdexFile> vdex(new VdexFile(mmap.release()));
111 if (!vdex->IsValid()) {
112 *error_msg = "Vdex file is not valid";
113 return nullptr;
114 }
115
116 if (unquicken) {
117 std::vector<std::unique_ptr<const DexFile>> unique_ptr_dex_files;
118 if (!vdex->OpenAllDexFiles(&unique_ptr_dex_files, error_msg)) {
119 return nullptr;
120 }
121 Unquicken(MakeNonOwningPointerVector(unique_ptr_dex_files), vdex->GetQuickeningInfo());
122 // Update the quickening info size to pretend there isn't any.
123 reinterpret_cast<Header*>(vdex->mmap_->Begin())->quickening_info_size_ = 0;
124 }
125
126 *error_msg = "Success";
127 return vdex;
128 }
129
GetNextDexFileData(const uint8_t * cursor) const130 const uint8_t* VdexFile::GetNextDexFileData(const uint8_t* cursor) const {
131 DCHECK(cursor == nullptr || (cursor > Begin() && cursor <= End()));
132 if (cursor == nullptr) {
133 // Beginning of the iteration, return the first dex file if there is one.
134 return HasDexSection() ? DexBegin() : nullptr;
135 } else {
136 // Fetch the next dex file. Return null if there is none.
137 const uint8_t* data = cursor + reinterpret_cast<const DexFile::Header*>(cursor)->file_size_;
138 // Dex files are required to be 4 byte aligned. the OatWriter makes sure they are, see
139 // OatWriter::SeekToDexFiles.
140 data = AlignUp(data, 4);
141 return (data == DexEnd()) ? nullptr : data;
142 }
143 }
144
OpenAllDexFiles(std::vector<std::unique_ptr<const DexFile>> * dex_files,std::string * error_msg)145 bool VdexFile::OpenAllDexFiles(std::vector<std::unique_ptr<const DexFile>>* dex_files,
146 std::string* error_msg) {
147 size_t i = 0;
148 for (const uint8_t* dex_file_start = GetNextDexFileData(nullptr);
149 dex_file_start != nullptr;
150 dex_file_start = GetNextDexFileData(dex_file_start), ++i) {
151 size_t size = reinterpret_cast<const DexFile::Header*>(dex_file_start)->file_size_;
152 // TODO: Supply the location information for a vdex file.
153 static constexpr char kVdexLocation[] = "";
154 std::string location = DexFile::GetMultiDexLocation(i, kVdexLocation);
155 std::unique_ptr<const DexFile> dex(DexFile::Open(dex_file_start,
156 size,
157 location,
158 GetLocationChecksum(i),
159 nullptr /*oat_dex_file*/,
160 false /*verify*/,
161 false /*verify_checksum*/,
162 error_msg));
163 if (dex == nullptr) {
164 return false;
165 }
166 dex_files->push_back(std::move(dex));
167 }
168 return true;
169 }
170
171 // Utility class to easily iterate over the quickening data.
172 class QuickeningInfoIterator {
173 public:
QuickeningInfoIterator(uint32_t dex_file_index,uint32_t number_of_dex_files,const ArrayRef<const uint8_t> & quickening_info)174 QuickeningInfoIterator(uint32_t dex_file_index,
175 uint32_t number_of_dex_files,
176 const ArrayRef<const uint8_t>& quickening_info)
177 : quickening_info_(quickening_info) {
178 const unaligned_uint32_t* dex_file_indices = reinterpret_cast<const unaligned_uint32_t*>(
179 quickening_info.data() +
180 quickening_info.size() -
181 number_of_dex_files * sizeof(uint32_t));
182 current_code_item_end_ = (dex_file_index == number_of_dex_files - 1)
183 ? dex_file_indices
184 : reinterpret_cast<const unaligned_uint32_t*>(
185 quickening_info_.data() + dex_file_indices[dex_file_index + 1]);
186 current_code_item_ptr_ = reinterpret_cast<const uint32_t*>(
187 quickening_info_.data() + dex_file_indices[dex_file_index]);
188 }
189
Done() const190 bool Done() const {
191 return current_code_item_ptr_ == current_code_item_end_;
192 }
193
Advance()194 void Advance() {
195 current_code_item_ptr_ += 2;
196 }
197
GetCurrentCodeItemOffset() const198 uint32_t GetCurrentCodeItemOffset() const {
199 return current_code_item_ptr_[0];
200 }
201
GetCurrentQuickeningInfo() const202 const ArrayRef<const uint8_t> GetCurrentQuickeningInfo() const {
203 return ArrayRef<const uint8_t>(
204 // Add sizeof(uint32_t) to remove the length from the data pointer.
205 quickening_info_.data() + current_code_item_ptr_[1] + sizeof(uint32_t),
206 *reinterpret_cast<const unaligned_uint32_t*>(
207 quickening_info_.data() + current_code_item_ptr_[1]));
208 }
209
210 private:
211 typedef __attribute__((__aligned__(1))) uint32_t unaligned_uint32_t;
212 const ArrayRef<const uint8_t>& quickening_info_;
213 const unaligned_uint32_t* current_code_item_ptr_;
214 const unaligned_uint32_t* current_code_item_end_;
215
216 DISALLOW_COPY_AND_ASSIGN(QuickeningInfoIterator);
217 };
218
Unquicken(const std::vector<const DexFile * > & dex_files,const ArrayRef<const uint8_t> & quickening_info)219 void VdexFile::Unquicken(const std::vector<const DexFile*>& dex_files,
220 const ArrayRef<const uint8_t>& quickening_info) {
221 if (quickening_info.size() == 0) {
222 // Bail early if there is no quickening info.
223 return;
224 }
225 // We do not decompile a RETURN_VOID_NO_BARRIER into a RETURN_VOID, as the quickening
226 // optimization does not depend on the boot image (the optimization relies on not
227 // having final fields in a class, which does not change for an app).
228 constexpr bool kDecompileReturnInstruction = false;
229 for (uint32_t i = 0; i < dex_files.size(); ++i) {
230 for (QuickeningInfoIterator it(i, dex_files.size(), quickening_info);
231 !it.Done();
232 it.Advance()) {
233 optimizer::ArtDecompileDEX(
234 *dex_files[i]->GetCodeItem(it.GetCurrentCodeItemOffset()),
235 it.GetCurrentQuickeningInfo(),
236 kDecompileReturnInstruction);
237 }
238 }
239 }
240
241 static constexpr uint32_t kNoDexFile = -1;
242
GetDexFileIndex(const DexFile & dex_file) const243 uint32_t VdexFile::GetDexFileIndex(const DexFile& dex_file) const {
244 uint32_t dex_index = 0;
245 for (const uint8_t* dex_file_start = GetNextDexFileData(nullptr);
246 dex_file_start != dex_file.Begin();
247 dex_file_start = GetNextDexFileData(dex_file_start)) {
248 if (dex_file_start == nullptr) {
249 return kNoDexFile;
250 }
251 dex_index++;
252 }
253 return dex_index;
254 }
255
FullyUnquickenDexFile(const DexFile & target_dex_file,const DexFile & original_dex_file) const256 void VdexFile::FullyUnquickenDexFile(const DexFile& target_dex_file,
257 const DexFile& original_dex_file) const {
258 uint32_t dex_index = GetDexFileIndex(original_dex_file);
259 if (dex_index == kNoDexFile) {
260 return;
261 }
262
263 constexpr bool kDecompileReturnInstruction = true;
264 QuickeningInfoIterator it(dex_index, GetHeader().GetNumberOfDexFiles(), GetQuickeningInfo());
265 // Iterate over the class definitions. Even if there is no quickening info,
266 // we want to unquicken RETURN_VOID_NO_BARRIER instruction.
267 for (uint32_t i = 0; i < target_dex_file.NumClassDefs(); ++i) {
268 const DexFile::ClassDef& class_def = target_dex_file.GetClassDef(i);
269 const uint8_t* class_data = target_dex_file.GetClassData(class_def);
270 if (class_data != nullptr) {
271 for (ClassDataItemIterator class_it(target_dex_file, class_data);
272 class_it.HasNext();
273 class_it.Next()) {
274 if (class_it.IsAtMethod() && class_it.GetMethodCodeItem() != nullptr) {
275 uint32_t offset = class_it.GetMethodCodeItemOffset();
276 if (!it.Done() && offset == it.GetCurrentCodeItemOffset()) {
277 optimizer::ArtDecompileDEX(
278 *class_it.GetMethodCodeItem(),
279 it.GetCurrentQuickeningInfo(),
280 kDecompileReturnInstruction);
281 it.Advance();
282 } else {
283 optimizer::ArtDecompileDEX(*class_it.GetMethodCodeItem(),
284 ArrayRef<const uint8_t>(nullptr, 0),
285 kDecompileReturnInstruction);
286 }
287 }
288 }
289 }
290 }
291 }
292
GetQuickenedInfoOf(const DexFile & dex_file,uint32_t code_item_offset) const293 const uint8_t* VdexFile::GetQuickenedInfoOf(const DexFile& dex_file,
294 uint32_t code_item_offset) const {
295 if (GetQuickeningInfo().size() == 0) {
296 // Bail early if there is no quickening info.
297 return nullptr;
298 }
299
300 uint32_t dex_index = GetDexFileIndex(dex_file);
301 if (dex_index == kNoDexFile) {
302 return nullptr;
303 }
304
305 for (QuickeningInfoIterator it(dex_index, GetHeader().GetNumberOfDexFiles(), GetQuickeningInfo());
306 !it.Done();
307 it.Advance()) {
308 if (code_item_offset == it.GetCurrentCodeItemOffset()) {
309 return it.GetCurrentQuickeningInfo().data();
310 }
311 }
312 return nullptr;
313 }
314
315 } // namespace art
316