Coverity has announced that CERN (the European Organization for Nuclear Research) has deployed the Coverity Static Analysis to improve integrity of source code found across a number of projects analyzing data from CERN’s Large Hadron Collider (LHC). The Large Hadron Collider is a particle accelerator near Geneva, where it spans the border between Switzerland and France about 100 m underground.
Since integrating the solution, CERN has eliminated more than 40,000 software defects, says the company. Experiments conducted around the collider generate approximately 15 petabytes data per year, equivalent to 15,000 standard disk drives. Coverity Static Analysis has tested 50 million lines of software code in the LHC software, helping CERN find and fix more than 40,000 defects.
Coverity provides scalable precision software analysis to clients, and is based out of San Francisco, California.
You can read the official press release here.