error27 / smatchLinks
Static Analyser for C
☆117Updated last week
Alternatives and similar repositories for smatch
Users that are interested in smatch are comparing it to the libraries listed below
Sorting:
- Explore a live Linux kernel's memory using GDB☆115Updated 2 years ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆51Updated last month
- Information about Linux system calls on different architectures☆160Updated last month
- Containers for building the Linux kernel or other software with many different compilers☆222Updated 2 months ago
- A deterministic, fuzzable pthread implementation☆37Updated 2 years ago
- ☆70Updated 11 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- A tool to extract code content from source files using the clang and LLVM infrastructure.☆21Updated 5 months ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- A toolkit for building whole-program LLVM bitcode files☆77Updated 3 years ago
- Source code of ASAN--☆95Updated 11 months ago
- An unofficial guide to contributing to GCC, aimed at newbies☆118Updated 8 months ago
- Kernel-Mode-Linux☆24Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 4 months ago
- Linux kernel source tree (Kernel Self Protection Project)☆86Updated 4 months ago
- ☆161Updated 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 2 weeks ago
- fuzzing framework based on libfuzzer and clang sanitizer☆167Updated 6 years ago
- Juliet C/C++ Dynamic Test Suite☆29Updated 2 years ago
- Pahole and the dwarves☆223Updated last month
- Linux kernel source tree☆245Updated last year
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆182Updated 3 years ago
- Access Arm64 CPU system registers☆89Updated last week
- minivm based on kvm☆150Updated 11 months ago
- ☆69Updated last year
- ☆253Updated 2 years ago
- 📡🐧 Linux kernel syscall implementation tracker☆214Updated 2 months ago
- Load-time selective binary rewriting☆158Updated 2 years ago
- Lists of must-read papers (mainly security papers)☆30Updated 8 months ago
- ☆19Updated 3 years ago