Search results

where is the default processorpath？

Status: Open.

#435 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

Warning message when using -AresolveReflection

Status: Open.

#430 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

Generic casting to @Untainted no longer working in 1.9

Status: Open.

#431 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

-AresolveReflection errors on void.class

Status: Open.

#432 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

Incorrect nullness inference for array constructors

Status: Open.

#433 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

Nullness checker rejects valid program

Status: Open.

#428 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

Enable @PolyAll to work for the @KeyFor hierarchy

Status: Open.

#429 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

Nullness checker fails to handle freshly instantiated value inside a for-loop

Status: Open.

#424 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

Nullness Checker: method framing mistake

Status: Open.

#425 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

More extensive test suites

Status: Open.

#423 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

The flow expression parser needs to fully support the documented supported expression types

Status: Open.

#412 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015

Cast annotation is not properly generated in the class file

Status: Open.

#410 In ctolkmit/checker-framework;

· GoogleCodeExporter opened on Jun 19, 2015