Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00504006
Contributor : Laurent Hubert <>
Submitted on : Monday, July 19, 2010 - 3:33:55 PM
Last modification on : Friday, July 10, 2020 - 4:18:54 PM
Long-term archiving on: : Friday, October 22, 2010 - 4:17:58 PM

Files

main.pdf
Files produced by the author(s)

Identifiers

Citation

Laurent Hubert. A Non-Null Annotation Inferencer for Java Bytecode. PASTE: Program analysis for software tools and engineering, Nov 2008, Atlanta, Georgia, United States. pp.10.1145/1512475.1512484, ⟨10.1145/1512475.1512484⟩. ⟨inria-00504006⟩

Share

Metrics

Record views

347

Files downloads

392