From 4b17a331ae749583dbe913ea175f7b8c578158e8 Mon Sep 17 00:00:00 2001 From: Kostya Serebryany Date: Fri, 9 Sep 2016 21:58:42 +0000 Subject: [PATCH] [libFuzzer] one more puzzle for value profile llvm-svn: 281106 --- llvm/lib/Fuzzer/test/AbsNegAndConstant64Test.cpp | 23 +++++++++++++++++++++++ llvm/lib/Fuzzer/test/CMakeLists.txt | 1 + llvm/lib/Fuzzer/test/value-profile-cmp.test | 1 + 3 files changed, 25 insertions(+) create mode 100644 llvm/lib/Fuzzer/test/AbsNegAndConstant64Test.cpp diff --git a/llvm/lib/Fuzzer/test/AbsNegAndConstant64Test.cpp b/llvm/lib/Fuzzer/test/AbsNegAndConstant64Test.cpp new file mode 100644 index 0000000..0d199fc --- /dev/null +++ b/llvm/lib/Fuzzer/test/AbsNegAndConstant64Test.cpp @@ -0,0 +1,23 @@ +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. + +// abs(x) < 0 and y == Const puzzle, 64-bit variant. +#include +#include +#include +#include +#include + +extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) { + if (Size < 16) return 0; + long x; + unsigned long y; + memcpy(&x, Data, 8); + memcpy(&y, Data + 8, 8); + if (labs(x) < 0 && y == 0xbaddcafedeadbeefUL) { + printf("BINGO; Found the target, exiting; x = 0x%lx y 0x%lx\n", x, y); + exit(1); + } + return 0; +} + diff --git a/llvm/lib/Fuzzer/test/CMakeLists.txt b/llvm/lib/Fuzzer/test/CMakeLists.txt index dde189a..1cc02d2 100644 --- a/llvm/lib/Fuzzer/test/CMakeLists.txt +++ b/llvm/lib/Fuzzer/test/CMakeLists.txt @@ -63,6 +63,7 @@ set(TestBinaries) set(Tests AbsNegAndConstantTest + AbsNegAndConstant64Test AccumulateAllocationsTest BufferOverflowOnInput CallerCalleeTest diff --git a/llvm/lib/Fuzzer/test/value-profile-cmp.test b/llvm/lib/Fuzzer/test/value-profile-cmp.test index ae06495..d183b76 100644 --- a/llvm/lib/Fuzzer/test/value-profile-cmp.test +++ b/llvm/lib/Fuzzer/test/value-profile-cmp.test @@ -2,5 +2,6 @@ CHECK: BINGO RUN: not LLVMFuzzer-SimpleCmpTest -use_value_profile=1 -runs=100000000 2>&1 | FileCheck %s RUN: not LLVMFuzzer-SimpleHashTest -use_value_profile=1 -runs=100000000 2>&1 | FileCheck %s RUN: not LLVMFuzzer-AbsNegAndConstantTest -use_value_profile=1 -runs=100000000 2>&1 | FileCheck %s +RUN: not LLVMFuzzer-AbsNegAndConstant64Test -use_value_profile=1 -runs=100000000 2>&1 | FileCheck %s -- 2.7.4