Roman Lebedev | eb4a9bc | 2018-07-30 18:58:30 +0000 | [diff] [blame] | 1 | // This file is distributed under the University of Illinois Open Source |
| 2 | // License. See LICENSE.TXT for details. |
| 3 | |
Roman Lebedev | d32c0d1 | 2018-10-11 09:09:52 +0000 | [diff] [blame] | 4 | // Test for unsigned-integer-overflow. |
Roman Lebedev | eb4a9bc | 2018-07-30 18:58:30 +0000 | [diff] [blame] | 5 | #include <assert.h> |
| 6 | #include <climits> |
| 7 | #include <cstddef> |
| 8 | #include <cstdint> |
| 9 | #include <cstdlib> |
| 10 | #include <iostream> |
| 11 | |
| 12 | static volatile int Sink; |
| 13 | static unsigned char Large = UINT8_MAX; |
| 14 | |
| 15 | extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) { |
| 16 | assert(Data); |
| 17 | if (Size > 0 && Data[0] == 'H') { |
| 18 | Sink = 1; |
| 19 | if (Size > 1 && Data[1] == 'i') { |
| 20 | Sink = 2; |
| 21 | if (Size > 2 && Data[2] == '!') { |
Roman Lebedev | d32c0d1 | 2018-10-11 09:09:52 +0000 | [diff] [blame] | 22 | Large = (unsigned int)Large + 1U; // 'char overflow'. |
Roman Lebedev | eb4a9bc | 2018-07-30 18:58:30 +0000 | [diff] [blame] | 23 | } |
| 24 | } |
| 25 | } |
| 26 | return 0; |
| 27 | } |