about summary refs log tree commit diff
path: root/src/afl-tmin.c
AgeCommit message (Collapse)Author
2024-04-19nitsvanhauser-thc
2024-03-14Fix invalid range for del_len_limitgnbon
2024-03-13Add -l option for adjustable block deletiongnbon
- Introduce the -l option to set min block deletion length using powers of 2 (e.g., 1, 2, 4, 8, 16, ...). - This enables a trade-off between minimization thoroughness and speed. - Adjusting del_len_limit allows for faster processing, as doubling it roughly halves the minimization time.
2024-02-03push to stable (#1983)van Hauser
* Output afl-clang-fast stuffs only if necessary (#1912) * afl-cc header * afl-cc common declarations - Add afl-cc-state.c - Strip includes, find_object, debug/be_quiet/have_*/callname setting from afl-cc.c - Use debugf_args in main - Modify execvp stuffs to fit new aflcc struct * afl-cc show usage * afl-cc mode selecting 1. compiler_mode by callname in argv[0] 2. compiler_mode by env "AFL_CC_COMPILER" 3. compiler_mode/instrument_mode by command line options "--afl-..." 4. instrument_mode/compiler_mode by various env vars including "AFL_LLVM_INSTRUMENT" 5. final checking steps 6. print "... - mode: %s-%s\n" 7. determine real argv[0] according to compiler_mode * afl-cc macro defs * afl-cc linking behaviors * afl-cc fsanitize behaviors * afl-cc misc * afl-cc body update * afl-cc all-in-one formated with custom-format.py * nits --------- Co-authored-by: vanhauser-thc <vh@thc.org> * changelog * update grammar mutator * lto llvm 12+ * docs(custom_mutators): fix missing ':' (#1953) * Fix broken LTO mode and response file support (#1948) * Strip `-Wl,-no-undefined` during compilation (#1952) Make the compiler wrapper stripping `-Wl,-no-undefined` in addition to `-Wl,--no-undefined`. Both versions of the flag are accepted by clang and, therefore, used by building systems in the wild (e.g., samba will not build without this fix). * Remove dead code in write_to_testcase (#1955) The custom_mutators_count check in if case is duplicate with if condition. The else case is custom_mutators_count == 0, neither custom_mutator_list iteration nor sent check needed. Signed-off-by: Xeonacid <h.dwwwwww@gmail.com> * update qemuafl * WIP: Add ability to generate drcov trace using QEMU backend (#1956) * Document new drcov QEMU plugin * Add link to lightkeeper for QEMU drcov file loading --------- Co-authored-by: Jean-Romain Garnier <jean-romain.garnier@airbus.com> * code format * changelog * sleep on uid != 0 afl-system-config * fix segv about skip_next, warn on unsupported cases of linking options (#1958) * todos * ensure afl-cc only allows available compiler modes * update grammar mutator * disable aslr on apple * fix for arm64 * help selective instrumentation * typos * macos * add compiler test script * apple fixes * bump nyx submodules (#1963) * fix docs * update changelog * update grammar mutator * improve compiler test script * gcc asan workaround (#1966) * fix github merge fuckup * fix * Fix afl-cc (#1968) - Check if too many cmdline params here, each time before insert a new param. - Check if it is "-fsanitize=..." before we do sth. - Remove improper param_st transfer. * Avoid adding llvmnative instrumentation when linking rust sanitizer runtime (#1969) * Dynamic instrumentation filtering for LLVM native (#1971) * Add two dynamic instrumentation filter methods to runtime * Always use pc-table with native pcguard * Add make_symbol_list.py and README * changelog * todos * new forkserver check * fix * nyx test for CI * improve nyx docs * Fixes to afl-cc and documentation (#1974) * Always compile with -ldl when building for CODE_COVERAGE When building with CODE_COVERAGE, the afl runtime contains code that calls `dladdr` which requires -ldl. Under most circumstances, clang already adds this (e.g. when building with pc-table), but there are some circumstances where it isn't added automatically. * Add visibility declaration to __afl_connected When building with hidden visibility, the use of __AFL_LOOP inside such code can cause linker errors due to __afl_connected being declared "hidden". * Update docs to clarify that CODE_COVERAGE=1 is required for dynamic_covfilter * nits * nyx build script updates * test error output * debug ci * debug ci * Improve afl-cc (#1975) * update response file support - full support of rsp file - fix some segv issues * Improve afl-cc - remove dead code about allow/denylist options of sancov - missing `if (!aflcc->have_msan)` - add docs for each function - typo * enable nyx * debug ci * debug ci * debug ci * debug ci * debug ci * debug ci * debug ci * debug ci * fix ci * clean test script * NO_NYX * NO_NYX * fix ci * debug ci * fix ci * finalize ci fix * Enhancement on Deterministic stage (#1972) * fuzzer: init commit based on aflpp 60dc37a8cf09f8e9048e4b6a2204d6c90b27655a * fuzzers: adding the skip variables and initialize * log: profile the det/havoc finding * log: add profile log output * fuzzers: sperate log/skipdet module * fuzzers: add quick eff_map calc * fuzzers: add skip_eff_map in fuzz_one * fuzzers: mark whole input space in eff_map * fuzzers: add undet bit threshold to skip some seeds * fuzzers: fix one byte overflow * fuzzers: fix overflow * fix code format * add havoc only again * code format * remove log to INTROSPECTION, rename skipdet module * rename skipdet module * remove log to stats * clean redundant code * code format * remove redundant code format check * remove redundant doc * remove redundant objects * clean files * change -d to default skipdet * disable deterministic when using CUSTOM_MUTATOR * revert fix * final touches for skipdet * remove unused var * remove redundant eff struct (#1977) * update QEMU-Nyx submodule (#1978) * update QEMU-Nyx submodule (#1980) * Fix type in AFL_NOOPT env variable in afl-cc help message (#1982) * nits * 2024 v4.10c release * fixes --------- Signed-off-by: Xeonacid <h.dwwwwww@gmail.com> Co-authored-by: Sonic <50692172+SonicStark@users.noreply.github.com> Co-authored-by: Xeonacid <h.dwwwwww@gmail.com> Co-authored-by: Nils Bars <nils.bars@rub.de> Co-authored-by: Jean-Romain Garnier <7504819+JRomainG@users.noreply.github.com> Co-authored-by: Jean-Romain Garnier <jean-romain.garnier@airbus.com> Co-authored-by: Sergej Schumilo <sergej@schumilo.de> Co-authored-by: Christian Holler (:decoder) <choller@mozilla.com> Co-authored-by: Han Zheng <35988108+kdsjZh@users.noreply.github.com> Co-authored-by: Khaled Yakdan <yakdan@code-intelligence.com>
2023-04-16hidden -Y option for nyx, code formatvanhauser-thc
2023-04-16improved Nyx tmp dir handling (additional sanity checks)Sergej Schumilo
2023-04-14add Nyx support in various tools (like afl-cmin)Sergej Schumilo
2023-03-09code formatvanhauser-thc
2023-03-09various fixesvanhauser-thc
2023-01-26better asan defaults everwherevanhauser-thc
2023-01-03welcome 2023vanhauser-thc
2022-10-29nitsvanhauser-thc
2022-10-29fix fork server kill signals for qemu, unicorn and nyx modevanhauser-thc
2022-10-24changelog updatevanhauser-thc
2022-10-24Update usage messagesNils Bars
2022-10-24AFL_FORK_SERVER_KILL_SIGNAL backwards compatiblityNils Bars
If `AFL_KILL_SIGNAL` is set, `AFL_FORK_SERVER_KILL_SIGNAL` is set to the same value.
2022-10-21Add AFL_FORK_SERVER_KILL_SIGNAL environment variable.Nils Bars
The AFL_FORK_SERVER_KILL_SIGNAL variable allows to configure the signal used to kill the fork server on termination.
2022-10-20Fix child reaping on fuzzer terminationNils Bars
This commit contains the following changes: - Call `waitpid()` on the child and the fork server when terminating the fuzzer; thus, we do not end up with zombies. - Rename `fsrv.kill_signal` to `fsrv.child_kill_signal`, since the documentation states that the signal is used to terminate the *child*. - Use SIGTERM instead of fsrv.(child)_kill_signal, thus the fork server can always reap the child.
2022-10-07auto shmem fuzzing (#1541)van Hauser
* auto shmem fuzzing * print warning when forcing shmem fuzzing * typos * Shmem always * typo fix * fixes Co-authored-by: Dominik Maier <dmnk@google.com>
2022-07-12clang format 14vanhauser-thc
2022-01-01welcome 2022vanhauser-thc
2021-12-15cleanup of TIMES macrovanhauser-thc
2021-11-16showmap -A -> -H, accurate help outputvanhauser-thc
2021-11-15Fix platform check for `-A` CoreSight modeAkira Moroo
Signed-off-by: Akira Moroo <retrage01@gmail.com>
2021-11-12Add platform check for `-A` CoreSight modeAkira Moroo
REF: https://github.com/AFLplusplus/AFLplusplus/pull/1156#discussion_r747454306 Signed-off-by: Akira Moroo <retrage01@gmail.com>
2021-11-12Clarify usage message for ARM CoreSight modeAkira Moroo
REF: https://github.com/AFLplusplus/AFLplusplus/pull/1156#issuecomment-966196217 Signed-off-by: Akira Moroo <retrage01@gmail.com>
2021-11-11Add initial CoreSight mode supportAkira Moroo
The original code is: https://github.com/RICSecLab/AFLplusplus-cs/tree/retrage/coresight-mode-pr Signed-off-by: Akira Moroo <retrage01@gmail.com>
2021-11-09fix afl- tools for new fridavanhauser-thc
2021-11-06http->httpsvanhauser-thc
2021-10-23fix timeout bug in afl toolsvanhauser-thc
2021-10-02fix some compiler warnings in 32-bit linuxhexcoder-
2021-09-07add check_binary_signatures for afl-* utilsvanhauser-thc
2021-07-30frida tool fixvanhauser-thc
2021-07-30frida tool fixvanhauser-thc
2021-07-13Support AFL_NO_FORKSRV env-var in afl-tmin, afl-showmap, and afl-cmin (#1017)jhertz
* Support AFL_NO_FORKSRV env-var * format * showmap support * showmap support * help messages now show envar support * formatting * formatting Co-authored-by: Jesse Hertz <jesse_hertz@apple.com>
2021-04-04cleanupvanhauser-thc
2021-04-04Merge pull request #855 from MegaManSec/leak-sanitizervan Hauser
Add support for standalone leak-sanitizer
2021-04-04Move definition of __AFL_LEAK_CHECK inside ifguards,Joshua Rogers
use LSAN_OPTIONS=print_suppressions=0
2021-04-03Remove check for exit_code on LSAN and replace it with check forJoshua Rogers
symbolize=0.
2021-04-03Fix typos,Joshua Rogers
Use symbolize=0 for LSAN, Remove syntactic sugar.
2021-04-02 Add support for standalone leak-sanitizer, introducting the environmentJoshua Rogers
variable AFL_USE_LSAN. AFL_USE_LSAN introduces the macro __AFL_CHECK_LEAK() which will check for a memory leak when the macro is run. This is especially helpful when using __AFL_LOOP(). If __AFL_LEAK_CHECK() is not used when AFL_USE_LSAN=1 is set, the leak checker will run when the program exits.
2021-03-25Fix support for afl-cmin and updated READMEYour Name
2021-03-24Add support for FRIDA modeYour Name
2021-03-23make setting different file permissions easy via config.hvanhauser-thc
2021-03-15Remove AFL_PRELOAD and AFL_USE_QASAN handlersrealmadsci
These are now processed in afl-qemu-trace so that the "copy+paste" code that is in all of the other AFL tools can be removed. This also allows the AFL_USE_QASAN flag to work the same when used with tools like afl-fuzz as it does with afl-qemu-trace. This is important in situations where loading the QASAN library changes the address of your desired entrypoint, or for crash validation using the same environment that afl-fuzz was using. With this change, the same set of environment variables can be used in exactly the same way between afl-fuzz, afl-showmap, and afl-qemu-trace, and you will get exactly the same guest environment.
2021-03-04no ASAN odr violations by defaultvanhauser-thc
2021-02-01make dominik more happy - no auto map size for qemu+unicornvan Hauser
2021-02-01making AFL_MAP_SIZE obsoletevan Hauser
2021-01-30added AFL_CMPLOG_ONLY_NEW featurevan Hauser
2021-01-29AFL_USE_QASANAndrea Fioraldi