[Checkers] Javari False Positives

Mahmood Ali mahmood at MIT.EDU
Mon Aug 18 22:35:03 EDT 2008


I just wanted to share Telmo's last response with Mike.  I will work  
on implementing the earlier proposal to solve the type variable  
problem (i.e. bound is readonly in a declaration, but is mutable in a  
use) in IGJ.  Once I (or both independantly) do that, we will have a  
taste of the proposal works in actual code.


On Aug 18, 2008, at 10:28 PM, Telmo wrote:

> OK, made the first pass at the output errors.
> Daikon compiled, and all the errors printed are related to the upper  
> bound of the type parameter.
> Two of the errors (among the printed ones) also point that a type  
> parameter used as a type for a parameter on a method call is gaining  
> a @Mutable annotation, building the weird "@Mutable T extends  
> @ReadOnly Object" type that the Javari checker possibly should be  
> building as "@Mutable T extends @Mutable Object" instead. Not sure  
> if that counts as a bug?
> But yes, all printed errors come from the type parameter bound issue.
> -Telmo

More information about the checkers mailing list