FxCop (a design analysis tool), AppVerifier (a runtime verification tool), and
Safe CRT (safe C/C++ run-time) libraries. For Java, many security tools are
available as plug-ins to the open source Eclipse development environment.
For Further Reading