roterdam checker-framework issues

roterdam / checker-framework

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

Other

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

-AresolveReflection errors on void.class

#432 GoogleCodeExporter opened 9 years ago
0
Generic casting to @Untainted no longer working in 1.9

#431 GoogleCodeExporter opened 9 years ago
0
Warning message when using -AresolveReflection

#430 GoogleCodeExporter opened 9 years ago
1
Enable @PolyAll to work for the @KeyFor hierarchy

#429 GoogleCodeExporter opened 9 years ago
0
Nullness checker rejects valid program

#428 GoogleCodeExporter opened 9 years ago
1
assert m.containsKey(k), dataflow, and AssumeAssertion

#427 GoogleCodeExporter closed 9 years ago
6
Unit Calculations

#426 GoogleCodeExporter closed 9 years ago
3
Nullness Checker: method framing mistake

#425 GoogleCodeExporter opened 9 years ago
0
Nullness checker fails to handle freshly instantiated value inside a for-loop

#424 GoogleCodeExporter opened 9 years ago
2
More extensive test suites

#423 GoogleCodeExporter opened 9 years ago
0
Crash in AbstractAtmComboVisitor

#422 GoogleCodeExporter closed 9 years ago
6
Crash in LubTypeVariableAnnotator.annotateEmptyLub

#421 GoogleCodeExporter closed 9 years ago
6
ConcurrentModificationException in EqualitiesSolver

#420 GoogleCodeExporter closed 9 years ago
5
Crash in CFCFGBuilder: ArrayType must be represented by AnnotatedArrayType

#419 GoogleCodeExporter closed 9 years ago
3
Ensure @AssumeAssertion and -AassumeAssertionsAreEnabled/Disabled do not interact and add test coverage to this effect

#418 GoogleCodeExporter closed 9 years ago
4
Assertion expression is type-checked even if -AassumeAssertionsAreDisabled is supplied

#417 GoogleCodeExporter closed 9 years ago
2
Unannotated local variable is required to be non-null

#416 GoogleCodeExporter closed 9 years ago
1
ArrayList constructor and KeyFor for parameters

#415 GoogleCodeExporter closed 9 years ago
2
Inferring @KeyFor for multiple maps

#414 GoogleCodeExporter closed 9 years ago
2
Warning "Annotation value ... may be a parameter name"

#413 GoogleCodeExporter closed 9 years ago
2
The flow expression parser needs to fully support the documented supported expression types

#412 GoogleCodeExporter opened 9 years ago
0
Type refinement and anonymous classes

#411 GoogleCodeExporter closed 9 years ago
6
Cast annotation is not properly generated in the class file

#410 GoogleCodeExporter opened 9 years ago
4
Implicit "this" passed through non-static inner class loses @UnderInitialization

#409 GoogleCodeExporter opened 9 years ago
2
Inline Initialized Fields Are Not Considered Nullable Before Initialization

#408 GoogleCodeExporter opened 9 years ago
2
Stub files cannot read annotations with class literals as attributes

#407 GoogleCodeExporter opened 9 years ago
1
Limitation of data-flow / local variable refinement

#406 GoogleCodeExporter opened 9 years ago
2
Ensure that Javadoc links to the manual

#405 GoogleCodeExporter opened 9 years ago
0
AssertionError during type argument inference

#404 GoogleCodeExporter closed 9 years ago
4
NPE when checking lambda in field initializer

#403 GoogleCodeExporter closed 9 years ago
5
NullnessChecker false positive when using Comparator#nulls{First,Last}

#402 GoogleCodeExporter opened 9 years ago
7
Feature request: recognize android.annotation.Nullable / android.annotation.NonNull

#401 GoogleCodeExporter closed 9 years ago
7
Crash in visit declared for A<T> with B<C,D> substitution (as return type).

#400 GoogleCodeExporter closed 9 years ago
5
Nullness Checker: support Q.isEmpty - Q.poll logic

#399 GoogleCodeExporter opened 9 years ago
3
javac.bat won't launch if in path with spaces in it.

#398 GoogleCodeExporter opened 9 years ago
0
Nullness checker: "found" / "required" details are not shown for some cases (only with maven)

#397 GoogleCodeExporter opened 9 years ago
1
Crash in BaseTypeVisitor.checkThrownExpression with union types

#396 GoogleCodeExporter closed 9 years ago
3
Crash on NewClassTree in array initializer

#395 GoogleCodeExporter closed 9 years ago
4
@Untainted multiplied by a constant should be @Untainted

#394 GoogleCodeExporter opened 9 years ago
0
Extends Typevar Error

#393 GoogleCodeExporter closed 9 years ago
3
Generic Array Initializers

#392 GoogleCodeExporter closed 9 years ago
2
@RequiresNonNull and field visibilty

#391 GoogleCodeExporter opened 9 years ago
5
More precise exception parameter and throws checking

#390 GoogleCodeExporter opened 9 years ago
0
TypeFromElement.annotateSupers aborts when type checking modified Daikon code

#389 GoogleCodeExporter closed 9 years ago
4
Map key heuristics with constant fields

#388 GoogleCodeExporter closed 9 years ago
3
QualifierParameterHierarchy.getTop() does not return the correct top type

#387 GoogleCodeExporter closed 9 years ago
3
java.lang.AssertionError: PolyCollector: mismatched type kinds

#386 GoogleCodeExporter closed 9 years ago
4
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