[Checkers] @PolyNull and other polymorphic type qualifiers

Michael Ernst mernst at csail.mit.edu
Tue Jun 10 05:00:26 EDT 2008

I notice that no @PolyNull type qualifier exists.  It should, along with

Then, the case studies need to be re-done (especially the nullness case

Would this reduce the number of false positives in the case studies?  Or,
were the numbers already computed with the assumption of a PolyNull


More information about the checkers mailing list