Buffer Overflow Defenses. ©2002, Jedidiah R. Crandall, Susan L. Gerhart, Jan G. Hogle. http://sfsecurity.pr.erau.edu.
Analysis tools
Static analysis – Tools that find possible defects in the source code.
Dynamic analysis – Tools that find possible defects by analyzing things like memory usage during execution of the program.