I would like to know the proper way for using checker framework with java 17. I have looked through docs and ended up here: https://github.com/typetoo ...
I would like to know the proper way for using checker framework with java 17. I have looked through docs and ended up here: https://github.com/typetoo ...
Background I am using the checker framework with gradle as so: build.gradle: Right now it is looking at all the classes in my build when I run ./ ...
I am using the checkerFramework gradle plugin to statically analyze nullness and tainting in my code. When I run the checker via gradle, only one of m ...
I am trying to adopt the checker framework (v 3.18.1) over an existing codebase that used to have the older jsr305 annotations, and coming across some ...
So I'm trying to use checker framework (from https://checkerframework.org/), and I have following code: How I uderstood this works, is that I can r ...
I'm adding Checker Framework to an existing Java Gradle build. I have Checker integrated and raising issues and that's all working great. But now that ...
Here's my error (and yes there is an open bug on commons-lang3 jira). I tried making this src/java/main/org/apache/commons/lang3/BooleanUtils.astub ...
Here's my error These are initialized by picocli, so I added SuppressWarnings, not certain why it's still happening. @SuppressWarnings({ "NullAw ...
So I'm getting this error from the nullness checker this is complaining that System.console() could be null, which upon reading the javadoc is true ...
I thought I'd give checker framework a go, but I'm getting a lot of this for this code @Nullable abstract String getWorkdir(); it seems to b ...
Past time manuals and Stackoverflow answers say that NNEL is the default in the Checker Framework. However, the recent manual (3.7.1) has no reference ...
-J-Xbootclasspath/p: is not passed by maven compiler plugin,how can I workaround it? System enviroment: jdk 1.8.0_265,windows 10. maven file: I copie ...
I have some code like this where I store a map to java threadlocal, when enabling the nullness check from checkerframework I get I don't underst ...
I have some java code which looks like below Which gives me the error which is undestandable as getFoo as been decorated with Nullable. can I p ...
I am integrating the Nullness Checker from the checker Framework to our Java project built with Maven. I configured the annotation processor for maven ...
I'm trying to use the Nullness Checker to build a subclass of JPanel. The error message says this: The problem seems to be that the add method a ...
I'm new to Checker Framework and I have defined 2 subtyping annotations like this: and When I use a subtyping checker with these annotations on ...
I can't build my code with the checker framework anymore. When I comment out the checker framework annotation processor, my code compiles fine, so the ...
I am trying to understand how Checker Framework implements Pluggable Type Checkers. By reading the documentation, Checker Framework (Maven) I see a ...
I have an interface which has map-like functionality, but does not implement Java's Map interface. The map interface also implements Iterable< ...