Resources

Secure Programming for Linux and UNIX HOWTO at http://www.dwheeler._com/secure-programs/Secure-Programs-HOWTO/index.html

Electric Fence malloc() Debugger at http:// perens .com/FreeSoftware/

Splint Source Checking Tool at http://www.splint.org/

Flawfinder Source Checker at http://www.dwheeler.com/flawfinder/

RATS Source Checker at http://www.securesoftware.com/security_tools__download.htm

ITS4 Static Vulnerability Scanner at http://www. cigital .com/its4/