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 #include <sys/stat.h> // for mkdir()
21
22 #include <memory>
23 #include <unordered_set>
24
25 #include <android-base/logging.h>
26
27 #include "base/bit_utils.h"
28 #include "base/leb128.h"
29 #include "base/stl_util.h"
30 #include "base/unix_file/fd_file.h"
31 #include "class_linker.h"
32 #include "class_loader_context.h"
33 #include "dex/art_dex_file_loader.h"
34 #include "dex/class_accessor-inl.h"
35 #include "dex/dex_file_loader.h"
36 #include "dex_to_dex_decompiler.h"
37 #include "gc/heap.h"
38 #include "gc/space/image_space.h"
39 #include "quicken_info.h"
40 #include "runtime.h"
41 #include "verifier/verifier_deps.h"
42
43 namespace art {
44
45 constexpr uint8_t VdexFile::VerifierDepsHeader::kVdexInvalidMagic[4];
46 constexpr uint8_t VdexFile::VerifierDepsHeader::kVdexMagic[4];
47 constexpr uint8_t VdexFile::VerifierDepsHeader::kVerifierDepsVersion[4];
48 constexpr uint8_t VdexFile::VerifierDepsHeader::kDexSectionVersion[4];
49 constexpr uint8_t VdexFile::VerifierDepsHeader::kDexSectionVersionEmpty[4];
50
IsMagicValid() const51 bool VdexFile::VerifierDepsHeader::IsMagicValid() const {
52 return (memcmp(magic_, kVdexMagic, sizeof(kVdexMagic)) == 0);
53 }
54
IsVerifierDepsVersionValid() const55 bool VdexFile::VerifierDepsHeader::IsVerifierDepsVersionValid() const {
56 return (memcmp(verifier_deps_version_, kVerifierDepsVersion, sizeof(kVerifierDepsVersion)) == 0);
57 }
58
IsDexSectionVersionValid() const59 bool VdexFile::VerifierDepsHeader::IsDexSectionVersionValid() const {
60 return (memcmp(dex_section_version_, kDexSectionVersion, sizeof(kDexSectionVersion)) == 0) ||
61 (memcmp(dex_section_version_, kDexSectionVersionEmpty, sizeof(kDexSectionVersionEmpty)) == 0);
62 }
63
HasDexSection() const64 bool VdexFile::VerifierDepsHeader::HasDexSection() const {
65 return (memcmp(dex_section_version_, kDexSectionVersion, sizeof(kDexSectionVersion)) == 0);
66 }
67
VerifierDepsHeader(uint32_t number_of_dex_files,uint32_t verifier_deps_size,bool has_dex_section,uint32_t bootclasspath_checksums_size,uint32_t class_loader_context_size)68 VdexFile::VerifierDepsHeader::VerifierDepsHeader(uint32_t number_of_dex_files,
69 uint32_t verifier_deps_size,
70 bool has_dex_section,
71 uint32_t bootclasspath_checksums_size,
72 uint32_t class_loader_context_size)
73 : number_of_dex_files_(number_of_dex_files),
74 verifier_deps_size_(verifier_deps_size),
75 bootclasspath_checksums_size_(bootclasspath_checksums_size),
76 class_loader_context_size_(class_loader_context_size) {
77 memcpy(magic_, kVdexMagic, sizeof(kVdexMagic));
78 memcpy(verifier_deps_version_, kVerifierDepsVersion, sizeof(kVerifierDepsVersion));
79 if (has_dex_section) {
80 memcpy(dex_section_version_, kDexSectionVersion, sizeof(kDexSectionVersion));
81 } else {
82 memcpy(dex_section_version_, kDexSectionVersionEmpty, sizeof(kDexSectionVersionEmpty));
83 }
84 DCHECK(IsMagicValid());
85 DCHECK(IsVerifierDepsVersionValid());
86 DCHECK(IsDexSectionVersionValid());
87 }
88
DexSectionHeader(uint32_t dex_size,uint32_t dex_shared_data_size,uint32_t quickening_info_size)89 VdexFile::DexSectionHeader::DexSectionHeader(uint32_t dex_size,
90 uint32_t dex_shared_data_size,
91 uint32_t quickening_info_size)
92 : dex_size_(dex_size),
93 dex_shared_data_size_(dex_shared_data_size),
94 quickening_info_size_(quickening_info_size) {
95 }
96
OpenAtAddress(uint8_t * mmap_addr,size_t mmap_size,bool mmap_reuse,const std::string & vdex_filename,bool writable,bool low_4gb,bool unquicken,std::string * error_msg)97 std::unique_ptr<VdexFile> VdexFile::OpenAtAddress(uint8_t* mmap_addr,
98 size_t mmap_size,
99 bool mmap_reuse,
100 const std::string& vdex_filename,
101 bool writable,
102 bool low_4gb,
103 bool unquicken,
104 std::string* error_msg) {
105 if (!OS::FileExists(vdex_filename.c_str())) {
106 *error_msg = "File " + vdex_filename + " does not exist.";
107 return nullptr;
108 }
109
110 std::unique_ptr<File> vdex_file;
111 if (writable) {
112 vdex_file.reset(OS::OpenFileReadWrite(vdex_filename.c_str()));
113 } else {
114 vdex_file.reset(OS::OpenFileForReading(vdex_filename.c_str()));
115 }
116 if (vdex_file == nullptr) {
117 *error_msg = "Could not open file " + vdex_filename +
118 (writable ? " for read/write" : "for reading");
119 return nullptr;
120 }
121
122 int64_t vdex_length = vdex_file->GetLength();
123 if (vdex_length == -1) {
124 *error_msg = "Could not read the length of file " + vdex_filename;
125 return nullptr;
126 }
127
128 return OpenAtAddress(mmap_addr,
129 mmap_size,
130 mmap_reuse,
131 vdex_file->Fd(),
132 vdex_length,
133 vdex_filename,
134 writable,
135 low_4gb,
136 unquicken,
137 error_msg);
138 }
139
OpenAtAddress(uint8_t * mmap_addr,size_t mmap_size,bool mmap_reuse,int file_fd,size_t vdex_length,const std::string & vdex_filename,bool writable,bool low_4gb,bool unquicken,std::string * error_msg)140 std::unique_ptr<VdexFile> VdexFile::OpenAtAddress(uint8_t* mmap_addr,
141 size_t mmap_size,
142 bool mmap_reuse,
143 int file_fd,
144 size_t vdex_length,
145 const std::string& vdex_filename,
146 bool writable,
147 bool low_4gb,
148 bool unquicken,
149 std::string* error_msg) {
150 if (mmap_addr != nullptr && mmap_size < vdex_length) {
151 LOG(WARNING) << "Insufficient pre-allocated space to mmap vdex.";
152 mmap_addr = nullptr;
153 mmap_reuse = false;
154 }
155 CHECK(!mmap_reuse || mmap_addr != nullptr);
156 MemMap mmap = MemMap::MapFileAtAddress(
157 mmap_addr,
158 vdex_length,
159 (writable || unquicken) ? PROT_READ | PROT_WRITE : PROT_READ,
160 unquicken ? MAP_PRIVATE : MAP_SHARED,
161 file_fd,
162 /* start= */ 0u,
163 low_4gb,
164 vdex_filename.c_str(),
165 mmap_reuse,
166 /* reservation= */ nullptr,
167 error_msg);
168 if (!mmap.IsValid()) {
169 *error_msg = "Failed to mmap file " + vdex_filename + " : " + *error_msg;
170 return nullptr;
171 }
172
173 std::unique_ptr<VdexFile> vdex(new VdexFile(std::move(mmap)));
174 if (!vdex->IsValid()) {
175 *error_msg = "Vdex file is not valid";
176 return nullptr;
177 }
178
179 if (unquicken && vdex->HasDexSection()) {
180 std::vector<std::unique_ptr<const DexFile>> unique_ptr_dex_files;
181 if (!vdex->OpenAllDexFiles(&unique_ptr_dex_files, error_msg)) {
182 return nullptr;
183 }
184 vdex->Unquicken(MakeNonOwningPointerVector(unique_ptr_dex_files),
185 /* decompile_return_instruction= */ false);
186 // Update the quickening info size to pretend there isn't any.
187 size_t offset = vdex->GetDexSectionHeaderOffset();
188 reinterpret_cast<DexSectionHeader*>(vdex->mmap_.Begin() + offset)->quickening_info_size_ = 0;
189 }
190
191 return vdex;
192 }
193
GetNextDexFileData(const uint8_t * cursor) const194 const uint8_t* VdexFile::GetNextDexFileData(const uint8_t* cursor) const {
195 DCHECK(cursor == nullptr || (cursor > Begin() && cursor <= End()));
196 if (cursor == nullptr) {
197 // Beginning of the iteration, return the first dex file if there is one.
198 return HasDexSection() ? DexBegin() + sizeof(QuickeningTableOffsetType) : nullptr;
199 } else {
200 // Fetch the next dex file. Return null if there is none.
201 const uint8_t* data = cursor + reinterpret_cast<const DexFile::Header*>(cursor)->file_size_;
202 // Dex files are required to be 4 byte aligned. the OatWriter makes sure they are, see
203 // OatWriter::SeekToDexFiles.
204 data = AlignUp(data, 4);
205
206 return (data == DexEnd()) ? nullptr : data + sizeof(QuickeningTableOffsetType);
207 }
208 }
209
OpenAllDexFiles(std::vector<std::unique_ptr<const DexFile>> * dex_files,std::string * error_msg)210 bool VdexFile::OpenAllDexFiles(std::vector<std::unique_ptr<const DexFile>>* dex_files,
211 std::string* error_msg) {
212 const ArtDexFileLoader dex_file_loader;
213 size_t i = 0;
214 for (const uint8_t* dex_file_start = GetNextDexFileData(nullptr);
215 dex_file_start != nullptr;
216 dex_file_start = GetNextDexFileData(dex_file_start), ++i) {
217 size_t size = reinterpret_cast<const DexFile::Header*>(dex_file_start)->file_size_;
218 // TODO: Supply the location information for a vdex file.
219 static constexpr char kVdexLocation[] = "";
220 std::string location = DexFileLoader::GetMultiDexLocation(i, kVdexLocation);
221 std::unique_ptr<const DexFile> dex(dex_file_loader.OpenWithDataSection(
222 dex_file_start,
223 size,
224 /*data_base=*/ nullptr,
225 /*data_size=*/ 0u,
226 location,
227 GetLocationChecksum(i),
228 /*oat_dex_file=*/ nullptr,
229 /*verify=*/ false,
230 /*verify_checksum=*/ false,
231 error_msg));
232 if (dex == nullptr) {
233 return false;
234 }
235 dex_files->push_back(std::move(dex));
236 }
237 return true;
238 }
239
Unquicken(const std::vector<const DexFile * > & target_dex_files,bool decompile_return_instruction) const240 void VdexFile::Unquicken(const std::vector<const DexFile*>& target_dex_files,
241 bool decompile_return_instruction) const {
242 const uint8_t* source_dex = GetNextDexFileData(nullptr);
243 for (const DexFile* target_dex : target_dex_files) {
244 UnquickenDexFile(*target_dex, source_dex, decompile_return_instruction);
245 source_dex = GetNextDexFileData(source_dex);
246 }
247 DCHECK(source_dex == nullptr);
248 }
249
GetQuickeningInfoTableOffset(const uint8_t * source_dex_begin) const250 uint32_t VdexFile::GetQuickeningInfoTableOffset(const uint8_t* source_dex_begin) const {
251 DCHECK_GE(source_dex_begin, DexBegin());
252 DCHECK_LT(source_dex_begin, DexEnd());
253 return reinterpret_cast<const QuickeningTableOffsetType*>(source_dex_begin)[-1];
254 }
255
GetQuickenInfoOffsetTable(const uint8_t * source_dex_begin,const ArrayRef<const uint8_t> & quickening_info) const256 CompactOffsetTable::Accessor VdexFile::GetQuickenInfoOffsetTable(
257 const uint8_t* source_dex_begin,
258 const ArrayRef<const uint8_t>& quickening_info) const {
259 // The offset a is in preheader right before the dex file.
260 const uint32_t offset = GetQuickeningInfoTableOffset(source_dex_begin);
261 return CompactOffsetTable::Accessor(quickening_info.SubArray(offset).data());
262 }
263
GetQuickenInfoOffsetTable(const DexFile & dex_file,const ArrayRef<const uint8_t> & quickening_info) const264 CompactOffsetTable::Accessor VdexFile::GetQuickenInfoOffsetTable(
265 const DexFile& dex_file,
266 const ArrayRef<const uint8_t>& quickening_info) const {
267 return GetQuickenInfoOffsetTable(dex_file.Begin(), quickening_info);
268 }
269
GetQuickeningInfoAt(const ArrayRef<const uint8_t> & quickening_info,uint32_t quickening_offset)270 static ArrayRef<const uint8_t> GetQuickeningInfoAt(const ArrayRef<const uint8_t>& quickening_info,
271 uint32_t quickening_offset) {
272 // Subtract offset of one since 0 represents unused and cannot be in the table.
273 ArrayRef<const uint8_t> remaining = quickening_info.SubArray(quickening_offset - 1);
274 return remaining.SubArray(0u, QuickenInfoTable::SizeInBytes(remaining));
275 }
276
UnquickenDexFile(const DexFile & target_dex_file,const DexFile & source_dex_file,bool decompile_return_instruction) const277 void VdexFile::UnquickenDexFile(const DexFile& target_dex_file,
278 const DexFile& source_dex_file,
279 bool decompile_return_instruction) const {
280 UnquickenDexFile(target_dex_file, source_dex_file.Begin(), decompile_return_instruction);
281 }
282
UnquickenDexFile(const DexFile & target_dex_file,const uint8_t * source_dex_begin,bool decompile_return_instruction) const283 void VdexFile::UnquickenDexFile(const DexFile& target_dex_file,
284 const uint8_t* source_dex_begin,
285 bool decompile_return_instruction) const {
286 ArrayRef<const uint8_t> quickening_info = GetQuickeningInfo();
287 if (quickening_info.empty()) {
288 // Bail early if there is no quickening info and no need to decompile. This means there is also
289 // no RETURN_VOID to decompile since the empty table takes a non zero amount of space.
290 return;
291 }
292 // Make sure to not unquicken the same code item multiple times.
293 std::unordered_set<const dex::CodeItem*> unquickened_code_item;
294 CompactOffsetTable::Accessor accessor(GetQuickenInfoOffsetTable(source_dex_begin,
295 quickening_info));
296 for (ClassAccessor class_accessor : target_dex_file.GetClasses()) {
297 for (const ClassAccessor::Method& method : class_accessor.GetMethods()) {
298 const dex::CodeItem* code_item = method.GetCodeItem();
299 if (code_item != nullptr && unquickened_code_item.emplace(code_item).second) {
300 const uint32_t offset = accessor.GetOffset(method.GetIndex());
301 // Offset being 0 means not quickened.
302 if (offset != 0u) {
303 ArrayRef<const uint8_t> quicken_data = GetQuickeningInfoAt(quickening_info, offset);
304 optimizer::ArtDecompileDEX(
305 target_dex_file,
306 *code_item,
307 quicken_data,
308 decompile_return_instruction);
309 }
310 }
311 }
312 }
313 }
314
GetQuickenedInfoOf(const DexFile & dex_file,uint32_t dex_method_idx) const315 ArrayRef<const uint8_t> VdexFile::GetQuickenedInfoOf(const DexFile& dex_file,
316 uint32_t dex_method_idx) const {
317 ArrayRef<const uint8_t> quickening_info = GetQuickeningInfo();
318 if (quickening_info.empty()) {
319 return ArrayRef<const uint8_t>();
320 }
321 CHECK_LT(dex_method_idx, dex_file.NumMethodIds());
322 const uint32_t quickening_offset =
323 GetQuickenInfoOffsetTable(dex_file, quickening_info).GetOffset(dex_method_idx);
324 if (quickening_offset == 0u) {
325 return ArrayRef<const uint8_t>();
326 }
327 return GetQuickeningInfoAt(quickening_info, quickening_offset);
328 }
329
ComputeBootClassPathChecksumString()330 static std::string ComputeBootClassPathChecksumString() {
331 Runtime* const runtime = Runtime::Current();
332 return gc::space::ImageSpace::GetBootClassPathChecksums(
333 runtime->GetHeap()->GetBootImageSpaces(),
334 runtime->GetClassLinker()->GetBootClassPath());
335 }
336
CreateDirectories(const std::string & child_path,std::string * error_msg)337 static bool CreateDirectories(const std::string& child_path, /* out */ std::string* error_msg) {
338 size_t last_slash_pos = child_path.find_last_of('/');
339 CHECK_NE(last_slash_pos, std::string::npos) << "Invalid path: " << child_path;
340 std::string parent_path = child_path.substr(0, last_slash_pos);
341 if (OS::DirectoryExists(parent_path.c_str())) {
342 return true;
343 } else if (CreateDirectories(parent_path, error_msg)) {
344 if (mkdir(parent_path.c_str(), 0700) == 0) {
345 return true;
346 }
347 *error_msg = "Could not create directory " + parent_path;
348 return false;
349 } else {
350 return false;
351 }
352 }
353
WriteToDisk(const std::string & path,const std::vector<const DexFile * > & dex_files,const verifier::VerifierDeps & verifier_deps,const std::string & class_loader_context,std::string * error_msg)354 bool VdexFile::WriteToDisk(const std::string& path,
355 const std::vector<const DexFile*>& dex_files,
356 const verifier::VerifierDeps& verifier_deps,
357 const std::string& class_loader_context,
358 std::string* error_msg) {
359 std::vector<uint8_t> verifier_deps_data;
360 verifier_deps.Encode(dex_files, &verifier_deps_data);
361
362 std::string boot_checksum = ComputeBootClassPathChecksumString();
363 DCHECK_NE(boot_checksum, "");
364
365 VdexFile::VerifierDepsHeader deps_header(dex_files.size(),
366 verifier_deps_data.size(),
367 /* has_dex_section= */ false,
368 boot_checksum.size(),
369 class_loader_context.size());
370
371 if (!CreateDirectories(path, error_msg)) {
372 return false;
373 }
374
375 std::unique_ptr<File> out(OS::CreateEmptyFileWriteOnly(path.c_str()));
376 if (out == nullptr) {
377 *error_msg = "Could not open " + path + " for writing";
378 return false;
379 }
380
381 if (!out->WriteFully(reinterpret_cast<const char*>(&deps_header), sizeof(deps_header))) {
382 *error_msg = "Could not write vdex header to " + path;
383 out->Unlink();
384 return false;
385 }
386
387 for (const DexFile* dex_file : dex_files) {
388 const uint32_t* checksum_ptr = &dex_file->GetHeader().checksum_;
389 static_assert(sizeof(*checksum_ptr) == sizeof(VdexFile::VdexChecksum));
390 if (!out->WriteFully(reinterpret_cast<const char*>(checksum_ptr),
391 sizeof(VdexFile::VdexChecksum))) {
392 *error_msg = "Could not write dex checksums to " + path;
393 out->Unlink();
394 return false;
395 }
396 }
397
398 if (!out->WriteFully(reinterpret_cast<const char*>(verifier_deps_data.data()),
399 verifier_deps_data.size())) {
400 *error_msg = "Could not write verifier deps to " + path;
401 out->Unlink();
402 return false;
403 }
404
405 if (!out->WriteFully(boot_checksum.c_str(), boot_checksum.size())) {
406 *error_msg = "Could not write boot classpath checksum to " + path;
407 out->Unlink();
408 return false;
409 }
410
411 if (!out->WriteFully(class_loader_context.c_str(), class_loader_context.size())) {
412 *error_msg = "Could not write class loader context to " + path;
413 out->Unlink();
414 return false;
415 }
416
417 if (out->FlushClose() != 0) {
418 *error_msg = "Could not flush and close " + path;
419 out->Unlink();
420 return false;
421 }
422
423 return true;
424 }
425
MatchesDexFileChecksums(const std::vector<const DexFile::Header * > & dex_headers) const426 bool VdexFile::MatchesDexFileChecksums(const std::vector<const DexFile::Header*>& dex_headers)
427 const {
428 const VerifierDepsHeader& header = GetVerifierDepsHeader();
429 if (dex_headers.size() != header.GetNumberOfDexFiles()) {
430 LOG(WARNING) << "Mismatch of number of dex files in vdex (expected="
431 << header.GetNumberOfDexFiles() << ", actual=" << dex_headers.size() << ")";
432 return false;
433 }
434 const VdexChecksum* checksums = header.GetDexChecksumsArray();
435 for (size_t i = 0; i < dex_headers.size(); ++i) {
436 if (checksums[i] != dex_headers[i]->checksum_) {
437 LOG(WARNING) << "Mismatch of dex file checksum in vdex (index=" << i << ")";
438 return false;
439 }
440 }
441 return true;
442 }
443
MatchesBootClassPathChecksums() const444 bool VdexFile::MatchesBootClassPathChecksums() const {
445 ArrayRef<const uint8_t> data = GetBootClassPathChecksumData();
446 std::string vdex(reinterpret_cast<const char*>(data.data()), data.size());
447 std::string runtime = ComputeBootClassPathChecksumString();
448 if (vdex == runtime) {
449 return true;
450 } else {
451 LOG(WARNING) << "Mismatch of boot class path checksum in vdex (expected="
452 << vdex << ", actual=" << runtime << ")";
453 return false;
454 }
455 }
456
MatchesClassLoaderContext(const ClassLoaderContext & context) const457 bool VdexFile::MatchesClassLoaderContext(const ClassLoaderContext& context) const {
458 ArrayRef<const uint8_t> data = GetClassLoaderContextData();
459 std::string spec(reinterpret_cast<const char*>(data.data()), data.size());
460 ClassLoaderContext::VerificationResult result = context.VerifyClassLoaderContextMatch(spec);
461 if (result != ClassLoaderContext::VerificationResult::kMismatch) {
462 return true;
463 } else {
464 LOG(WARNING) << "Mismatch of class loader context in vdex (expected="
465 << spec << ", actual=" << context.EncodeContextForOatFile("") << ")";
466 return false;
467 }
468 }
469
470 } // namespace art
471