Libafl experiment after Google Summer of Code (google#1247)

* Fix AFL++ no_cmplog bug and ffmpeg container hash * add libafl_gsoc * exp request * libafl commit id * asan options * libafl commit hash * fix ubsan options * exclude * allow libafl to run on bug benches Co-authored-by: jonathanmetzman <[email protected]>
n0-traces · Oct 6, 2021 · a44a6ec · a44a6ec
1 parent 3738bd6
commit a44a6ec
Show file tree

Hide file tree

Showing 129 changed files with 129 additions and 5,004 deletions.
diff --git a/.github/workflows/fuzzers.yml b/.github/workflows/fuzzers.yml
@@ -32,6 +32,7 @@ jobs:
           - mopt
           - neuzz
           - libafl
+          - libafl_gsoc
           - afldd
           - aflpp_vs_dd
           - pythia_effect_bb
@@ -72,30 +73,6 @@ jobs:
           - afl_two_instances
           - afl_no_favored
           - afl_random_favored
-          - aflplusplus_classic_ctx
-          - aflplusplus_classic_ctx_18
-          - aflplusplus_classic_ctx_20
-          - aflplusplus_classic_ctx_21
-          - aflplusplus_classic_ctx_23
-          - cfctx_basic
-          - cfctx_bottom
-          - cfctx_dataflow_seadsa
-          - cfctx_dataflow_svf
-          - cfctx_randomic
-          - cfctx_params
-          - cfctx_plain
-          - cfctx_bottom_llc
-          - cfctx_dataflow_seadsa_llc
-          - cfctx_dataflow_svf_llc
-          - cfctx_randomic_llc
-          - cfctx_params_llc
-          - cfctx_params_1mb
-          - cfctx_params_2mb
-          - cfctx_params_4mb
-          - cfctx_params_512kb
-          - cfctx_params_768kb
-          - cfctx_full
-          - aflplusplus_pcguard
 
         benchmark_type:
           - oss-fuzz

diff --git a/benchmarks/arrow_parquet-arrow-fuzz/benchmark.yaml b/benchmarks/arrow_parquet-arrow-fuzz/benchmark.yaml
@@ -40,7 +40,6 @@ unsupported_fuzzers:
   - cfctx_params_512kb
   - cfctx_params_768kb
   - cfctx_full
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/ffmpeg_ffmpeg_demuxer_fuzzer/benchmark.yaml b/benchmarks/ffmpeg_ffmpeg_demuxer_fuzzer/benchmark.yaml
@@ -21,7 +21,6 @@ unsupported_fuzzers:
   - symcc_aflplusplus_single
   - aflplusplus_unusual_enabled
   - aflplusplus_unusual_disabled
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/grok_grk_decompress_fuzzer/benchmark.yaml b/benchmarks/grok_grk_decompress_fuzzer/benchmark.yaml
@@ -14,7 +14,6 @@ unsupported_fuzzers:
   - weizz_qemu
   - cfctx_dataflow_seadsa
   - cfctx_dataflow_seadsa_llc
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/libarchive_libarchive_fuzzer/benchmark.yaml b/benchmarks/libarchive_libarchive_fuzzer/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - weizz_qemu
   - lafintel
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/libgit2_objects_fuzzer/benchmark.yaml b/benchmarks/libgit2_objects_fuzzer/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - lafintel
   - weizz_qemu
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/libhevc_hevc_dec_fuzzer/benchmark.yaml b/benchmarks/libhevc_hevc_dec_fuzzer/benchmark.yaml
@@ -12,8 +12,6 @@ unsupported_fuzzers:
   - klee
   - lafintel
   - weizz_qemu
-
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/libhtp_fuzz_htp/benchmark.yaml b/benchmarks/libhtp_fuzz_htp/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - lafintel
   - weizz_qemu
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/libxml2_libxml2_xml_reader_for_file_fuzzer/benchmark.yaml b/benchmarks/libxml2_libxml2_xml_reader_for_file_fuzzer/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - lafintel
   - weizz_qemu
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/libxslt_xpath/benchmark.yaml b/benchmarks/libxslt_xpath/benchmark.yaml
@@ -8,7 +8,6 @@ unsupported_fuzzers:
   - aflplusplus_frida
   - klee
   - weizz_qemu
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/matio_matio_fuzzer/benchmark.yaml b/benchmarks/matio_matio_fuzzer/benchmark.yaml
@@ -14,7 +14,6 @@ unsupported_fuzzers:
   - lafintel
   - eclipser
   - eclipser_aflplusplus
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/muparser_set_eval_fuzzer/benchmark.yaml b/benchmarks/muparser_set_eval_fuzzer/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - lafintel
   - weizz_qemu
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/ndpi_fuzz_ndpi_reader/benchmark.yaml b/benchmarks/ndpi_fuzz_ndpi_reader/benchmark.yaml
@@ -18,7 +18,6 @@ unsupported_fuzzers:
   - symcc_afl_single
   - symcc_aflplusplus
   - symcc_aflplusplus_single
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/njs_njs_process_script_fuzzer/benchmark.yaml b/benchmarks/njs_njs_process_script_fuzzer/benchmark.yaml
@@ -16,7 +16,6 @@ unsupported_fuzzers:
   - symcc_afl_single
   - symcc_aflplusplus
   - symcc_aflplusplus_single
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/openh264_decoder_fuzzer/benchmark.yaml b/benchmarks/openh264_decoder_fuzzer/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - lafintel
   - weizz_qemu
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/openssl_x509/benchmark.yaml b/benchmarks/openssl_x509/benchmark.yaml
@@ -21,3 +21,4 @@ unsupported_fuzzers:
   - cfctx_dataflow_svf
   - cfctx_dataflow_svf_llc
   - libafl
+  - libafl_gsoc
diff --git a/benchmarks/php_php-fuzz-execute/benchmark.yaml b/benchmarks/php_php-fuzz-execute/benchmark.yaml
@@ -40,7 +40,6 @@ unsupported_fuzzers:
   - symcc_afl_single
   - symcc_aflplusplus
   - symcc_aflplusplus_single
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/php_php-fuzz-parser-2020-07-25/benchmark.yaml b/benchmarks/php_php-fuzz-parser-2020-07-25/benchmark.yaml
@@ -40,7 +40,6 @@ unsupported_fuzzers:
   - symcc_afl_single
   - symcc_aflplusplus
   - symcc_aflplusplus_single
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/poppler_pdf_fuzzer/benchmark.yaml b/benchmarks/poppler_pdf_fuzzer/benchmark.yaml
@@ -14,7 +14,6 @@ unsupported_fuzzers:
   - lafintel
   - eclipser
   - eclipser_aflplusplus
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/proj4_standard_fuzzer/benchmark.yaml b/benchmarks/proj4_standard_fuzzer/benchmark.yaml
@@ -14,7 +14,6 @@ unsupported_fuzzers:
   - lafintel
   - aflplusplus_pcguard_ctx
   - aflplusplus_pcguard_ctx_indirects
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/stb_stbi_read_fuzzer/benchmark.yaml b/benchmarks/stb_stbi_read_fuzzer/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - lafintel
   - weizz_qemu
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/systemd_fuzz-link-parser/benchmark.yaml b/benchmarks/systemd_fuzz-link-parser/benchmark.yaml
@@ -27,5 +27,4 @@ unsupported_fuzzers:
   - fuzzolic_aflplusplus_z3
   - symqemu_aflplusplus
   - fuzzolic_aflplusplus_fuzzy
-  - libafl
   - fuzzolic_aflplusplus_z3dict
diff --git a/benchmarks/systemd_fuzz-varlink/benchmark.yaml b/benchmarks/systemd_fuzz-varlink/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - lafintel
   - weizz_qemu
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/tpm2_tpm2_execute_command_fuzzer/benchmark.yaml b/benchmarks/tpm2_tpm2_execute_command_fuzzer/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - weizz_qemu
   - lafintel
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/usrsctp_fuzzer_connect/benchmark.yaml b/benchmarks/usrsctp_fuzzer_connect/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - lafintel
   - weizz_qemu
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/wireshark_fuzzshark_ip/benchmark.yaml b/benchmarks/wireshark_fuzzshark_ip/benchmark.yaml
@@ -14,7 +14,6 @@ unsupported_fuzzers:
   - lafintel
   - eclipser
   - eclipser_aflplusplus
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/benchmarks/zstd_stream_decompress/benchmark.yaml b/benchmarks/zstd_stream_decompress/benchmark.yaml
@@ -12,7 +12,6 @@ unsupported_fuzzers:
   - klee
   - lafintel
   - weizz_qemu
-  - libafl
   - aflplusplus_cmplog_double
   - symcc_aflplusplus_single
   - eclipser_aflplusplus

diff --git a/fuzzers/aflplusplus_classic_ctx/builder.Dockerfile b/fuzzers/aflplusplus_classic_ctx/builder.Dockerfile
diff --git a/fuzzers/aflplusplus_classic_ctx/description.md b/fuzzers/aflplusplus_classic_ctx/description.md
diff --git a/fuzzers/aflplusplus_classic_ctx/fuzzer.py b/fuzzers/aflplusplus_classic_ctx/fuzzer.py
diff --git a/fuzzers/aflplusplus_classic_ctx/runner.Dockerfile b/fuzzers/aflplusplus_classic_ctx/runner.Dockerfile