From c493a8df07e71f050b38ff077fb8aac8f20c4811 Mon Sep 17 00:00:00 2001 From: Suzanne Millstein Date: Thu, 1 Aug 2019 11:40:36 -0700 Subject: [PATCH] Add section about the old Nullness Rawness Checker This section is referenced from in https://checkerframework.org/manual/#publications. --- docs/manual/external-checkers.tex | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/manual/external-checkers.tex b/docs/manual/external-checkers.tex index e6e4f0fa758..2155fa821a5 100644 --- a/docs/manual/external-checkers.tex +++ b/docs/manual/external-checkers.tex @@ -133,6 +133,12 @@ to focus on distributing checkers that are currently being maintained. +\sectionAndLabel{Nullness Rawness Checker}{initialization-rawness-checker} + +The Nullness Rawness Checker is a nullness checker that uses a different type system for initialization. +It was distributed with the Checker Framework through release 2.9.0 (dated 3 July 2019). If you wish +to use them, install \href{https://checkerframework.org/releases/2.9.0/}{Checker Framework version 2.9.0}. + \sectionAndLabel{Read Checker for CERT FIO08-J}{read-checker} CERT