lovubuntu checker-framework issues

lovubuntu / 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

Errors ignored in Eclipse plug-in if "Use message keys instead of text" is on

#361 GoogleCodeExporter opened 9 years ago
0
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
Crash in PolyCollector with v1.8.2

#335 GoogleCodeExporter closed 9 years ago
5
Convert annotated version of Google Guava library into stub files

#334 GoogleCodeExporter opened 9 years ago
0
Inherit annotations from overridden methods

#333 GoogleCodeExporter closed 9 years ago
1
Lambda expressions in CFGBuilder

#332 GoogleCodeExporter closed 9 years ago
4
Qualifier inference for nested ternary expressions

#331 GoogleCodeExporter closed 9 years ago
5
Contravariance via subtyping in Java

#330 GoogleCodeExporter closed 9 years ago
1
Unexpected 'incompatible type' error with deferred types

#329 GoogleCodeExporter opened 9 years ago
1
Limitation of Map Key checker with two containsKey checks

#328 GoogleCodeExporter closed 9 years ago
4
A manual's example for @Raw doesn't type check

#327 GoogleCodeExporter closed 9 years ago
6
Target-typing / diamond operator doesn't work with fields

#326 GoogleCodeExporter closed 9 years ago
2
Example of @UnderInitialization in manual is incorrect

#325 GoogleCodeExporter opened 9 years ago
4
The JavaDoc of @RequiresNonNull is out-dated

#324 GoogleCodeExporter closed 9 years ago
3
using checker under ANT

#323 GoogleCodeExporter closed 9 years ago
3
The nullness checker should not allow @NonNull for uninitialized array elements

#322 GoogleCodeExporter opened 9 years ago
1
Create script to verify and update Eclipse plugin Manifest

#321 GoogleCodeExporter opened 9 years ago
1
The value of the field Export-Package in file MANIFEST.MF of the Eclipse plug-in is incorrect

#320 GoogleCodeExporter closed 9 years ago
5
Incorrect type inference when @Nullable param is null

#319 GoogleCodeExporter closed 9 years ago
3
Improve error message when user provides an incorrect -Aquals command-line argument

#318 GoogleCodeExporter closed 9 years ago
3
Defective Taint Analysis

#317 GoogleCodeExporter closed 9 years ago
4
Additional JDK Nullable annotations

#316 GoogleCodeExporter closed 9 years ago
7
Feature request: build annotated jdk using ct.sym

#315 GoogleCodeExporter closed 9 years ago
3
Type annotations and invariant collections

#314 GoogleCodeExporter closed 9 years ago
9
Crash in TypeHierarchy.isSubtype

#313 GoogleCodeExporter closed 9 years ago
4
Strange error: "required: ? extends S extends T extends Object"

#312 GoogleCodeExporter closed 9 years ago
5