[llvm] r281106 - [libFuzzer] one more puzzle for value profile

[Kostya Serebryany via llvm-commits]

Author: kcc
Date: Fri Sep  9 16:58:42 2016
New Revision: 281106

URL: http://llvm.org/viewvc/llvm-project?rev=281106&view=rev
Log:
[libFuzzer] one more puzzle for value profile

Added:
    llvm/trunk/lib/Fuzzer/test/AbsNegAndConstant64Test.cpp
Modified:
    llvm/trunk/lib/Fuzzer/test/CMakeLists.txt
    llvm/trunk/lib/Fuzzer/test/value-profile-cmp.test

Added: llvm/trunk/lib/Fuzzer/test/AbsNegAndConstant64Test.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Fuzzer/test/AbsNegAndConstant64Test.cpp?rev=281106&view=auto
==============================================================================
--- llvm/trunk/lib/Fuzzer/test/AbsNegAndConstant64Test.cpp (added)
+++ llvm/trunk/lib/Fuzzer/test/AbsNegAndConstant64Test.cpp Fri Sep  9 16:58:42 2016
@@ -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 <cstring>
+#include <cstdint>
+#include <cstdlib>
+#include <cstddef>
+#include <cstdio>
+
+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;
+}
+

Modified: llvm/trunk/lib/Fuzzer/test/CMakeLists.txt
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Fuzzer/test/CMakeLists.txt?rev=281106&r1=281105&r2=281106&view=diff
==============================================================================
--- llvm/trunk/lib/Fuzzer/test/CMakeLists.txt (original)
+++ llvm/trunk/lib/Fuzzer/test/CMakeLists.txt Fri Sep  9 16:58:42 2016
@@ -63,6 +63,7 @@ set(TestBinaries)
 
 set(Tests
   AbsNegAndConstantTest
+  AbsNegAndConstant64Test
   AccumulateAllocationsTest
   BufferOverflowOnInput
   CallerCalleeTest

Modified: llvm/trunk/lib/Fuzzer/test/value-profile-cmp.test
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Fuzzer/test/value-profile-cmp.test?rev=281106&r1=281105&r2=281106&view=diff
==============================================================================
--- llvm/trunk/lib/Fuzzer/test/value-profile-cmp.test (original)
+++ llvm/trunk/lib/Fuzzer/test/value-profile-cmp.test Fri Sep  9 16:58:42 2016
@@ -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