error27 / smatch
Static Analyser for C
☆102Updated this week
Related projects ⓘ
Alternatives and complementary repositories for smatch
- A collection of analysis tools for Kconfig and Kbuild constraints.☆42Updated last month
- 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 …☆23Updated last week
- Information about Linux system calls on different architectures☆140Updated this week
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- ☆19Updated 2 years ago
- Core KernelCI tools☆107Updated last week
- libpulp enables live patching in user space applications.☆56Updated last week
- minivm based on kvm☆143Updated 5 months ago
- An unofficial guide to contributing to GCC, aimed at newbies☆110Updated last month
- ☆67Updated 10 months ago
- A toolkit for building whole-program LLVM bitcode files☆73Updated 3 years ago
- ☆42Updated 2 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆51Updated 3 years ago
- Compartmentalised monolithic library OS☆19Updated 3 years ago
- Open-source release for MemSentry (EuroSys'17)☆47Updated 3 years ago
- Linux kernel source tree (Kernel Self Protection Project)☆83Updated last month
- Kexec Tools: Userspace portion of Kexec☆62Updated this week
- Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.☆37Updated 10 months ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆34Updated last week
- Kernel-Mode-Linux☆24Updated 2 years ago
- Containers for building the Linux kernel or other software with many different compilers☆196Updated 3 weeks ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆37Updated 4 years ago
- ☆48Updated 3 years ago
- ☆193Updated 2 years ago
- A network interface for GDB for Linux Kernel☆63Updated last year
- Pahole and the dwarves☆193Updated this week
- a paper template☆50Updated last year
- Continuous integration of latest Linux kernel with daily build of Clang & LLVM tools☆44Updated 3 years ago