Checker Framework 2.1.9

Version 2.1.9, 1 March 2017

By default, uninferred method type arguments, which can happen with Java 8 style target type contexts, are silently ignored, removing many false positives. The new option -AconservativeUninferredTypeArguments can be used to get the conservative behavior.

Closed issues:
1006, 1011, 1015, 1027, 1035, 1036, 1037, 1039, 1043, 1046, 1049, 1053, 1072, 1084.

Checker Framework 2.1.8

Version 2.1.8, 20 January 2017

The Checker Framework webpage has moved to https://checkerframework.org/. Old URLs should redirect to the new one, but please update your links and let us know if any old links are broken rather than redirecting.

The documentation has been reorganized in the Checker Framework repository. The manual, tutorial, and webpages now appear under checker-framework/docs/.

Closed issues:
770, 1003, 1012.

Checker Framework 2.1.7

Version 2.1.7, 3 January 2017

Manual improvements:

• Added a link to jOOQ's SQL checker.
• Documented the -AprintVerboseGenerics command-line option.
• Better explanation of relationship between Fake Enum and Subtyping Checkers.

Closed issues:
154, 322, 402, 404, 433, 531, 578, 720, 795, 916, 953, 973, 974, 975, 976, 980, 988, 1000.

Checker Framework 2.1.6

Version 2.1.6, 1 December 2016

Closed issues:
412, 475.

Checker Framework 2.1.5

Version 2.1.5, 2 November 2016

The new class org.checkerframework.checker.nullness.Opt provides every method in Java 8's java.util.Optional class, but written for possibly-null references rather than for the Optional type. This can shorten code that manipulates possibly-null references.

In bytecode, type variable upper bounds of type Object may or may not have been explicitly written. The Checker Framework now assumes they were not written explicitly in source code and defaults them as implicit upper bounds.

The manual describes how to run a checker within the NetBeans IDE.

The manual describes two approaches to creating a type alias or typedef.

Closed issues:
643, 775, 887, 906, 941.

Checker Framework 2.1.4

Version 2.1.4, 3 October 2016

Closed issues:
885, 886, 919

Checker Framework 2.1.3

Version 2.1.3, 16 September 2016

Closed issues:
122, 488, 495, 580, 618, 647, 713, 764, 818, 872, 893, 894, 901, 902, 903, 905, 913.

Checker Framework 2.1.2

Version 2.1.2, 1 September 2016

Closed issues:
182, 367, 712, 811, 846, 857, 858, 863, 870, 871, 878, 883, 888.

Checker Framework 2.1.1

Version 2.1.1, 1 August 2016

The codebase conforms to a consistent coding style, which is enforced by a git pre-commit hook.

AnnotatedTypeFactory#createSupportedTypeQualifiers() must now return a mutable list. Checkers that override this method will have to be changed.

Closed issues:
856, 850, 845, 838, 829, 826, 824, 820, 810, 809, 805, 790, 681, 590, 384

Checker Framework 2.1.0

Version 2.1.0, 1 July 2016

The new Signedness Checker prevents mixing of unsigned and signed values and prevents meaningless operations on unsigned values.

The Lock Checker expresses the annotated variable as <self>; previously it used itself, which may conflict with an identifier.

Closed issues:
166, 273, 358, 408, 471, 484, 594, 625, 692, 700, 701, 711, 717, 752, 756, 759, 763, 767, 779, 783, 794, 807, 808.