paulgazz/kmax external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

paulgazz/kmax

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/paulgazz/kmax)

Close

paulgazz / kmaxView on GitHubMore

• External links
• Readme badge

A collection of analysis tools for Kconfig and Kbuild constraints.

☆66Jan 30, 2026Updated last month

Alternatives and similar repositories for kmax

Users that are interested in kmax are comparing it to the libraries listed below

• appleseedlab / superc

  View on GitHub
  The SuperC Parsing Framework
  ☆35May 21, 2025Updated 9 months ago
• BUseclab / FuzzNG

  View on GitHub
  ☆34Jun 5, 2023Updated 2 years ago
• HexHive / SyzRisk

  View on GitHub
  Official repository of SyzRisk [ASIA CCS'24]
  ☆12Aug 20, 2024Updated last year
• m0ck1ng / mock

  View on GitHub
  MOCK: Optimizing Kernel Fuzzing Mutation with Context-aware Dependency
  ☆20Dec 21, 2024Updated last year
• season-lab / memsight

  View on GitHub
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆25Nov 21, 2024Updated last year
• uvc-ingenieure / kconfig-frontends

  View on GitHub
  Linux Kernel configuration tools - Windows Port
  ☆21Jan 3, 2014Updated 12 years ago
• weston-embedded / uC-DNSc

  View on GitHub
  ☆19Mar 18, 2024Updated last year
• seclab-ucr / SyzGenPlusPlus

  View on GitHub
  ☆20Dec 4, 2023Updated 2 years ago
• weston-embedded / uC-SNTPc

  View on GitHub
  ☆19Jul 1, 2020Updated 5 years ago
• weston-embedded / uC-TFTPc

  View on GitHub
  ☆18Jul 1, 2020Updated 5 years ago
• weston-embedded / uC-FTPc

  View on GitHub
  ☆20Jul 1, 2020Updated 5 years ago
• cyruscyliu / firmguide

  View on GitHub
  FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution
  ☆22May 29, 2023Updated 2 years ago
• weston-embedded / uC-DHCPc

  View on GitHub
  µC/DHCPc is compliant with the all available DHPC server. It was written for target systems running µC/TCP-IP and an OS such as µC/OS-II …
  ☆23May 20, 2021Updated 4 years ago
• error27 / smatch

  View on GitHub
  Static Analyser for C
  ☆159Feb 9, 2026Updated 3 weeks ago
• Qi-Pang / MDPFuzz

  View on GitHub
  Official implementation of ISSTA 2022 paper: MDPFuzz: Testing Models Solving Markov Decision Processes.
  ☆24Dec 17, 2022Updated 3 years ago
• dumblob / rt_clk_sync

  View on GitHub
  Hard Real-Time world-wide clock synchronization utilizing new better algorithms than PTP and NTP uses.
  ☆14Jan 4, 2016Updated 10 years ago
• appleseedlab / maki

  View on GitHub
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆12Aug 27, 2025Updated 6 months ago
• wsong83 / Asynchronous-Verilog-Synthesiser

  View on GitHub
  Synthesiser for Asynchronous Verilog Language
  ☆20Oct 29, 2014Updated 11 years ago
• alexeyk13 / mkernel

  View on GitHub
  M-Kernel embedded RTOS
  ☆14Apr 11, 2013Updated 12 years ago
• iamywang / bp-security-framework

  View on GitHub
  Research Artifact for HPCA'24 Paper: *Modeling, Derivation, and Automated Analysis of Branch Predictor Security Vulnerabilities*.
  ☆11Oct 30, 2025Updated 4 months ago
• plummm / SyzScope

  View on GitHub
  SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.
  ☆85Jan 20, 2025Updated last year
• embedded2014 / rtenv

  View on GitHub
  minimal real-time environment for ARM Cortex-M3
  ☆18Mar 14, 2014Updated 11 years ago
• ssvlab / dsverifier

  View on GitHub
  DSVerifier - Digital Systems Verifier
  ☆11Feb 22, 2019Updated 7 years ago
• mschlaegl / pylibfst

  View on GitHub
  Handle Fast Signal Traces (fst) in Python
  ☆14Jun 11, 2025Updated 8 months ago
• umnsec / crix

  View on GitHub
  Detect missing check bugs in OS kernels
  ☆113Sep 23, 2023Updated 2 years ago
• rudyerudite / AngErza

  View on GitHub
  Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.
  ☆16Jan 9, 2022Updated 4 years ago
• jar-ben / mustool

  View on GitHub
  ☆14Jun 18, 2023Updated 2 years ago
• funemy / SWORD

  View on GitHub
  SWORD: A Whole Program Race Detector for Java
  ☆13Jan 30, 2021Updated 5 years ago
• ivicanikolicsg / SivoFuzzer

  View on GitHub
  Grey-box fuzzer SIVO
  ☆13Jul 11, 2021Updated 4 years ago
• davidhildenbrand / drob

  View on GitHub
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆26Feb 19, 2020Updated 6 years ago
• ZigEmbeddedGroup / zcom

  View on GitHub
  Cross-platform serial communications monitor.
  ☆14Jul 1, 2024Updated last year
• s3team / Abacus

  View on GitHub
  Side-channel Analysis
  ☆19May 17, 2022Updated 3 years ago
• lucvoo / sparse

  View on GitHub
  mirror of git://git.kernel.org/pub/scm/devel/sparse/sparse.git
  ☆34Feb 3, 2024Updated 2 years ago
• sdasgup3 / partial-redundancy-elimination

  View on GitHub
  Partial Redundancy Elimination Pass in LLVM
  ☆15May 20, 2019Updated 6 years ago
• jku-ssw / gcc-builtin-study

  View on GitHub
  ☆12Jul 3, 2019Updated 6 years ago
• cverified / cbench

  View on GitHub
  A benchmark for C program verification
  ☆17Feb 22, 2024Updated 2 years ago
• GumTreeDiff / cgum

  View on GitHub
  The C parser for GumTree
  ☆14Sep 25, 2020Updated 5 years ago
• HexHive / ViDeZZo

  View on GitHub
  ViDeZZo source code.
  ☆39Apr 15, 2025Updated 10 months ago
• uds-se / lFuzzer

  View on GitHub
  Fuzzing Parsers with Tokens
  ☆33Jan 14, 2021Updated 5 years ago