HarnessLLM: 대규모 언어 모델(LLM)을 활용한 Rust 검증 하네스(Verification Harness) 생성

요약

HarnessLLM은 LLM을 활용하여 Rust 코드의 메모리 안전성을 검증하기 위한 하네스를 자동으로 생성하는 워크플로우를 제안합니다. 기존 방식의 부정확한 API 호출과 허구적 수정 문제를 해결하며, 높은 정밀도로 호출 시나리오를 추출하고 하네스를 점진적으로 개선합니다.

핵심 포인트

• Rust의 unsafe 코드 및 런타임 패닉 검증을 위한 자동화된 하네스 생성
• 의존성 분석 기반의 비결정론적 인자 생성 및 점진적 하네스 합성 기술
• 기존 Autoharness 대비 높은 성공률과 정밀도 입증
• 실제 메모리 안전성 버그 6개를 탐지하며 실질적 유용성 증명