Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2019 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 | #define FUZZ_LOG_TAG "main" |
| 17 | |
| 18 | #include "binder.h" |
Steven Moreland | 28f8142 | 2019-10-03 10:40:59 -0700 | [diff] [blame] | 19 | #include "binder_ndk.h" |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 20 | #include "hwbinder.h" |
| 21 | #include "util.h" |
| 22 | |
Steven Moreland | 139514d | 2020-12-08 01:12:26 +0000 | [diff] [blame] | 23 | #include <iostream> |
| 24 | |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 25 | #include <android-base/logging.h> |
Steven Moreland | c993906 | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 26 | #include <binder/RpcSession.h> |
Steven Moreland | 362e4da | 2020-10-16 19:49:39 +0000 | [diff] [blame] | 27 | #include <fuzzbinder/random_parcel.h> |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 28 | #include <fuzzer/FuzzedDataProvider.h> |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 29 | |
| 30 | #include <cstdlib> |
| 31 | #include <ctime> |
Steven Moreland | 139514d | 2020-12-08 01:12:26 +0000 | [diff] [blame] | 32 | #include <sys/resource.h> |
| 33 | #include <sys/time.h> |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 34 | |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 35 | using android::fillRandomParcel; |
Steven Moreland | c993906 | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 36 | using android::RpcSession; |
Steven Moreland | f0769c9 | 2021-04-13 02:03:08 +0000 | [diff] [blame] | 37 | using android::sp; |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 38 | |
| 39 | void fillRandomParcel(::android::hardware::Parcel* p, FuzzedDataProvider&& provider) { |
Steven Moreland | 362e4da | 2020-10-16 19:49:39 +0000 | [diff] [blame] | 40 | // TODO: functionality to create random parcels for libhwbinder parcels |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 41 | std::vector<uint8_t> input = provider.ConsumeRemainingBytes<uint8_t>(); |
| 42 | p->setData(input.data(), input.size()); |
| 43 | } |
Steven Moreland | 362e4da | 2020-10-16 19:49:39 +0000 | [diff] [blame] | 44 | static void fillRandomParcel(NdkParcelAdapter* p, FuzzedDataProvider&& provider) { |
| 45 | // fill underlying parcel using functions to fill random libbinder parcel |
| 46 | fillRandomParcel(p->parcel(), std::move(provider)); |
| 47 | } |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 48 | |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 49 | template <typename P> |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 50 | void doFuzz(const char* backend, const std::vector<ParcelRead<P>>& reads, |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 51 | FuzzedDataProvider&& provider) { |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 52 | // Allow some majority of the bytes to be dedicated to telling us what to |
| 53 | // do. The fixed value added here represents that we want to test doing a |
| 54 | // lot of 'instructions' even on really short parcels. |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 55 | size_t maxInstructions = 20 + (provider.remaining_bytes() * 2 / 3); |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 56 | // but don't always use that many instructions. We want to allow the fuzzer |
| 57 | // to explore large parcels with few instructions if it wants to. |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 58 | std::vector<uint8_t> instructions = provider.ConsumeBytes<uint8_t>( |
| 59 | provider.ConsumeIntegralInRange<size_t>(0, maxInstructions)); |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 60 | |
| 61 | P p; |
Steven Moreland | f0769c9 | 2021-04-13 02:03:08 +0000 | [diff] [blame] | 62 | if constexpr (std::is_same_v<P, android::Parcel>) { |
| 63 | if (provider.ConsumeBool()) { |
Steven Moreland | c993906 | 2021-05-05 17:57:41 +0000 | [diff] [blame] | 64 | auto session = sp<RpcSession>::make(); |
| 65 | CHECK(session->addNullDebuggingClient()); |
| 66 | p.markForRpc(session); |
Steven Moreland | f0769c9 | 2021-04-13 02:03:08 +0000 | [diff] [blame] | 67 | fillRandomParcelData(&p, std::move(provider)); |
| 68 | } else { |
| 69 | fillRandomParcel(&p, std::move(provider)); |
| 70 | } |
| 71 | } else { |
| 72 | fillRandomParcel(&p, std::move(provider)); |
| 73 | } |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 74 | |
Steven Moreland | 7eac78a | 2019-10-11 18:46:24 -0700 | [diff] [blame] | 75 | // since we are only using a byte to index |
| 76 | CHECK(reads.size() <= 255) << reads.size(); |
| 77 | |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 78 | FUZZ_LOG() << "backend: " << backend; |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 79 | FUZZ_LOG() << "input: " << hexString(p.data(), p.dataSize()); |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 80 | FUZZ_LOG() << "instructions: " << hexString(instructions); |
| 81 | |
| 82 | for (size_t i = 0; i + 1 < instructions.size(); i += 2) { |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 83 | uint8_t a = instructions[i]; |
Steven Moreland | dc449dc | 2019-10-10 10:06:58 -0700 | [diff] [blame] | 84 | uint8_t readIdx = a % reads.size(); |
| 85 | |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 86 | uint8_t b = instructions[i + 1]; |
| 87 | |
Steven Moreland | dc449dc | 2019-10-10 10:06:58 -0700 | [diff] [blame] | 88 | FUZZ_LOG() << "Instruction: " << (i / 2) + 1 << "/" << instructions.size() / 2 |
| 89 | << " cmd: " << static_cast<size_t>(a) << " (" << static_cast<size_t>(readIdx) |
| 90 | << ") arg: " << static_cast<size_t>(b) << " size: " << p.dataSize() |
| 91 | << " avail: " << p.dataAvail() << " pos: " << p.dataPosition() |
| 92 | << " cap: " << p.dataCapacity(); |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 93 | |
Steven Moreland | dc449dc | 2019-10-10 10:06:58 -0700 | [diff] [blame] | 94 | reads[readIdx](p, b); |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 95 | } |
| 96 | } |
| 97 | |
Steven Moreland | 139514d | 2020-12-08 01:12:26 +0000 | [diff] [blame] | 98 | size_t getHardMemoryLimit() { |
| 99 | struct rlimit limit; |
| 100 | CHECK(0 == getrlimit(RLIMIT_AS, &limit)) << errno; |
| 101 | return limit.rlim_max; |
| 102 | } |
| 103 | |
| 104 | void setMemoryLimit(size_t cur, size_t max) { |
| 105 | const struct rlimit kLimit = { |
| 106 | .rlim_cur = cur, |
| 107 | .rlim_max = max, |
| 108 | }; |
| 109 | CHECK(0 == setrlimit(RLIMIT_AS, &kLimit)) << errno; |
| 110 | } |
| 111 | |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 112 | extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size) { |
Steven Moreland | 139514d | 2020-12-08 01:12:26 +0000 | [diff] [blame] | 113 | static constexpr size_t kMemLimit = 1 * 1024 * 1024; |
| 114 | size_t hardLimit = getHardMemoryLimit(); |
| 115 | setMemoryLimit(std::min(kMemLimit, hardLimit), hardLimit); |
| 116 | |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 117 | if (size <= 1) return 0; // no use |
Steven Moreland | 9894741 | 2019-10-15 10:36:05 -0700 | [diff] [blame] | 118 | |
| 119 | // avoid timeouts, see b/142617274, b/142473153 |
| 120 | if (size > 50000) return 0; |
| 121 | |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 122 | FuzzedDataProvider provider = FuzzedDataProvider(data, size); |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 123 | |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 124 | const std::function<void(FuzzedDataProvider &&)> fuzzBackend[3] = { |
| 125 | [](FuzzedDataProvider&& provider) { |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 126 | doFuzz<::android::hardware::Parcel>("hwbinder", HWBINDER_PARCEL_READ_FUNCTIONS, |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 127 | std::move(provider)); |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 128 | }, |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 129 | [](FuzzedDataProvider&& provider) { |
| 130 | doFuzz<::android::Parcel>("binder", BINDER_PARCEL_READ_FUNCTIONS, |
| 131 | std::move(provider)); |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 132 | }, |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 133 | [](FuzzedDataProvider&& provider) { |
| 134 | doFuzz<NdkParcelAdapter>("binder_ndk", BINDER_NDK_PARCEL_READ_FUNCTIONS, |
| 135 | std::move(provider)); |
Steven Moreland | 842b593 | 2020-10-08 00:23:35 +0000 | [diff] [blame] | 136 | }, |
| 137 | }; |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 138 | |
Steven Moreland | 5e561af | 2020-10-08 02:16:03 +0000 | [diff] [blame] | 139 | provider.PickValueInArray(fuzzBackend)(std::move(provider)); |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 140 | |
Steven Moreland | 139514d | 2020-12-08 01:12:26 +0000 | [diff] [blame] | 141 | setMemoryLimit(hardLimit, hardLimit); |
| 142 | |
Steven Moreland | 46e0da7 | 2019-09-05 15:52:02 -0700 | [diff] [blame] | 143 | return 0; |
| 144 | } |