diff options
| author | Han Zheng <35988108+kdsjZh@users.noreply.github.com> | 2024-02-01 15:13:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-01 14:13:21 +0000 |
| commit | 06f0982f0f4506e18872efb86b97993f2518988c (patch) | |
| tree | 2232f6623b8499c7b7e067990ed22bb3b19bb02c /include/config.h | |
| parent | 37d20392117b2d7e887b9ef3694f31ef43b2c9b6 (diff) | |
| download | afl++-06f0982f0f4506e18872efb86b97993f2518988c.tar.gz | |
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
Diffstat (limited to 'include/config.h')
| -rw-r--r-- | include/config.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/include/config.h b/include/config.h index 63340650..7ad73c2f 100644 --- a/include/config.h +++ b/include/config.h @@ -52,6 +52,18 @@ /* Default file permission umode when creating files (default: 0600) */ #define DEFAULT_PERMISSION 0600 +/* SkipDet's global configuration */ + +#define MINIMAL_BLOCK_SIZE 64 +#define SMALL_DET_TIME (60 * 1000 * 1000U) +#define MAXIMUM_INF_EXECS (16 * 1024U) +#define MAXIMUM_QUICK_EFF_EXECS (64 * 1024U) +#define THRESHOLD_DEC_TIME (20 * 60 * 1000U) + +/* Set the Prob of selecting eff_bytes 3 times more than original, + Now disabled */ +#define EFF_HAVOC_RATE 3 + /* CMPLOG/REDQUEEN TUNING * * Here you can modify tuning and solving options for CMPLOG. |