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
☆69Updated 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☆137Updated 4 years ago
- ☆15Updated 5 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆19Updated 7 years ago
- SUPA☆28Updated 4 years ago
- bogo for ASPLOS'19☆9Updated 5 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 2 years ago
- Hardware-assisted Data-flow Isolation☆27Updated 6 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Updated 4 years ago
- Visualization of LLVM IR☆60Updated 10 years ago
- ☆31Updated last year
- a Pin tool for collecting microarchitecture-independent workload characteristics☆59Updated 11 months ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆48Updated 7 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- GPUReplay, ASPLOS 2022☆33Updated 2 years ago
- Test suite for the Linux perf_event subsystem☆111Updated 3 months ago
- Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial☆19Updated 9 years ago
- An example LLVM pass which can run automatically in clang.☆37Updated 9 years ago
- ☆63Updated 5 years ago
- Automatic Binary Parallelisation☆38Updated last year
- Function Merging & Branch Fusion☆20Updated 5 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆91Updated 9 years ago
- PIN-tool to produce multi-threaded atomic memory traces☆35Updated 11 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆32Updated 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
- Experimental translation of llvm to smt.☆56Updated 4 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- Secure Virtual Architecture☆42Updated 5 years ago
- A collection of C/C++ programs and Python scripts to be used in conjunction with Intel Software Development Emulator (Intel SDE, availabl…☆31Updated 3 weeks ago
- CERE: Codelet Extractor and REplayer☆40Updated last year