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 언어
- 영어
- 스타
- 96
- 포크
- 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에서 보기