[Checkers] Method invocation type inference for annotations

Michael Ernst mernst at csail.mit.edu
Wed Mar 19 04:28:10 EDT 2008


> 2. Added type argument inference for method invocation when the user  
> does not explicitly declared them.
> ...
> This is a good news particularly for the NonNull checker, as it seems  
> that all the edits were generics related.

I think you mean "all the edits in the case studies reported in the paper".
Yes, being able to redo those experiments -- and to improve the results --
would be really great.  This will be an important improvement to the


More information about the checkers mailing list