├── LICENSE ├── Makefile ├── README.md ├── example ├── Makefile ├── demo.c ├── fuzz.c ├── input.txt └── sizes.c ├── install ├── common.sh ├── honggfuzz.sh ├── llvm.sh ├── patches │ ├── README.md │ ├── honggfuzz │ │ ├── fuzz.c │ │ ├── honggfuzz.h │ │ ├── instrument.c │ │ └── trace.c │ └── llvm │ │ ├── CMakeLists.txt │ │ ├── X86.h │ │ ├── X86SpeculativeLoadHardening.cpp │ │ ├── X86TargetMachine.cpp │ │ ├── asan_poisoning.cc │ │ ├── asan_rtl.cc │ │ └── sanitizer_coverage_libcdep_new.cc └── wrapper.sh ├── postprocessing ├── __init__.py ├── aggregate_rlbk_stats.awk ├── analyzer.py └── build_report.awk ├── src ├── SpecFuzzPass.cpp ├── specfuzz_cov.c ├── specfuzz_init.c ├── specfuzz_rtl.S └── specfuzz_rtl.h └── tests ├── Makefile ├── acceptance-basic.c ├── acceptance-mmul.c ├── analyzer_unit.py ├── common ├── header.S └── process_state.S ├── dummy.c ├── rtl_chkp.S ├── rtl_chkp_rlbk.S ├── rtl_report.S ├── rtl_rlbk.S └── run.bats /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/README.md -------------------------------------------------------------------------------- /example/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/example/Makefile -------------------------------------------------------------------------------- /example/demo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/example/demo.c -------------------------------------------------------------------------------- /example/fuzz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/example/fuzz.c -------------------------------------------------------------------------------- /example/input.txt: -------------------------------------------------------------------------------- 1 | 1 -------------------------------------------------------------------------------- /example/sizes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/example/sizes.c -------------------------------------------------------------------------------- /install/common.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/common.sh -------------------------------------------------------------------------------- /install/honggfuzz.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/honggfuzz.sh -------------------------------------------------------------------------------- /install/llvm.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/llvm.sh -------------------------------------------------------------------------------- /install/patches/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/README.md -------------------------------------------------------------------------------- /install/patches/honggfuzz/fuzz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/honggfuzz/fuzz.c -------------------------------------------------------------------------------- /install/patches/honggfuzz/honggfuzz.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/honggfuzz/honggfuzz.h -------------------------------------------------------------------------------- /install/patches/honggfuzz/instrument.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/honggfuzz/instrument.c -------------------------------------------------------------------------------- /install/patches/honggfuzz/trace.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/honggfuzz/trace.c -------------------------------------------------------------------------------- /install/patches/llvm/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/llvm/CMakeLists.txt -------------------------------------------------------------------------------- /install/patches/llvm/X86.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/llvm/X86.h -------------------------------------------------------------------------------- /install/patches/llvm/X86SpeculativeLoadHardening.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/llvm/X86SpeculativeLoadHardening.cpp -------------------------------------------------------------------------------- /install/patches/llvm/X86TargetMachine.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/llvm/X86TargetMachine.cpp -------------------------------------------------------------------------------- /install/patches/llvm/asan_poisoning.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/llvm/asan_poisoning.cc -------------------------------------------------------------------------------- /install/patches/llvm/asan_rtl.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/llvm/asan_rtl.cc -------------------------------------------------------------------------------- /install/patches/llvm/sanitizer_coverage_libcdep_new.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/patches/llvm/sanitizer_coverage_libcdep_new.cc -------------------------------------------------------------------------------- /install/wrapper.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/install/wrapper.sh -------------------------------------------------------------------------------- /postprocessing/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /postprocessing/aggregate_rlbk_stats.awk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/postprocessing/aggregate_rlbk_stats.awk -------------------------------------------------------------------------------- /postprocessing/analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/postprocessing/analyzer.py -------------------------------------------------------------------------------- /postprocessing/build_report.awk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/postprocessing/build_report.awk -------------------------------------------------------------------------------- /src/SpecFuzzPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/src/SpecFuzzPass.cpp -------------------------------------------------------------------------------- /src/specfuzz_cov.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/src/specfuzz_cov.c -------------------------------------------------------------------------------- /src/specfuzz_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/src/specfuzz_init.c -------------------------------------------------------------------------------- /src/specfuzz_rtl.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/src/specfuzz_rtl.S -------------------------------------------------------------------------------- /src/specfuzz_rtl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/src/specfuzz_rtl.h -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/acceptance-basic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/acceptance-basic.c -------------------------------------------------------------------------------- /tests/acceptance-mmul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/acceptance-mmul.c -------------------------------------------------------------------------------- /tests/analyzer_unit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/analyzer_unit.py -------------------------------------------------------------------------------- /tests/common/header.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/common/header.S -------------------------------------------------------------------------------- /tests/common/process_state.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/common/process_state.S -------------------------------------------------------------------------------- /tests/dummy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/dummy.c -------------------------------------------------------------------------------- /tests/rtl_chkp.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/rtl_chkp.S -------------------------------------------------------------------------------- /tests/rtl_chkp_rlbk.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/rtl_chkp_rlbk.S -------------------------------------------------------------------------------- /tests/rtl_report.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/rtl_report.S -------------------------------------------------------------------------------- /tests/rtl_rlbk.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/rtl_rlbk.S -------------------------------------------------------------------------------- /tests/run.bats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tudinfse/SpecFuzz/HEAD/tests/run.bats --------------------------------------------------------------------------------