google / kmsanLinks
KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel
☆417Updated 6 months ago
Alternatives and similar repositories for kmsan
Users that are interested in kmsan are comparing it to the libraries listed below
Sorting:
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆465Updated 6 months ago
- Simple Intel CPU processor tracing on Linux☆351Updated 2 years ago
- A language and library for specifying syscall filtering policies.☆334Updated 3 weeks ago
- Main repository of KEDR project☆119Updated 4 months ago
- fuzzing framework based on libfuzzer and clang sanitizer☆167Updated 6 years ago
- Kernel Thread Sanitizer, a fast data race detector for the Linux kernel☆569Updated 3 years ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆132Updated last year
- Linux system call fuzzer☆896Updated last month
- Tool tracing syscalls in a fast way using eBPF linux kernel feature☆99Updated 2 years ago
- Test suite for the Linux perf_event subsystem☆118Updated 2 months ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆107Updated 6 years ago
- Information about Linux system calls on different architectures☆168Updated 3 weeks ago
- An easy way to virtualize the running system☆351Updated 2 years ago
- ☆252Updated 2 years ago
- Static Analyser for C☆135Updated 3 months ago
- libipt - an Intel(R) Processor Trace decoder library☆695Updated 3 months ago
- A ptrace library for easy syscall injection in Linux.☆181Updated last year
- POSIX Function tracing☆339Updated 8 years ago
- Examples for: Learning KVM - implement your own kernel☆379Updated 2 years ago
- ☆370Updated 8 months ago
- Kernel Test Framework☆149Updated 8 months ago
- Examples for Linux ptrace(2)☆134Updated last year
- Clang instrumentation module for tracing variable and buffer comparisons in C/C++ and saving the coverage data to .sancov files☆202Updated 6 years ago
- DyninstAPI: Tools for binary instrumentation, analysis, and modification.☆803Updated this week
- Library for structured fuzzing with protobuffers☆629Updated 6 months ago
- Pahole and the dwarves☆243Updated 3 months ago
- Linux kernel source tree☆246Updated 2 years ago
- Static instrumentation tool for efficient binary-level coverage analysis.☆149Updated 4 years ago
- Notes on various topics I'm interested in☆160Updated 10 years ago
- Containers for building the Linux kernel or other software with many different compilers☆231Updated last month