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
☆78Jul 7, 2022Updated 3 years ago
Alternatives and similar repositories for LLFI
Users that are interested in LLFI are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- FlipIt: An LLVM Based Fault Injector for HPC☆15May 14, 2021Updated 5 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Nov 28, 2020Updated 5 years ago
- Fault injection library☆23Dec 2, 2014Updated 11 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:☆18Jul 6, 2018Updated 7 years ago
- FAult Injection Leveraged☆42Dec 15, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Dynamic Program Slicing in LLVM Compiler☆143Aug 1, 2018Updated 7 years ago
- LLVM Metadata Visualizer☆20Nov 30, 2017Updated 8 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 11 years ago
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆36Mar 13, 2026Updated 2 months ago
- Reexport symbols for Mach-O and ELF☆38Mar 2, 2018Updated 8 years ago
- Swift Fork☆23Jun 21, 2018Updated 7 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- SUPA☆28Jan 15, 2026Updated 4 months ago
- Application-level firewalling using systemd socket action and eBPF filters☆18Oct 11, 2017Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Jun 14, 2017Updated 8 years ago
- Fun with iOS☆13Aug 3, 2013Updated 12 years ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆22Mar 9, 2024Updated 2 years ago
- Using Microsoft Visual Studio 2019 Building A LLVM Out-Source-Tree Pass☆16Apr 30, 2020Updated 6 years ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆18Nov 24, 2015Updated 10 years ago
- Load dex on ART in interpret mode☆20Dec 14, 2018Updated 7 years ago
- [Deprecated] iOS-private-api-checker 苹果iOS私有API检查工具 Developer tool to scan iOS apps for private API usage before submitting to Apple☆16Jul 2, 2018Updated 7 years ago
- Automatic regression verification for LLVM programs☆21Jul 16, 2021Updated 4 years ago
- codesignature construct☆30May 9, 2015Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- RopGun is a Linux implementation of a transparent ROP mitigation technique based on runtime detection of abnormal control transfers using…☆27Sep 10, 2019Updated 6 years ago
- Modular And Compositional analysis with KLEE Engine☆118Dec 17, 2019Updated 6 years ago
- Piecewise debloating toolchain☆15Dec 21, 2019Updated 6 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Mar 14, 2016Updated 10 years ago
- Mirage support for writing QubesOS AppVM unikernels☆66Feb 11, 2025Updated last year
- Demo: Anti Anti-Debug in iOS Kernel☆74Nov 29, 2017Updated 8 years ago
- OSDT2019相关资料☆16Nov 17, 2019Updated 6 years ago
- Embedded Bitcode Recompiler☆47Apr 2, 2021Updated 5 years ago
- Utility to create tbd's off dylibs☆77Nov 4, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Fuzzer for the Mac Kernel☆18Jan 3, 2013Updated 13 years ago
- An experiment in fingerprint-free encrypted messaging☆34Jun 1, 2015Updated 11 years ago
- XNU kernel symbol resolver(kernel extension)☆12Mar 1, 2019Updated 7 years ago
- predicate scientific program performance model using llvm☆27Jun 12, 2015Updated 10 years ago
- Development Environment For Arm64, Android and Container☆11Feb 11, 2019Updated 7 years ago
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- ☆14Jan 12, 2018Updated 8 years ago