paulgazz / kmax
A collection of analysis tools for Kconfig and Kbuild constraints.
☆42Updated last month
Related projects ⓘ
Alternatives and complementary repositories for kmax
- Static Analyser for C☆102Updated this week
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆56Updated 11 months ago
- Clade is a tool for extracting information about software build process and source code☆19Updated 11 months ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- Verification of BPF JIT compilers☆54Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆138Updated 4 months ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- A verification tool for many memory models☆77Updated this week
- Lists of must-read papers (mainly security papers)☆25Updated 2 months ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆51Updated 3 years ago
- ☆42Updated 2 years ago
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆27Updated 2 weeks ago
- A toolkit for building whole-program LLVM bitcode files☆73Updated 3 years ago
- A tool to enable fuzzing for Spectre vulnerabilities☆30Updated 4 years ago
- ☆16Updated last year
- Fork of LLVM adding CHERI support☆49Updated this week
- A GCC plugin to dump call graphs for programs being compiled using LTO.☆21Updated 4 years ago
- Thesis code☆25Updated last year
- Variation of american fuzzy lop for testing compilers☆119Updated 2 years ago
- Symbolic Program Slicing with LLVM☆76Updated 4 years ago
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆25Updated 5 years ago
- ☆16Updated 2 years ago
- QEMU Development Toolkit☆38Updated 4 months ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- Usage of enabled-by-default hardening-related compiler flags across Linux distributions☆44Updated 2 weeks ago
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Updated 8 years ago
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆46Updated 7 months ago