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☆118Updated 3 months ago
- Data race detector for Linux kernel modules☆30Updated 8 years ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆468Updated 6 months ago
- Simple Intel CPU processor tracing on Linux☆351Updated 2 years ago
- Main repository of KEDR project☆119Updated 5 months ago
- ☆207Updated 3 years ago
- OUT OF DATE FORK of http://git.kernel.org/cgit/devel/pahole/pahole.git☆68Updated 2 years ago
- minivm based on kvm☆154Updated last year
- documents☆165Updated 3 years ago
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- 抽出KVM代码进行注释☆60Updated 7 years ago
- Static Analyser for C☆137Updated 4 months ago
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆135Updated last month
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆417Updated 7 months ago
- ARMv8 performance monitor from userspace☆83Updated 2 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆238Updated 3 weeks ago
- This is a demo showing you how to intercept the page fault handler of Linux x86_64 system☆29Updated 12 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 9 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆167Updated 6 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 3 years ago
- virtio example front-end and back-end☆36Updated 6 years ago
- My exploring in linux kernel☆73Updated this week
- libipt - an Intel(R) Processor Trace decoder library☆698Updated 4 months ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆99Updated 2 years ago
- SKI virtual machine for testing concurrency bugs☆12Updated 9 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆170Updated 3 years ago
- libcare -- Patch Userspace Code in Live Processes☆154Updated 5 years ago
- A network interface for GDB for Linux Kernel☆71Updated 3 months ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆26Updated 2 months ago