Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Class Analysis in an Open World
Class Analysis in an Open World
Fausto Spoto
Dipartimento di Informatica,
Strada Le Grazie, 15, 37134 Verona, Italy
Abstract:
We present a technique for the class analysis of a Java program
when only some of its classes
are known. An example is the analysis
of a program that uses libraries whose code cannot be accessed or might change
in future releases. We extend the traditional framework of
abstract interpretation to this scenario and show that the usual
worst-case assumption about the unknown (open)
classes leads to a semantical problem. Moreover, once it has been
solved, it results in a very imprecise analysis. Thus we
define some constraints, about the behaviour of the open classes, that are
weak enough to reflect standard software practice yet strong enough to define
more precise analyses than current whole-program analyses. Although
we support our reasonings through examples of class analysis,
we claim that our technique has wider application.