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
☆77Updated 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☆141Updated 4 years ago
- SUPA☆28Updated 5 years ago
- ☆67Updated 6 years ago
- Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.☆92Updated 10 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆52Updated 8 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago
- A step-by-step tutorial for building an LLVM sample pass☆221Updated 5 years ago
- An example LLVM pass which can run automatically in clang.☆38Updated 10 years ago
- Hardware-assisted Data-flow Isolation☆28Updated 7 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆20Updated 8 years ago
- Test suite for the Linux perf_event subsystem☆118Updated 3 months ago
- Dynamic Program Slicing in LLVM Compiler☆142Updated 7 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Updated 4 years ago
- ☆35Updated 2 years ago
- ☆15Updated 6 years ago
- LLVM IR CMake utils for bitcode file manipulation by opt and friends☆75Updated 11 months ago
- An easy guide to Clang Static Analyzer extension.☆143Updated 5 years ago
- Fast static binary instrumentation for linux/x86☆83Updated 8 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial☆19Updated 10 years ago
- Experimental translation of llvm to smt.☆58Updated 5 years ago
- llvm Data Flow Graph dump☆37Updated 4 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆39Updated 5 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆70Updated 8 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆166Updated last month
- ☆46Updated 6 years ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 4 years 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…☆104Updated 3 years ago
- Automatic Binary Parallelisation☆43Updated 8 months ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆24Updated 3 years ago