cseq 0.0.1__py3-none-any.whl

cseq-0.0.1.dist-info/METADATA

@@ -0,0 +1,181 @@
+Metadata-Version: 2.4
+Name: cseq
+Version: 0.0.1
+Summary: C source sequence analysis tool PoC
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+Provides-Extra: parser-tree-sitter
+Requires-Dist: tree-sitter==0.26.0; extra == "parser-tree-sitter"
+Requires-Dist: tree-sitter-c==0.24.2; extra == "parser-tree-sitter"
+
+# cseq
+
+Cソースツリーから関数呼出し・分岐・コールバック・実行時markerを解析し、PlantUMLとインタラクティブHTMLを生成するシーケンス解析ツールです。
+
+初回リリースは **Windows + Python 3.11以上** を主対象とします。Tree-sitterを高速な構文フロントエンドとして使用し、型・macro・関数ポインタ等で意味解析が必要な翻訳単位だけClangへ送ります。
+
+## 主な機能
+
+- ディレクトリ以下の `.c` / `.h` を再帰走査
+- entry関数からのシーケンス生成
+- 同名`static`関数を区別
+- 外部未定義関数を内部calleeとして誤認しない
+- `#if/#ifdef`、macro、compiler extensionのfail-soft解析
+- 関数ポインタ、callback、dispatch tableの候補解決
+- if/else、loop、無限loop、switch/case/defaultをSequence IRへ保持
+- RTOS風の無限loopを有限表現
+- CPU group / build configurationを外部設定可能
+- runtime markerログの読込み、CPU/task evidence、静的経路との照合
+- marker自動注入: source直接書換え / Overlay（原本非変更）の両方式
+- PlantUML出力
+- HTML UI: 検索、viewport、LOD、Canvas表示、path query、trace diff、marker suggestion
+- 大きいruntime trace向けbundle/range出力
+- optional linker map / binary symbol / DWARF evidence
+
+## Windowsでの導入
+
+PowerShell例です。
+
+```powershell
+py -3.12 -m venv .venv
+.\.venv\Scripts\Activate.ps1
+python -m pip install --upgrade pip
+pip install "cseq[parser-tree-sitter]"
+```
+
+ローカルwheelから導入する場合:
+
+```powershell
+pip install .\cseq-0.0.1-py3-none-any.whl[parser-tree-sitter]
+```
+
+### Clang
+
+単純なC構文だけならTree-sitterで解析できますが、macro、関数ポインタ、型曖昧性、compiler extension等のselective semantic refinementにはClangを推奨します。
+
+```powershell
+winget install --id LLVM.LLVM --exact
+```
+
+確認:
+
+```powershell
+cseq doctor
+```
+
+`current_execution_mode` が `tree-sitter+clang` なら両backendを利用できます。
+
+## 最短利用例
+
+```powershell
+cseq analyze C:\path\to\project --entry main --json
+cseq plantuml C:\path\to\project --entry main --output sequence.puml
+cseq html C:\path\to\project --entry main --output sequence.html --mode auto
+```
+
+HTMLは小規模時はportable単一HTML、中規模以上ではbundle/rangeへ切替できます。
+
+```powershell
+cseq serve . --port 8000
+```
+
+range/bundleをブラウザで確認する際はローカルHTTP配信を推奨します。
+
+## プロジェクト設定
+
+```powershell
+cseq config init C:\path\to\project
+cseq config validate C:\path\to\project\cseq.toml
+```
+
+`cseq.toml`でentry、compile database、CPU group、build configuration等をプロジェクト固有名に合わせて設定します。cseq本体は特定企業・CPU名称を前提にしません。
+
+`compile_commands.json` がある場合はClang semantic解析の精度向上に利用できます。
+
+## Runtime marker
+
+### 直接書換え
+
+```powershell
+cseq marker apply .\src\worker.c --contains "rx=%d" --id RX01 --manifest .\rx01.json
+```
+
+manifestにbefore/after hashを保存し、安全条件が成立するときだけundoできます。
+
+```powershell
+cseq marker undo .\src\worker.c --manifest .\rx01.json
+```
+
+### Overlay（原本非変更）
+
+```powershell
+cseq marker apply .\src\worker.c `
+  --contains "rx=%d" `
+  --id RX01 `
+  --manifest .\rx01-overlay.json `
+  --overlay-output .\cseq-overlay\worker.c
+```
+
+元sourceは変更されず、marker注入済みコピーだけを生成します。
+
+## Runtime log
+
+marker形式:
+
+```text
+[[CSEQ:RX01]] message...
+```
+
+ログ形式は固定ではなくpatternで指定できます。
+
+```powershell
+cseq trace import run.log `
+  --pattern "[{cpu}] {time} {message}" `
+  --time-format "%H:%M:%S.%f" `
+  --json
+```
+
+CPU間で時刻が隣接しているだけでは因果関係とはみなしません。marker、payload、静的path等のevidenceを分離して扱います。
+
+## HTML UI
+
+```powershell
+cseq html C:\path\to\project `
+  --entry main `
+  --runtime-log run.log `
+  --runtime-pattern "[{cpu}] {time} {message}" `
+  --runtime-time-format "%H:%M:%S.%f" `
+  --output sequence.html `
+  --mode auto
+```
+
+UIは大量eventを全DOM化せず、viewport/LOD/Canvas/range bundleを使います。初回リリースでは深い性能チューニングより、汎用性・正しさ・必要UIを優先します。
+
+## 設計上の原則
+
+- Silent Dropしない。解析不能領域はPARTIAL/OPAQUE等で明示する。
+- static possible と runtime observed を混同しない。
+- CPUのstatic/build/runtime evidenceを分離する。
+- cross-CPU timestamp adjacencyだけで因果を断定しない。
+- Tree-sitterとClangは代替関係ではなく、Fast Syntax + Selective Semantic Refinementとして併用する。
+
+## 開発時検証
+
+```powershell
+python -m pytest -q
+```
+
+Windows実機で全テスト、Tree-sitter/Clang統合acceptance、clean wheel installを確認してからrelease候補を作成します。
+
+## 同梱ドキュメントの出力
+
+インストール済みwheelから、README・設計書（清書版）・実装/検証成績書を1コマンドで取り出せます。
+
+```powershell
+cseq docs readme --output README.md
+cseq docs design --output シーケンス解析_設計書.md
+cseq docs report --output 実装・検証成績書.html
+cseq docs all --output-dir .\cseq-docs
+```
+
+`--output`を省略するとREADME/設計書/成績書の内容を標準出力します。`docs all` は3点を一括で出力します。

cseq-0.0.1.dist-info/RECORD

@@ -0,0 +1,49 @@
+cseq/__init__.py,sha256=wtUDWEdB2XaabdKNv9w6XDVFBss1WOT-236KjxRmgcI,288
+cseq/acceptance.py,sha256=yA5WmVd4o_k3HP59AzGuwE981APSULffAB5JW6C_TN8,7276
+cseq/api.py,sha256=ChudUjO7wIBLYYZZQ09dtWq2t2ANdCBiy0YE7dn1bmw,11830
+cseq/binary.py,sha256=yZCT3y6DbBtf95bjhpzPnX1lWeejxAKQIGuu1Obpm90,4262
+cseq/cache.py,sha256=FUWCGo2L1q4LBl5hBaTCecmYTLJlUJMLGnRSDCq_bm0,20594
+cseq/cli.py,sha256=sBOwfLLxsd_sieZe6lZz7BBZ67vP18BmXpYYSRQw6ZU,41973
+cseq/compile_db.py,sha256=ucxMTZqYtEPaMWhBaPBahU1Bp0PNaJIU2sQjU_Wf7Pk,3402
+cseq/config.py,sha256=gJwNECDBqI30RG1hVJp-bcM7xYi3ECmCGuHGgC9HmHM,5617
+cseq/cpu_rules.py,sha256=hz3TiwKvKDTR1EUQPumXG530-dG-EdPPSGUPG5NyIHY,2217
+cseq/dependencies.py,sha256=kqKgKNK6o15V9vmmrDqu3CArsTWvFhX8cSAE-7EyYt0,7069
+cseq/docs.py,sha256=uoygaQrXgEn4LjREDeXkbPx8Ge2QUNdnktjt2XP4krU,1135
+cseq/dwarf.py,sha256=j8144pa7JQ2URv70iuOUe-BflF49UEQ9S5c8mlTC0HY,3768
+cseq/event_store.py,sha256=GC4NiLnuPwivZi1fJrRmJRrln_8eQQbTlSlNeIlYKEY,18431
+cseq/explain.py,sha256=XYGcGenTJMuQ78Wr18sJMfNu4BoCROHXvBmJxdlaVOc,4619
+cseq/fast_parser.py,sha256=CuVKhaeJ9nqx66EV6TwTFp6lWdmyK79bsN5eXFOY6Zw,10953
+cseq/html.py,sha256=l8dHudhmBkujYXB63iy4nGHQklSK_lIYwf4so9mPJTw,28218
+cseq/html_bundle.py,sha256=IlD-WuBUC-CGDwlFro12l9N_4raIF6Nt1kFo_HHAmTE,19048
+cseq/hybrid_parser.py,sha256=mOc1sK2Cf8XMR9iyTRiKhnO6J6yDMQeesxhx35qa_jQ,4830
+cseq/linker.py,sha256=IQ-RnPjJB_E4Scttz2y_Tkp-WiCywkPFBt8IXW_d0eg,4472
+cseq/marker.py,sha256=Iyxg51yG0Va6RWed6vopBnOdyjdXGwlOSLJ5p6YTerE,9911
+cseq/model.py,sha256=YLcVCwq6l9dyc4i4Vp4MNK9Yl6xhC-XUjiHu5obF7VI,11581
+cseq/parser.py,sha256=f3kTs3Sa7iOrNDa4rA2FfIWfmIJevpV7GE3US1kCvxA,33445
+cseq/parser_contract_cases.json,sha256=uFt9exENj2_Z1a5k-wqzAd2uErz7UDqPwq-kg9EH6zM,2144
+cseq/parser_dependency_lock.json,sha256=2Tj_Zg8ZU4CmRXiIpYLTlwwnWJc4Y4ExOlgRejrc59E,2521
+cseq/parser_environment.py,sha256=rA8efLQe8Kz6eKhBIWf5Jpg8M9-gXx3OxnDNbY5ZIE8,6906
+cseq/parser_migration.py,sha256=VeqKroQCR32DJwvYqYiEVIqA5K457iAEbG3-deGcQGY,4378
+cseq/plugin.py,sha256=tV0TRA8CjEuMqvDP6pctVsm4oM-FqEf6sTVq5sQPICk,7524
+cseq/project.py,sha256=MxFQpmhbQ1Y5JxVXny6oR0gkpf16i3HlpbV9JlS_pf0,15455
+cseq/query.py,sha256=SAJaciIQpkqiF7vZRW527K_gVjhD7ZvbGHXh4I9s9Mc,2246
+cseq/runtime.py,sha256=QzzSEXCkgTa_HT-1yPu0Pjkm4mW-K6U3MAOKFCLIriI,5705
+cseq/runtime_address.py,sha256=66CeInMIlZCI9-R_pGYhnqcXF-expYmlhjDPw5X7c6I,2644
+cseq/runtime_cpu.py,sha256=3Tu9Nz-ohS5u7PSDOLRD2M3MTrBOyBJkTERcPV7snU8,3331
+cseq/scanner.py,sha256=qzulBfT-AV0tBnYTKbAZ7C4DXvbPs0bJ05CzJ7Jb6ow,1779
+cseq/sequence.py,sha256=Usdxy7tSr2XaA9EBbNxWQ8YdXnFPdfvfKgKsr0yyGqA,12090
+cseq/server.py,sha256=TV9hN6lizTymWmOkL_4ZyMJnZtDmfbOLqO0dJRFr4no,3494
+cseq/source_index.py,sha256=FuEktoY-024o7isP42z0bEuamgPboHvWgaCIGDgYr5M,8536
+cseq/static_store.py,sha256=Yc_z14WdX8O5Jigia6yZpw-kzs9kTO6H172q8JLbyas,11795
+cseq/trace_analysis.py,sha256=I5Cgv_lSS59ZcnuTRjyLD2eHk9cVwQ_N5n5n9g3f9L0,13031
+cseq/trace_diff.py,sha256=FH_K2B7auZhLD_u6ppnxAnt-IabdE_ZCN9a8HXSeOHM,2548
+cseq/tree_sitter_parser.py,sha256=1SuYCbhomzNfrA5jLxaA4xAcIgtxLFgM9XCWaCB2O40,20724
+cseq/valueflow.py,sha256=QimhVw1tZ-iERDGsAbzF9NhYhuEYLaS7dRh67zsQE9I,6929
+cseq/resources/README.md,sha256=G7Mr1YwN4WkqGvAFeJdR6IuS5iJqw420JXWGAZbf2zo,5604
+cseq/resources/design.md,sha256=Fwd4GPRS7qnr0zh7AWZ6I8cBNzDVtBEgyEroGYAUbvM,120948
+cseq/resources/verification_report.html,sha256=ViS3d0QefLArcDdd_k6D07Q3MyjdTI11MQIud4pel6w,6672
+cseq-0.0.1.dist-info/METADATA,sha256=OsP7xi3Q028vop4_u5TAlVv_g-JrtXVXwm_ulO9utlU,5931
+cseq-0.0.1.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
+cseq-0.0.1.dist-info/entry_points.txt,sha256=dYICGnVHbEm2qWp_r74Eoqmaqw3nw3u2VawOYT7YwIE,39
+cseq-0.0.1.dist-info/top_level.txt,sha256=OZmiBrgQbxwuBbO47clW6hjIALHpt7ZIShshj3zVHKY,5
+cseq-0.0.1.dist-info/RECORD,,

cseq-0.0.1.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (84.0.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

cseq-0.0.1.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+cseq = cseq.cli:main

cseq-0.0.1.dist-info/top_level.txt

@@ -0,0 +1 @@
+cseq