Software Development Platforms

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:

Coverity software development tool hosted by the SDCC

The SDCC has a site license for the Coverity Quality Advisor Analysis Tool from Coverity-Synopsys.

This Coverity product is a static code analysis solution helping to reduce risk by identifying critical quality defects and potential security vulnerabilities during code development. The solution utilizes sophisticated source code analysis to find the most critical defects in highly complex code bases, leveraging patented techniques for deep analysis and accurate issue detection.