정적 분석 정확도 향상을 위한 코드 변환 규칙

Abstract

분석 기술의 변화 없이 소스코드를 변환하여 정적 분석 정확도를 향상시키는 방법을 소개하고 실험을 통해 효용성을 확인한다. C프로그램의 범위를 벗어난 메모리 접근(buffer overrun) 오류를 탐지하는 정적 분석기를 대상으로 코드를 변환하여 분석 정확도를 향상시는 코드 변환 규칙을 찾아내었다. 각 코드 변환 규칙은 실행 의미를 보존하면서 별도의 값 비싼 분석 없이 코드의 모양(syntax)만을 확인하여 자동으로 변환될 수 있는 규칙이다. 반복문의 조건식과 반복문 안의 메모리 접근식을 변환하는 규칙으로 자동 변환기를 구현하여 실험한 결과, 정확도는 평균 0.51%, 분석 시간은 평균 0.7% 증가하였다. 변환 과정이 별도의 분석 없이 코드의 모양만을 확인하기 때문에 허위 경보를 저렴한 비용으로 제거하였지만, 제거에 성공한 허위 경보의 절대적인 양은 많지 않았다.

This paper introduces code transformation rules which improves static analysis accuracy without change of analysis technique, and checks effectiveness by experiments. To improve accuracy of static analyzer which detects buffer overrun of C programs, this paper proposes code transformation rules. Each of them describes a rule which can automatically transform by checking syntax without any costly analysis, while conserving semantics. With transformation rules which transform loop conditions and memory access expressions in loop body, the analysis accuracy was improved by 0.51% while analysis time was increased by 0.7%. Even a few false alarms were able to be removed with inexpensive costs, the absolute amount of removed false alrams was not significant.