CheckerFramework examples of false positives and false negatives met during usage investigation in a project.
When any of these examples would be fixed on CheckerFramework or it would be said how to fix them, the fix would be applied and
If module doesn't state anything else, environment is below.
- Gradle 6.3
- Java 8 & Java 11
- Gradle CheckerFramewrok plugin 0.4.13
- CheckerFramework 3.2.0
- Arch Linux