├── CVEs ├── CVE-2016-4487.smt2 ├── CVE-2016-4489.smt2 ├── CVE-2016-4491.smt2 ├── CVE-2016-4492.smt2 ├── CVE-2016-4493.smt2 └── CVE-2016-6131.smt2 ├── INSTALL.md ├── LICENSE.md ├── README.md ├── dockers ├── AFL++ │ ├── Dockerfile │ ├── convert_to_cov_code.py │ ├── get_coverage.sh │ ├── get_tcs.py │ └── run_afl++.sh ├── AFL │ ├── Dockerfile │ ├── afl.patch │ ├── convert_to_cov_code.py │ ├── get_coverage.sh │ ├── get_tcs.py │ └── run_afl.sh ├── AFLGo │ ├── Dockerfile │ ├── aflgo.patch │ ├── convert_to_cov_code.py │ ├── get_coverage.sh │ ├── get_tcs.py │ └── run_aflgo.sh ├── Eclipser │ ├── Dockerfile │ ├── afl.patch │ ├── convert_to_cov_code.py │ ├── get_coverage.sh │ ├── get_tcs.py │ └── run_eclipser.sh ├── base │ ├── Dockerfile │ └── utils.py └── fuzzolic │ ├── Dockerfile │ ├── convert_to_cov_code.py │ ├── get_coverage.sh │ ├── get_tcs.py │ └── run_fuzzolic.sh ├── examples ├── example1.conf ├── example1.list ├── example2.conf ├── example2.list ├── example3.conf └── example3.list ├── maze-gen ├── CVE-neg_gen.py ├── CVE_gen.py ├── array_gen.py ├── array_to_code.py ├── default_gen.py ├── equality0_gen.py ├── equality100_gen.py ├── equality25_gen.py ├── equality50_gen.py ├── equality75_gen.py ├── requirements.txt └── smt2_parser.py ├── paper.pdf ├── scripts ├── build_all_dockers.sh ├── generate.sh ├── generate_benchmark.py ├── run_tools.py ├── run_tools_binutils.py ├── save_results.py ├── save_results.sh ├── triage │ ├── cxxfilt │ ├── hash_triage │ ├── print_TTE.py │ ├── save_TTE.py │ ├── triage.gdb │ ├── triage.py │ └── triage.sh └── visualize.py ├── test ├── test.sh └── test_config │ ├── test.conf │ └── test.list └── tutorial ├── programs.list └── run.conf /CVEs/CVE-2016-4487.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/CVEs/CVE-2016-4487.smt2 -------------------------------------------------------------------------------- /CVEs/CVE-2016-4489.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/CVEs/CVE-2016-4489.smt2 -------------------------------------------------------------------------------- /CVEs/CVE-2016-4491.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/CVEs/CVE-2016-4491.smt2 -------------------------------------------------------------------------------- /CVEs/CVE-2016-4492.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/CVEs/CVE-2016-4492.smt2 -------------------------------------------------------------------------------- /CVEs/CVE-2016-4493.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/CVEs/CVE-2016-4493.smt2 -------------------------------------------------------------------------------- /CVEs/CVE-2016-6131.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/CVEs/CVE-2016-6131.smt2 -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/INSTALL.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/README.md -------------------------------------------------------------------------------- /dockers/AFL++/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL++/Dockerfile -------------------------------------------------------------------------------- /dockers/AFL++/convert_to_cov_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL++/convert_to_cov_code.py -------------------------------------------------------------------------------- /dockers/AFL++/get_coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL++/get_coverage.sh -------------------------------------------------------------------------------- /dockers/AFL++/get_tcs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL++/get_tcs.py -------------------------------------------------------------------------------- /dockers/AFL++/run_afl++.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL++/run_afl++.sh -------------------------------------------------------------------------------- /dockers/AFL/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL/Dockerfile -------------------------------------------------------------------------------- /dockers/AFL/afl.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL/afl.patch -------------------------------------------------------------------------------- /dockers/AFL/convert_to_cov_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL/convert_to_cov_code.py -------------------------------------------------------------------------------- /dockers/AFL/get_coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL/get_coverage.sh -------------------------------------------------------------------------------- /dockers/AFL/get_tcs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL/get_tcs.py -------------------------------------------------------------------------------- /dockers/AFL/run_afl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFL/run_afl.sh -------------------------------------------------------------------------------- /dockers/AFLGo/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFLGo/Dockerfile -------------------------------------------------------------------------------- /dockers/AFLGo/aflgo.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFLGo/aflgo.patch -------------------------------------------------------------------------------- /dockers/AFLGo/convert_to_cov_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFLGo/convert_to_cov_code.py -------------------------------------------------------------------------------- /dockers/AFLGo/get_coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFLGo/get_coverage.sh -------------------------------------------------------------------------------- /dockers/AFLGo/get_tcs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFLGo/get_tcs.py -------------------------------------------------------------------------------- /dockers/AFLGo/run_aflgo.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/AFLGo/run_aflgo.sh -------------------------------------------------------------------------------- /dockers/Eclipser/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/Eclipser/Dockerfile -------------------------------------------------------------------------------- /dockers/Eclipser/afl.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/Eclipser/afl.patch -------------------------------------------------------------------------------- /dockers/Eclipser/convert_to_cov_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/Eclipser/convert_to_cov_code.py -------------------------------------------------------------------------------- /dockers/Eclipser/get_coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/Eclipser/get_coverage.sh -------------------------------------------------------------------------------- /dockers/Eclipser/get_tcs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/Eclipser/get_tcs.py -------------------------------------------------------------------------------- /dockers/Eclipser/run_eclipser.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/Eclipser/run_eclipser.sh -------------------------------------------------------------------------------- /dockers/base/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/base/Dockerfile -------------------------------------------------------------------------------- /dockers/base/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/base/utils.py -------------------------------------------------------------------------------- /dockers/fuzzolic/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/fuzzolic/Dockerfile -------------------------------------------------------------------------------- /dockers/fuzzolic/convert_to_cov_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/fuzzolic/convert_to_cov_code.py -------------------------------------------------------------------------------- /dockers/fuzzolic/get_coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/fuzzolic/get_coverage.sh -------------------------------------------------------------------------------- /dockers/fuzzolic/get_tcs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/fuzzolic/get_tcs.py -------------------------------------------------------------------------------- /dockers/fuzzolic/run_fuzzolic.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/dockers/fuzzolic/run_fuzzolic.sh -------------------------------------------------------------------------------- /examples/example1.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/examples/example1.conf -------------------------------------------------------------------------------- /examples/example1.list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/examples/example1.list -------------------------------------------------------------------------------- /examples/example2.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/examples/example2.conf -------------------------------------------------------------------------------- /examples/example2.list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/examples/example2.list -------------------------------------------------------------------------------- /examples/example3.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/examples/example3.conf -------------------------------------------------------------------------------- /examples/example3.list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/examples/example3.list -------------------------------------------------------------------------------- /maze-gen/CVE-neg_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/CVE-neg_gen.py -------------------------------------------------------------------------------- /maze-gen/CVE_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/CVE_gen.py -------------------------------------------------------------------------------- /maze-gen/array_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/array_gen.py -------------------------------------------------------------------------------- /maze-gen/array_to_code.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/array_to_code.py -------------------------------------------------------------------------------- /maze-gen/default_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/default_gen.py -------------------------------------------------------------------------------- /maze-gen/equality0_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/equality0_gen.py -------------------------------------------------------------------------------- /maze-gen/equality100_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/equality100_gen.py -------------------------------------------------------------------------------- /maze-gen/equality25_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/equality25_gen.py -------------------------------------------------------------------------------- /maze-gen/equality50_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/equality50_gen.py -------------------------------------------------------------------------------- /maze-gen/equality75_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/equality75_gen.py -------------------------------------------------------------------------------- /maze-gen/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/requirements.txt -------------------------------------------------------------------------------- /maze-gen/smt2_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/maze-gen/smt2_parser.py -------------------------------------------------------------------------------- /paper.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/paper.pdf -------------------------------------------------------------------------------- /scripts/build_all_dockers.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/build_all_dockers.sh -------------------------------------------------------------------------------- /scripts/generate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/generate.sh -------------------------------------------------------------------------------- /scripts/generate_benchmark.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/generate_benchmark.py -------------------------------------------------------------------------------- /scripts/run_tools.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/run_tools.py -------------------------------------------------------------------------------- /scripts/run_tools_binutils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/run_tools_binutils.py -------------------------------------------------------------------------------- /scripts/save_results.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/save_results.py -------------------------------------------------------------------------------- /scripts/save_results.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/save_results.sh -------------------------------------------------------------------------------- /scripts/triage/cxxfilt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/triage/cxxfilt -------------------------------------------------------------------------------- /scripts/triage/hash_triage: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/triage/hash_triage -------------------------------------------------------------------------------- /scripts/triage/print_TTE.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/triage/print_TTE.py -------------------------------------------------------------------------------- /scripts/triage/save_TTE.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/triage/save_TTE.py -------------------------------------------------------------------------------- /scripts/triage/triage.gdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/triage/triage.gdb -------------------------------------------------------------------------------- /scripts/triage/triage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/triage/triage.py -------------------------------------------------------------------------------- /scripts/triage/triage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/triage/triage.sh -------------------------------------------------------------------------------- /scripts/visualize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/scripts/visualize.py -------------------------------------------------------------------------------- /test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/test/test.sh -------------------------------------------------------------------------------- /test/test_config/test.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/test/test_config/test.conf -------------------------------------------------------------------------------- /test/test_config/test.list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/test/test_config/test.list -------------------------------------------------------------------------------- /tutorial/programs.list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/tutorial/programs.list -------------------------------------------------------------------------------- /tutorial/run.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SoftSec-KAIST/Fuzzle/HEAD/tutorial/run.conf --------------------------------------------------------------------------------