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:
- 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
- Creating a custom PCI device in QEMU and a module for it in the Linux kernel.☆96Updated 11 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
- Test suite for the Linux perf_event subsystem☆117Updated 6 months ago
- Coresight Access Library☆129Updated last week
- PCI device for qemu with mmio, pio, dma☆77Updated 9 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 3 years ago
- Dump privileged ARM system registers from usermode using variant 3a of Meltdown☆245Updated 8 years ago
- ☆56Updated 3 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆22Updated 5 years ago
- Header-only C library for reading/writing 64-bit Arm registers, automatically generated by parsing the AArch64 System Register XML.☆33Updated 4 years ago
- The Captive Hypervisor☆45Updated last month
- ☆29Updated 9 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- A deterministic, fuzzable pthread implementation☆45Updated 2 years ago
- ☆73Updated 5 years ago
- Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)☆56Updated 3 years ago
- Simple Intel CPU processor tracing on Linux☆354Updated 2 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 11 years ago
- Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization☆22Updated 8 years ago
- Hardware-Assisted Process Tracer for Fuzzing on ARM64 Linux☆26Updated 3 years ago
- Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software☆45Updated 9 years ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 8 years ago
- Fast static binary instrumentation for linux/x86☆83Updated 8 years ago
- Hardware-assisted Data-flow Isolation☆29Updated 8 years ago
- CoreSight trace stream decoder developed openly☆176Updated 3 months ago
- QEMU Development Toolkit☆43Updated this week
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆83Updated 7 years ago
- Main repository of KEDR project☆121Updated 8 months ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆35Updated 7 years ago