Update data/tools/dataflow-framework.yml

analysis-tools-dev · Oct 31, 2023 · efd1239 · efd1239
1 parent 50ac5a6
commit efd1239
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/data/tools/dataflow-framework.yml b/data/tools/dataflow-framework.yml
@@ -9,3 +9,6 @@ types:
 source: 'https://github.com/typetools/checker-framework'
 homepage: 'https://github.com/typetools/checker-framework'
 description: An industrial-strength dataflow framework for Java. The Dataflow Framework is used in the Checker Framework, Google’s Error Prone, Uber’s NullAway, Meta’s Nullsafe, and in other contexts.  It is distributed with the Checker Framework.
+resources:
+  - title: "User Manual"
+    url: https://checkerframework.org/manual/checker-framework-dataflow-manual.pdf