trailofbits/fp-check

fp-check은(는) 무엇을 하나요?

의심되는 보안 버그를 체계적으로 검증하여 거짓 긍정(false positive)을 제거합니다. 각 버그에 대해 문서화된 증거와 함께 TRUE POSITIVE 또는 FALSE POSITIVE 판정을 생성합니다.

목적

보안 취약점 분석 중 발견된 의심스러운 코드를 자동으로 검증하여, 실제로 수정해야 하는 진짜 양성(True Positive)과 무시해도 되는 거짓 긍정(False Positive)을 구분합니다.

사용 방법

1. 분석할 의심스러운 코드 조각을 입력합니다.
2. fp-check가 코드의 실행 경로, 데이터 흐름, 보안 컨텍스트를 분석합니다.
3. 결과로 TRUE POSITIVE 또는 FALSE POSITIVE 판정과 근거를 제공합니다.

지원 플랫폼

• Claude Code
• Cursor
• Codex
• 기타 AI 에이전트 플랫폼

예시

의심 버그: SQL 인젝션 취약점 (파일: app.py, 라인 42)
판정: TRUE POSITIVE
증거: 사용자 입력이 검증 없이 execute()에 직접 전달됨

참고 사항

• 모든 판정은 추적 가능한 증거와 함께 제공됩니다.
• CI/CD 파이프라인에 통합하여 자동화된 보안 검증에 사용할 수 있습니다.
• 버그의 심각도와 영향 범위도 함께 평가됩니다.