ctolkmit checker-framework issues

ctolkmit / checker-framework

Automatically exported from code.google.com/p/checker-framework

0 stars 0 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
7
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