euspectre / kernel-striderLinks
Main repository for KernelStrider project
☆25Updated 8 years ago
Alternatives and similar repositories for kernel-strider
Users that are interested in kernel-strider are comparing it to the libraries listed below
Sorting:
- Test suite for the Linux perf_event subsystem☆117Updated 6 months ago
- Data race detector for Linux kernel modules☆30Updated 8 years ago
- Main repository of KEDR project☆121Updated 8 months ago
- This is a demo showing you how to intercept the page fault handler of Linux x86_64 system☆29Updated 12 years ago
- 抽出KVM代码进行注释☆60Updated 8 years ago
- Simple Intel CPU processor tracing on Linux☆354Updated 2 years ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆469Updated 9 months ago
- minivm based on kvm☆157Updated last year
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆242Updated 2 weeks ago
- documents☆165Updated 3 years ago
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆138Updated 4 months ago
- Static Analyser for C☆154Updated 2 weeks ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- OUT OF DATE FORK of http://git.kernel.org/cgit/devel/pahole/pahole.git☆68Updated 2 years ago
- ☆211Updated 3 years ago
- Prototype allocator for the prevention of use-after-free attacks, as described in the S&P 2020 Paper - "MarkUs: Drop-in use-after-free pr…☆14Updated 4 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆100Updated 2 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆173Updated 3 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆421Updated 10 months ago
- PCI device for qemu with mmio, pio, dma☆77Updated 9 years ago
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆88Updated 8 years ago
- Userspace tool to map virtual page addresses to physical addresses.☆198Updated 6 years ago
- utilities for Linux ftrace☆309Updated last month
- back up from http://people.ee.ethz.ch/~arkeller/linux/kernel_user_space_howto.html☆31Updated 10 years ago
- virtio example front-end and back-end☆36Updated 7 years ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆26Updated 5 months ago
- SKI virtual machine for testing concurrency bugs☆13Updated 10 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆78Updated 4 years ago
- Linux kernel block layer testing framework☆133Updated this week
- Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis☆19Updated 5 years ago