kconfig-preprocessor-parser 0.1.0__tar.gz

kconfig_preprocessor_parser-0.1.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 s4nsec
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

kconfig_preprocessor_parser-0.1.0/PKG-INFO

@@ -0,0 +1,155 @@
+Metadata-Version: 2.4
+Name: kconfig-preprocessor-parser
+Version: 0.1.0
+Summary: Extract C preprocessor conditionals and resolve each branch to its effective CONFIG_* condition
+Keywords: c,preprocessor,tree-sitter,kconfig,linux-kernel,ifdef
+Author: s4nsec
+Author-email: s4nsec <s4nsec@gmail.com>
+License-Expression: MIT
+License-File: LICENSE
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Programming Language :: C
+Classifier: Topic :: Software Development :: Compilers
+Classifier: Topic :: Software Development :: Pre-processors
+Classifier: Typing :: Typed
+Requires-Dist: tree-sitter>=0.23
+Requires-Dist: tree-sitter-c>=0.23
+Requires-Python: >=3.10
+Project-URL: Homepage, https://github.com/appleseedlab/kconfig-preprocessor-parser
+Project-URL: Repository, https://github.com/appleseedlab/kconfig-preprocessor-parser
+Project-URL: Issues, https://github.com/appleseedlab/kconfig-preprocessor-parser/issues
+Description-Content-Type: text/markdown
+
+# kconfig-preprocessor-parser
+
+Extract C preprocessor conditional blocks (`#ifdef` / `#if` / `#elif` / `#else`)
+from source files using [tree-sitter](https://tree-sitter.github.io/), and
+resolve each branch to the **effective condition** that must hold for its lines
+to compile.
+
+Built for Linux kernel configuration analysis, where knowing *which* `CONFIG_*`
+symbols guard a given line matters. Scope is deliberately narrow: only
+`CONFIG_*` symbols are resolved (see [Limitations](#limitations)).
+
+## Install
+
+```bash
+uv add kconfig-preprocessor-parser
+```
+
+Requires Python 3.10+.
+
+## Quick start
+
+Given `s.c`:
+
+```c
+int fn(void) {
+#ifdef CONFIG_A
+a();
+#elif defined(CONFIG_B)
+b();
+#else
+c();
+#endif
+return 0;
+}
+```
+
+Each branch resolves to the full condition, including the negated preceding
+branches:
+
+```python
+from pathlib import Path
+from kconfig_preprocessor_parser import extract_preproc_branch_blocks_from_file
+
+for block, cond in extract_preproc_branch_blocks_from_file(
+    kernel_src=Path("."), c_file_path=Path("s.c")
+):
+    print(block.type, block.body_lines, "->", cond.raw_expression)
+```
+
+```
+preproc_ifdef [3] -> CONFIG_A
+preproc_elif  [5] -> not CONFIG_A and CONFIG_B
+preproc_else  [7] -> not CONFIG_A and not CONFIG_B
+```
+
+Note `raw_expression` for the `#elif` and `#else` branches: the parser carries
+the negation of every earlier branch in the chain, so the expression is the
+complete guard for those lines, not just the local directive.
+
+Nested blocks compose the same way — a `#ifdef CONFIG_B` inside a
+`#ifdef CONFIG_A` yields `CONFIG_A and CONFIG_B`.
+
+Boolean operators are supported: `defined(A) && defined(B)` resolves to
+`((A) and (B))`, and `||` resolves to `or`.
+
+## Limitations
+
+**Value comparisons are not resolved.** Conditions are reduced in terms of
+whether a symbol is defined, so any comparison against a value fails:
+
+```
+#if LINUX_VERSION_CODE > 100   ->  parseable=False, "unsupported_condition_expression"
+#if CONFIG_NR_CPUS > 4         ->  parseable=False, "unsupported_condition_expression"
+```
+
+Unresolved conditions are never silently dropped. They come back with
+`parseable=False`, a `failure_reason`, and the original text in
+`raw_expression`, so you can filter or handle them yourself.
+
+**Only `CONFIG_*` symbols are resolved.** Any other identifier is reported with
+`parseable=False` and `failure_reason="non_config_symbol"`:
+
+```
+#ifdef CONFIG_A     ->  parseable=True
+#ifdef __KERNEL__   ->  parseable=False, "non_config_symbol"
+#ifdef DEBUG        ->  parseable=False, "non_config_symbol"
+```
+
+**Conditions are read syntactically from one file.** Macros are not expanded and
+`#include` is not followed, so `#define MY_FLAG CONFIG_A` followed by
+`#ifdef MY_FLAG` reports `MY_FLAG`, not `CONFIG_A`. Symbols are reported as
+guards regardless of whether they are actually defined — resolve them against a
+real config with `parse_enabled_configs`.
+
+**C only.** Backed by `tree-sitter-c`; C++ is not supported.
+
+## Coverage reports
+
+`get_all_lines_in_preproc` and
+`get_all_parseable_preproc_lines_in_covered_functions` read syzkaller coverage
+JSON. Reports record absolute paths from the machine the kernel was built on,
+which rarely match the tree you are analyzing, so paths are mapped onto
+`kernel_src` by longest matching suffix:
+
+```python
+get_all_parseable_preproc_lines_in_covered_functions(
+    coverage_file=Path("coverage.json"),
+    kernel_src=Path("/src/linux"),
+)
+```
+
+Pass `strip_prefix` to map them explicitly instead:
+
+```python
+get_all_parseable_preproc_lines_in_covered_functions(
+    coverage_file=Path("coverage.json"),
+    kernel_src=Path("/src/linux"),
+    strip_prefix="/build/ci/kernel-6.1",
+)
+```
+
+Files that cannot be mapped onto `kernel_src` are skipped, not fatal.
+
+## License
+
+MIT

kconfig_preprocessor_parser-0.1.0/README.md

@@ -0,0 +1,126 @@
+# kconfig-preprocessor-parser
+
+Extract C preprocessor conditional blocks (`#ifdef` / `#if` / `#elif` / `#else`)
+from source files using [tree-sitter](https://tree-sitter.github.io/), and
+resolve each branch to the **effective condition** that must hold for its lines
+to compile.
+
+Built for Linux kernel configuration analysis, where knowing *which* `CONFIG_*`
+symbols guard a given line matters. Scope is deliberately narrow: only
+`CONFIG_*` symbols are resolved (see [Limitations](#limitations)).
+
+## Install
+
+```bash
+uv add kconfig-preprocessor-parser
+```
+
+Requires Python 3.10+.
+
+## Quick start
+
+Given `s.c`:
+
+```c
+int fn(void) {
+#ifdef CONFIG_A
+a();
+#elif defined(CONFIG_B)
+b();
+#else
+c();
+#endif
+return 0;
+}
+```
+
+Each branch resolves to the full condition, including the negated preceding
+branches:
+
+```python
+from pathlib import Path
+from kconfig_preprocessor_parser import extract_preproc_branch_blocks_from_file
+
+for block, cond in extract_preproc_branch_blocks_from_file(
+    kernel_src=Path("."), c_file_path=Path("s.c")
+):
+    print(block.type, block.body_lines, "->", cond.raw_expression)
+```
+
+```
+preproc_ifdef [3] -> CONFIG_A
+preproc_elif  [5] -> not CONFIG_A and CONFIG_B
+preproc_else  [7] -> not CONFIG_A and not CONFIG_B
+```
+
+Note `raw_expression` for the `#elif` and `#else` branches: the parser carries
+the negation of every earlier branch in the chain, so the expression is the
+complete guard for those lines, not just the local directive.
+
+Nested blocks compose the same way — a `#ifdef CONFIG_B` inside a
+`#ifdef CONFIG_A` yields `CONFIG_A and CONFIG_B`.
+
+Boolean operators are supported: `defined(A) && defined(B)` resolves to
+`((A) and (B))`, and `||` resolves to `or`.
+
+## Limitations
+
+**Value comparisons are not resolved.** Conditions are reduced in terms of
+whether a symbol is defined, so any comparison against a value fails:
+
+```
+#if LINUX_VERSION_CODE > 100   ->  parseable=False, "unsupported_condition_expression"
+#if CONFIG_NR_CPUS > 4         ->  parseable=False, "unsupported_condition_expression"
+```
+
+Unresolved conditions are never silently dropped. They come back with
+`parseable=False`, a `failure_reason`, and the original text in
+`raw_expression`, so you can filter or handle them yourself.
+
+**Only `CONFIG_*` symbols are resolved.** Any other identifier is reported with
+`parseable=False` and `failure_reason="non_config_symbol"`:
+
+```
+#ifdef CONFIG_A     ->  parseable=True
+#ifdef __KERNEL__   ->  parseable=False, "non_config_symbol"
+#ifdef DEBUG        ->  parseable=False, "non_config_symbol"
+```
+
+**Conditions are read syntactically from one file.** Macros are not expanded and
+`#include` is not followed, so `#define MY_FLAG CONFIG_A` followed by
+`#ifdef MY_FLAG` reports `MY_FLAG`, not `CONFIG_A`. Symbols are reported as
+guards regardless of whether they are actually defined — resolve them against a
+real config with `parse_enabled_configs`.
+
+**C only.** Backed by `tree-sitter-c`; C++ is not supported.
+
+## Coverage reports
+
+`get_all_lines_in_preproc` and
+`get_all_parseable_preproc_lines_in_covered_functions` read syzkaller coverage
+JSON. Reports record absolute paths from the machine the kernel was built on,
+which rarely match the tree you are analyzing, so paths are mapped onto
+`kernel_src` by longest matching suffix:
+
+```python
+get_all_parseable_preproc_lines_in_covered_functions(
+    coverage_file=Path("coverage.json"),
+    kernel_src=Path("/src/linux"),
+)
+```
+
+Pass `strip_prefix` to map them explicitly instead:
+
+```python
+get_all_parseable_preproc_lines_in_covered_functions(
+    coverage_file=Path("coverage.json"),
+    kernel_src=Path("/src/linux"),
+    strip_prefix="/build/ci/kernel-6.1",
+)
+```
+
+Files that cannot be mapped onto `kernel_src` are skipped, not fatal.
+
+## License
+
+MIT

kconfig_preprocessor_parser-0.1.0/pyproject.toml

@@ -0,0 +1,62 @@
+[project]
+name = "kconfig-preprocessor-parser"
+version = "0.1.0"
+description = "Extract C preprocessor conditionals and resolve each branch to its effective CONFIG_* condition"
+readme = "README.md"
+license = "MIT"
+license-files = ["LICENSE"]
+requires-python = ">=3.10"
+dependencies = [
+    "tree-sitter>=0.23",
+    "tree-sitter-c>=0.23",
+]
+keywords = [
+    "c",
+    "preprocessor",
+    "tree-sitter",
+    "kconfig",
+    "linux-kernel",
+    "ifdef",
+]
+classifiers = [
+    "Development Status :: 3 - Alpha",
+    "Intended Audience :: Developers",
+    "Operating System :: OS Independent",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Programming Language :: C",
+    "Topic :: Software Development :: Compilers",
+    "Topic :: Software Development :: Pre-processors",
+    "Typing :: Typed",
+]
+
+[[project.authors]]
+name = "s4nsec"
+email = "s4nsec@gmail.com"
+
+[project.urls]
+Homepage = "https://github.com/appleseedlab/kconfig-preprocessor-parser"
+Repository = "https://github.com/appleseedlab/kconfig-preprocessor-parser"
+Issues = "https://github.com/appleseedlab/kconfig-preprocessor-parser/issues"
+
+[dependency-groups]
+dev = ["pytest>=8"]
+
+[tool.pytest.ini_options]
+testpaths = ["tests"]
+
+[tool.uv.build-backend]
+source-include = ["tests/**"]
+
+[[tool.uv.index]]
+name = "testpypi"
+url = "https://test.pypi.org/simple/"
+publish-url = "https://test.pypi.org/legacy/"
+explicit = true
+
+[build-system]
+requires = ["uv_build>=0.12.7,<0.13"]
+build-backend = "uv_build"

kconfig_preprocessor_parser-0.1.0/pyproject.toml.orig

@@ -0,0 +1,54 @@
+[project]
+name = "kconfig-preprocessor-parser"
+version = "0.1.0"
+description = "Extract C preprocessor conditionals and resolve each branch to its effective CONFIG_* condition"
+readme = "README.md"
+license = "MIT"
+license-files = ["LICENSE"]
+authors = [
+    { name = "s4nsec", email = "s4nsec@gmail.com" }
+]
+requires-python = ">=3.10"
+dependencies = [
+    "tree-sitter>=0.23",
+    "tree-sitter-c>=0.23",
+]
+keywords = ["c", "preprocessor", "tree-sitter", "kconfig", "linux-kernel", "ifdef"]
+classifiers = [
+    "Development Status :: 3 - Alpha",
+    "Intended Audience :: Developers",
+    "Operating System :: OS Independent",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3.10",
+    "Programming Language :: Python :: 3.11",
+    "Programming Language :: Python :: 3.12",
+    "Programming Language :: Python :: 3.13",
+    "Programming Language :: C",
+    "Topic :: Software Development :: Compilers",
+    "Topic :: Software Development :: Pre-processors",
+    "Typing :: Typed",
+]
+
+[project.urls]
+Homepage = "https://github.com/appleseedlab/kconfig-preprocessor-parser"
+Repository = "https://github.com/appleseedlab/kconfig-preprocessor-parser"
+Issues = "https://github.com/appleseedlab/kconfig-preprocessor-parser/issues"
+
+[dependency-groups]
+dev = ["pytest>=8"]
+
+[tool.pytest.ini_options]
+testpaths = ["tests"]
+
+[tool.uv.build-backend]
+source-include = ["tests/**"]
+
+[[tool.uv.index]]
+name = "testpypi"
+url = "https://test.pypi.org/simple/"
+publish-url = "https://test.pypi.org/legacy/"
+explicit = true
+
+[build-system]
+requires = ["uv_build>=0.12.7,<0.13"]
+build-backend = "uv_build"

kconfig_preprocessor_parser-0.1.0/src/kconfig_preprocessor_parser/__init__.py

@@ -0,0 +1,33 @@
+from kconfig_preprocessor_parser.parser import (
+    ConditionInfo,
+    EffectiveConditionInfo,
+    PreprocBlock,
+    extract_all_tracked_lines,
+    extract_preproc_branch_blocks_from_file,
+    extract_preproc_blocks_from_file,
+    extract_preproc_blocks_from_covered_functions,
+    find_function_for_line,
+    get_all_parseable_preproc_lines_in_covered_functions,
+    get_all_lines_in_preproc,
+    get_function_name,
+    parse_enabled_configs,
+    parse_function_spans,
+    write_effective_conditions_for_requested_lines,
+)
+
+__all__ = [
+    "ConditionInfo",
+    "EffectiveConditionInfo",
+    "PreprocBlock",
+    "extract_all_tracked_lines",
+    "extract_preproc_branch_blocks_from_file",
+    "extract_preproc_blocks_from_file",
+    "extract_preproc_blocks_from_covered_functions",
+    "find_function_for_line",
+    "get_all_parseable_preproc_lines_in_covered_functions",
+    "get_all_lines_in_preproc",
+    "get_function_name",
+    "parse_enabled_configs",
+    "parse_function_spans",
+    "write_effective_conditions_for_requested_lines",
+]