CS Seminar: Fausto Spoto, December 10, 2003

Speaker

Dr. Fausto Spoto,
Dipartimento di Informatica, University of Verona, Italy.

Date and Time

Wednesday, December 10, 2003 at 14:30

Place

Sala Riunioni,
Dipartimento di Matematica, Università di Parma, Via D'Azeglio 85/A, I-43100 Parma

Title

JULIA: A Static Analyser for the Java Bytecode

Abstract

We describe our JULIA static analyser for the Java bytecode. Its main feature is to analyse the Java bytecode directly, without any previous transformation into a high-level language such as Java. This improves the efficiency of the analysis and yields an analysis which is insensitive to possible errors of the transformation into Java. JULIA is based on a denotational semantics for the Java bytecode, focused on a set of program points called watchpoints. The cost of the analysis is proportional to the number of watchpoints. An abstract domain for Java is a class implementing the abstract counterparts of the Java bytecodes. We show some examples of abstract domains for class and escape analysis. We show that the traditional technique of abstract compilation has major effects on the efficiency of the analysis. Finally, we discuss the possibility of developing an abstract domain for approximating numerical variables, which is useful to remove array checks. This domain should be based on the Parma Polyhedra Library.

Contact Person

Roberto Bagnara

[Page last updated on January 21, 2013, 08:18:53.]