paulgazz / kmaxLinks
A collection of analysis tools for Kconfig and Kbuild constraints.
☆55Updated 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☆130Updated last month
- A deterministic, fuzzable pthread implementation☆42Updated 2 years ago
- ☆57Updated last year
- Juliet C/C++ Dynamic Test Suite☆30Updated 2 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Clade is a tool for extracting information about software build process and source code☆22Updated last year
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆60Updated 3 months ago
- Thesis code☆26Updated 2 years ago
- ☆70Updated last year
- ☆53Updated 2 years ago
- μSBS: Static Binary Sanitization of Bare-metal Embedded Devices☆31Updated 3 years ago
- Piecewise debloating toolchain☆15Updated 5 years ago
- ☆253Updated 2 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 7 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☆162Updated 3 weeks ago
- Dynamically discover the commands used to create a piece of software☆50Updated 6 months ago
- SyzTrust's main repository. Start here to install.☆17Updated last year
- Runtime type and bounds-error checking for C/C++☆105Updated 8 months ago
- A toolkit for building whole-program LLVM bitcode files☆78Updated 4 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆185Updated 3 years ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- 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
- ROSA: Finding Backdoors with Fuzzing☆24Updated 2 months ago
- Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs☆42Updated 2 years ago
- Constraint solver based on coverage-guided fuzzing☆248Updated last year
- autofz: Automated Fuzzer Composition at Runtime☆82Updated last year
- KLEE's version of uClibc☆56Updated last year