use make
to compile all code
Here are some tools for evaluation, see more in fault_injection/evaluation.md
- fault_injection/cc.py: compile target project, generate bitcode and instrumentation
- fault_injection/build/analyzer: main static analyzer, generate error sites list
- fault_injection/build/distance: distance calculator
- fault_injection/analyzer.py: preprocess for fuzzing, do some filter
- fault_injection/runner.py: SFI driver
- fault_injection/fuzz.py: main fuzzer