cslice 0.1.2__tar.gz

cslice-0.1.2/Cargo.lock

@@ -0,0 +1,242 @@
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+version = 4
+
+[[package]]
+name = "aho-corasick"
+version = "1.1.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c982642fa9e8606056828ee9a8505737230110bb1099153c79efe865c59d12ba"
+dependencies = [
+ "memchr",
+]
+
+[[package]]
+name = "cc"
+version = "1.6.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f74872d07caf508b30a21f6836e7d7016a2eaf7d9ff4f48deaa58cd8a0407630"
+dependencies = [
+ "find-msvc-tools",
+ "shlex",
+]
+
+[[package]]
+name = "cslice-core"
+version = "0.1.0"
+dependencies = [
+ "tree-sitter",
+ "tree-sitter-c",
+]
+
+[[package]]
+name = "cslice-py"
+version = "0.1.2"
+dependencies = [
+ "cslice-core",
+ "pyo3",
+]
+
+[[package]]
+name = "find-msvc-tools"
+version = "0.1.14"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "aedcfb3409746eddb02b9e19ebda1c3394f759a152e48ee875a0844d1b955484"
+
+[[package]]
+name = "heck"
+version = "0.5.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea"
+
+[[package]]
+name = "libc"
+version = "0.2.190"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ce5d3ddc6d3fa000eb1536d85e147bfe31aacaba692ed6a876f95cb7c855be78"
+
+[[package]]
+name = "memchr"
+version = "2.8.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "cf8baf1c55e62ffcace7a9f06f4bd9cd3f0c4beb022d3b367256b91b87513d98"
+
+[[package]]
+name = "once_cell"
+version = "1.21.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50"
+
+[[package]]
+name = "portable-atomic"
+version = "1.15.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "05c8b63e8d9609db387f0324918f81d68fe27748f084ef092fb35954d0539a85"
+
+[[package]]
+name = "proc-macro2"
+version = "1.0.107"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "985e7ec9bb745e6ce6535b544d84d6cd6f7ad8bd711c398938ae983b91a766d9"
+dependencies = [
+ "unicode-ident",
+]
+
+[[package]]
+name = "pyo3"
+version = "0.29.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "700d18fa267b73b9b521fd7e13580e2f446916f176cacee1ab63fcc8191f1655"
+dependencies = [
+ "libc",
+ "once_cell",
+ "portable-atomic",
+ "pyo3-build-config",
+ "pyo3-ffi",
+ "pyo3-macros",
+]
+
+[[package]]
+name = "pyo3-build-config"
+version = "0.29.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "7b3fc0c4d08f6bb10e71fe39dfb9e2f59c6eb6854e22ec8092f50c69a4499adb"
+dependencies = [
+ "target-lexicon",
+]
+
+[[package]]
+name = "pyo3-ffi"
+version = "0.29.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "dfc0b8e19df29aad7086cf977bb0c2a2f143e30567eb113e9cf72b62ca698330"
+dependencies = [
+ "libc",
+ "pyo3-build-config",
+]
+
+[[package]]
+name = "pyo3-macros"
+version = "0.29.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6100e8a4b5eba53afaa5ed078364851a0b2499c553a44c31026b929049b49dc6"
+dependencies = [
+ "proc-macro2",
+ "pyo3-macros-backend",
+ "quote",
+ "syn",
+]
+
+[[package]]
+name = "pyo3-macros-backend"
+version = "0.29.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6143877a16e82b5a727b7127ff4cd86858a24a28d745d72f43e6f227c7b1bdb3"
+dependencies = [
+ "heck",
+ "proc-macro2",
+ "quote",
+ "syn",
+]
+
+[[package]]
+name = "quote"
+version = "1.0.47"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1fbf4db142a473a8d80c26bbf18454ed458bf8d26c8219c331daecfdbd079001"
+dependencies = [
+ "proc-macro2",
+]
+
+[[package]]
+name = "regex"
+version = "1.13.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f020237b6c8eed93db2e2cb53c00c60a8e1bc73da7d073199a1180401450218d"
+dependencies = [
+ "aho-corasick",
+ "memchr",
+ "regex-automata",
+ "regex-syntax",
+]
+
+[[package]]
+name = "regex-automata"
+version = "0.4.18"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ad8553b9b26413251cbf30e620595c7a41b3887f03da04579c0e6b0d6a06b4b2"
+dependencies = [
+ "aho-corasick",
+ "memchr",
+ "regex-syntax",
+]
+
+[[package]]
+name = "regex-syntax"
+version = "0.8.11"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d6f6ff9a378485b298a5286656da665ba74413d36db0979633275d2e708145d4"
+
+[[package]]
+name = "shlex"
+version = "2.0.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f8fadd59c855ef2080decdef8ff161eb6661b86933c9d82e5ba29dc602a55aba"
+
+[[package]]
+name = "streaming-iterator"
+version = "0.1.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "2b2231b7c3057d5e4ad0156fb3dc807d900806020c5ffa3ee6ff2c8c76fb8520"
+
+[[package]]
+name = "syn"
+version = "2.0.119"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "872831b642d1a07999a962a351ed35b955ea2cfc8f3862091e2a240a84f17297"
+dependencies = [
+ "proc-macro2",
+ "quote",
+ "unicode-ident",
+]
+
+[[package]]
+name = "target-lexicon"
+version = "0.13.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "adb6935a6f5c20170eeceb1a3835a49e12e19d792f6dd344ccc76a985ca5a6ca"
+
+[[package]]
+name = "tree-sitter"
+version = "0.24.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "a5387dffa7ffc7d2dae12b50c6f7aab8ff79d6210147c6613561fc3d474c6f75"
+dependencies = [
+ "cc",
+ "regex",
+ "regex-syntax",
+ "streaming-iterator",
+ "tree-sitter-language",
+]
+
+[[package]]
+name = "tree-sitter-c"
+version = "0.23.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "afd2b1bf1585dc2ef6d69e87d01db8adb059006649dd5f96f31aa789ee6e9c71"
+dependencies = [
+ "cc",
+ "tree-sitter-language",
+]
+
+[[package]]
+name = "tree-sitter-language"
+version = "0.1.8"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ca0d1bf6fdd806e43ae5198f82f527056d359def39e54e67a0f478ac09dac081"
+
+[[package]]
+name = "unicode-ident"
+version = "1.0.26"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d245f478577f809a851594d02313b640fb437e0bb33866753cff937863096954"

cslice-0.1.2/Cargo.toml

@@ -0,0 +1,3 @@
+[workspace]
+resolver = "2"
+members = ["crates/cslice-core", "crates/cslice-py"]

cslice-0.1.2/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Alfred
+
+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.

cslice-0.1.2/PKG-INFO

@@ -0,0 +1,128 @@
+Metadata-Version: 2.4
+Name: cslice
+Version: 0.1.2
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Programming Language :: C
+Classifier: Programming Language :: Rust
+Classifier: Programming Language :: Python :: Implementation :: CPython
+Classifier: Topic :: Software Development :: Libraries :: Python Modules
+License-File: LICENSE
+Summary: AST-based logical-block slicing for C functions (computation/branch/loop/case/preproc), powered by tree-sitter
+Keywords: c,ast,tree-sitter,parser,slicing,requirements
+Author: Alfred
+License-Expression: MIT
+Requires-Python: >=3.8
+Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM
+Project-URL: Issues, https://github.com/alfred-yu/cslice/issues
+Project-URL: Repository, https://github.com/alfred-yu/cslice
+
+# cslice — AST-based logical-block slicing for C functions
+
+`cslice` parses C source code with [tree-sitter](https://tree-sitter.github.io/) and
+splits each function body into **logical blocks** — the atomic, individually
+describable pieces of behavior a function is made of. Each slice carries its line
+range, block kind, extracted code text, and a semantic summary (conditions,
+loop control, assignment/call/return behaviors) ready for downstream analysis:
+reverse-engineered requirements (DO-178C style), code review checklists,
+coverage mapping, or documentation.
+
+The heavy lifting is a pure-Rust core compiled to a native Python extension
+(PyO3) — no Python-side parsing, no external tools.
+
+## Install
+
+```bash
+pip install cslice        # once published
+```
+
+Build from source (requires Rust toolchain):
+
+```bash
+pip install maturin
+maturin develop            # inside a virtualenv, from the project root
+```
+
+## Quick start
+
+```python
+import cslice
+
+source = open("driver.c").read()
+
+# 1) One call: plan every function in the file
+for plan in cslice.slice_all(source):
+    print(plan.function.name, plan.function.signature)
+    for item in plan.items:
+        print(f"  L{item.start_line}-L{item.end_line} [{item.kind}]")
+        print(f"    {item.code_text!r}")
+
+# 2) Or work function by function
+funcs = cslice.parse_functions(source)
+items = cslice.plan_function_slices(source, funcs[0].start_line, funcs[0].end_line)
+```
+
+Example output for a branch inside a loop:
+
+```
+Crc32 L1-L21 [static uint32_t Crc32(...)]
+  L3-L3   [computation]  crc = 0xFFFFFFFFu;
+  L5-L5   [loop]         for (i = 0u; i < len; i++)
+  L7-L7   [computation]  crc ^= data[i];
+  L9-L9   [loop]         for (k = 0; k < 8; k++)
+  L11-L14 [branch]       if ((crc & 1u) != 0u) ...
+  L15-L18 [branch]       else ...
+  L21-L21 [computation]  return ~crc;
+```
+
+## API
+
+| Function | Description |
+|---|---|
+| `parse_functions(source) -> list[FunctionDef]` | All function definitions in order (name, signature, 1-based line range). Fault-tolerant on syntax errors. |
+| `plan_function_slices(source, start_line, end_line) -> list[SlicePlanItem] \| None` | Slice plan for the function whose range exactly matches; `None` if no match. |
+| `slice_all(source) -> list[FunctionPlan]` | Convenience: plan every parsed function. |
+| `extract_lines(source, start_line, end_line) -> str` | 1-based inclusive line snapshot (strips `\r`, no trailing newline). Raises `ValueError` out of range. |
+
+Slice kinds (`cslice.KINDS`):
+
+| kind | covers |
+|---|---|
+| `computation` | Runs of simple statements (assign / call / return), initialized declarations |
+| `branch` | One `if` / `else-if` / `else` arm each |
+| `loop` | The loop **header only** — iteration control is its own behavior |
+| `case` | One `switch` case / default each (switch head folds into the first case) |
+| `preproc` | A conditional-compilation block as a whole |
+
+`SlicePlanItem.summary` (a `BlockSummary`) carries the extracted facts:
+`condition`, `is_else`, `case_value`, `loop_header`, `loop_init/cond/update`,
+`preproc_directive`, `parent_loop_cond` (nested-slice context), and `behaviors` —
+an ordered list of `Behavior` facts (`init`, `assign`, `compound_assign`,
+`return`, `call`, `break`, `continue`).
+
+## Slicing rules
+
+- **Exact behavior boundaries**: signature lines, braces, comments and bare
+  declarations belong to no slice; a top-level `return` is always its own slice
+  (data preparation vs. observable result).
+- **DO-178C-style atomicity**: nested control flow inside a loop body is split
+  recursively — loop header, nested branches/loops/switches and the statements
+  between them each get their own slice. Nested slices carry the parent loop
+  condition in `summary.parent_loop_cond`.
+- Initialized declarations are standalone slices; bare declarations are skipped
+  (nothing to describe).
+- Empty bodies and unparseable functions degrade to a single fallback slice.
+
+## 中文说明
+
+`cslice` 基于 tree-sitter 把 C 函数体切分为**逻辑块**（计算 / 分支 / 循环 /
+case / 条件编译五类），每个切片带行范围、代码文本与语义摘要（条件表达式、
+循环三段式、赋值/调用/返回等行为清单）。切片遵循"精确行为边界"与
+"原子性"原则：签名行、大括号、注释、纯声明不归属任何片；顶层 return
+独立成片；循环体内嵌套控制流递归拆分并携带父循环条件。适用于逆向需求
+草稿生成（DO-178C 低层需求）、代码审查清单、覆盖映射等场景。
+
+## License
+
+MIT
+

cslice-0.1.2/README.md

@@ -0,0 +1,108 @@
+# cslice — AST-based logical-block slicing for C functions
+
+`cslice` parses C source code with [tree-sitter](https://tree-sitter.github.io/) and
+splits each function body into **logical blocks** — the atomic, individually
+describable pieces of behavior a function is made of. Each slice carries its line
+range, block kind, extracted code text, and a semantic summary (conditions,
+loop control, assignment/call/return behaviors) ready for downstream analysis:
+reverse-engineered requirements (DO-178C style), code review checklists,
+coverage mapping, or documentation.
+
+The heavy lifting is a pure-Rust core compiled to a native Python extension
+(PyO3) — no Python-side parsing, no external tools.
+
+## Install
+
+```bash
+pip install cslice        # once published
+```
+
+Build from source (requires Rust toolchain):
+
+```bash
+pip install maturin
+maturin develop            # inside a virtualenv, from the project root
+```
+
+## Quick start
+
+```python
+import cslice
+
+source = open("driver.c").read()
+
+# 1) One call: plan every function in the file
+for plan in cslice.slice_all(source):
+    print(plan.function.name, plan.function.signature)
+    for item in plan.items:
+        print(f"  L{item.start_line}-L{item.end_line} [{item.kind}]")
+        print(f"    {item.code_text!r}")
+
+# 2) Or work function by function
+funcs = cslice.parse_functions(source)
+items = cslice.plan_function_slices(source, funcs[0].start_line, funcs[0].end_line)
+```
+
+Example output for a branch inside a loop:
+
+```
+Crc32 L1-L21 [static uint32_t Crc32(...)]
+  L3-L3   [computation]  crc = 0xFFFFFFFFu;
+  L5-L5   [loop]         for (i = 0u; i < len; i++)
+  L7-L7   [computation]  crc ^= data[i];
+  L9-L9   [loop]         for (k = 0; k < 8; k++)
+  L11-L14 [branch]       if ((crc & 1u) != 0u) ...
+  L15-L18 [branch]       else ...
+  L21-L21 [computation]  return ~crc;
+```
+
+## API
+
+| Function | Description |
+|---|---|
+| `parse_functions(source) -> list[FunctionDef]` | All function definitions in order (name, signature, 1-based line range). Fault-tolerant on syntax errors. |
+| `plan_function_slices(source, start_line, end_line) -> list[SlicePlanItem] \| None` | Slice plan for the function whose range exactly matches; `None` if no match. |
+| `slice_all(source) -> list[FunctionPlan]` | Convenience: plan every parsed function. |
+| `extract_lines(source, start_line, end_line) -> str` | 1-based inclusive line snapshot (strips `\r`, no trailing newline). Raises `ValueError` out of range. |
+
+Slice kinds (`cslice.KINDS`):
+
+| kind | covers |
+|---|---|
+| `computation` | Runs of simple statements (assign / call / return), initialized declarations |
+| `branch` | One `if` / `else-if` / `else` arm each |
+| `loop` | The loop **header only** — iteration control is its own behavior |
+| `case` | One `switch` case / default each (switch head folds into the first case) |
+| `preproc` | A conditional-compilation block as a whole |
+
+`SlicePlanItem.summary` (a `BlockSummary`) carries the extracted facts:
+`condition`, `is_else`, `case_value`, `loop_header`, `loop_init/cond/update`,
+`preproc_directive`, `parent_loop_cond` (nested-slice context), and `behaviors` —
+an ordered list of `Behavior` facts (`init`, `assign`, `compound_assign`,
+`return`, `call`, `break`, `continue`).
+
+## Slicing rules
+
+- **Exact behavior boundaries**: signature lines, braces, comments and bare
+  declarations belong to no slice; a top-level `return` is always its own slice
+  (data preparation vs. observable result).
+- **DO-178C-style atomicity**: nested control flow inside a loop body is split
+  recursively — loop header, nested branches/loops/switches and the statements
+  between them each get their own slice. Nested slices carry the parent loop
+  condition in `summary.parent_loop_cond`.
+- Initialized declarations are standalone slices; bare declarations are skipped
+  (nothing to describe).
+- Empty bodies and unparseable functions degrade to a single fallback slice.
+
+## 中文说明
+
+`cslice` 基于 tree-sitter 把 C 函数体切分为**逻辑块**（计算 / 分支 / 循环 /
+case / 条件编译五类），每个切片带行范围、代码文本与语义摘要（条件表达式、
+循环三段式、赋值/调用/返回等行为清单）。切片遵循"精确行为边界"与
+"原子性"原则：签名行、大括号、注释、纯声明不归属任何片；顶层 return
+独立成片；循环体内嵌套控制流递归拆分并携带父循环条件。适用于逆向需求
+草稿生成（DO-178C 低层需求）、代码审查清单、覆盖映射等场景。
+
+## License
+
+MIT

cslice-0.1.2/crates/cslice-core/Cargo.toml

@@ -0,0 +1,10 @@
+[package]
+name = "cslice-core"
+version = "0.1.0"
+description = "C 函数逻辑块切分引擎：tree-sitter AST 切分 + 行范围代码快照（无状态纯函数）"
+edition = "2021"
+license = "MIT"
+
+[dependencies]
+tree-sitter = "0.24"
+tree-sitter-c = "0.23"