An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
android
kotlin
java
static-analysis
annotations
null
standard-library
nullability-analysis
jvm-languages
bugfinding
-
Updated
Apr 25, 2024 - Java