The SDCC has a site license for Insure++ from Parasoft. This package is used to find runtime errors in C++ code - detect memory problems, runtime errors, and security vulnerabilities such as memory corruption, memory leaks, buffer overflow/underflow, and stack overruns.
The application can be found at the SDCC at: