[libFuzzer] one more puzzle, value_profile cracks it in a second

llvm-svn: 281066
This commit is contained in:
Kostya Serebryany 2016-09-09 18:00:04 +00:00
parent 28f31b405e
commit 00ef27112e
3 changed files with 25 additions and 0 deletions

View File

@ -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.
#include <cstring>
#include <cstdint>
#include <cstdlib>
#include <cstddef>
#include <cstdio>
extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
if (Size < 8) return 0;
int x;
unsigned y;
memcpy(&x, Data, 4);
memcpy(&y, Data + 4, 4);
if (abs(x) < 0 && y == 0xbaddcafe) {
printf("BINGO; Found the target, exiting; x = 0x%x y 0x%x\n", x, y);
exit(1);
}
return 0;
}

View File

@ -62,6 +62,7 @@ set(TestBinaries)
###############################################################################
set(Tests
AbsNegAndConstantTest
AccumulateAllocationsTest
BufferOverflowOnInput
CallerCalleeTest

View File

@ -1,5 +1,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