paulgazz / kmaxLinks
A collection of analysis tools for Kconfig and Kbuild constraints.
☆57Updated 4 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☆134Updated 2 months ago
- A deterministic, fuzzable pthread implementation☆42Updated 2 years ago
- Clade is a tool for extracting information about software build process and source code☆22Updated last year
- Juliet C/C++ Dynamic Test Suite☆30Updated 2 years ago
- Thesis code☆26Updated 2 years ago
- ☆57Updated last year
- Piecewise debloating toolchain☆15Updated 5 years ago
- ☆36Updated 3 years ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61Updated 4 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆31Updated 3 years ago
- A toolkit for building whole-program LLVM bitcode files☆78Updated 4 years ago
- QEMU Development Toolkit☆42Updated 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 4 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆146Updated 7 months ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- ☆53Updated 2 years ago
- SyzTrust's main repository. Start here to install.☆17Updated last year
- Source code of ASAN--☆100Updated last year
- Runtime type and bounds-error checking for C/C++☆105Updated 9 months ago
- FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution☆20Updated 2 years ago
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆161Updated 3 weeks ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆186Updated 3 years ago
- A LLVM Sanitizer for Symbolic Tracing☆223Updated 2 months ago
- A Specification-Guided Approach for Firmware Emulation☆43Updated 5 months ago
- Symbolic Program Slicing with LLVM☆83Updated 5 years ago
- Dynamically discover the commands used to create a piece of software☆55Updated 7 months ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆41Updated 2 years ago