guava icon indicating copy to clipboard operation
guava copied to clipboard

Add some annotations from "On Leveraging Tests to Infer Nullable Annotations" data

Open cpovirk opened this issue 2 years ago • 0 comments

After a conversation with @jensdietrich in an Error Prone issue, Jens provided us with some data on Guava fields, parameters, and method returns that see null values during the course of testing (aside from tests that are checking that NPE occurs :)). That comes from the paper in the title:

Jens Dietrich, David Pearce and Mahin Chandramohan: On Leveraging Tests to Infer Nullable Annotations. ECOOP’23.

I've looked at the data for a few classes already and submitted some changes:

I may try to incorporate some more annotations in the future, but that's the story so far.

cpovirk avatar May 24 '23 16:05 cpovirk