| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | |
| // See https://llvm.org/LICENSE.txt for license information. | |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | |
| // Like SimpleTest, but simulates an "empty" module (i.e. one without any functions to instrument). | |
| // This reproduces a previous bug (when libFuzzer is compiled with assertions enabled). | |
| #include <assert.h> | |
| #include <cstddef> | |
| #include <cstdint> | |
| #include <cstdlib> | |
| #include <iostream> | |
| #include <ostream> | |
| extern "C" { | |
| void __sanitizer_cov_8bit_counters_init(uint8_t *Start, uint8_t *Stop); | |
| void __sanitizer_cov_pcs_init(const uintptr_t *pcs_beg, | |
| const uintptr_t *pcs_end); | |
| } | |
| void dummy_func() {} | |
| uint8_t empty_8bit_counters[0]; | |
| uintptr_t empty_pcs[0]; | |
| uint8_t fake_8bit_counters[1] = {0}; | |
| uintptr_t fake_pcs[2] = {reinterpret_cast<uintptr_t>(&dummy_func), | |
| reinterpret_cast<uintptr_t>(&dummy_func)}; | |
| // Register two modules at program launch (same time they'd normally be registered). | |
| // Triggering the bug requires loading an empty module, then a non-empty module after it. | |
| bool dummy = []() { | |
| // First, simulate loading an empty module. | |
| __sanitizer_cov_8bit_counters_init(empty_8bit_counters, empty_8bit_counters); | |
| __sanitizer_cov_pcs_init(empty_pcs, empty_pcs); | |
| // Next, simulate loading a non-empty module. | |
| __sanitizer_cov_8bit_counters_init(fake_8bit_counters, | |
| fake_8bit_counters + 1); | |
| __sanitizer_cov_pcs_init(fake_pcs, fake_pcs + 2); | |
| return true; | |
| }(); | |
| static volatile int Sink; | |
| extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) { | |
| assert(Data); | |
| if (Size > 0 && Data[0] == 'H') { | |
| Sink = 1; | |
| if (Size > 1 && Data[1] == 'i') { | |
| Sink = 2; | |
| if (Size > 2 && Data[2] == '!') { | |
| std::cout << "BINGO; Found the target, exiting\n" << std::flush; | |
| exit(0); | |
| } | |
| } | |
| } | |
| return 0; | |
| } |