error27 / smatch
Static Analyser for C
☆115Updated 2 weeks ago
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.☆48Updated last week
- Information about Linux system calls on different architectures☆156Updated 2 weeks ago
- Explore a live Linux kernel's memory using GDB☆114Updated 2 years ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 3 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- ☆19Updated 3 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆166Updated 6 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆59Updated last week
- 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 …☆25Updated 2 weeks ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆166Updated 2 years ago
- Runtime type and bounds-error checking for C/C++☆103Updated 4 months ago
- 📡🐧 Linux kernel syscall implementation tracker☆210Updated 3 weeks ago
- Linux kernel source tree (Kernel Self Protection Project)☆86Updated 2 months ago
- Collection of syzkaller bug reproducers for Linux☆45Updated 2 years ago
- minivm based on kvm☆149Updated 10 months ago
- Containers for building the Linux kernel or other software with many different compilers☆213Updated last month
- Source code of ASAN--☆95Updated 10 months ago
- An easy way to virtualize the running system☆339Updated last year
- KLEE's version of uClibc☆52Updated 10 months ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆36Updated 5 months ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated 11 months ago
- A deterministic, fuzzable pthread implementation☆37Updated last year
- This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…☆25Updated 3 years ago
- Lists of must-read papers (mainly security papers)☆30Updated 7 months ago
- An unofficial guide to contributing to GCC, aimed at newbies☆117Updated 6 months ago
- ☆23Updated last month
- Linux Kernel Fuzzer Corpus☆136Updated this week
- Pahole and the dwarves☆218Updated last week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆141Updated 2 months ago
- A tool to extract code content from source files using the clang and LLVM infrastructure.☆19Updated 4 months ago