결합된 프로그램 분석 기술: 체계적 매핑 연구

배경 (Context). 1980년대 이후, 프로그램 분석 기술 (program analysis techniques)의 결합은 단독 방식의 한계를 극복하기 위한 유망한 접근법으로 점점 더 인정받고 있습니다. 정적 분석 (static analysis) 또는 동적 분석 (dynamic analysis)에 기반한 개별 기술들은 소프트웨어 신뢰성 (software dependability)의 중요한 과제들을 해결하지만, 이들의 통합은 정밀도 (precision), 커버리지 (coverage) 및 통찰력 (insights) 측면에서 종종 시너지 효과를 창출합니다. 목적 (Objective). 본 논문은 지금까지 결합된 프로그램 분석 기술을 정의하기 위해 활용된 상호작용 및 시너지의 유형을 목록화하는 것을 목표로 하며, 248개의 주요 연구 (primary studies)로 구성된 현대 문헌의 상당 부분을 조사합니다. 목표는 프로그램 분석 기술이 왜, 그리고 어떻게 결합될 수 있는지, 그리고 그들의 상호작용으로부터 어떤 이점이 발생할 수 있는지에 대한 구조적인 이해를 제공하는 것입니다. 방법 (Method). 우리는 목표로 하는 시너지 효과, 분석 간 워크플로 (inter-analysis workflows), 그리고 상호작용 스키마 (interaction schemata, 이를 매핑 함수 (mapping functions)라고 지칭함)에 따라 결합된 프로그램 분석 기술을 분류하는 독창적인 분류 체계 (taxonomy)를 고안합니다. 그런 다음 주요 연구들을 해당 분류 체계에 매핑하여, 해당 연구들이 분석 기술의 결합을 통해 어떤 시너지 효과를 추구했는지, 어떤 분석 간 워크플로를 구현했는지, 그리고 어떤 유형의 매핑 함수를 활용했는지에 대한 연구 질문 (research questions)에 답합니다. 결론 (Conclusion). 우리의 분류 체계와 문헌 매핑은 결합된 프로그램 분석 기술 설계에 있어 목표와 패턴 측면에서의 공통점과 차이점을 밝혀냅니다. 이를 통해 우리는 연구자와 실무자들이 기존의 결합된 프로그램 분석 기술을 추론하고, 새롭고 유용한 결합된 프로그램 분석 기술 및 분석 프레임워크 (analysis frameworks)에 대한 후속 연구를 이끌 수 있도록 돕는 개념적 프레임워크를 제공합니다.