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☆139Updated 4 years ago
- SUPA☆28Updated 5 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago
- bogo for ASPLOS'19☆9Updated 6 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆21Updated 7 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 9 years ago
- ☆32Updated last year
- Test suite for the Linux perf_event subsystem☆114Updated 2 weeks ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 3 years ago
- ☆15Updated 6 years ago
- PIN-tool to produce multi-threaded atomic memory traces☆36Updated 11 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- Experimental translation of llvm to smt.☆56Updated 5 years ago
- An example LLVM pass which can run automatically in clang.☆38Updated 9 years ago
- Hardware-assisted Data-flow Isolation☆27Updated 7 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
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆69Updated 8 years ago
- ☆63Updated 5 years ago
- a Pin tool for collecting microarchitecture-independent workload characteristics☆60Updated last year
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆50Updated 8 years ago
- Automatic Binary Parallelisation☆43Updated 2 months ago
- A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…☆103Updated 2 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆13Updated 4 years ago
- ☆25Updated 3 years ago
- Visualization of LLVM IR☆60Updated 11 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated 10 months ago
- GPUReplay, ASPLOS 2022☆36Updated 3 years ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆54Updated 6 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 5 years ago