checker-framework
checker-framework copied to clipboard
Pluggable type-checking for Java
#2758 optionally issues a warning if a stub file specification is redundant with the existing annotations in bytecode. One problem with that implementation is that at the moment stub files...
Option `-AstubWarnIfOverwritesBytecode` should "print warnings about stub files that overwrite annotations from bytecode". However, the implementation of that feature is currently guarded by `if (false)` https://github.com/typetools/checker-framework/blob/4fa56bdd321485e453f2020eb8e4e5a5586a01f7/framework/src/main/java/org/checkerframework/framework/stub/StubParser.java#L772 The implementation of the...
I'm trying to run a compilation with javac arguments in an arguments file. Here is the file: [test-args.gz](https://github.com/typetools/checker-framework/files/3499256/test-args.gz) When I run `javac @test-args` the compile succeeds. But when I run...
Some values are not arithmetic quantities, but are manipulated as a pattern of bits. An example is the return value of [`Double.doubleToLongBits`](https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/lang/Double.html#doubleToLongBits(double)). Another example is a value used as a...
Create a Maven plugin for the Checker Framework, similar to the [Gradle Checker Framework Plugin](https://github.com/kelloggm/checkerframework-gradle-plugin). The current [Maven instructions](https://checkerframework.org/manual/#maven) require a great deal of cut-and-paste, which is error-prone and is...
Consider the following dummy code: ```sh $ cat -n Dummy.java 1 import java.util.regex.Matcher; 2 import java.util.regex.Pattern; 3 import org.checkerframework.checker.nullness.qual.NonNull; 4 5 final class Dummy { 6 private static final Pattern...
The [`@FormatMethod`](https://checkerframework.org/api/org/checkerframework/checker/formatter/qual/FormatMethod.html) annotation is applicable only to methods with the exact same signature as [`Formatter.format`](https://docs.oracle.com/javase/8/docs/api/java/util/Formatter.html?is-external=true#format-java.lang.String-java.lang.Object...-): either `(String, Object...)` or `(Locale, String, Object...)`. This is a feature request to make it...
Hi, when I try `filter(Objects::nonNull)` to filter out any null value and then use `map` to apply a lambda, the checker framework seems to complain about the incompatible receiver type,...
Nullness Checker apparently does not verify the implicit reference to enclosing class instance. Let's consider the following class: ```java class SampleClass { final InnerClass inner; final String foo; SampleClass() {...
Snippet: ``` class Super1 { T methodInner() { return null; } } class Sub1 extends Super1 { U method() { return methodInner(); // ^------------------- (this).methodInner } } ``` When superclass's...