paulgazz / kmaxLinks
A collection of analysis tools for Kconfig and Kbuild constraints.
☆67Updated 2 weeks ago
Alternatives and similar repositories for kmax
Users that are interested in kmax are comparing it to the libraries listed below
Sorting:
- Static Analyser for C☆154Updated last week
- A deterministic, fuzzable pthread implementation☆45Updated 2 years ago
- Juliet C/C++ Dynamic Test Suite☆33Updated 2 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆61Updated 2 years ago
- Clade is a tool for extracting information about software build process and source code☆22Updated 2 years ago
- ☆64Updated last year
- Piecewise debloating toolchain☆15Updated 6 years ago
- A toolkit for building whole-program LLVM bitcode files☆79Updated 4 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆148Updated last year
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆187Updated 3 years ago
- ☆38Updated 3 years ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆22Updated 2 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Updated 4 years ago
- Runtime type and bounds-error checking for C/C++☆106Updated last year
- QEMU Development Toolkit☆43Updated 2 months ago
- Source code of ASAN--☆103Updated last year
- Thesis code☆26Updated 2 years ago
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆33Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61Updated 8 months ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 6 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆55Updated 4 years ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 3 years ago
- A LLVM Sanitizer for Symbolic Tracing☆228Updated last week
- Symbolic Program Slicing with LLVM☆84Updated 5 years ago
- The start of a port of musl libc to an "x86_64 llvm bitcode" architecture.☆24Updated 6 years ago
- KLEE's version of uClibc☆56Updated last year
- llvm crash analysis☆44Updated last year
- Revizor - Hardware fuzzing for the age of speculation☆180Updated last week
- Load-time selective binary rewriting☆164Updated 3 years ago