paulgazz / kmaxLinks
A collection of analysis tools for Kconfig and Kbuild constraints.
☆54Updated 3 months 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☆126Updated last month
- A deterministic, fuzzable pthread implementation☆41Updated 2 years ago
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- ☆56Updated last year
- Juliet C/C++ Dynamic Test Suite☆29Updated 2 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Runtime type and bounds-error checking for C/C++☆105Updated 7 months ago
- ☆252Updated 2 years ago
- Thesis code☆26Updated last year
- Piecewise debloating toolchain☆15Updated 5 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆193Updated last year
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆31Updated 3 years ago
- CCG is a random C Code Generator☆44Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 6 months ago
- SyzTrust's main repository. Start here to install.☆17Updated last year
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆185Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated 2 months ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆25Updated 3 years ago
- KLEE's version of uClibc☆55Updated last year
- Dynamically discover the commands used to create a piece of software☆50Updated 5 months ago
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- ☆35Updated 3 years ago
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- QEMU Development Toolkit☆42Updated 3 weeks ago
- ☆70Updated last year
- A LLVM Sanitizer for Symbolic Tracing☆223Updated last month
- llvm crash analysis☆44Updated last year
- Automatic detection of speculative information flows☆68Updated 4 years ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆20Updated 2 years ago