From 2774de61899d29cf1b2c8a6cb29e3cd0346a0001 Mon Sep 17 00:00:00 2001 From: Suzanne Millstein Date: Thu, 1 Dec 2016 09:27:29 -0800 Subject: [PATCH] Fix link --- checker/manual/faq.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/checker/manual/faq.tex b/checker/manual/faq.tex index 515d44b756d..9c553c24be7 100644 --- a/checker/manual/faq.tex +++ b/checker/manual/faq.tex @@ -1162,7 +1162,7 @@ \subsection{Why not just use a bug detector (like FindBugs)?\label{faq-type-chec Pluggable type-checking finds more bugs than a bug detector does, for any given variety of bug. -A bug detector like \href{creating-http://findbugs.sourceforge.net/}{FindBugs}~\cite{HovemeyerP2004,HovemeyerSP2005}, +A bug detector like \href{http://findbugs.sourceforge.net/}{FindBugs}~\cite{HovemeyerP2004,HovemeyerSP2005}, \href{http://jlint.sourceforge.net/}{Jlint}~\cite{Artho2001}, or \href{http://pmd.sourceforge.net/}{PMD}~\cite{Copeland2005} aims to find \emph{some} of the most obvious bugs in your program. It uses a lightweight analysis,