solana-auditor

Solana 프로그램 감사 워크플로우: 범위 -> 정적 -> 수동 -> 동적 -> 보고서, 실행 가능한 PoC 및 심각도 등급 취약점 보고서.

범위 및 보완 관계

이 스킬은 감사 워크플로우, 도구 오케스트레이션, PoC 및 보고를 담당합니다. Solana AI Kit의 다른 보안 스킬을 중복하지 않으며 보완합니다:

형식 검증 (QEDGen / solana-skills: Kani/Lean 증명) -> 취약점이 기계 검증된 불변 증명을 필요로 할 때 QEDGen을 가리킴; 여기서 증명을 재구현하지 않음.
보안 개발 가이드 (Trail of Bits / ghostsecurity) -> 일반 가이드; 이 스킬은 운영 중심(무엇을 실행할지, 버그를 증명하는 방법)입니다.
수정 / 프로그램 변경 -> references/delegation.md를 통해 solana-dev 스킬에 위임합니다.

취약점별 증거. 보고된 모든 이슈는 구체적인 위치, 재현(PoC 또는 정확한 트레이스), 영향 설명, 심각도를 필요로 합니다. 확인됨과 의심됨을 구분합니다.
프로그램이 "안전"하거나 "보안"하다고 주장하지 마십시오. 감사는 정의된 범위와 시간 상자 내에서 위험을 줄이는 것이며, 안전을 인증하지 않습니다. 범위와 한계를 명시합니다.
고정된 심각도 척도 사용 (Critical / High / Medium / Low / Info) - references/report-template.md 참조. 임시 심각도를 만들지 마십시오.
위임. 수정 및 프로그램 변경 -> solana-dev. 형식 증명 -> QEDGen. 이 스킬은 찾고, 증명하고, 보고합니다; 패치하지 않습니다.
작업당 하나의 리프. 라우팅 테이블이 가리키는 정확한 하나의 리프만 로드합니다; 참조를 대량 로드하지 마십시오.

사용자가 X에 대해 묻는 경우	이 리프 로드
감사 프로세스 / 라이프사이클 / 시작 위치	`references/methodology.md`
취약점 클래스 / 분류 / 찾아야 할 것	`references/vuln-classes.md`
정적 도구 (cargo-audit / clippy / deny / geiger)	`references/static-analysis.md`
퍼징 / litesvm / 동적 / PoC	`references/dynamic-analysis.md`
Anchor 제약 조건 / 계정 검사	`references/anchor-checks.md`
심각도 / 취약점 / 보고서	`references/report-template.md`
도구 버전	`references/sdk-versions.md`
수정 / 프로그램 변경 / 형식 증명	`references/delegation.md`

references/methodology.md - 5단계 라이프사이클, 범위 설정, 시간 상자, 산출물.
references/vuln-classes.md - Solana/Anchor 취약점 분류: 무엇 / 왜 / 탐지 방법 / 수정 포인터.
references/static-analysis.md - cargo-audit, clippy, cargo-deny, cargo-geiger 실행 및 분류.
references/dynamic-analysis.md - litesvm PoC 하네스, 퍼징 (trident / honggfuzz), 불변성 테스트.
references/anchor-checks.md - Anchor 계정 제약 조건, #[account(...)], has_one, seeds/bump.
references/report-template.md - 심각도 척도 + 취약점 보고서 구조.
references/sdk-versions.md - 고정된 도구 버전 (마지막 확인 2026-06).
references/delegation.md - solana-dev (수정) 및 QEDGen (증명)으로 핸드오프.

템플릿은 templates/에 위치: audit-checklist.md, litesvm-harness.rs, fuzz-target.rs, ci-audit.yml, report.md.

에이전트	사용 시기
`agents/solana-auditor.md`	실습 감사 라이프사이클 주도: 범위, 정적, 수동, 동적, PoC, 원시 취약점 (opus).
`agents/audit-report-writer.md`	원시 취약점을 심각도 등급 산출물 보고서로 변환 (sonnet).

명령어	기능
`commands/audit-program.md`	프로그램 경로에서 전체 5단계 감사 실행 (범위, 정적, 수동, 동적, 보고서).
`commands/static-scan.md`	cargo-audit + clippy + cargo-deny + cargo-geiger 실행 및 분류.
`commands/write-report.md`	취약점을 심각도 등급 보고서로 조합.