blob: eefbe4150303159da471e7ccfba5d49f6137eece [file] [log] [blame]
Alex Light40528472017-03-28 09:07:36 -07001/* Copyright (C) 2017 The Android Open Source Project
2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
3 *
4 * This file implements interfaces from the file jvmti.h. This implementation
5 * is licensed under the same terms as the file jvmti.h. The
6 * copyright and license information for the file jvmti.h follows.
7 *
8 * Copyright (c) 2003, 2011, Oracle and/or its affiliates. All rights reserved.
9 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
10 *
11 * This code is free software; you can redistribute it and/or modify it
12 * under the terms of the GNU General Public License version 2 only, as
13 * published by the Free Software Foundation. Oracle designates this
14 * particular file as subject to the "Classpath" exception as provided
15 * by Oracle in the LICENSE file that accompanied this code.
16 *
17 * This code is distributed in the hope that it will be useful, but WITHOUT
18 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
19 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
20 * version 2 for more details (a copy is included in the LICENSE file that
21 * accompanied this code).
22 *
23 * You should have received a copy of the GNU General Public License version
24 * 2 along with this work; if not, write to the Free Software Foundation,
25 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
26 *
27 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
28 * or visit www.oracle.com if you need additional information or have any
29 * questions.
30 */
31
David Sehr67bf42e2018-02-26 16:43:04 -080032#include "base/leb128.h"
Alex Light40528472017-03-28 09:07:36 -070033#include "fixed_up_dex_file.h"
Mathieu Chartier1f1cb9f2018-06-04 09:22:46 -070034#include "dex/class_accessor-inl.h"
David Sehr9e734c72018-01-04 17:56:19 -080035#include "dex/dex_file-inl.h"
36#include "dex/dex_file_loader.h"
Alex Light1a824a52018-01-26 15:45:30 -080037#include "dex/dex_file_verifier.h"
Alex Light40528472017-03-28 09:07:36 -070038
Alex Light40528472017-03-28 09:07:36 -070039// Runtime includes.
Mathieu Chartiere6b6ff82018-01-19 18:58:34 -080040#include "dex_container.h"
Mathieu Chartier21cf2582018-01-08 17:09:48 -080041#include "dex/compact_dex_level.h"
Nicolas Geoffray4e868fa2017-04-21 17:16:44 +010042#include "dex_to_dex_decompiler.h"
Mathieu Chartier21cf2582018-01-08 17:09:48 -080043#include "dexlayout.h"
Alex Light40528472017-03-28 09:07:36 -070044#include "oat_file.h"
45#include "vdex_file.h"
46
47namespace openjdkjvmti {
48
Alex Light2e40c1c2018-02-02 09:24:59 -080049static void RecomputeDexChecksum(art::DexFile* dex_file) {
Alex Light40528472017-03-28 09:07:36 -070050 reinterpret_cast<art::DexFile::Header*>(const_cast<uint8_t*>(dex_file->Begin()))->checksum_ =
51 dex_file->CalculateChecksum();
52}
53
Alex Lightc88a0082018-02-15 17:08:29 -080054static const art::VdexFile* GetVdex(const art::DexFile& original_dex_file) {
Alex Light40528472017-03-28 09:07:36 -070055 const art::OatDexFile* oat_dex = original_dex_file.GetOatDexFile();
56 if (oat_dex == nullptr) {
Alex Lightc88a0082018-02-15 17:08:29 -080057 return nullptr;
Alex Light40528472017-03-28 09:07:36 -070058 }
59 const art::OatFile* oat_file = oat_dex->GetOatFile();
60 if (oat_file == nullptr) {
Alex Lightc88a0082018-02-15 17:08:29 -080061 return nullptr;
Alex Light40528472017-03-28 09:07:36 -070062 }
Alex Lightc88a0082018-02-15 17:08:29 -080063 return oat_file->GetVdexFile();
64}
65
66static void DoDexUnquicken(const art::DexFile& new_dex_file,
67 const art::DexFile& original_dex_file) {
68 const art::VdexFile* vdex = GetVdex(original_dex_file);
69 if (vdex != nullptr) {
Andreas Gampe6e897762018-10-16 13:09:32 -070070 vdex->UnquickenDexFile(new_dex_file,
71 original_dex_file,
72 /* decompile_return_instruction= */ true);
Alex Light40528472017-03-28 09:07:36 -070073 }
Alex Light40528472017-03-28 09:07:36 -070074}
75
Alex Light1a824a52018-01-26 15:45:30 -080076static void DCheckVerifyDexFile(const art::DexFile& dex) {
77 if (art::kIsDebugBuild) {
78 std::string error;
Andreas Gampe60415ae2019-07-02 14:03:13 -070079 if (!art::dex::Verify(&dex,
80 dex.Begin(),
81 dex.Size(),
82 "FixedUpDexFile_Verification.dex",
83 /*verify_checksum=*/ true,
84 &error)) {
Alex Light1a824a52018-01-26 15:45:30 -080085 LOG(FATAL) << "Failed to verify de-quickened dex file: " << error;
86 }
87 }
88}
89
Nicolas Geoffray16fc4742019-01-30 16:53:24 +000090std::unique_ptr<FixedUpDexFile> FixedUpDexFile::Create(const art::DexFile& original,
Mathieu Chartier75175552018-01-25 11:23:01 -080091 const char* descriptor) {
Alex Light40528472017-03-28 09:07:36 -070092 // Copy the data into mutable memory.
93 std::vector<unsigned char> data;
Mathieu Chartier75175552018-01-25 11:23:01 -080094 std::unique_ptr<const art::DexFile> new_dex_file;
95 std::string error;
David Brazdil8e1a7cb2018-03-27 08:14:25 +000096
97 // Do not use ArtDexFileLoader here. This code runs in a signal handler and
98 // its stack is too small to invoke the required LocationIsOnSystemFramework
99 // (b/76429651). Instead, we use DexFileLoader and copy the IsPlatformDexFile
100 // property from `original` to `new_dex_file`.
101 const art::DexFileLoader dex_file_loader;
Mathieu Chartier75175552018-01-25 11:23:01 -0800102
Nicolas Geoffray16fc4742019-01-30 16:53:24 +0000103 if (original.IsCompactDexFile() || original.HasHiddenapiClassData()) {
Mathieu Chartier75175552018-01-25 11:23:01 -0800104 // Since we are supposed to return a standard dex, convert back using dexlayout. It's OK to do
105 // this before unquickening.
Nicolas Geoffray16fc4742019-01-30 16:53:24 +0000106 // We also do dex layout for dex files that have hidden API data, as we want to remove that
107 // data.
Mathieu Chartier75175552018-01-25 11:23:01 -0800108 art::Options options;
109 options.compact_dex_level_ = art::CompactDexLevel::kCompactDexLevelNone;
110 // Add a filter to only include the class that has the matching descriptor.
111 static constexpr bool kFilterByDescriptor = true;
112 if (kFilterByDescriptor) {
113 options.class_filter_.insert(descriptor);
114 }
115 art::DexLayout dex_layout(options,
Andreas Gampe6e897762018-10-16 13:09:32 -0700116 /*info=*/ nullptr,
117 /*out_file=*/ nullptr,
118 /*header=*/ nullptr);
Mathieu Chartier75175552018-01-25 11:23:01 -0800119 std::unique_ptr<art::DexContainer> dex_container;
Mathieu Chartier05f90d12018-02-07 13:47:17 -0800120 bool result = dex_layout.ProcessDexFile(
121 original.GetLocation().c_str(),
122 &original,
123 0,
124 &dex_container,
125 &error);
126 CHECK(result) << "Failed to generate dex file " << error;
Mathieu Chartier75175552018-01-25 11:23:01 -0800127 art::DexContainer::Section* main_section = dex_container->GetMainSection();
128 CHECK_EQ(dex_container->GetDataSection()->Size(), 0u);
129 data.insert(data.end(), main_section->Begin(), main_section->End());
Mathieu Chartierc3a22aa2018-01-19 18:58:34 -0800130 } else {
131 data.resize(original.Size());
132 memcpy(data.data(), original.Begin(), original.Size());
133 }
Mathieu Chartier75175552018-01-25 11:23:01 -0800134
135 // Open the dex file in the buffer.
136 new_dex_file = dex_file_loader.Open(
Alex Light40528472017-03-28 09:07:36 -0700137 data.data(),
138 data.size(),
Andreas Gampe6e897762018-10-16 13:09:32 -0700139 /*location=*/"Unquickening_dexfile.dex",
140 /*location_checksum=*/0,
141 /*oat_dex_file=*/nullptr,
142 /*verify=*/false,
143 /*verify_checksum=*/false,
Mathieu Chartier75175552018-01-25 11:23:01 -0800144 &error);
145
David Brazdile7681822018-12-14 16:25:33 +0000146 if (new_dex_file == nullptr) {
Alex Light40528472017-03-28 09:07:36 -0700147 LOG(ERROR) << "Unable to open dex file from memory for unquickening! error: " << error;
148 return nullptr;
149 }
150
David Brazdile7e26d12019-02-28 15:04:14 +0000151 new_dex_file->SetHiddenapiDomain(original.GetHiddenapiDomain());
David Brazdil8e1a7cb2018-03-27 08:14:25 +0000152
Alex Light40528472017-03-28 09:07:36 -0700153 DoDexUnquicken(*new_dex_file, original);
Mathieu Chartier21cf2582018-01-08 17:09:48 -0800154
Alex Light40528472017-03-28 09:07:36 -0700155 RecomputeDexChecksum(const_cast<art::DexFile*>(new_dex_file.get()));
Alex Light1a824a52018-01-26 15:45:30 -0800156 DCheckVerifyDexFile(*new_dex_file);
Alex Light40528472017-03-28 09:07:36 -0700157 std::unique_ptr<FixedUpDexFile> ret(new FixedUpDexFile(std::move(new_dex_file), std::move(data)));
158 return ret;
159}
160
161} // namespace openjdkjvmti