Treffer: A non-null annotation inferencer for Java bytecode

Title:
A non-null annotation inferencer for Java bytecode
Authors:
Hubert, Laurent
Source:
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. :36-42
Availability:
http://dl.acm.org/doi/10.1145/1512475.1512484
Database:
ACM Full-Text Collection