/* american fuzzy lop++ - postprocessor library example -------------------------------------------------- Originally written by Michal Zalewski Edited by Dominik Maier, 2020 Copyright 2015 Google Inc. All rights reserved. Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at: http://www.apache.org/licenses/LICENSE-2.0 Postprocessor libraries can be passed to afl-fuzz to perform final cleanup of any mutated test cases - for example, to fix up checksums in PNG files. Please heed the following warnings: 1) In almost all cases, it is more productive to comment out checksum logic in the targeted binary (as shown in ../libpng_no_checksum/). One possible exception is the process of fuzzing binary-only software in QEMU mode. 2) The use of postprocessors for anything other than checksums is questionable and may cause more harm than good. AFL is normally pretty good about dealing with length fields, magic values, etc. 3) Postprocessors that do anything non-trivial must be extremely robust to gracefully handle malformed data and other error conditions - otherwise, they will crash and take afl-fuzz down with them. Be wary of reading past *len and of integer overflows when calculating file offsets. In other words, THIS IS PROBABLY NOT WHAT YOU WANT - unless you really, honestly know what you're doing =) With that out of the way: the postprocessor library is passed to afl-fuzz via AFL_POST_LIBRARY. The library must be compiled with: gcc -shared -Wall -O3 post_library.so.c -o post_library.so AFL will call the afl_custom_post_process() function for every mutated output buffer. From there, you have three choices: 1) If you don't want to modify the test case, simply set `*out_buf = in_buf` and return the original `len`. 2) If you want to skip this test case altogether and have AFL generate a new one, return 0 or set `*out_buf = NULL`. Use this sparingly - it's faster than running the target program with patently useless inputs, but still wastes CPU time. 3) If you want to modify the test case, allocate an appropriately-sized buffer, move the data into that buffer, make the necessary changes, and then return the new pointer as out_buf. Return an appropriate len afterwards. Note that the buffer will *not* be freed for you. To avoid memory leaks, you need to free it or reuse it on subsequent calls (as shown below). *** Feel free to reuse the original 'in_buf' BUFFER and return it. *** Aight. The example below shows a simple postprocessor that tries to make sure that all input files start with "GIF89a". PS. If you don't like C, you can try out the unix-based wrapper from Ben Nagy instead: https://github.com/bnagy/aflfix */ #include #include #include /* Header that must be present at the beginning of every test case: */ #define HEADER "GIF89a" typedef struct post_state { unsigned char *buf; size_t size; } post_state_t; void *afl_custom_init(void *afl) { post_state_t *state = malloc(sizeof(post_state_t)); if (!state) { perror("malloc"); return NULL; } state->buf = calloc(sizeof(unsigned char), 4096); if (!state->buf) { free(state); perror("calloc"); return NULL; } return state; } /* The actual postprocessor routine called by afl-fuzz: */ size_t afl_custom_post_process(post_state_t *data, unsigned char *in_buf, unsigned int len, unsigned char **out_buf) { /* Skip execution altogether for buffers shorter than 6 bytes (just to show how it's done). We can trust len to be sane. */ if (len < strlen(HEADER)) return 0; /* Do nothing for buffers that already start with the expected header. */ if (!memcmp(in_buf, HEADER, strlen(HEADER))) { *out_buf = in_buf; return len; } /* Allocate memory for new buffer, reusing previous allocation if possible. */ *out_buf = realloc(data->buf, len); /* If we're out of memory, the most graceful thing to do is to return the original buffer and give up on modifying it. Let AFL handle OOM on its own later on. */ if (!*out_buf) { *out_buf = in_buf; return len; } /* Copy the original data to the new location. */ memcpy(*out_buf, in_buf, len); /* Insert the new header. */ memcpy(*out_buf, HEADER, strlen(HEADER)); /* Return the new len. It hasn't changed, so it's just len. */ return len; } /* Gets called afterwards */ void afl_custom_deinit(post_state_t *data) { free(data->buf); free(data); }