euspectre / kernel-striderLinks
Main repository for KernelStrider project
☆25Updated 7 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:
- Data race detector for Linux kernel modules☆30Updated 8 years ago
- Test suite for the Linux perf_event subsystem☆118Updated last week
- Main repository of KEDR project☆119Updated 2 months ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆458Updated 3 months ago
- OUT OF DATE FORK of http://git.kernel.org/cgit/devel/pahole/pahole.git☆68Updated 2 years ago
- ☆203Updated 3 years ago
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- Simple Intel CPU processor tracing on Linux☆348Updated 2 years ago
- minivm based on kvm☆152Updated last year
- Static Analyser for C☆126Updated 3 weeks ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- ☆26Updated 3 years ago
- 抽出KVM代码进行注释☆62Updated 7 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆415Updated 3 months ago
- documents☆167Updated 2 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆167Updated 6 years ago
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆234Updated 2 weeks 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
- libcare -- Patch Userspace Code in Live Processes☆152Updated 4 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆98Updated 2 years ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆24Updated this week
- ☆49Updated 3 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆170Updated 2 years ago
- KGTP is a comprehensive dynamic tracer for analysing Linux kernel and application (including Android) problems on production systems in r…☆87Updated 8 years ago
- ☆13Updated 5 years ago
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆133Updated last week
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆77Updated 3 years ago
- ☆22Updated last year
- My exploring in linux kernel☆70Updated last week
- LLVM trunk with poolalloc trunk modified to compile only DSA☆12Updated 10 years ago