From 2504bc72b41d73ffdb8f76c1f3f886d10507928b Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Tue, 31 Oct 2023 05:43:15 -0700 Subject: [PATCH] Add the Dataflow Framework tool (#1445) --------- Co-authored-by: Matthias Endler --- data/tools/dataflow-framework.yml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 data/tools/dataflow-framework.yml diff --git a/data/tools/dataflow-framework.yml b/data/tools/dataflow-framework.yml new file mode 100644 index 0000000000..8e99ef7123 --- /dev/null +++ b/data/tools/dataflow-framework.yml @@ -0,0 +1,17 @@ +name: Dataflow Framework +categories: + - linter +tags: + - java +license: GPL with Classpath exception / MIT License +types: + - cli +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