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.
Type de document :
Article dans une revue
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. 〈http://www.sciencedirect.com/science/article/B75H1-4XT3BCD-3/2/0c24aba371ae79c050511b1705928a1b〉. 〈10.1016/j.entcs.2009.11.012〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00504028
Contributeur : Laurent Hubert <>
Soumis le : mardi 20 juillet 2010 - 11:35:11
Dernière modification le : mardi 16 janvier 2018 - 15:54:15
Document(s) archivé(s) le : jeudi 1 décembre 2016 - 09:44:15

Fichiers

bytecode09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. 〈http://www.sciencedirect.com/science/article/B75H1-4XT3BCD-3/2/0c24aba371ae79c050511b1705928a1b〉. 〈10.1016/j.entcs.2009.11.012〉. 〈inria-00504028v2〉

Partager

Métriques

Consultations de la notice

349

Téléchargements de fichiers

99