집합-기반 분석을 보다 굵은 수준으로 설계할 수 있는 변환-기반 방법이 제안되었다. 이 방법을 이용하면 식-수준의 분석으로부터 규칙 변환을 통해 덜 정확하지만 보다 효율적인 분석을 설계할 수 있다. 이 방법은 원래 분석이 각 식에 대해서 하나의 집합 변수를 구성하는 식-수준에서 설계되었다고 가정하였으므로, 식-수준의 분석에만 적용 가능하다는 한계를 가지고 있다. 그러나 이 아이디어는 꼭 식 수준에 한정될 필요가 없으며 확장될 필요가 있다. 본 연구에서는 규칙-변환 방법을 확장하여 어느 수준의 분석에도 적용될 수 있도록 확장하고 이를 통해 실용적인 집합-기반 분석을 설계할 수 있는 다단계 규칙-변환 메커니즘을 제시한다. 또한 이 변환 메커니즘을 이용하여 프로시저 사이의 제어흐름을 보여주는 Java 언어를 위한 다양한 수준의 제어흐름 분석들 사이의 관계를 조명하고 이를 정리한다.
A transformation-based approach was proposed to design constraint-based analyses at coarser granularity. This approach lets us be able to design a less precise but more efficient version of an original expression-level analysis by transforming the original construction rules. Since this approach assumes that the original analysis is designed at expression-level. it has a limit that it is applicable only to expression-level analyses. However, this idea need not be confined to expression-level, and need to be extended. In this paper, we extend this rule-transformation approach so that it can be applied to any analyses which are designed at any level, and so provide a {em multi-level} mechanism to design practical constraint-based analyses by rule transformation. Using this approach, we also investigate the relationship between a number of CFAs for Java systematically, which determine the interprocedural control flow information.
