issues
search
biddyweb
/
checker-framework
Automatically exported from code.google.com/p/checker-framework
Other
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
More JDK Nullable annotations
#385
GoogleCodeExporter
opened
9 years ago
5
Annotations on union types where the classes in the union have a declaration annotation
#384
GoogleCodeExporter
opened
9 years ago
1
Add support for reading and storing non-type-qualifier annotations
#383
GoogleCodeExporter
opened
9 years ago
3
Nullness postconditions for String#equals and String#equalsIgnoreCase
#382
GoogleCodeExporter
closed
9 years ago
2
Can't show checker framework plugin preference
#381
GoogleCodeExporter
closed
9 years ago
5
Exception when @InheritedAnnotation used on annotation with argument
#380
GoogleCodeExporter
closed
9 years ago
7
Feature request: recognize android.support.annotation.Nullable
#379
GoogleCodeExporter
closed
9 years ago
2
Another crash in TypeHierarchy.isSubtype
#378
GoogleCodeExporter
closed
9 years ago
4
unit-checker with custom type fails to catch type mismatch
#377
GoogleCodeExporter
closed
9 years ago
3
Unexpected 'incompatible types in type argument' with the nullness checker
#376
GoogleCodeExporter
closed
9 years ago
4
StubParser assertion failure
#375
GoogleCodeExporter
opened
9 years ago
3
Nullness checker incorrectly thinks BlockingQueue.poll( long, TimeUnit ) returns @NonNull
#374
GoogleCodeExporter
closed
9 years ago
4
Duplicated warning
#373
GoogleCodeExporter
closed
9 years ago
5
Bogus Warning with @EnsuresNonNull (postcondition not satisfied)
#372
GoogleCodeExporter
opened
9 years ago
3
Annotated JDK and unannotated methods that have an annotation in a superclass
#371
GoogleCodeExporter
opened
9 years ago
0
CLIMB-to-top and annotated libraries
#370
GoogleCodeExporter
opened
9 years ago
7
unexpected Throwable (AssertionError)
#369
GoogleCodeExporter
closed
9 years ago
4
BogusWarning with MonotonicNonNull, RequiresNonNull and super/subtype
#368
GoogleCodeExporter
closed
9 years ago
1
Bogus Warning in lambda expression
#367
GoogleCodeExporter
opened
9 years ago
2
Bogus Warning with Optional.ofNullable
#366
GoogleCodeExporter
closed
9 years ago
4
Bogus Warning in static interface method
#365
GoogleCodeExporter
closed
9 years ago
2
Bogus Warning in default interface method
#364
GoogleCodeExporter
closed
9 years ago
2
Bogus Warning for OptionalInt.orElseThrow, OptionalDouble.orElseThrow, and OptionalLong.orElseThrow (but not for Optional<T>.orElseThrow)
#363
GoogleCodeExporter
opened
9 years ago
1
Impossible to use version 2.0.0 of @org.eclipse.jdt.annotation.NonNull and @org.eclipse.jdt.annotation.Nullable
#362
GoogleCodeExporter
closed
9 years ago
6
Errors ignored in Eclipse plug-in if "Use message keys instead of text" is on
#361
GoogleCodeExporter
opened
9 years ago
3
Eclipse plug-in ignores error in code
#360
GoogleCodeExporter
opened
9 years ago
2
checker-framework does not support version 2.0.0 of org.eclipse.jdt.annotation.NonNull
#359
GoogleCodeExporter
closed
9 years ago
2
Scaring message when using the checker with recursive types
#358
GoogleCodeExporter
opened
9 years ago
1
String concatenation compound assigment
#357
GoogleCodeExporter
closed
9 years ago
3
CFCFGBuilder and CFGBuilder duplicate logic for enhanced for loops
#356
GoogleCodeExporter
opened
9 years ago
0
crash in PolyCollector
#355
GoogleCodeExporter
closed
9 years ago
4
Nullness Checker nested class initialization
#354
GoogleCodeExporter
opened
9 years ago
1
Nullness Checker Static Initialization
#353
GoogleCodeExporter
opened
9 years ago
3
Incorrect annotations on nested class receivers
#352
GoogleCodeExporter
opened
9 years ago
2
Eclipse plugin, "Run Selected Checkers" feature no longer works in v1.8.5
#351
GoogleCodeExporter
closed
9 years ago
3
A couple more -AconcurrentSemantic / MonotonicNonNull issues
#350
GoogleCodeExporter
closed
9 years ago
4
Preventing unannotated reflection APIs
#349
GoogleCodeExporter
opened
9 years ago
1
Quiet failure when run from maven
#348
GoogleCodeExporter
closed
9 years ago
5
-AconcurrentSemantics doesn't take @MonotonicNonNull into consideration
#347
GoogleCodeExporter
closed
9 years ago
5
Checker framework crashes on missing import
#346
GoogleCodeExporter
closed
9 years ago
2
Assignment in initializer between two uninitialized variables results in an initialized variable
#345
GoogleCodeExporter
opened
9 years ago
3
Type annotation on exception parameter bug
#344
GoogleCodeExporter
closed
9 years ago
2
Nested Aggregate Checker Initialization
#343
GoogleCodeExporter
closed
9 years ago
2
All inheritable declaration annotations are being inherited, regardless of their relationship
#342
GoogleCodeExporter
opened
9 years ago
1
Possible dataflow bug
#341
GoogleCodeExporter
opened
9 years ago
4
Possibly incorrect nullness annotations on java.util.Properties#getProperty(String, String)
#340
GoogleCodeExporter
closed
9 years ago
2
Issue with qualified inference bug
#339
GoogleCodeExporter
closed
9 years ago
4
'incompatible types' error with wildcards
#338
GoogleCodeExporter
closed
9 years ago
3
Problem with ternary operator + generics
#337
GoogleCodeExporter
closed
9 years ago
3
A few more JDK Nullable annotations
#336
GoogleCodeExporter
closed
9 years ago
6
Previous
Next