danceos / failLinks
FAult Injection Leveraged
☆40Updated 3 years ago
Alternatives and similar repositories for fail
Users that are interested in fail are comparing it to the libraries listed below
Sorting:
- LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injec…☆72Updated 2 years ago
- ☆29Updated 9 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- ARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Tr…☆53Updated 3 months ago
- Coresight Access Library☆122Updated last month
- Creating a custom PCI device in QEMU and a module for it in the Linux kernel.☆94Updated 11 years ago
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux☆25Updated 2 years ago
- The Captive Hypervisor☆42Updated 2 years ago
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆243Updated 7 years ago
- Main repository for KernelStrider project☆25Updated 7 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- PARTS / LLVM compiler☆32Updated 5 years ago
- Memory access tracing QEMU☆97Updated 8 years ago
- Test suite for the Linux perf_event subsystem☆116Updated this week
- ☆55Updated 2 years ago
- CoreSight trace stream decoder developed openly☆160Updated 3 months ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆31Updated 7 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆42Updated 8 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- ☆90Updated last year
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- Hardware-assisted Data-flow Isolation☆27Updated 7 years ago
- LLVM trunk with poolalloc trunk modified to compile only DSA☆11Updated 9 years ago
- Fast static binary instrumentation for linux/x86☆82Updated 8 years ago
- QEMU Development Toolkit☆41Updated 11 months ago