checker-framework

checker-framework copied to clipboard

The test https://github.com/typetools/checker-framework/blob/master/checker/tests/resourceleak/Issue4815.java demonstrates a false positive from the Resource Leak Checker. I don't know why this warning is issued, because the code looks safe to me. This false positive...

kelloggm

Nullness Checker warning about non-null field in top-level lambda

4

Running the Nullness Checker on this code: ```java public class LambdaInit { String f1; Object o = new Object() { @Override public String toString() { f1.toString(); return ""; } };...

mernst

Feature request: `do-like-javac` should support projects with a subdirectory structure

1

**Summary** Currently, running `wpi.sh` on a project with a subdirectory structure (i.e., having one or more subdirectories which are themselves compilable units) appears to be failing with an error related...

jyoo980

Optional checker: possible erroneous report of an incompatible method receiver for `Optional#get` in a `Stream#map`

5

**Summary** Running the Optional checker on code that contains a call to `Optional#get` within a call to `.map` on a Java stream produces an error reporting to an incompatible method...

jyoo980

Line numbers for delomboked code

16

Code that Lombok processes is not necessarily legal Java code. (Lombok does various transformations and writes out legal Java bytecodes.) To run the Checker Framework on code that Lombok processes,...

mernst

Confusing behavior with @CreatesMustCallFor

2

I have this class (relevant part): ```java @InheritableMustCall("disconnect") public class JavaDriverClient { private @Owning Cluster cluster; private @Owning Session session; @CreatesMustCallFor public void connect(ProtocolOptions.Compression compression) throws Exception { disconnect(); cluster...

jacek-lewandowski

Run `javacheck -processor value` on this code: ``` public class DoubleRounding { final double FLOATING_POINT_DELTA = 1e-15; void round() { float f = (float) FLOATING_POINT_DELTA; } } ``` The result...

mernst

Initialization in JUnit @Before methods

4

A JUnit test case may have a method annotated with `@Before` that initializes fields. (In JUnit 3, a method named `setUp` is used.) Given such code, the Nullness Checker issues...

mernst

Confusing wildcard-related error with Resource Leak Checker

2

So most of the problems went away. However, now I can see a weird one: ``` [javac] Compiling 1 source file to /home/jlewandowski/dev/cassandra/c18239-static-analysis/build/checkerframework-output [javac] /home/jlewandowski/dev/cassandra/c18239-static-analysis/src/java/org/apache/cassandra/utils/IntervalTree.java [javac] /home/jlewandowski/dev/cassandra/c18239-static-analysis/src/java/org/apache/cassandra/utils/IntervalTree.java:345: error: [mustcall:bound] incompatible...

msridhar

Unexpected `required.method.not.called` when implementing a resources collection/map

11

So I was trying to implement a resources map to be used to such situations, I have this: ```java @InheritableMustCall({ "removeAll" }) public class ResourcesMap { private final Map map;...

jacek-lewandowski