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