tools that support model checking, code review and analysis, and software security
analysis and testing (code analysis and testing tool categories are listed in
Table 5-13 and 5-14), SAMATE has also identified four classes of tools that aid in
producing secure code or remediating (vs. detecting) code-level vulnerabilities: