Skip to content

julianbraha/kconfirm

Repository files navigation

Project Logo

Logo given to me by my friend, Silas

kconfirm

A static analysis tool for the Kconfig language.

Detect dead code, select-visible misuse, and more.

Usage

Assuming you have Rust, and OpenSSL installed:

# clone this repo
git clone https://github.com/julianbraha/kconfirm.git

cd kconfirm

# compile
cargo build --release -p kconfirm-cli

# run (for linux):
./target/release/kconfirm-cli --linux-dir-path RELATIVE_PATH_TO_LINUX_SOURCE

# run (for coreboot):
./target/release/kconfirm-cli --coreboot-dir-path RELATIVE_PATH_TO_COREBOOT_SOURCE

To enable the check for dead links in the Kconfig help texts:

# NOTE: this is very slow! It will attempt to visit every link that it finds!
./target/release/kconfirm-cli --linux-dir-path RELATIVE_PATH_TO_LINUX_SOURCE --check-dead-links

Submitted Patches: Linux

Dead Defaults

2026-03-23 "drm: fix dead default for DRM_TTM_KUNIT_TEST"

2026-03-23 "s390: fix dead defaults for S390_MODULES_SANITY_TEST and S390_UNWIND_SELFTEST"

2026-03-22 "soc: aspeed: cleanup dead default for ASPEED_SOCINFO"

Select-Visible

2026-05-31 "x86/cpu: cleanup duplicate dependencies in Kconfig"

2026-05-23 "drm/i915: use 'depends on' with visible DEBUG_OBJECTS for DRM_I915_DEBUG and DRM_I915_SW_FENCE_DEBUG_OBJECTS"

2026-05-03 "riscv: replace select with dependency for visible RELOCATABLE"

Duplicate Dependencies

2026-05-31 "x86/cpu: cleanup duplicate dependencies in Kconfig"

2026-04-18 "cpufreq: clean up dead dependencies on X86 in Kconfig"

2026-04-02 "stmmac: cleanup dead dependencies on STMMAC_PLATFORM and STMMAC_ETH in Kconfig"

2026-03-31 "cpufreq: clean up dead code in Kconfig"

2026-03-31 "soc: apple: cleanup dead code in kconfig"

2026-03-31 "mm/thp: dead code cleanup in Kconfig"

2026-03-31 "media: dvb: cleanup dead DVB_USB code in Kconfig"

2026-03-31 "keys: cleanup dead code in Kconfig for FIPS_SIGNATURE_SELFTEST"

2026-03-31 "nvmem: cleanup dead code in Kconfig"

2026-03-30 "remoteproc: dead code cleanup in Kconfig for STM32_RPROC"

2026-03-30 "pci: dead code cleanup in Kconfig"

2026-03-30 "ppp: dead code cleanup in Kconfig"

2026-03-29 "riscv: dead code cleanup in kconfig for RISCV_PROBE_VECTOR_UNALIGNED_ACCESS"

2026-03-29 "net: microchip: dead code cleanup in kconfig for FDMA"

Duplicate Selects

2026-03-29 "ARM: omap2: dead code cleanup in kconfig for ARCH_OMAP4"

2026-03-29 "media: dead code cleanup in kconfig for VIDEO_SOLO6X10"

Submitted Patches: U-Boot

Dead Defaults

2026-04-15 "powerpc: fix dead default for SYS_L3_SIZE"

Submitted Patches: coreboot

Dead Defaults

2026-04-12 "mainboard/opencellular/elgon/Kconfig: fix dead default for FMDFILE"

2026-04-12 "payloads/Kconfig: fix dead default for PAYLOAD_FIT_SUPPORT"

Submitted Patches: BusyBox

2026-05-26 "config: remove duplicate dependency on SELINUX for CHCON"

Submitted Pull Requests: Fiasco

kernkonzept/fiasco#22

Special Thanks

About

A static analysis tool for kconfig. SMT model now available in the smt branch.

Resources

License

Stars

10 stars

Watchers

0 watching

Forks

Sponsor this project

  •  

Packages

 
 
 

Contributors