error27 / smatchLinks
Static Analyser for C
☆156Updated this 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☆256Updated last week
- Information about Linux system calls on different architectures☆174Updated last month
- 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☆187Updated 3 years ago
- Linux Kernel Sanitizers, fast bug-detectors for the Linux kernel☆469Updated 9 months ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- Source code of ASAN--☆104Updated last year
- ☆21Updated 3 years ago
- A toolkit for building whole-program LLVM bitcode files☆80Updated 4 years ago
- A deterministic, fuzzable pthread implementation☆45Updated 2 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 3 years ago
- KernelMemorySanitizer, a detector of uses of uninitialized memory in the Linux kernel☆421Updated 10 months ago
- Lists of must-read papers (mainly security papers)☆32Updated last year
- ☆253Updated 2 years ago
- Test suite for the Linux perf_event subsystem☆117Updated 6 months ago
- ☆113Updated last year
- ☆38Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61Updated 8 months ago
- Explore a live Linux kernel's memory using GDB☆117Updated 3 years ago
- Examples for: Learning KVM - implement your own kernel☆380Updated 2 years ago
- This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…☆38Updated last year
- Runtime type and bounds-error checking for C/C++☆106Updated last year
- A tool to extract code content from source files using the clang and LLVM infrastructure.☆29Updated last week
- Simple Intel CPU processor tracing on Linux☆354Updated 2 years ago
- Whole Program LLVM: wllvm ported to go☆332Updated last year
- An unofficial guide to contributing to GCC, aimed at newbies☆124Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Updated last week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Updated last year
- Static instrumentation tool for efficient binary-level coverage analysis.☆151Updated 5 years ago