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
☆79Jul 7, 2022Updated 4 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:
- LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…☆46Jul 9, 2026Updated 2 months ago
- Fault injector for GPUs based on the LLFI Fault Injection Tool☆19May 4, 2018Updated 8 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆142Nov 28, 2020Updated 5 years ago
- Compiler Assisted Software Fault Tolerance☆28Oct 30, 2020Updated 5 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 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Dynamic Program Slicing in LLVM Compiler☆143Aug 1, 2018Updated 8 years ago
- LLVM Metadata Visualizer☆20Nov 30, 2017Updated 8 years ago
- A java library to compute the difference between XML files☆14Oct 23, 2009Updated 16 years ago
- RISCV Gem5 simulator flow for Architetture dei Sistemi di Elaborazione☆30Updated this week
- ARCHIE is a QEMU-based architecture-independent fault evaluation tool, that is able to simulate transient and permanent instruction and d…☆36Mar 13, 2026Updated 6 months ago
- SUPA☆28Jan 15, 2026Updated 8 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Jul 25, 2022Updated 4 years ago
- Application-level firewalling using systemd socket action and eBPF filters☆18Oct 11, 2017Updated 8 years ago
- ☆12Jun 14, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Stony Brook University CFI library☆22Sep 30, 2014Updated 11 years ago
- ☆11Aug 9, 2018Updated 8 years ago
- Fun with iOS☆13Aug 3, 2013Updated 13 years ago
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 13 years ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆22Mar 9, 2024Updated 2 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 years ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆18Nov 24, 2015Updated 10 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 8 years ago
- Load dex on ART in interpret mode☆20Dec 14, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆37Jun 4, 2024Updated 2 years ago
- Design some simple RISV-V cores via verilog and vivado. 复旦大学《计算机与智能处理器体系结构 AI Core and RISC Architecture》Projects☆15Jun 28, 2021Updated 5 years ago
- codesignature construct☆30May 9, 2015Updated 11 years ago
- manipulate LLVM IR files☆33Jul 15, 2015Updated 11 years ago
- Modular And Compositional analysis with KLEE Engine☆119Dec 17, 2019Updated 6 years ago
- SixtySecondsCV☆16Jul 23, 2020Updated 6 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Mar 14, 2016Updated 10 years ago
- Demo: Anti Anti-Debug in iOS Kernel☆75Nov 29, 2017Updated 8 years ago
- ☆17Apr 4, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Data Structures and Algorithms Demos☆13Apr 27, 2020Updated 6 years ago
- OSDT2019相关资料☆16Nov 17, 2019Updated 6 years ago
- A demo project demonstrating the performance improvement by cpp extension, which wrapped with pybind11.☆10Nov 16, 2021Updated 4 years ago
- Embedded Bitcode Recompiler☆47Apr 2, 2021Updated 5 years ago
- Demo: OS sandboxing for unsafe code in Rust☆14Mar 10, 2015Updated 11 years ago
- Utility to create tbd's off dylibs☆78Nov 4, 2020Updated 5 years ago
- Fuzzer for the Mac Kernel☆18Jan 3, 2013Updated 13 years ago