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,