모델 도구
2akouwu/reverify
GIGitHub
LLM이 생성한 코드나 구조적 추측을 실제 바이너리 데이터에 대조하여 검증하는 결정론적 시스템입니다.
세 줄 요약
- 결정론적 툴킷이 주장의 진위를 판단하며, 작업 상태를 파일로 저장해 장기적인 컨텍스트 손실을 방지합니다.
- LLM의 '환각' 문제를 근본적으로 해결하여, 바이너리 분석 등 높은 정확도가 요구되는 전문 분야에 AI 적용을 가능하게 합니다.
- 이 도구는 악성코드 분석이나 자체 소유 소프트웨어 연구 등 '승인된' 리버스 엔지니어링 영역에 한정하여 사용해야 함을 유의하세요.
LLM이 생성한 코드나 구조적 추측을 실제 바이너리 데이터에 대조하여 검증하는 결정론적 시스템입니다.