결함 위치 식별
소프트웨어 버그가 발생했을 때, 코드베이스 내에서 해당 오류를 일으킨 구체적인 위치(파일, 함수, 라인 등)를 자동으로 찾아내는 기술입니다. 디버깅 자동화의 핵심 단계로, LLM 에이전트가 코드의 논리 흐름을 추론하여 결함 지점을 식별합니다.
코드 실행 없이도 정확도 93%! 세미 포멀 추론으로 LLM의 코드 분석 능력 극대화