error27 / smatch
Static Analyser for C
☆108Updated this week
Alternatives and similar repositories for smatch:
Users that are interested in smatch are comparing it to the libraries listed below
- A collection of analysis tools for Kconfig and Kbuild constraints.☆46Updated 3 months ago
- This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …☆24Updated 2 months ago
- Explore a live Linux kernel's memory using GDB☆113Updated 2 years ago
- Containers for building the Linux kernel or other software with many different compilers☆198Updated 3 weeks ago
- Information about Linux system calls on different architectures☆148Updated last week
- minivm based on kvm☆147Updated 7 months ago
- Examples for: Learning KVM - implement your own kernel☆367Updated last year
- Linux kernel source tree (Kernel Self Protection Project)☆84Updated this week
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆178Updated 2 years ago
- A network interface for GDB for Linux Kernel☆65Updated last year
- A tool to extract code content from source files using the clang and LLVM infrastructure.☆17Updated last month
- Kernel-Mode-Linux☆24Updated 2 years ago
- Pahole and the dwarves☆206Updated last week
- Static instrumentation tool for efficient binary-level coverage analysis.☆146Updated 4 years ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆448Updated 7 months ago
- ☆19Updated 2 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 3 years ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆127Updated 3 months ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆160Updated 2 years ago
- ☆68Updated 10 months ago
- Test suite for the Linux perf_event subsystem☆111Updated 3 months ago
- K-Miner☆75Updated 5 years ago
- Runtime type and bounds-error checking for C/C++☆101Updated last month
- Compartmentalised monolithic library OS☆19Updated 3 years ago
- Kernel Test Framework☆141Updated this week
- Load-time selective binary rewriting☆155Updated 2 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆165Updated 5 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆57Updated 8 months ago
- Kernel coredump file access☆26Updated 3 weeks ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆22Updated this week