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
☆72Updated 2 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☆139Updated 4 years ago
- SUPA☆28Updated 5 years ago
- ☆63Updated 5 years ago
- ☆15Updated 6 years ago
- ☆32Updated last year
- bogo for ASPLOS'19☆9Updated 6 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 9 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- Efficient Path Profiling using LLVM☆19Updated 7 years ago
- Fault injector for GPUs based on the LLFI Fault Injection Tool☆19Updated 7 years ago
- Test suite for the Linux perf_event subsystem☆116Updated this week
- LLVM optimization passes (DCE, LICM), compilers and stuff☆13Updated 4 years ago
- ☆13Updated 5 years ago
- Hardware-assisted Data-flow Isolation☆27Updated 7 years ago
- predicate scientific program performance model using llvm☆28Updated 9 years ago
- An example LLVM pass which can run automatically in clang.☆38Updated 9 years ago
- PIN-tool to produce multi-threaded atomic memory traces☆36Updated 11 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…☆52Updated 2 months ago
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages☆43Updated 3 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 8 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆50Updated 8 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated 11 months ago
- Function Merging & Branch Fusion☆19Updated 6 years ago
- ☆47Updated 3 years ago
- An easy guide to Clang Static Analyzer extension.☆142Updated 5 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- Experimental translation of llvm to smt.☆56Updated 5 years ago