diff options
author | Patrick Georgi <patrick@georgi-clan.de> | 2015-08-09 18:30:44 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2015-10-29 19:00:42 +0100 |
commit | 8f5053c6260bfe54b85ce76b3c47bccfadfd831a (patch) | |
tree | 303fb518309c66be32b4d521ae187be26715e612 | |
parent | 5907eb8f5a32b0514bb63a6ed847ead1712bc454 (diff) | |
download | coreboot-staging-8f5053c6260bfe54b85ce76b3c47bccfadfd831a.zip coreboot-staging-8f5053c6260bfe54b85ce76b3c47bccfadfd831a.tar.gz |
util/fuzz-tests: Add fuzzer for jpeg decoder
Mostly a proof of concept for adding fuzzing to our tree.
Change-Id: I10e5ef3a426b9c74c288d7232a6d11a1ca59833b
Signed-off-by: Patrick Georgi <patrick@georgi-clan.de>
Reviewed-on: http://review.coreboot.org/12183
Tested-by: build bot (Jenkins)
Reviewed-by: Martin Roth <martinroth@google.com>
-rw-r--r-- | util/fuzz-tests/Makefile | 5 | ||||
-rw-r--r-- | util/fuzz-tests/README | 11 | ||||
-rw-r--r-- | util/fuzz-tests/jpeg-test-cases/coreboot.jpg | bin | 0 -> 711 bytes | |||
-rw-r--r-- | util/fuzz-tests/jpeg-test-cases/coreboot_2.jpg | bin | 0 -> 285 bytes | |||
-rw-r--r-- | util/fuzz-tests/jpeg-test.c | 53 |
5 files changed, 69 insertions, 0 deletions
diff --git a/util/fuzz-tests/Makefile b/util/fuzz-tests/Makefile new file mode 100644 index 0000000..e97643f --- /dev/null +++ b/util/fuzz-tests/Makefile @@ -0,0 +1,5 @@ +all: + afl-gcc -g -m32 -I ../../src/lib -o jpeg-test jpeg-test.c ../../src/lib/jpeg.c + +run: + afl-fuzz -i jpeg-test-cases -o jpeg-results ./jpeg-test @@ diff --git a/util/fuzz-tests/README b/util/fuzz-tests/README new file mode 100644 index 0000000..52777f8 --- /dev/null +++ b/util/fuzz-tests/README @@ -0,0 +1,11 @@ +Fuzz tests +========== +make run (with afl-fuzz installed) takes a real long time and creates test +cases in jpeg-results/ that crash the jpeg code. + +These test cases can then be used to gdb the test app and dig into the +decoder to fix the issues. + +This is mostly a proof of concept because the jpeg code isn't used very often +(only for splash screens). However there are other regions in coreboot that +could benefit from similar treatment. diff --git a/util/fuzz-tests/jpeg-test-cases/coreboot.jpg b/util/fuzz-tests/jpeg-test-cases/coreboot.jpg Binary files differnew file mode 100644 index 0000000..018a3f0 --- /dev/null +++ b/util/fuzz-tests/jpeg-test-cases/coreboot.jpg diff --git a/util/fuzz-tests/jpeg-test-cases/coreboot_2.jpg b/util/fuzz-tests/jpeg-test-cases/coreboot_2.jpg Binary files differnew file mode 100644 index 0000000..8f57a22 --- /dev/null +++ b/util/fuzz-tests/jpeg-test-cases/coreboot_2.jpg diff --git a/util/fuzz-tests/jpeg-test.c b/util/fuzz-tests/jpeg-test.c new file mode 100644 index 0000000..2be3e65 --- /dev/null +++ b/util/fuzz-tests/jpeg-test.c @@ -0,0 +1,53 @@ +/* + * This file is part of the coreboot project. + * + * Copyright 2015 Google Inc. + * + * This program is free software; you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation; version 2 of the License. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc. + */ + +#include <stdlib.h> +#include <stdio.h> +#include "jpeg.h" + +const int depth = 16; + +int main(int argc, char **argv) +{ + FILE *f = fopen(argv[1], "rb"); + unsigned long len; + + if (!f) + return 1; + if (fseek(f, 0, SEEK_END) != 0) + return 1; + len = ftell(f); + if (fseek(f, 0, SEEK_SET) != 0) + return 1; + + char *buf = malloc(len); + struct jpeg_decdata *decdata = malloc(sizeof(*decdata)); + if (fread(buf, len, 1, f) != 1) + return 1; + fclose(f); + + int width; + int height; + jpeg_fetch_size(buf, &width, &height); + //printf("width: %d, height: %d\n", width, height); + char *pic = malloc(depth / 8 * width * height); + int ret = jpeg_decode(buf, pic, width, height, depth, decdata); + //printf("ret: %x\n", ret); + return ret; +} |