Resources

Klocwork product documentation is available here.

Case Study

Case Study

The driving objective of the Laboratory for Atmospheric and Space Physics (LASP) at the University of Colorado is research in atmospheric science, space physics, solar influences, and planetary science, supported by the technological contributions of its engineering and mission operations divisions. To better ensure the reliability of key data processing software, LASP has introduced Klocwork Insight into several projects.

TAGS: AVIONICS, BUG IDENTIFICATION, DEFECT DETECTION, LANGUAGE: C

Case Study

Case Study

Feeling that powerful analysis techniques are often overshadowed by testing and review when it comes to creating high quality software, representatives at Lawrence Livermore National Labs wrote this article which makes a compelling business case for the use of static analysis tools. The article contains results from two case studies where automated source code analysis tools were run on C++ code.

TAGS: BUG IDENTIFICATION, DEFECT DETECTION, SOFTWARE QUALITY, SOURCE CODE ANALYSIS, STATIC ANALYSIS