google / ktsan
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
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆412Updated last month
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆457Updated 3 weeks ago
- Linux system call fuzzer☆889Updated 7 months ago
- Understand and mitigate software-observable side-channels☆502Updated 4 years ago
- A tool for gathering and visualizing kernel scheduling traces on Linux machines☆527Updated 10 months ago
- Dynamic Tracing in Linux☆1,000Updated 2 months ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆928Updated 4 years ago
- An easy way to virtualize the running system☆340Updated last year
- Code for the cross platform, single source, OpenDTrace implementation☆386Updated 4 years ago
- A language and library for specifying syscall filtering policies.☆316Updated 9 months ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆526Updated 4 years ago
- Light-weight Dynamic Tracer for Linux☆412Updated 2 months ago
- A fast, parallel test case minimization tool.☆957Updated 4 years ago
- High-level tracing language for Linux eBPF - development moved to https://github.com/iovisor/bpftrace☆249Updated 6 years ago
- ☆280Updated 2 years ago
- Notes on the linux kernel VM subsystem.☆368Updated 2 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆651Updated last month
- Linux kernel source tree☆246Updated last year
- A binary-compatible unikernel☆394Updated 8 months ago
- A kernelspace syscall interceptor and randomized faulter☆355Updated 5 months ago
- utilities for Linux ftrace☆286Updated 3 weeks ago
- ☆200Updated 3 years ago
- libipt - an Intel(R) Processor Trace decoder library☆679Updated last week
- The lttng-tools project provides a session daemon (lttng-sessiond) that acts as a tracing registry, the "lttng" command line for tracing …☆323Updated last week
- A unit test-like interface for fuzzing and symbolic execution☆831Updated 3 months ago
- Tool to convert Linux perf files to the profile.proto format used by pprof☆313Updated 3 weeks ago
- A lightweight script-based dynamic tracing tool for Linux☆628Updated 6 years ago
- Simple Intel CPU processor tracing on Linux☆347Updated 2 years ago
- chap analyzes un-instrumented core files for leaks, memory growth, and corruption☆374Updated last week
- Kernel Test Framework - a unit test framework for the Linux kernel☆93Updated 3 years ago