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 4 months ago
- Main repository of KEDR project☆120Updated 6 months ago
- Data race detector for Linux kernel modules☆30Updated 8 years ago
- Simple Intel CPU processor tracing on Linux☆351Updated 2 years ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆468Updated 7 months ago
- MMTests: Benchmarking framework primarily aimed at Linux kernel testing☆239Updated last week
- documents☆165Updated 3 years ago
- ☆209Updated 3 years ago
- rt-app emulates typical mobile and real-time systems use cases and gives runtime information☆136Updated 2 months ago
- minivm based on kvm☆155Updated last year
- utilities for Linux ftrace☆304Updated 3 months 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
- This is a demo showing you how to intercept the page fault handler of Linux x86_64 system☆29Updated 12 years ago
- Static Analyser for C☆138Updated this week
- 抽出KVM代码进行注释☆60Updated 7 years ago
- OUT OF DATE FORK of http://git.kernel.org/cgit/devel/pahole/pahole.git☆68Updated 2 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 4 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆171Updated 3 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆417Updated 7 months ago
- PCI device for qemu with mmio, pio, dma☆76Updated 9 years ago
- ☆26Updated 4 years ago
- DyninstAPI: Tools for binary instrumentation, analysis, and modification.☆809Updated this week
- back up from http://people.ee.ethz.ch/~arkeller/linux/kernel_user_space_howto.html☆31Updated 9 years ago
- A network interface for GDB for Linux Kernel☆72Updated 4 months ago
- libipt - an Intel(R) Processor Trace decoder library☆699Updated last week
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆77Updated 3 years ago
- ☆51Updated 4 years ago
- Userspace tool to map virtual page addresses to physical addresses.☆194Updated 6 years ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆26Updated 3 months ago
- A minimal kvm example☆497Updated 3 years ago