blob: de20e1e03570d4e79617bd6922b6c45eae854497 [file] [log] [blame] [edit]
// 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;
}