1afl-tmin(8)                 System Manager's Manual                afl-tmin(8)
2
3
4

NAME

6       afl-tmin
7
8

SYNOPSIS

10       afl-tmin [ options ] -- /path/to/target_app [ ... ]
11
12

OPTIONS

14       Required parameters:
15         -i file       - input test case to be shrunk by the tool
16         -o file       - final output location for the minimized data
17
18       Execution control settings:
19         -f file       - input file read by the tested program (stdin)
20         -t msec       - timeout for each run (1000 ms)
21         -m megs       - memory limit for child process (0 MB)
22         -O            - use binary-only instrumentation (FRIDA mode)
23         -Q            - use binary-only instrumentation (QEMU mode)
24         -U            - use unicorn-based instrumentation (Unicorn mode)
25         -W            - use qemu-based instrumentation with Wine (Wine mode)
26                         (Not necessary, here for consistency with other afl-* tools)
27
28       Minimization settings:
29         -e            - solve for edge coverage only, ignore hit counts
30         -x            - treat non-zero exit codes as crashes
31
32         -H            - minimize a hang (hang mode)
33       For additional tips, please consult docs/README.md.
34
35       Environment variables used:
36       AFL_CRASH_EXITCODE: optional child exit code to be interpreted as crash
37       AFL_FORKSRV_INIT_TMOUT: time spent waiting for forkserver during startup (in milliseconds)
38       AFL_KILL_SIGNAL: Signal ID delivered to child processes on timeout, etc. (default: SIGKILL)
39       AFL_MAP_SIZE: the shared memory size for that target. must be >= the size
40                     the target was compiled for
41       AFL_PRELOAD:  LD_PRELOAD / DYLD_INSERT_LIBRARIES settings for target
42       AFL_TMIN_EXACT: require execution paths to match for crashing inputs
43       AFL_NO_FORKSRV: run target via execve instead of using the forkserver
44       ASAN_OPTIONS: custom settings for ASAN
45                     (must contain abort_on_error=1 and symbolize=0)
46       MSAN_OPTIONS: custom settings for MSAN
47                     (must contain exitcode=86 and symbolize=0)
48       TMPDIR: directory to use for temporary input files
49
50

AUTHOR

52       afl++  was  written  by  Michal "lcamtuf" Zalewski and is maintained by
53       Marc "van Hauser" Heuse  <mh@mh-sec.de>,  Heiko  "hexcoder-"  Eissfeldt
54       <heiko.eissfeldt@hexco.de>,  Andrea Fioraldi <andreafioraldi@gmail.com>
55       and Dominik  Maier  <domenukk@gmail.com>  The  homepage  of  afl++  is:
56       https://github.com/AFLplusplus/AFLplusplus
57
58

LICENSE

60       Apache License Version 2.0, January 2004
61
62
63
64afl++                             2022-09-15                       afl-tmin(8)
Impressum