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.