Sciweavers

Share
ECOOP
2001
Springer

Distinctness and Sharing Domains for Static Analysis of Java Programs

9 years 2 months ago
Distinctness and Sharing Domains for Static Analysis of Java Programs
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads to the need of methodologies that support reusability not only at the code level but also at higher (semantic) levels, in order to minimize the effort of proving correctness of the analyses. Abstract interpretation may be the most appropriate approach in that respect. This paper is a contribution towards the design of a general framework for abstract interpretation of Java programs. We intwo generic abstract domains that express type, structural, and sharing information about dynamically created objects. These generic domains can be instantiated to get specific analyses either for optimization or verification issues. The semantics of the domains are precisely defined by means of concretization functions based on mappings between concrete and abstract locations. The main abstract operations, i.e., upper b...
Isabelle Pollet, Baudouin Le Charlier, Agostino Co
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where ECOOP
Authors Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi
Comments (0)
books