My favorites ▼ | Sign in
Project Home Wiki Issues Source
New issue   Search
for
  Advanced search   Search tips
ListGrid
   
Loading...
  ID ▼ Type ▼ Status ▼ Priority ▼ Milestone ▼ Owner ▼   Summary + Labels ▼ ...
  10 Enhancement Accepted Low ---- notn...@gmail.com   Multithreaded mode for flow-sensitive type refinement   Flow  
  12 Defect Accepted High ---- notn...@gmail.com   Nullness Checker makes wrong assumptions about unannotated libraries  
  15 Defect Accepted High ---- notn...@gmail.com   array subtype rules: should be invariant with respect to type qualifiers  
  22 Enhancement Accepted Low ---- notn...@gmail.com   @Poly or @PolyAll annotation that works for all checkers; would be used in libraries  
  25 Enhancement Accepted Low ---- notn...@gmail.com   Flow and array/collections   Flow  
  36 Enhancement New High ---- notn...@gmail.com   Missing @Target meta-annotations  
  37 Defect Accepted Low ---- notn...@gmail.com   Throws Subtype checking  
  47 Enhancement Accepted Medium ---- notn...@gmail.com   Re-factor Flow to have reusable conditions   Flow  
  53 Enhancement Accepted High ---- notn...@gmail.com   AssertNonNullIfTrue variable syntax: permit "this"   JavaExpressions  
  58 Enhancement New Low ---- wdi...@gmail.com   PolymorphicQualifier with values  
  62 Enhancement Accepted Low ---- notn...@gmail.com   AssertNonNull* doesn't validate input   JavaExpressions  
  63 Enhancement Accepted Low ---- notn...@gmail.com   Show where a flow-refined variable got set to a given value  
  64 Defect Accepted Medium ---- notn...@gmail.com   StubGenerator does not output "static" modifiers  
  65 Defect Accepted Medium ---- notn...@gmail.com   StubGenerator should output existing annotations from class file  
  66 Defect Accepted Medium ---- notn...@gmail.com   Relationship between stubs and .java files  
  67 Defect New Medium ---- notn...@gmail.com   Map.containsKey -> Map.get inference doesn't work with &&  
  69 Defect New Low ---- ----   Improper type-checking of the receiver of an inner class constructor  
  70 Defect New Low ---- ----   Type checking should fail when annotations are used in the receiver position of a non-inner class constructor  
  72 Enhancement Pushed Medium ---- michael.ernst@gmail.com   Nullness checker and built-in system properties  
  75 Defect Accepted Medium ---- notn...@gmail.com   Calling methods with @Raw receiver from a constructor  
  76 Enhancement Accepted Low ---- notn...@gmail.com   Initialization in helper methods  
  81 Enhancement Accepted Low ---- michael.ernst@gmail.com   Rawness type system: lack of expressiveness regarding rawness of subclasses  
  83 Defect Accepted High ---- wdi...@gmail.com   type inference for instance creation does not work  
  84 Defect Accepted Medium ---- ----   @Interned and autoboxing  
  86 Defect Accepted Medium ---- michael.ernst@gmail.com   IGJ checker and constructors  
  87 Defect New Medium ---- ----   Wildcards bounded with super cannot be made nullable in stub files  
  90 Defect Accepted Low ---- ----   @Pure annotation should be verified  
  91 Enhancement Accepted Low ---- ----   Implement @AssertNonNullIfNonNull  
  92 Enhancement Accepted Low ---- wdi...@gmail.com   Multiple annotations on a single element   Flow  
  100 Defect Accepted Medium ---- ----   Error messages should be consistent with javac's  
  104 Enhancement Accepted Low ---- ----   CollectionToArrayHeuristics should handle Vector.copyInto  
  105 Defect Accepted Medium ---- ----   Nullness Checker should require initialization of static non-null fields  
  106 Enhancement Accepted Low ---- ----   Checking that is conservative in the presence of concurrency/threads  
  107 Defect Accepted Medium ---- ----   Nullness Checker issues unnecessary warnings about LazyNonNull fields   Flow  
  108 Defect Accepted Medium ---- ----   getCopy() and equals() methods for subclasses of AnnotatedTypeMirror  
  117 Defect New Medium ---- ----   Null pointer exception when running nullness checker in Eclipse Indigo  
  119 Enhancement Accepted Medium ---- wdi...@gmail.com   Improve handling of raw types  
  121 Enhancement Accepted Medium ---- ----   More focused warning suppression for uninitialized fields in Nullness Checker  
  122 Defect Accepted Medium ---- wdi...@gmail.com   Disallow @Regex qualifier on non-String types  
  127 Defect New Medium ---- ----   Class literals are inferred as @NonNull Class<@NonNull A>  
  128 Defect Accepted Medium ---- wdi...@gmail.com   Compound Assignment not Handled Correctly  
  130 Defect Accepted Medium ---- wdi...@gmail.com   Review caching in the AnnotatedTypeFactory  
  134 Defect Accepted Medium ---- ----   Type checking does not respect bound type variables in enclosing classes  
  136 Defect Accepted Medium ---- wdi...@gmail.com   StackOverflowError regression while compiling recursive generic interface  
  137 Defect Pushed Medium ---- wdi...@gmail.com   Checker crash and type checking error with multiple upper bounds [1.2.6]  
  138 Defect Pushed Medium ---- wdi...@gmail.com   StackOverFlow error in checkers trying to compile more code  
  139 Defect New Medium ---- ----   Type checker error due to capture conversion bug?  
  140 Defect Pushed Medium ---- ----   Odd incompatible type argument error  
  141 Defect New Medium ---- ----   Type error only if classes are in separate files  
  142 Defect Accepted Medium ---- ----   Misc guava type checking errors  
  143 Defect Pushed Medium ---- ----   Incorrect type inference for generics with auto-boxed objects  
  144 Defect Accepted Medium ---- ----   Nullness checker incorrectly reasons about instance variable initialized in initializer block  
  145 Defect Accepted Medium ---- charlie....@gmail.com   Error on union type in catch block  
  146 Defect New Medium ---- ----   Applying @PolymorphicQualifier to fields or classes results in unsoundness  
  147 Defect Pushed Medium ---- ----   The classpath of build.xml doesn't contain junit  
CSV
  
Show columns:
 ♦ ID
 ♦ Type
 ♦ Status
 ♦ Priority
 ♦ Milestone
 ♦ Owner
 ♦ Summary
    Attachments
    Stars
    Opened
    Closed
    Modified
    BlockedOn
    Blocking
    Blocked
    MergedInto
    Reporter
    Cc
    Project
    Edit column spec...
Powered by Google Project Hosting