From efd1239d82f04a8243b2fb3cb93a35a515998747 Mon Sep 17 00:00:00 2001 From: Matthias Endler Date: Tue, 31 Oct 2023 13:38:24 +0100 Subject: [PATCH] Update data/tools/dataflow-framework.yml --- data/tools/dataflow-framework.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/data/tools/dataflow-framework.yml b/data/tools/dataflow-framework.yml index 531958b14..5734a2b1d 100644 --- 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