DependableSystemsLab / LLFI
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
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆138Updated 4 years ago
- SUPA☆28Updated 4 years ago
- An example LLVM pass which can run automatically in clang.☆38Updated 9 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 2 years ago
- Hardware-assisted Data-flow Isolation☆27Updated 7 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 9 years ago
- ☆13Updated 5 years ago
- ☆15Updated 6 years ago
- PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:☆16Updated 6 years ago
- ☆31Updated last year
- Test suite for the Linux perf_event subsystem☆113Updated 5 months ago
- Fault injector for GPUs based on the LLFI Fault Injection Tool☆19Updated 6 years ago
- ☆63Updated 5 years ago
- LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…☆36Updated 5 months ago
- ☆34Updated 3 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆49Updated 8 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆32Updated 7 years ago
- ☆47Updated 2 years ago
- GPUReplay, ASPLOS 2022☆35Updated 3 years ago
- Function Merging & Branch Fusion☆19Updated 5 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- bogo for ASPLOS'19☆9Updated 6 years ago
- Efficient Path Profiling using LLVM☆19Updated 7 years ago
- predicate scientific program performance model using llvm☆28Updated 9 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆69Updated 7 years ago
- Dynamic Program Slicing in LLVM Compiler☆136Updated 6 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆20Updated 7 years ago
- The Contech analysis framework provides the means for generating and analyzing task graphs that enable computer architects and programmer…☆52Updated 2 weeks ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago