모델 도구
2akouwu/reverify
GIGitHub
AI가 바이너리 분석 시 발생하는 '환각(Hallucination)' 문제를 해결하는 도구입니다. Reverify는 LLM의 추측성 가설을 실제 바이트 데이터와 비교하여 진위를 판별합니다.
세 줄 요약
- 모델이 제안한 구조나 알고리즘에 대한 가설(Claim)은 결정론적 툴킷으로 검증되며, 그 결과가 'VERIFIED', 'REFUTED' 등으로 명확히 판별됩니다.
- 이를 통해 AI의 추측을 넘어 실제 바이트에 근거한 '접지된(Grounded)' 분석이 가능해져, 악성코드 분석 등 전문 보안 분야 활용도가 극대화됩니다.
- 본 도구는 사용자가 분석 권한을 가진 영역에 한정되며, 정확하고 신뢰도 높은 결과를 얻기 위해서는 바이너리 구조 및 전문적인 역공학 지식이 필수적입니다.
AI가 바이너리 분석 시 발생하는 '환각(Hallucination)' 문제를 해결하는 도구입니다. Reverify는 LLM의 추측성 가설을 실제 바이트 데이터와 비교하여 진위를 판별합니다.