Team Lande

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography

Section: Software

Keywords : Java, Null pointer exceptions, Static analysis.

NIT: Null-ability Inference Tool

Participant : Laurent Hubert.

The Null-ability Inference Tool is a tool to find suitable annotations for fields, method parameters and return values. It works at the bytecode level (on .class files or .jar files) so it can be used on programs where the source is not available. While this can look strange for a programmer, this tool can also be used by other static analyses to improve their precision. This software is distributed under the GNU General Public License.


previous
next

Logo Inria