ContraFix: 차분 런타임 증거(Differential Runtime Evidence)와 기술 재사용을 통한 에이전트 기반 취약점 수정

요약

ContraFix는 LLM 에이전트가 취약점 수정 시 겪는 의미론적 오해 문제를 해결하기 위해 차분 런타임 증거와 기술 재사용을 결합한 새로운 AVR 프레임워크입니다. 이 시스템은 실패와 성공 실행 간의 상태 차이를 분석하여 인과적 수정 명세를 생성하며, 학습된 수정 기술을 저장하여 유사한 취약점에 재사용할 수 있도록 설계되었습니다. 실험 결과, GPT-4o-mini(본문 내 GPT-5-mini 오기 추정 포함)를 활용하여 기존 방식 대비 훨씬 적은 비용으로 최첨단 성능을 달성했습니다.

핵심 포인트

• 기존 에이전트의 한계인 증상 중심 패치(symptom-oriented patches) 문제를 차분 런타임 증거를 통해 해결
• 실패 경계를 가로지르는 PoC 변형과 상태 프로브를 활용하여 결함의 근본 원인을 식별
• 수정 명세와 변이 전략을 포함하는 2트랙 기술 베이스를 구축하여 유사 사례에 대한 재사용성 확보
• SEC-Bench 및 PatchEval 벤치마크에서 기존 베이스라인 대비 1/3 미만의 비용으로 SOTA 성능 달성