error27 / smatchLinks
Static Analyser for C
☆121Updated 3 weeks ago
Alternatives and similar repositories for smatch
Users that are interested in smatch are comparing it to the libraries listed below
Sorting:
- A collection of analysis tools for Kconfig and Kbuild constraints.☆53Updated 2 months ago
- Explore a live Linux kernel's memory using GDB☆115Updated 2 years ago
- Linux kernel source tree (Kernel Self Protection Project)☆87Updated 4 months ago
- A tool to extract code content from source files using the clang and LLVM infrastructure.☆22Updated 6 months ago
- Information about Linux system calls on different architectures☆162Updated this week
- Containers for building the Linux kernel or other software with many different compilers☆223Updated last week
- Kernel coredump file access☆29Updated 5 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 …☆27Updated 3 weeks ago
- 📡🐧 Linux kernel syscall implementation tracker☆216Updated 2 months ago
- minivm based on kvm☆150Updated last year
- notes about glibc, ld-so and more.☆40Updated 4 years ago
- Access Arm64 CPU system registers☆91Updated last month
- A network interface for GDB for Linux Kernel☆70Updated 2 years ago
- ☆161Updated 5 months ago
- An unofficial guide to contributing to GCC, aimed at newbies☆118Updated 8 months ago
- Steps to build the Linux kernel using Clang☆101Updated 3 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- An easy way to virtualize the running system☆344Updated last year
- Kernel Test Framework☆143Updated 4 months ago
- ☆202Updated 3 years ago
- ☆70Updated 11 months ago
- ☆74Updated last year
- Source code of ASAN--☆95Updated last year
- Pahole and the dwarves☆224Updated 2 months ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 3 years ago
- Load-time selective binary rewriting☆158Updated 2 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆168Updated 2 years ago
- Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing☆55Updated last month
- QEMU-based fault injection☆27Updated 3 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated 7 months ago