include Fortify Software’s tool suite, Ounce Labs’ Ounce Solution, Compuware’s
DevPartner SecurityChecker, Klocwork’s 7, and Coverity’s Prevent. Microsoft
also integrates software security analysis, test, and implementation tools into
its larger Visual Studio 2005 integrated development environment, including a