From 3fdcd4a0f7d359d6a8db9af0c317ebf4497c2575 Mon Sep 17 00:00:00 2001 From: Michael Vorburger Date: Wed, 21 Aug 2024 01:17:49 +0200 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 6ab0e60..1abed6d 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,8 @@ * [Eclipse's EEA External Annotations](http://help.eclipse.org/latest/index.jsp?topic=%2Forg.eclipse.jdt.doc.user%2Ftasks%2Ftask-using_external_null_annotations.htm) * Regular plain good old valid Java syntax sources * _Checker Framework Stubs (`.astub`) ?_ -* [Annotation File Format from Checker Framework Support](https://checkerframework.org/annotation-file-utilities/annotation-file-format.html) +* [Annotation File Format from Checker Framework Support](https://checkerframework.org/annotation-file-utilities/annotation-file-format.html) with their **[similar tool](https://github.com/typetools/annotation-tools)** +* [NullAway Library Models](https://github.com/uber/NullAway/wiki/Configuration#library-models) * [JSpecify JDK nullness information](https://github.com/enola-dev/enola/issues/845#issuecomment-2299888800) ? * ...