정적 분석에서 허위 함수 호출 사이클의 조사

Abstract

함수 호출 관계에서 커다란 크기의 SCC(Strongly Connected Component)는 정적 분석의 속도를 낮추는 주요한 원인이다. 본 논문에서는 먼저 거대한 함수 호출 사이클이 생기는 원인을 밝힌다. 그 원인으로 가짜 실행 경로, 잡일 코드, 예외 코드를 지목한다. 특히 가짜 실행 경로로 인해 허위 함수 호출 사이클이 생성됨을 보이고, 인라이닝(Inlining) 등의 기법으로 거짓 함수 호출 관계를 제거하는 기법을 소개한다. 본 논문에서는 이를 통해 실행 의미를 보존하면서 분석 속도를 향상시킬 수 있음을 보였다.