Version 1.9.3, 1 July 2015
New command-line options:
- -AsafeDefaultsForUnannotatedBytecode causes a checker to use conservative
defaults for .class files that were compiled without running the given
checker. Without this option, type-checking is unsound (that is, there
might be errors at run time even though the checker issues no warnings). - -AuseConservativeDefaultsForUnannotatedSourceCode uses conservative
annotations for unannotated type uses. Use this when compiling a library in
which some but not all classes are annotated.
Various bug fixes and documentation improvements.
Fixed issues: 436.