모델 도구
2akouwu/reverify
GIGitHub
LLM의 코드 추측(환각) 문제를 해결하기 위해, Reverify는 모델이 제기한 모든 주장을 실제 바이너리 데이터로 검증하는 결정론적 도구입니다.
세 줄 요약
- 모델의 가설은 순수 파이썬 기반의 전문 도구(디스어셈블러, 에뮬레이터 등)를 거쳐 실제 바이트와 비교 검증되며, '검증됨' 또는 '반박됨'으로만 결과가 나옵니다.
- 특히 환각 현상이 치명한 바이너리 리버스 엔지니어링 분야에서, AI가 추측이 아닌 '사실' 기반의 분석만 수행하도록 강제하여 신뢰도를 극대화합니다.
- 악성코드 분석 등 전문 영역에 사용되며, 모든 검증 결과는 바이너리 SHA-256 값과 함께 기록되어 투명하고 재현 가능한 보고서를 제공합니다.
LLM의 코드 추측(환각) 문제를 해결하기 위해, Reverify는 모델이 제기한 모든 주장을 실제 바이너리 데이터로 검증하는 결정론적 도구입니다.