\begin{table}[ht]
\begin{table}[!htbp]
\centering
\begin{tabular}{|l|p{5.3cm}|}
  \hline
{\bf Term} & {\bf Definition} \\ 
  \hline
SA tool & static analysis tool that analyzes code without running it\\ \hline
FFSA tool & flaw-finding static analysis tool\\ \hline
SA alert & static analysis alert (warning) about a particular type of flaw\\ \hline
Checker & analysis for a particular type of code flaw, by a particular FFSA tool %The checker may simply do syntactic analysis or do deep semantic analysis.
\\ \hline
CheckerID & checker name%, usually a unique string or regular expression in a tool's alerts
\\ \hline
Test suites & repositories of ``benchmark'' programs that are purpose-built to test FFSA tools\\ \hline
Condition & a constraint or property of validity with which code should comply. FFSA tools try to detect if code violates conditions.\\ \hline
Alert fusion & unifying alert information from different tools which map to the same condition and code location\\ \hline
Coding taxonomy & a named set of coding rules, weaknesses, standards, or guidelines\\ 
   \hline
\end{tabular}
\caption{Terminology} 
\label{table:terminology}
\end{table}
Term Definition
SA tool static analysis tool that analyzes code without
running it
FFSA tool flaw-finding static analysis tool
SA alert static analysis alert (warning) about a particu-
lar type of flaw
Checker analysis for a particular type of code flaw, by
a particular FFSA tool
CheckerID checker name
Test suites repositories of “benchmark” programs that are
purpose-built to test FFSA tools
Condition a constraint or property of validity with which
code should comply. FFSA tools try to detect
if code violates conditions.
Alert fusion unifying alert information from different tools
which map to the same condition and code
location
Coding taxonomy a named set of coding rules, weaknesses, stan-
dards, or guidelines