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 last month
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆458Updated last month
- Linux system call fuzzer☆891Updated 8 months ago
- Dynamic Tracing in Linux☆1,003Updated 3 months ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆929Updated 4 years ago
- Light-weight Dynamic Tracer for Linux☆414Updated 3 months ago
- A language and library for specifying syscall filtering policies.☆319Updated 10 months ago
- A tool for gathering and visualizing kernel scheduling traces on Linux machines☆529Updated 11 months ago
- Notes on the linux kernel VM subsystem.☆370Updated 2 years ago
- An easy way to virtualize the running system☆343Updated last year
- Simple Intel CPU processor tracing on Linux☆349Updated 2 years ago
- Understand and mitigate software-observable side-channels☆501Updated 4 years ago
- A fast, parallel test case minimization tool.☆959Updated 4 years ago
- High-level tracing language for Linux eBPF - development moved to https://github.com/iovisor/bpftrace☆249Updated 6 years ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆526Updated 4 years ago
- libipt - an Intel(R) Processor Trace decoder library☆681Updated last month
- utilities for Linux ftrace☆288Updated this week
- The lttng-tools project provides a session daemon (lttng-sessiond) that acts as a tracing registry, the "lttng" command line for tracing …☆325Updated this week
- Code for the cross platform, single source, OpenDTrace implementation☆389Updated 4 years ago
- ☆634Updated 2 weeks ago
- Combining Unit Tests, Fuzzing, and AI☆302Updated 6 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆374Updated 10 months ago
- fuzzing framework based on libfuzzer and clang sanitizer☆167Updated 6 years ago
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆98Updated 2 years ago
- american fuzzy lop (copy of the source code for easy access)☆608Updated 7 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆655Updated 2 months ago
- A binary-compatible unikernel☆394Updated 9 months ago
- Notes on various topics I'm interested in☆158Updated 9 years ago
- Examples for: Learning KVM - implement your own kernel☆372Updated last year
- Missed optimizations in C compilers☆341Updated 7 years ago