paulgazz / kmax
A collection of analysis tools for Kconfig and Kbuild constraints.
☆48Updated last week
Alternatives and similar repositories for kmax:
Users that are interested in kmax are comparing it to the libraries listed below
- Thesis code☆26Updated last year
- Static Analyser for C☆115Updated 2 weeks ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Juliet C/C++ Dynamic Test Suite☆28Updated 2 years ago
- ☆35Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆59Updated last week
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆141Updated 2 months ago
- Piecewise debloating toolchain☆15Updated 5 years ago
- A toolkit for building whole-program LLVM bitcode files☆77Updated 3 years ago
- Symbolic Program Slicing with LLVM☆79Updated 4 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆23Updated 3 years ago
- ☆45Updated last year
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- ☆19Updated 3 years ago
- LLVM Call Graph☆27Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- SyzTrust's main repository. Start here to install.☆17Updated last year
- Collection of syzkaller bug reproducers for Linux☆45Updated 2 years ago
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆30Updated 2 years ago
- KLEE's version of uClibc☆52Updated 10 months ago
- ☆69Updated 9 months ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- ☆29Updated last year
- CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)☆27Updated 4 months ago
- llvm crash analysis☆43Updated 10 months ago
- Verification of BPF JIT compilers☆54Updated last year
- ☆12Updated 3 years ago
- Public-facing course info for program analysis materials.☆41Updated 4 months ago