We present a comparative study of different static CIA techniques, Columbus, ROSE, and IRC2M.IRC2M and ROSE achieve relatively better accuracy compared to Columbus.Combination of different CIA techniques can obviously improve the accuracy over their ...
We present practical approximation methods for computing and representing interprocedural aliases for a program written in a language that includes pointers, reference parameters, and recursion. We present the following contributions: (1) a framework ...
Various shape analyses have been introduced, but their precision often cannot be compared because they use different representations of analysis results. The aim of the authors work was to compare the precision of two well‐known graph‐based shape analyses,...
IEEE Computer Society
United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in