From nobody Mon May 25 01:14:34 2026 Received: from out-178.mta0.migadu.com (out-178.mta0.migadu.com [91.218.175.178]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 6C4C73B47F1 for ; Tue, 19 May 2026 21:58:20 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=91.218.175.178 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1779227902; cv=none; b=CmxWeJKCzZh14BmizjxDnfgCNofQf3esRpFtLsPDKmzVD3XxSQxNvUh5sITdfXD8qgFLptQR4QEjwj9cCvo45xHJvs7mOPinhT1qRb8FPW/4dhHSJ5SKA5aDWsM/xB/0Sqo5eqofeXc0GxEIiiFphUuM6COk/a2VCZ2RCAWZKcw= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1779227902; c=relaxed/simple; bh=O76m9x95ybgxP6M6PHgexbLF1DdcN8mN1tXO3hy8lL8=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version; b=r9UtlAqRupM3en6T0AnLpKNkWGs7/R+Qfpn8mBXfUwemfG5C3hIJZwMbXXhoNcmSdlEJ3QShd5qsOXgfDuuFqeWkbKfiNy0dYoMTbsPjr23z8GRwaDNcKbiknou7DmLijksLhWDSQp7tJkSkaeXnOwB3WDYyCgp3t5mdRcxPOTM= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linux.dev; spf=pass smtp.mailfrom=linux.dev; dkim=pass (1024-bit key) header.d=linux.dev header.i=@linux.dev header.b=XiTrhhGn; arc=none smtp.client-ip=91.218.175.178 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linux.dev Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=linux.dev Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=linux.dev header.i=@linux.dev header.b="XiTrhhGn" X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linux.dev; s=key1; t=1779227898; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=y0e120dmylbFo+t9+HsasQpy/PPb563dhdsUNVHdkro=; b=XiTrhhGn364Qiz6mpExlUeSRTrmk9/r/mULX/dQYXifCCG+vZMwZX8znCySLlYGZ5X3pXC IqVHtmfVUpyrL8gFtfBLWXAD0xEB1MN4Hievry6sTu6bHvQXGVGHLR5dYNexq9iCIoSrr/ Li6Z3td2gWE0zI0JLe7ZEN1DX+h+wzs= From: Andrew Jones To: linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org Cc: nathan@kernel.org, nsc@kernel.org, andriy.shevchenko@linux.intel.com, rdunlap@infradead.org, julianbraha@gmail.com Subject: [PATCH v2] kconfig: add kconfig-sym-check static checker Date: Tue, 19 May 2026 16:58:04 -0500 Message-ID: <20260519215804.84025-1-andrew.jones@linux.dev> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable X-Migadu-Flow: FLOW_OUT Content-Type: text/plain; charset="utf-8" Add 'make kconfig-sym-check', a static checker that finds Kconfig symbols referenced in expressions (select, depends on, default, etc.) but never defined via config/menuconfig anywhere in the tree. New dangling symbols are reported as errors (exit 1) unless they are listed in an exclusion file, e.g. KCONFIG_SYM_CHECK_EXCLUDES=3Dsym-check-excludes make kconfig-sym-check The checker also warns about uppercase N/Y/M used as tristate literal values following the same logic as checkpatch. This new static checker is the script used for [1] with a few improvements to avoid some false positives. Link: https://bugzilla.kernel.org/show_bug.cgi?id=3D216748 [1] Signed-off-by: Andrew Jones Acked-by: Andy Shevchenko Acked-by: Randy Dunlap Tested-by: Randy Dunlap --- v2: - Added Andy's and Randy's tags - Accept srctree as first argument so the Makefile can drop 'cd $(srctree= )' [Nathan] - Replace git ls-files with git+find fallback [Nathan and Andy] - Changes thanks to sashiko's review - strip quoted strings before inline comments to avoid '#' inside a str= ing - use [^)]* instead of .* in macro strip regex to avoid greedy match eating tokens between adjacent $(macro) expansions Makefile | 7 +- scripts/kconfig/kconfig-sym-check.pl | 97 ++++++++++++++++++++++++++++ 2 files changed, 103 insertions(+), 1 deletion(-) create mode 100755 scripts/kconfig/kconfig-sym-check.pl diff --git a/Makefile b/Makefile index fbc67fcb6cdb..b86ccc1e08cd 100644 --- a/Makefile +++ b/Makefile @@ -293,6 +293,7 @@ version_h :=3D include/generated/uapi/linux/version.h clean-targets :=3D %clean mrproper cleandocs no-dot-config-targets :=3D $(clean-targets) \ cscope gtags TAGS tags help% %docs check% coccicheck \ + kconfig-sym-check \ $(version_h) headers headers_% archheaders archscripts \ %asm-generic kernelversion %src-pkg dt_binding_check \ outputmakefile rustavailable rustfmt rustfmtcheck \ @@ -1811,6 +1812,7 @@ help: @echo ' includecheck - Check for duplicate included header files' @echo ' headerdep - Detect inclusion cycles in headers' @echo ' coccicheck - Check with Coccinelle' + @echo ' kconfig-sym-check - Check for dangling Kconfig symbol reference= s' @echo ' clang-analyzer - Check with clang static analyzer' @echo ' clang-tidy - Check with clang-tidy' @echo '' @@ -2232,7 +2234,7 @@ endif # Scripts to check various things for consistency # ------------------------------------------------------------------------= --- =20 -PHONY +=3D includecheck versioncheck coccicheck +PHONY +=3D includecheck versioncheck coccicheck kconfig-sym-check =20 includecheck: find $(srctree)/* $(RCS_FIND_IGNORE) \ @@ -2247,6 +2249,9 @@ versioncheck: coccicheck: $(Q)$(BASH) $(srctree)/scripts/$@ =20 +kconfig-sym-check: + $(Q)$(PERL) $(srctree)/scripts/kconfig/kconfig-sym-check.pl $(srctree) $(= KCONFIG_SYM_CHECK_EXCLUDES) + PHONY +=3D checkstack kernelrelease kernelversion image_name =20 # UML needs a little special treatment here. It wants to use the host diff --git a/scripts/kconfig/kconfig-sym-check.pl b/scripts/kconfig/kconfig= -sym-check.pl new file mode 100755 index 000000000000..6bf32fb37929 --- /dev/null +++ b/scripts/kconfig/kconfig-sym-check.pl @@ -0,0 +1,97 @@ +#!/usr/bin/env perl +# SPDX-License-Identifier: GPL-2.0 + +use warnings; +use strict; + +my $srctree =3D shift @ARGV; +my $kconfig_sym_check_excludes =3D defined $ARGV[0] ? $ARGV[0] : undef; + +my @files =3D `git -C \Q$srctree\E ls-files '*Kconfig*' 2>/dev/null`; +if (@files) { + chomp @files; + @files =3D map { "$srctree/$_" } @files; +} else { + @files =3D `find \Q$srctree\E -name '*Kconfig*'`; + chomp @files; +} + +my %configs =3D (); +my %refs =3D (); + +foreach my $file (@files) { + open F, $file or die "Cannot open $file: $!"; + + my $help =3D 0; + my $help_level; + my $level; + + while () { + chomp; + + next if /^\s*$/; + next if /^\s*#/; + + /^(\s*)/; + $level =3D length $1; + + if ($help && $level < $help_level) { + $help =3D 0; + } + + next if ($help); + + if (/^\s*(help|\-\-\-help\-\-\-)$/) { + $help =3D 1; + $_ =3D ; + /^(\s*)/; + $help_level =3D length $1; + next; + } + + if (/^\s*(config|menuconfig)\s+([a-zA-Z0-9_]+)\s*(#.*)?$/) { + $configs{$2}++; + next; + } + + if (/^\s*(default|def_bool|def_tristate|select|depends\s+on|imply|visibl= e\s+if|range|if)\s+(.+)\s*$/) { + my $s =3D $2; + $s =3D~ s/"[^"]*"//g; + $s =3D~ s/'[^']*'//g; + $s =3D~ s/#.*//; + $s =3D~ s/\$\([^)]*\)//g; + $s =3D~ s/%%[^%]*%%//g; + my @syms =3D split /[^a-zA-Z0-9_]+/, $s; + map { + $refs{$_}++ if (/[a-zA-Z]/ && $_ ne "if" && $_ ne "y" && $_ ne "n" && = $_ ne "m" && !(/^0[xX]/ && !/[g-wy-zG-WY-Z]/)); + } @syms + } + } + + close F; +} + +my %known_syms =3D (); +if (defined $kconfig_sym_check_excludes) { + my $file =3D $kconfig_sym_check_excludes; + open F, $file or die "Cannot open $file: $!"; + while () { + chomp; + next if /^\s*$/; + next if /^\s*#/; + $known_syms{$1}++ if (/^\s*([a-zA-Z0-9_]+)\s*(#.*)?$/); + } +} + +my $ret =3D 0; +foreach my $k (sort keys %refs) { + next if (exists $configs{$k} || exists $known_syms{$k}); + + print "$k"; + print " - warning: '$k' is probably not what you want; Kconfig tristate l= iterals are always lowercase ('n', 'y', 'm')" if ($k eq "N" || $k eq "Y" ||= $k eq "M"); + print "\n"; + + $ret =3D 1; +} + +exit $ret; --=20 2.43.0