Skip to content

Commit

Permalink
Add the Dataflow Framework tool (#1445)
Browse files Browse the repository at this point in the history
---------

Co-authored-by: Matthias Endler <matthias@endler.dev>
  • Loading branch information
mernst and mre authored Oct 31, 2023
1 parent 950a265 commit 2504bc7
Showing 1 changed file with 17 additions and 0 deletions.
17 changes: 17 additions & 0 deletions data/tools/dataflow-framework.yml
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 2504bc7

Please sign in to comment.