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:
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆414Updated 3 months ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆459Updated 2 months ago
- Understand and mitigate software-observable side-channels☆500Updated 4 years ago
- Linux system call fuzzer☆894Updated 9 months ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆669Updated last week
- An easy way to virtualize the running system☆345Updated last year
- A language and library for specifying syscall filtering policies.☆324Updated 11 months ago
- A tool for gathering and visualizing kernel scheduling traces on Linux machines☆530Updated last year
- Notes on the linux kernel VM subsystem.☆373Updated 2 years ago
- A fast, parallel test case minimization tool.☆962Updated 4 years ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆928Updated 4 years ago
- Linux kernel source tree☆245Updated last year
- A unit test-like interface for fuzzing and symbolic execution☆837Updated 5 months ago
- Simple Intel CPU processor tracing on Linux☆348Updated 2 years ago
- RIDL test suite and exploits☆356Updated 5 years ago
- A static checker for identifying unstable code.☆362Updated 10 years ago
- Main repository of KEDR project☆119Updated last month
- Examples for: Learning KVM - implement your own kernel☆377Updated last year
- utilities for Linux ftrace☆293Updated this week
- A kernelspace syscall interceptor and randomized faulter☆354Updated 7 months ago
- ☆470Updated 7 months ago
- Light-weight Dynamic Tracer for Linux☆418Updated 4 months ago
- Dynamic Tracing in Linux☆1,007Updated 4 months ago
- High-level tracing language for Linux eBPF - development moved to https://github.com/iovisor/bpftrace☆247Updated 6 years ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆526Updated 4 years ago
- ☆390Updated 4 years ago
- CJAG is an open-source implementation of our cache-based jamming agreement.☆284Updated 3 years ago
- Code for the cross platform, single source, OpenDTrace implementation☆390Updated 4 years ago
- The main libseccomp repository☆860Updated 2 months ago
- Kernel Test Framework - a unit test framework for the Linux kernel☆93Updated 3 years ago