Development Environments

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.

 

SDCC has set up a Docker registry for users to store and use Docker images. Users should be able to pull and push images from the SDCC network as well as the BNL campus network.

The SDCC provides Git services for use by experiments.