static-analysis
Implement LLVM-based dataflow, pointer, taint, dependency, or verification analyses. Use for static program-analysis algorithms and tools, not runtime instrumentation.
ソース情報
- リポジトリ
- NeverSight/NeverC
- ソースの最終更新活動
- 2026年9月13日 11:17
- 検出された SKILL.md の言語
- 英語
- スター
- 92
- フォーク
- 11
インストール方法
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
ソースファイルを確認
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
ファイルエクスプローラー
4 ファイルSKILL.md を表示中
SKILL.md
ソースの指示 · 読み取り専用プレビュー- name
- static-analysis
- description
- Implement LLVM-based dataflow, pointer, taint, dependency, or verification analyses. Use for static program-analysis algorithms and tools, not runtime instrumentation.
# Static analysis
State the analysis lattice, transfer behavior, merge rule, scope, and soundness tradeoff before optimizing implementation details.
## Topic routing
- [Dataflow and pointers](references/dataflow-and-pointers.md) for control/data flow, LLVM analysis infrastructure, and points-to techniques.
- [Taint and dependencies](references/taint-and-dependencies.md) for source-sink models, interprocedural taint, dependency graphs, and slicing.
- [Security tools and integration](references/security-tools-and-integration.md) for vulnerability applications, existing frameworks, IDE/CI integration, and resources.
Use `dynamic-instrumentation` when runtime evidence is required. Make false-positive, false-negative, path-sensitivity, aliasing, and interprocedural limits explicit in the result.
GitHubで見る