google / ktsanLinks
Kernel Thread Sanitizer, a fast data race detector for the Linux kernel
☆570Updated 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☆464Updated 5 months ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆417Updated 6 months ago
- Understand and mitigate software-observable side-channels☆502Updated 4 years ago
- Linux system call fuzzer☆897Updated last month
- An easy way to virtualize the running system☆351Updated last year
- Kernel Test Framework - a unit test framework for the Linux kernel☆95Updated 3 years ago
- Linux kernel source tree☆246Updated 2 years ago
- A tool for gathering and visualizing kernel scheduling traces on Linux machines☆530Updated last year
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆689Updated 2 months ago
- RIDL test suite and exploits☆358Updated 5 years ago
- Main repository of KEDR project☆119Updated 4 months ago
- Notes on the linux kernel VM subsystem.☆378Updated 2 years ago
- Simple Intel CPU processor tracing on Linux☆350Updated 2 years ago
- A language and library for specifying syscall filtering policies.☆334Updated last week
- ☆470Updated 10 months ago
- A fast, parallel test case minimization tool.☆971Updated 4 years ago
- A kernelspace syscall interceptor and randomized faulter☆354Updated 10 months ago
- The system call intercepting library☆651Updated 8 months ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆535Updated 4 years ago
- utilities for Linux ftrace☆300Updated last month
- Boot a Linux kernel in a VM without a dedicated root filesystem.☆121Updated 2 months ago
- High-level tracing language for Linux eBPF - development moved to https://github.com/iovisor/bpftrace☆248Updated 6 years ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆930Updated 4 years ago
- Test suite for the Linux perf_event subsystem☆118Updated 2 months ago
- A minimal kvm example☆497Updated 3 years ago
- A static checker for identifying unstable code.☆361Updated 10 years ago
- ☆207Updated 3 years ago
- A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd☆131Updated 5 years ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆131Updated 11 months ago
- CJAG is an open-source implementation of our cache-based jamming agreement.☆284Updated 3 years ago