error27 / smatchLinks
Static Analyser for C
☆150Updated last week
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.☆67Updated last week
- Containers for building the Linux kernel or other software with many different compilers☆254Updated 3 weeks ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Information about Linux system calls on different architectures☆170Updated last week
- A deterministic, fuzzable pthread implementation☆44Updated 2 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆173Updated 3 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆188Updated 3 years ago
- Explore a live Linux kernel's memory using GDB☆117Updated 3 years ago
- A tool to extract code content from source files using the clang and LLVM infrastructure.☆29Updated 2 months ago
- Source code of ASAN--☆102Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆61Updated 2 years ago
- ☆113Updated last year
- Juliet C/C++ Dynamic Test Suite☆31Updated 2 years ago
- A toolkit for building whole-program LLVM bitcode files☆78Updated 4 years ago
- Main repository of KEDR project☆120Updated 6 months ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆468Updated 8 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61Updated 7 months ago
- ☆38Updated 3 years ago
- Whole Program LLVM: wllvm ported to go☆330Updated last year
- minivm based on kvm☆156Updated last year
- Runtime type and bounds-error checking for C/C++☆106Updated last year
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆37Updated last year
- Lists of must-read papers (mainly security papers)☆32Updated last year
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 3 years ago
- Kernel-Mode-Linux☆24Updated 3 years ago
- Pahole and the dwarves☆248Updated last month
- ☆52Updated 3 years ago
- Learning exercises for CHERI☆21Updated 5 months ago
- Experiments with the gcc plugin mechanism☆111Updated 2 years 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 …☆29Updated last week