A variety of these secure coding tools (both for analysis and remediation)
are now offered as plug-ins to compilers or integrated development
environments. For example, Microsoft’s Visual Studio 2005 now includes
PREfast (a static source code analysis tool), PREfix (a dynamic analysis tool),