checker-framework
checker-framework copied to clipboard
Pluggable type-checking for Java
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...
Running the Nullness Checker on this code: ```java public class LambdaInit { String f1; Object o = new Object() { @Override public String toString() { f1.toString(); return ""; } };...
**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...
**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...
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,...
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...
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...
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...
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...
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;...