DependableSystemsLab / LLFILinks
LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easily tracked back to the source code. Please refer to the paper below. NOTE: If you publish a paper using LLFI, please add it to PaperLLFI.bib
☆75Updated 3 years ago
Alternatives and similar repositories for LLFI
Users that are interested in LLFI are comparing it to the libraries listed below
Sorting:
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆140Updated 4 years ago
- SUPA☆28Updated 5 years ago
- ☆13Updated 5 years ago
- ☆35Updated 2 years ago
- ☆66Updated 5 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago
- An example LLVM pass which can run automatically in clang.☆38Updated 10 years ago
- Experimental translation of llvm to smt.☆57Updated 5 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆24Updated 3 years ago
- Hardware-assisted Data-flow Isolation☆27Updated 7 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆51Updated 8 years ago
- Automatic detection of speculative information flows☆68Updated 4 years ago
- A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.☆81Updated 7 years ago
- Dynamic Program Slicing in LLVM Compiler☆142Updated 7 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Test suite for the Linux perf_event subsystem☆118Updated 3 weeks ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 9 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 8 years ago
- Piecewise debloating toolchain☆15Updated 5 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆29Updated 3 years ago
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages☆43Updated 3 years ago
- Step by step manual for building KLEE☆18Updated 8 years ago
- GPUReplay, ASPLOS 2022☆41Updated 3 years ago
- Fast static binary instrumentation for linux/x86☆83Updated 8 years ago
- ☆47Updated 3 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆13Updated 4 years ago
- A tool for detecting Spectre vulnerabilities through fuzzing☆43Updated 3 years ago
- Automatic Binary Parallelisation☆43Updated 5 months ago