CodeSonar is a source-code analyzer for C/C++ that finds buffer overruns, null-pointer dereferences, and other errors.
CodeSurfer is a C/C++ code browser that understands pointers, indirect function calls, and whole-program effects