xref: /aosp_15_r20/art/runtime/fuzzer_corpus_test.cc (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
1 /*
2  * Copyright (C) 2023 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 <cstdint>
18 #include <filesystem>
19 #include <unordered_set>
20 
21 #include "android-base/file.h"
22 #include "android-base/macros.h"
23 #include "common_runtime_test.h"
24 #include "dex/class_accessor-inl.h"
25 #include "dex/dex_file_verifier.h"
26 #include "dex/standard_dex_file.h"
27 #include "gtest/gtest.h"
28 #include "handle_scope-inl.h"
29 #include "jni/java_vm_ext.h"
30 #include "verifier/class_verifier.h"
31 #include "ziparchive/zip_archive.h"
32 
33 namespace art {
34 // Global variable to count how many DEX files passed DEX file verification and they were
35 // registered, since these are the cases for which we would be running the GC.
36 int skipped_gc_iterations = 0;
37 // Global variable to call the GC once every maximum number of iterations.
38 // TODO: These values were obtained from local experimenting. They can be changed after
39 // further investigation.
40 static constexpr int kMaxSkipGCIterations = 100;
41 
42 // A class to be friends with ClassLinker and access the internal FindDexCacheDataLocked method.
43 // TODO: Deduplicate this since it is the same with tools/fuzzer/libart_verify_classes_fuzzer.cc.
44 class VerifyClassesFuzzerCorpusTestHelper {
45  public:
GetDexCacheData(Runtime * runtime,const DexFile * dex_file)46   static const ClassLinker::DexCacheData* GetDexCacheData(Runtime* runtime, const DexFile* dex_file)
47       REQUIRES_SHARED(Locks::mutator_lock_) {
48     Thread* self = Thread::Current();
49     ReaderMutexLock mu(self, *Locks::dex_lock_);
50     ClassLinker* class_linker = runtime->GetClassLinker();
51     const ClassLinker::DexCacheData* cached_data = class_linker->FindDexCacheDataLocked(*dex_file);
52     return cached_data;
53   }
54 };
55 
56 // Manages the ZipArchiveHandle liveness.
57 class ZipArchiveHandleScope {
58  public:
ZipArchiveHandleScope(ZipArchiveHandle * handle)59   explicit ZipArchiveHandleScope(ZipArchiveHandle* handle) : handle_(handle) {}
~ZipArchiveHandleScope()60   ~ZipArchiveHandleScope() { CloseArchive(*(handle_.release())); }
61 
62  private:
63   std::unique_ptr<ZipArchiveHandle> handle_;
64 };
65 
66 class FuzzerCorpusTest : public CommonRuntimeTest {
67  public:
DexFileVerification(const uint8_t * data,size_t size,const std::string & name,bool expected_success)68   static void DexFileVerification(const uint8_t* data,
69                                   size_t size,
70                                   const std::string& name,
71                                   bool expected_success) {
72     // Do not verify the checksum as we only care about the DEX file contents,
73     // and know that the checksum would probably be erroneous (i.e. random).
74     constexpr bool kVerify = false;
75 
76     auto container = std::make_shared<MemoryDexFileContainer>(data, size);
77     StandardDexFile dex_file(data,
78                              /*location=*/name,
79                              /*location_checksum=*/0,
80                              /*oat_dex_file=*/nullptr,
81                              container);
82 
83     std::string error_msg;
84     bool is_valid_dex_file =
85         dex::Verify(&dex_file, dex_file.GetLocation().c_str(), kVerify, &error_msg);
86     ASSERT_EQ(is_valid_dex_file, expected_success) << " Failed for " << name;
87   }
88 
ClassVerification(const uint8_t * data,size_t size,const std::string & name,bool expected_success)89   static void ClassVerification(const uint8_t* data,
90                                 size_t size,
91                                 const std::string& name,
92                                 bool expected_success) {
93     // Do not verify the checksum as we only care about the DEX file contents,
94     // and know that the checksum would probably be erroneous (i.e. random)
95     constexpr bool kVerify = false;
96     bool passed_class_verification = true;
97 
98     auto container = std::make_shared<MemoryDexFileContainer>(data, size);
99     StandardDexFile dex_file(data,
100                              /*location=*/name,
101                              /*location_checksum=*/0,
102                              /*oat_dex_file=*/nullptr,
103                              container);
104 
105     std::string error_msg;
106     const bool success_dex =
107         dex::Verify(&dex_file, dex_file.GetLocation().c_str(), kVerify, &error_msg);
108     ASSERT_EQ(success_dex, true) << " Failed for " << name;
109 
110     Runtime* runtime = Runtime::Current();
111     CHECK(runtime != nullptr);
112 
113     ScopedObjectAccess soa(Thread::Current());
114     ClassLinker* class_linker = runtime->GetClassLinker();
115     jobject class_loader = RegisterDexFileAndGetClassLoader(runtime, &dex_file);
116 
117     // Scope for the handles
118     {
119       art::StackHandleScope<3> scope(soa.Self());
120       art::Handle<art::mirror::ClassLoader> h_loader =
121           scope.NewHandle(soa.Decode<art::mirror::ClassLoader>(class_loader));
122       art::MutableHandle<art::mirror::Class> h_klass(scope.NewHandle<art::mirror::Class>(nullptr));
123       art::MutableHandle<art::mirror::DexCache> h_dex_cache(
124           scope.NewHandle<art::mirror::DexCache>(nullptr));
125 
126       for (art::ClassAccessor accessor : dex_file.GetClasses()) {
127         h_klass.Assign(
128             class_linker->FindClass(soa.Self(), dex_file, accessor.GetClassIdx(), h_loader));
129         // Ignore classes that couldn't be loaded since we are looking for crashes during
130         // class/method verification.
131         if (h_klass == nullptr || h_klass->IsErroneous()) {
132           // Treat as failure to pass verification
133           passed_class_verification = false;
134           soa.Self()->ClearException();
135           continue;
136         }
137         h_dex_cache.Assign(h_klass->GetDexCache());
138         verifier::FailureKind failure =
139             verifier::ClassVerifier::VerifyClass(soa.Self(),
140                                                  /* verifier_deps= */ nullptr,
141                                                  h_dex_cache->GetDexFile(),
142                                                  h_klass,
143                                                  h_dex_cache,
144                                                  h_loader,
145                                                  *h_klass->GetClassDef(),
146                                                  runtime->GetCompilerCallbacks(),
147                                                  verifier::HardFailLogMode::kLogWarning,
148                                                  /* api_level= */ 0,
149                                                  &error_msg);
150         if (failure != verifier::FailureKind::kNoFailure) {
151           passed_class_verification = false;
152         }
153       }
154     }
155     skipped_gc_iterations++;
156 
157     // Delete weak root to the DexCache before removing a DEX file from the cache. This is usually
158     // handled by the GC, but since we are not calling it every iteration, we need to delete them
159     // manually.
160     const ClassLinker::DexCacheData* dex_cache_data =
161         VerifyClassesFuzzerCorpusTestHelper::GetDexCacheData(runtime, &dex_file);
162     soa.Env()->GetVm()->DeleteWeakGlobalRef(soa.Self(), dex_cache_data->weak_root);
163 
164     class_linker->RemoveDexFromCaches(dex_file);
165 
166     // Delete global ref and unload class loader to free RAM.
167     soa.Env()->GetVm()->DeleteGlobalRef(soa.Self(), class_loader);
168 
169     if (skipped_gc_iterations == kMaxSkipGCIterations) {
170       runtime->GetHeap()->CollectGarbage(/* clear_soft_references */ true);
171       skipped_gc_iterations = 0;
172     }
173 
174     ASSERT_EQ(passed_class_verification, expected_success) << " Failed for " << name;
175   }
176 
TestFuzzerHelper(const std::string & archive_filename,const std::unordered_set<std::string> & valid_dex_files,std::function<void (const uint8_t *,size_t,const std::string &,bool)> verify_file)177   void TestFuzzerHelper(
178       const std::string& archive_filename,
179       const std::unordered_set<std::string>& valid_dex_files,
180       std::function<void(const uint8_t*, size_t, const std::string&, bool)> verify_file) {
181     // Consistency checks.
182     const std::string folder = android::base::GetExecutableDirectory();
183     ASSERT_TRUE(std::filesystem::is_directory(folder)) << folder << " is not a folder";
184     ASSERT_FALSE(std::filesystem::is_empty(folder)) << " No files found for directory " << folder;
185     const std::string filename = folder + "/" + archive_filename;
186 
187     // Iterate using ZipArchiveHandle. We have to be careful about managing the pointers with
188     // CloseArchive, StartIteration, and EndIteration.
189     std::string error_msg;
190     ZipArchiveHandle handle;
191     ZipArchiveHandleScope scope(&handle);
192     int32_t error = OpenArchive(filename.c_str(), &handle);
193     ASSERT_TRUE(error == 0) << "Error: " << error;
194 
195     void* cookie;
196     error = StartIteration(handle, &cookie);
197     ASSERT_TRUE(error == 0) << "couldn't iterate " << filename << " : " << ErrorCodeString(error);
198 
199     ZipEntry64 entry;
200     std::string name;
201     std::vector<char> data;
202     while ((error = Next(cookie, &entry, &name)) >= 0) {
203       if (!name.ends_with(".dex")) {
204         // Skip non-DEX files.
205         LOG(WARNING) << "Found a non-dex file: " << name;
206         continue;
207       }
208       data.resize(entry.uncompressed_length);
209       error = ExtractToMemory(handle, &entry, reinterpret_cast<uint8_t*>(data.data()), data.size());
210       ASSERT_TRUE(error == 0) << "failed to extract entry: " << name << " from " << filename << ""
211                               << ErrorCodeString(error);
212 
213       const uint8_t* file_data = reinterpret_cast<const uint8_t*>(data.data());
214       // Special case for empty dex file. Set a fake data since the size is 0 anyway.
215       if (file_data == nullptr) {
216         ASSERT_EQ(data.size(), 0);
217         file_data = reinterpret_cast<const uint8_t*>(&name);
218       }
219 
220       const bool is_valid_dex_file = valid_dex_files.find(name) != valid_dex_files.end();
221       verify_file(file_data, data.size(), name, is_valid_dex_file);
222     }
223 
224     ASSERT_TRUE(error >= -1) << "failed iterating " << filename << " : " << ErrorCodeString(error);
225     EndIteration(cookie);
226   }
227 
228  private:
RegisterDexFileAndGetClassLoader(Runtime * runtime,StandardDexFile * dex_file)229   static jobject RegisterDexFileAndGetClassLoader(Runtime* runtime, StandardDexFile* dex_file)
230       REQUIRES_SHARED(Locks::mutator_lock_) {
231     Thread* self = Thread::Current();
232     ClassLinker* class_linker = runtime->GetClassLinker();
233     const std::vector<const DexFile*> dex_files = {dex_file};
234     jobject class_loader = class_linker->CreatePathClassLoader(self, dex_files);
235     ObjPtr<mirror::ClassLoader> cl = self->DecodeJObject(class_loader)->AsClassLoader();
236     class_linker->RegisterDexFile(*dex_file, cl);
237     return class_loader;
238   }
239 };
240 
241 // Tests that we can verify dex files without crashing.
TEST_F(FuzzerCorpusTest,VerifyCorpusDexFiles)242 TEST_F(FuzzerCorpusTest, VerifyCorpusDexFiles) {
243   // These dex files are expected to pass verification. The others are regressions tests.
244   const std::unordered_set<std::string> valid_dex_files = {"Main.dex", "hello_world.dex"};
245   const std::string archive_filename = "dex_verification_fuzzer_corpus.zip";
246 
247   TestFuzzerHelper(archive_filename, valid_dex_files, DexFileVerification);
248 }
249 
250 // Tests that we can verify classes from dex files without crashing.
TEST_F(FuzzerCorpusTest,VerifyCorpusClassDexFiles)251 TEST_F(FuzzerCorpusTest, VerifyCorpusClassDexFiles) {
252   // These dex files are expected to pass verification. The others are regressions tests.
253   const std::unordered_set<std::string> valid_dex_files = {"Main.dex", "hello_world.dex"};
254   const std::string archive_filename = "class_verification_fuzzer_corpus.zip";
255 
256   TestFuzzerHelper(archive_filename, valid_dex_files, ClassVerification);
257 }
258 
259 }  // namespace art
260