diff options
| author | van Hauser <vh@thc.org> | 2024-10-20 09:23:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-20 09:23:56 +0200 |
| commit | 7f614be3a555435421465e35536e70ff9c960a79 (patch) | |
| tree | cf8bdb2cb14151e90bc8016203405b44501dd2e7 /instrumentation/README.gcc_plugin.md | |
| parent | 8a060a4b68a0aa1c812916bcbcf4bf3424854124 (diff) | |
| parent | 04d2476b324f5c6124c665b24989d15dd61f0f2b (diff) | |
| download | afl++-7f614be3a555435421465e35536e70ff9c960a79.tar.gz | |
Merge pull request #2229 from g0ku704/feat/disable_gcc_version_check
Introduce `AFL_GCC_DISABLE_VERSION_CHECK` to disable GCC version check
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. |