Soundly Handling Static Fields: Issues, Semantics and Analysis

Authors:
Laurent Hubert;David Pichardie
Affiliations:
CNRS, IRISA, Campus Beaulieu, F-35042 Rennes Cedex, France;INRIA, Centre Rennes --- Bretagne Atlantique IRISA, Campus Beaulieu, F-35042 Rennes Cedex, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 10
Cited 0

Efficient computation of interprocedural definition-use chains

ACM Transactions on Programming Languages and Systems (TOPLAS)
Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ABCD: eliminating array bounds checks on demand

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Java Virtual Machine Specification

Java Virtual Machine Specification
Eager Class Initialization for Java

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Declaring and checking non-null types in an object-oriented language

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Establishing object invariants with delayed types

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Automatic inference of stationary fields: a generalization of java's final fields

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A non-null annotation inferencer for Java bytecode

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Reflection analysis for java

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class initializer. We propose an analysis which compute, for each program point, the set of static fields that must have been initialized and discuss its soundness. We show that such an analysis can be directly applied to identify the static fields that may be read before being initialized and to improve the precision while preserving the soundness of a null-pointer analysis.