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