패치 등가성
두 개의 코드 수정안(패치)이 프로그램의 외부 동작을 동일하게 유지하는지 여부를 판단하는 개념입니다. 리팩터링이나 최적화 과정에서 코드의 기능적 일관성을 검증하는 데 중요하며, 본 논문에서는 실행 없이 이를 판별하는 능력을 평가합니다.
코드 실행 없이도 정확도 93%! 세미 포멀 추론으로 LLM의 코드 분석 능력 극대화