static-program-analysis

프로그램을 실제로 실행하지 않고 소스 코드의 구조나 논리 흐름을 분석하여 잠재적인 오류, 보안 취약점, 성능 병목 등을 찾아내는 방법론입니다. 본 연구는 LLM 에이전트가 이러한 정적 분석을 수행하는 능력을 '에이전트 기반 코드 추론'으로 정의합니다.