google / ktsanLinks
Kernel Thread Sanitizer, a fast data race detector for the Linux kernel
☆571Updated 3 years ago
Alternatives and similar repositories for ktsan
Users that are interested in ktsan are comparing it to the libraries listed below
Sorting:
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆458Updated 2 months ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆414Updated 2 months ago
- An easy way to virtualize the running system☆344Updated last year
- Linux system call fuzzer☆893Updated 9 months ago
- A tool for gathering and visualizing kernel scheduling traces on Linux machines☆529Updated last year
- utilities for Linux ftrace☆290Updated 3 weeks ago
- Understand and mitigate software-observable side-channels☆501Updated 4 years ago
- Dynamic Tracing in Linux☆1,006Updated 4 months ago
- A variety of utilities built and maintained by Facebook's Linux Kernel Team that we wish to share with the community.☆324Updated 3 years ago
- american fuzzy lop (copy of the source code for easy access)☆608Updated 7 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆659Updated 3 months ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆526Updated 4 years ago
- RIDL test suite and exploits☆355Updated 5 years ago
- A static checker for identifying unstable code.