1*2946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 2*2946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 3*2946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 410ab2aceSGeorge Karpenkov 510ab2aceSGeorge Karpenkov // Test for signed-integer-overflow. 610ab2aceSGeorge Karpenkov #include <assert.h> 710ab2aceSGeorge Karpenkov #include <climits> 810ab2aceSGeorge Karpenkov #include <cstddef> 910ab2aceSGeorge Karpenkov #include <cstdint> 1010ab2aceSGeorge Karpenkov #include <cstdlib> 1110ab2aceSGeorge Karpenkov #include <iostream> 1210ab2aceSGeorge Karpenkov 1310ab2aceSGeorge Karpenkov static volatile int Sink; 1410ab2aceSGeorge Karpenkov static int Large = INT_MAX; 1510ab2aceSGeorge Karpenkov LLVMFuzzerTestOneInput(const uint8_t * Data,size_t Size)1610ab2aceSGeorge Karpenkovextern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) { 1710ab2aceSGeorge Karpenkov assert(Data); 1810ab2aceSGeorge Karpenkov if (Size > 0 && Data[0] == 'H') { 1910ab2aceSGeorge Karpenkov Sink = 1; 2010ab2aceSGeorge Karpenkov if (Size > 1 && Data[1] == 'i') { 2110ab2aceSGeorge Karpenkov Sink = 2; 2210ab2aceSGeorge Karpenkov if (Size > 2 && Data[2] == '!') { 2310ab2aceSGeorge Karpenkov Large++; // int overflow. 2410ab2aceSGeorge Karpenkov } 2510ab2aceSGeorge Karpenkov } 2610ab2aceSGeorge Karpenkov } 2710ab2aceSGeorge Karpenkov return 0; 2810ab2aceSGeorge Karpenkov } 2910ab2aceSGeorge Karpenkov 30