google / ktsanLinks
Kernel Thread Sanitizer, a fast data race detector for the Linux kernel
☆569Updated 4 years ago
Alternatives and similar repositories for ktsan
Users that are interested in ktsan are comparing it to the libraries listed below
Sorting:
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆419Updated 9 months ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆469Updated 9 months ago
- Linux system call fuzzer☆900Updated 4 months ago
- Understand and mitigate software-observable side-channels☆505Updated 5 years ago
- A tool for gathering and visualizing kernel scheduling traces on Linux machines☆530Updated last year
- An easy way to virtualize the running system☆351Updated 2 years ago
- High-level tracing language for Linux eBPF - development moved to https://github.com/iovisor/bpftrace☆249Updated 6 years ago
- A language and library for specifying syscall filtering policies.☆344Updated last month
- Light-weight Dynamic Tracer for Linux☆424Updated last month
- A variety of utilities built and maintained by Facebook's Linux Kernel Team that we wish to share with the community.☆324Updated 4 years ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆931Updated 4 years ago
- Dynamic Tracing in Linux☆1,024Updated 4 months ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆704Updated last month
- Notes on the linux kernel VM subsystem.☆381Updated 3 years ago
- Kernel Test Framework - a unit test framework for the Linux kernel☆94Updated 3 years ago
- A kernelspace syscall interceptor and randomized faulter☆357Updated last year
- ☆394Updated 5 years ago
- Main repository of KEDR project☆120Updated 7 months ago
- A fast, parallel test case minimization tool.☆975Updated 5 years ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆541Updated 4 years ago
- utilities for Linux ftrace☆308Updated 2 weeks ago
- ☆472Updated last year
- CJAG is an open-source implementation of our cache-based jamming agreement.☆285Updated 4 years ago
- Simple Intel CPU processor tracing on Linux☆351Updated 2 years ago
- ☆372Updated 2 months ago
- The system call intercepting library☆655Updated last year
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆132Updated last year
- Linux kernel source tree☆256Updated 2 years ago
- A static checker for identifying unstable code.☆363Updated 10 years ago
- RIDL test suite and exploits☆364Updated 5 years ago