LLVM Clang 정적 분석기의 평가

Abstract

프로그램의 보안약점을 제거하기 위해 정적 분석기를 사용할 수 있으며, 사용자 층이 넓은 프로그래밍 언어에 대해서는 이미 여러 가지 정적 분석기가 사용되고 있다. 이 논문에서는 LLVM의 전단부인 Clang에 포함된 기호 실행 기반의 정적 분석기에서 34개의 체커에 대하여 시험 코드의 보안약점 검출 여부를 시험 평가하였다. 보안약점을 검출하지 못한 체커가 있었고, 검출한 체커 중에도 기호 실행의 한계로 인해 제어 흐름의 복잡도에 따라 분석 결과가 다르게 나오는 것도 있었다. 사용되는 시험용 프로그램의 제어 구조의 복잡도를 다양한 수준으로 개발하면, 정적 분석기의 분석 능력을 정확히 평가하여 Clang 정적분석기의 개선 방향을 정하는데 기여할 것으로 예상된다.