typetools/checker-framework checker-framework-3.9.0

Checker Framework 3.9.0

on GitHub

Version 3.9.0, January 4, 2021

New scripts checker/bin/wpi.sh and checker/bin/wpi-many.sh run whole-program inference, without modifying the source code of the target programs.

The -Ainfer command-line argument now infers

• method preconditions (@RequiresQualifiers, @RequiresNonNull)
• method postconditions (@EnsuresQualifiers, @EnsuresNonNull)
• @MonotonicNonNull

The Called Methods Checker supports the -AdisableReturnsReceiver command-line option.

The Format String Checker recognizes Error Prone's @FormatMethod annotation.

Use of @SuppressWarnings("fbc") to suppress initialization warnings is deprecated.

Implementation details:

Class renamings:

• StubParser => AnnotationFileParser
• Receiver => JavaExpression
  • also related class and method renamings
• In the Dataflow Framework:
  • ThisLiteralNode => ThisNode
  • ExplicitThisLiteralNode => ExplicitThisNode
  • ImplicitThisLiteralNode => ImplicitThisNode

Method deprecations:

• Deprecated AnnotatedTypeFactory.addAliasedAnnotation; use addAliasedTypeAnnotation

Closed issues:
#765, #2452, #2953, #3377, #3496, #3499, #3826, #3956, #3971, #3974, #3994, #4004, #4005, #4018, #4032, #4068, #4070.