에이전트 기반 해석: LLM 기반 프로그램 분석을 위한 격자 구조 증거 (Agentic Interpretation:

요약

본 논문은 LLM을 활용한 프로그램 분석 시 발생하는 불투명성과 단일 시도 분석의 취약성을 해결하기 위해 '에이전트 기반 해석(Agentic Interpretation)' 프레임워크를 제안합니다. 격자 기반 정적 분석의 원리를 도입하여 상위 분석 목표를 국소적 주장으로 분해하고, 워크리스트 알고리즘을 통해 각 주장에 대한 LLM의 판단을 체계적으로 추적하고 진화시킵니다.

핵심 포인트

• LLM의 단일 시도 분석 방식이 가진 정보 압축 및 불투명성 문제 지적
• 격자 기반 정적 분석(Lattice-based static analysis)의 규율을 LLM 추론에 도입
• 분석 목표를 국소적 주장(localized claims)으로 분해하여 체계적 추론 가능
• 워크리스트 알고리즘을 통한 분석 과정의 제어 및 증거 기반 판단 추적
• 제3자 컴포넌트와 같이 정적 분석기가 참조하기 어려운 비정형 정보 활용 능력 강화