다단계 규칙 변환에 의한 Java 언어를 위한 다양한 제어흐름 분석 유도

Abstract

집합-기반 분석을 보다 굵은 수준으로 설계할 수 있는 변환-기반 방법이 제안되었다. 이 방법을 이용하면 식-수준의 분석으로부터 규칙 변환을 통해 덜 정확하지만 보다 효율적인 분석을 설계할 수 있다. 이 방법은 원래 분석이 각 식에 대해서 하나의 집합 변수를 구성하는 식-수준에서 설계되었다고 가정하였으므로, 식-수준의 분석에만 적용 가능하다는 한계를 가지고 있다. 그러나 이 아이디어는 꼭 식 수준에 한정될 필요가 없으며 확장될 필요가 있다. 본 연구에서는 규칙-변환 방법을 확장하여 어느 수준의 분석에도 적용될 수 있도록 확장하고 이를 통해 실용적인 집합-기반 분석을 설계할 수 있는 다단계 규칙-변환 메커니즘을 제시한다. 또한 이 변환 메커니즘을 이용하여 프로시저 사이의 제어흐름을 보여주는 Java 언어를 위한 다양한 수준의 제어흐름 분석들 사이의 관계를 조명하고 이를 정리한다.