google / ktsan
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
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆410Updated 2 weeks ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆455Updated this week
- Understand and mitigate software-observable side-channels☆503Updated 4 years ago
- A tool for gathering and visualizing kernel scheduling traces on Linux machines☆525Updated 10 months ago
- An easy way to virtualize the running system☆339Updated last year
- Notes on the linux kernel VM subsystem.☆367Updated 2 years ago
- Linux system call fuzzer☆886Updated 7 months ago
- Light-weight Dynamic Tracer for Linux☆409Updated 2 months ago
- Code for the cross platform, single source, OpenDTrace implementation☆386Updated 4 years ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆525Updated 4 years ago
- utilities for Linux ftrace☆286Updated last week
- High-level tracing language for Linux eBPF - development moved to https://github.com/iovisor/bpftrace☆249Updated 6 years ago
- opensnoop in pure C using eBPF☆100Updated 2 years ago
- A static checker for identifying unstable code.☆361Updated 10 years ago
- A fast, parallel test case minimization tool.☆957Updated 4 years ago
- libipt - an Intel(R) Processor Trace decoder library☆677Updated 2 weeks ago
- Dynamic Tracing in Linux☆998Updated 2 months ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆929Updated 4 years ago
- Main repository of KEDR project☆119Updated 3 years ago
- RIDL test suite and exploits☆355Updated 4 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆166Updated 5 years ago
- Examples for: Learning KVM - implement your own kernel☆371Updated last year
- A lightweight script-based dynamic tracing tool for Linux☆629Updated 6 years ago
- A kernelspace syscall interceptor and randomized faulter☆356Updated 5 months ago
- Linux kernel source tree☆246Updated last year
- A minimal toy implementation of strace(1)☆177Updated last year
- A variety of utilities built and maintained by Facebook's Linux Kernel Team that we wish to share with the community.☆325Updated 3 years ago
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆334Updated 2 years ago
- Simple Intel CPU processor tracing on Linux☆346Updated 2 years ago
- Combining Unit Tests, Fuzzing, and AI☆301Updated 6 years ago