org.checkerframework:dataflow-nullaway (maven): dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.nullaway.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.
Keywords: java|types|verification