Skip to Main content Skip to Navigation
Journal articles

Soundly Handling Static Fields: Issues, Semantics and Analysis

Laurent Hubert 1 David Pichardie 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00504028
Contributor : Laurent Hubert <>
Submitted on : Tuesday, July 20, 2010 - 11:35:11 AM
Last modification on : Friday, March 6, 2020 - 1:37:29 AM
Long-term archiving on: : Thursday, December 1, 2016 - 9:44:15 AM

Files

bytecode09.pdf
Files produced by the author(s)

Identifiers

Citation

Laurent Hubert, David Pichardie. Soundly Handling Static Fields: Issues, Semantics and Analysis. Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Fourth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2009), 253 (5), pp.15 - 30. ⟨10.1016/j.entcs.2009.11.012⟩. ⟨inria-00504028v2⟩

Share

Metrics

Record views

620

Files downloads

388