diff options
| author | van Hauser <vh@thc.org> | 2024-10-30 13:20:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-30 13:20:48 +0100 |
| commit | d0587a3ac46b1652b1b51b3253c9833d0ea06a13 (patch) | |
| tree | f5d907aafec2fdfe4abca67f8357e9cb1b62d5f4 /instrumentation/README.gcc_plugin.md | |
| parent | 78b7e14c73baacf1d88b3c03955e78f5080d17ba (diff) | |
| parent | d1fd072b793cba16c28249abefe73ecb7feae4f2 (diff) | |
| download | afl++-d0587a3ac46b1652b1b51b3253c9833d0ea06a13.tar.gz | |
Merge pull request #2226 from AFLplusplus/dev
push to stable
Diffstat (limited to 'instrumentation/README.gcc_plugin.md')
| -rw-r--r-- | instrumentation/README.gcc_plugin.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/instrumentation/README.gcc_plugin.md b/instrumentation/README.gcc_plugin.md index 011a574a..34004dc7 100644 --- a/instrumentation/README.gcc_plugin.md +++ b/instrumentation/README.gcc_plugin.md @@ -51,7 +51,10 @@ The idea and much of the implementation comes from Laszlo Szekeres. In order to leverage this mechanism, you need to have modern enough GCC (>= version 4.5.0) and the plugin development headers installed on your system. That should be all you need. On Debian machines, these headers can be acquired by -installing the `gcc-VERSION-plugin-dev` packages. +installing the `gcc-VERSION-plugin-dev` packages. If you're compiling a GCC +plugin that differs from the system-installed version and encounter issues +with version checks, you can use the `AFL_GCC_DISABLE_VERSION_CHECK` environment +variable. To build the instrumentation itself, type `make`. This will generate binaries called `afl-gcc-fast` and `afl-g++-fast` in the parent directory. |