파라메트릭 정적 분석에 대한 조사

프로그램 동작을 이해하는 것은 프로그램 속성을 검증하거나 프로그램을 최적화하는 데 중요합니다. 정적 분석은 추상 해석을 통해 프로그램 동작을 근사화하는 데 널리 사용되는 기법입니다. 정적 분석의 품질을 평가하기 위해 연구자들은 세 가지 지표를 사용했습니다: 성능, 정밀도 및 타당성. 정적 분석의 품질은 사용된 분석 기법에 따라 달라지지만, 최상의 기법 조합은 프로그램마다 다를 수 있습니다. 특정 프로그램에 대한 최상의 분석 기법 조합을 찾기 위해, 최근 연구에서는 파라메트릭 정적 분석을 제안했습니다. 이는 정적 분석을 분석 매개변수로 매개변수화된 블랙박스로 간주하며, 분석 세부정보 없이 구성할 수 있는 기법입니다. 우리는 파라메트릭 정적 분석을 공식적으로 정의하고, 문헌에서 분석 매개변수 및 그 매개변수 선택을 조사합니다. 또한 파라메트릭 정적 분석의 개방형 문제와 미래 방향에 대해서도 논의합니다.