A Non-Null Annotation Inferencer for Java Bytecode

Laurent Hubert 1
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We present a non-null annotations inferencer for the Java bytecode language. We previously proposed an analysis to infer non-null annotations and proved it soundness and completeness with respect to a state of the art type system. This paper proposes extensions to our former analysis in order to deal with the Java bytecode language. We have implemented both analyses and compared their behaviour on several benchmarks. The results show a substantial improvement in the precision and, despite being a whole-program analysis, production applications can be analyzed within minutes.
Type de document :
Communication dans un congrès
Shriram Krishnamurthi and Michal Young. PASTE: Program analysis for software tools and engineering, Nov 2008, Atlanta, Georgia, United States. ACM, pp.10.1145/1512475.1512484, 2008, Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. 〈10.1145/1512475.1512484〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00504006
Contributeur : Laurent Hubert <>
Soumis le : lundi 19 juillet 2010 - 15:33:55
Dernière modification le : mercredi 16 mai 2018 - 11:23:28
Document(s) archivé(s) le : vendredi 22 octobre 2010 - 16:17:58

Fichiers

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

Identifiants

Citation

Laurent Hubert. A Non-Null Annotation Inferencer for Java Bytecode. Shriram Krishnamurthi and Michal Young. PASTE: Program analysis for software tools and engineering, Nov 2008, Atlanta, Georgia, United States. ACM, pp.10.1145/1512475.1512484, 2008, Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. 〈10.1145/1512475.1512484〉. 〈inria-00504006〉

Partager

Métriques

Consultations de la notice

236

Téléchargements de fichiers

192