| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 1 | #include <stdint.h> | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 2 | #include <stdlib.h> | 
|  | 3 | #include <stdio.h> | 
| Michael Schuster | 41a686b | 2024-06-01 21:08:45 +0200 | [diff] [blame] | 4 | #include "common.h" | 
| Gilles Peskine | 26f3e28 | 2019-08-13 18:00:02 +0200 | [diff] [blame] | 5 |  | 
| Bence Szépkúti | bb0cfeb | 2021-05-28 09:42:25 +0200 | [diff] [blame] | 6 | /* This file doesn't use any Mbed TLS function, but grab mbedtls_config.h anyway | 
| Gilles Peskine | 26f3e28 | 2019-08-13 18:00:02 +0200 | [diff] [blame] | 7 | * in case it contains platform-specific #defines related to malloc or | 
|  | 8 | * stdio functions. */ | 
| Bence Szépkúti | c662b36 | 2021-05-27 11:25:03 +0200 | [diff] [blame] | 9 | #include "mbedtls/build_info.h" | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 10 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 11 | int main(int argc, char **argv) | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 12 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 13 | FILE *fp; | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 14 | uint8_t *Data; | 
|  | 15 | size_t Size; | 
| Gilles Peskine | 1f9d8a4 | 2023-05-12 13:18:08 +0200 | [diff] [blame] | 16 | const char *argv0 = argv[0] == NULL ? "PROGRAM_NAME" : argv[0]; | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 17 |  | 
|  | 18 | if (argc != 2) { | 
| Gilles Peskine | 1f9d8a4 | 2023-05-12 13:18:08 +0200 | [diff] [blame] | 19 | fprintf(stderr, "Usage: %s REPRODUCER_FILE\n", argv0); | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 20 | return 1; | 
|  | 21 | } | 
|  | 22 | //opens the file, get its size, and reads it into a buffer | 
|  | 23 | fp = fopen(argv[1], "rb"); | 
|  | 24 | if (fp == NULL) { | 
| Gilles Peskine | 1f9d8a4 | 2023-05-12 13:18:08 +0200 | [diff] [blame] | 25 | fprintf(stderr, "%s: Error in fopen\n", argv0); | 
|  | 26 | perror(argv[1]); | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 27 | return 2; | 
|  | 28 | } | 
|  | 29 | if (fseek(fp, 0L, SEEK_END) != 0) { | 
| Gilles Peskine | 1f9d8a4 | 2023-05-12 13:18:08 +0200 | [diff] [blame] | 30 | fprintf(stderr, "%s: Error in fseek(SEEK_END)\n", argv0); | 
|  | 31 | perror(argv[1]); | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 32 | fclose(fp); | 
|  | 33 | return 2; | 
|  | 34 | } | 
|  | 35 | Size = ftell(fp); | 
|  | 36 | if (Size == (size_t) -1) { | 
| Gilles Peskine | 1f9d8a4 | 2023-05-12 13:18:08 +0200 | [diff] [blame] | 37 | fprintf(stderr, "%s: Error in ftell\n", argv0); | 
|  | 38 | perror(argv[1]); | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 39 | fclose(fp); | 
|  | 40 | return 2; | 
|  | 41 | } | 
|  | 42 | if (fseek(fp, 0L, SEEK_SET) != 0) { | 
| Gilles Peskine | 1f9d8a4 | 2023-05-12 13:18:08 +0200 | [diff] [blame] | 43 | fprintf(stderr, "%s: Error in fseek(0)\n", argv0); | 
|  | 44 | perror(argv[1]); | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 45 | fclose(fp); | 
|  | 46 | return 2; | 
|  | 47 | } | 
|  | 48 | Data = malloc(Size); | 
|  | 49 | if (Data == NULL) { | 
| Gilles Peskine | 1f9d8a4 | 2023-05-12 13:18:08 +0200 | [diff] [blame] | 50 | fprintf(stderr, "%s: Could not allocate memory\n", argv0); | 
|  | 51 | perror(argv[1]); | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 52 | fclose(fp); | 
|  | 53 | return 2; | 
|  | 54 | } | 
|  | 55 | if (fread(Data, Size, 1, fp) != 1) { | 
| Gilles Peskine | 1f9d8a4 | 2023-05-12 13:18:08 +0200 | [diff] [blame] | 56 | fprintf(stderr, "%s: Error in fread\n", argv0); | 
|  | 57 | perror(argv[1]); | 
| Philippe Antoine | 3abe15b | 2019-06-04 12:06:34 +0200 | [diff] [blame] | 58 | free(Data); | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 59 | fclose(fp); | 
|  | 60 | return 2; | 
|  | 61 | } | 
|  | 62 |  | 
| Shaun Case | 8b0ecbc | 2021-12-20 21:14:10 -0800 | [diff] [blame] | 63 | //launch fuzzer | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 64 | LLVMFuzzerTestOneInput(Data, Size); | 
| Philippe Antoine | 3abe15b | 2019-06-04 12:06:34 +0200 | [diff] [blame] | 65 | free(Data); | 
| Philippe Antoine | 7233352 | 2018-05-03 16:40:24 +0200 | [diff] [blame] | 66 | fclose(fp); | 
|  | 67 | return 0; | 
|  | 68 | } |