A Non-Null Annotation Inferencer for Java Bytecode

Details A Non-Null Annotation Inferencer for Java Bytecode A Non-Null Annotation Inferencer for Java Bytecode

2010-07-19

arxiv.org/abs/1007.3183v1

PASTE: Program analysis for software tools and engineering, Atlanta, Georgia : United States (2008)

Computer Science

Programming Languages

Scientific paper

10.1145/1512475.1512484

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.

Affiliated with

Also associated with

No associations

Rating

A Non-Null Annotation Inferencer for Java Bytecode does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Non-Null Annotation Inferencer for Java Bytecode, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Non-Null Annotation Inferencer for Java Bytecode will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-62626