[Checkers] @PolyNull and other polymorphic type qualifiers

Matt Papi mpapi at csail.mit.edu
Wed Jun 11 10:10:56 EDT 2008


> were the numbers already computed with the assumption of a PolyNull
> qualifier?

Yes. It only reduced the number of false positives for the lookup case
study, and only by about 4.

- Matt



More information about the checkers mailing list