danceos / failLinks
FAult Injection Leveraged
☆42Updated 4 years ago
Alternatives and similar repositories for fail
Users that are interested in fail are comparing it to the libraries listed below
Sorting:
- Creating a custom PCI device in QEMU and a module for it in the Linux kernel.☆96Updated 11 years ago
- Test suite for the Linux perf_event subsystem☆117Updated 6 months ago
- The Captive Hypervisor☆45Updated last month
- 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…☆78Updated 3 years ago
- Coresight Access Library☆129Updated last week
- Header-only C library for reading/writing 64-bit Arm registers, automatically generated by parsing the AArch64 System Register XML.☆33Updated 4 years ago
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆245Updated 8 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆83Updated 7 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- ☆56Updated 3 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆45Updated 9 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆35Updated 7 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Updated 5 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- memTrace, a framework for lightweight memory tracing☆58Updated 6 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- PCI device for qemu with mmio, pio, dma☆77Updated 9 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…☆56Updated 11 months ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago
- Simple Intel CPU processor tracing on Linux☆354Updated 2 years ago
- An example LLVM pass which can run automatically in clang.☆38Updated 10 years ago
- Main repository of KEDR project☆121Updated 8 months ago
- Hypervisor implementation for x86_64 ISA MIT JOS☆34Updated 11 years ago
- Hardware-assisted Data-flow Isolation☆29Updated 8 years ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆85Updated 12 years ago
- ☆113Updated 6 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 9 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 11 years ago
- A deterministic, fuzzable pthread implementation☆45Updated 2 years ago
- ☆29Updated 9 years ago