Skip to Main content Skip to Navigation
New interface
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 metadata

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/inria-00504028
Contributor : Laurent Hubert Connect in order to contact the contributor
Submitted on : Tuesday, July 20, 2010 - 11:35:11 AM
Last modification on : Thursday, January 20, 2022 - 4:13:12 PM
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, 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

239

Files downloads

167