google / ktsanLinks
Kernel Thread Sanitizer, a fast data race detector for the Linux kernel
☆569Updated 3 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☆417Updated 7 months ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆468Updated 7 months ago
- Understand and mitigate software-observable side-channels☆506Updated 4 years ago
- Linux system call fuzzer☆896Updated 2 months ago
- An easy way to virtualize the running system☆351Updated 2 years ago
- A language and library for specifying syscall filtering policies.☆338Updated last month
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆695Updated last month
- Notes on the linux kernel VM subsystem.☆378Updated 2 years ago
- RIDL test suite and exploits☆357Updated 5 years ago
- High-level tracing language for Linux eBPF - development moved to https://github.com/iovisor/bpftrace☆249Updated 6 years ago
- A tool for gathering and visualizing kernel scheduling traces on Linux machines☆530Updated last year
- Linux kernel source tree☆253Updated 2 years ago
- Simple Intel CPU processor tracing on Linux☆351Updated 2 years ago
- Main repository of KEDR project☆119Updated 5 months 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,019Updated 2 months ago
- utilities for Linux ftrace☆303Updated 2 months ago
- 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
- A fast, parallel test case minimization tool.☆973Updated 4 years ago
- Kernel Test Framework - a unit test framework for the Linux kernel☆93Updated 3 years ago
- Light-weight Dynamic Tracer for Linux☆424Updated 2 months ago
- A static checker for identifying unstable code.☆363Updated 10 years ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆538Updated 4 years ago
- ☆113Updated last year
- The lttng-tools project provides a session daemon (lttng-sessiond) that acts as a tracing registry, the "lttng" command line for tracing …☆337Updated 2 weeks ago
- american fuzzy lop (copy of the source code for easy access)☆607Updated 8 years ago
- The system call intercepting library☆653Updated 10 months ago
- ☆471Updated 11 months ago
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆338Updated 3 years ago
- Simple Linux seccomp rules without writing any code☆508Updated 4 months ago