google / ktsan
Kernel Thread Sanitizer, a fast data race detector for the Linux kernel
☆572Updated 3 years ago
Alternatives and similar repositories for ktsan:
Users that are interested in ktsan are comparing it to the libraries listed below
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆454Updated last month
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆411Updated 10 months ago
- Linux system call fuzzer☆884Updated 6 months ago
- Understand and mitigate software-observable side-channels☆500Updated 4 years ago
- A tool for gathering and visualizing kernel scheduling traces on Linux machines☆526Updated 9 months ago
- A language and library for specifying syscall filtering policies.☆311Updated 8 months ago
- An easy way to virtualize the running system☆337Updated last year
- Notes on the linux kernel VM subsystem.☆365Updated 2 years ago
- utilities for Linux ftrace☆282Updated 3 months ago
- Simple Intel CPU processor tracing on Linux☆346Updated 2 years ago
- High-level tracing language for Linux eBPF - development moved to https://github.com/iovisor/bpftrace☆249Updated 6 years ago
- Light-weight Dynamic Tracer for Linux☆409Updated last month
- A variety of utilities built and maintained by Facebook's Linux Kernel Team that we wish to share with the community.☆326Updated 3 years ago
- Dynamic Tracing in Linux☆996Updated last month
- opensnoop in pure C using eBPF☆99Updated last year
- Test suite for the Linux perf_event subsystem☆113Updated 5 months ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆647Updated 2 weeks ago
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆334Updated 2 years ago
- libipt - an Intel(R) Processor Trace decoder library☆675Updated 2 months ago
- Code for the cross platform, single source, OpenDTrace implementation☆385Updated 4 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆165Updated 5 years ago
- Linux kernel source tree☆246Updated last year
- Presentations and docs☆981Updated 2 years ago
- Missed optimizations in C compilers☆341Updated 6 years ago
- A lightweight script-based dynamic tracing tool for Linux☆629Updated 6 years ago
- ☆110Updated 8 months ago
- ☆199Updated 2 years ago
- AutoFDO☆556Updated this week
- Examples for: Learning KVM - implement your own kernel☆369Updated last year
- A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd☆134Updated 5 years ago