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:
- LLTFI is a tool, which is an extension of LLFI, allowing users to run fault injection experiments on C/C++, TensorFlow and PyTorch applic…☆40Updated this week
- FlipIt: An LLVM Based Fault Injector for HPC☆15May 14, 2021Updated 4 years ago
- Graph-learning assisted instruction vulnerability estimation published in DATE 2020☆14Dec 6, 2020Updated 5 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆142Nov 28, 2020Updated 5 years ago
- Fault injection library☆22Dec 2, 2014Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- A GCC plugin implementing various stack canaries.☆14Sep 7, 2012Updated 13 years ago
- Dynamic Program Slicing in LLVM Compiler☆143Aug 1, 2018Updated 7 years ago
- LLVM Metadata Visualizer☆21Nov 30, 2017Updated 8 years ago
- A java library to compute the difference between XML files☆14Oct 23, 2009Updated 16 years 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 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Application-level firewalling using systemd socket action and eBPF filters☆18Oct 11, 2017Updated 8 years ago
- Stony Brook University CFI library☆22Sep 30, 2014Updated 11 years ago
- Fun with iOS☆13Aug 3, 2013Updated 12 years ago
- ☆11Aug 9, 2018Updated 7 years ago
- Measure branching along code paths☆18Oct 25, 2016Updated 9 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☆17Apr 30, 2020Updated 6 years ago
- SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation☆20Nov 24, 2015Updated 10 years ago
- Load dex on ART in interpret mode☆19Dec 14, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- [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
- ☆37Jun 4, 2024Updated last year
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆12Apr 17, 2016Updated 10 years ago
- Automatic regression verification for LLVM programs☆20Jul 16, 2021Updated 4 years ago
- 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
- SixtySecondsCV☆15Jul 23, 2020Updated 5 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Mar 14, 2016Updated 10 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.
- Mirage support for writing QubesOS AppVM unikernels☆65Feb 11, 2025Updated last year
- ☆20Mar 13, 2018Updated 8 years ago
- Demo: Anti Anti-Debug in iOS Kernel☆74Nov 29, 2017Updated 8 years ago
- OSDT2019相关资料☆16Nov 17, 2019Updated 6 years ago
- ☆22Nov 3, 2025Updated 5 months ago
- Embedded Bitcode Recompiler☆47Apr 2, 2021Updated 5 years ago
- Utility to create tbd's off dylibs☆77Nov 4, 2020Updated 5 years ago