Resources

Klocwork product documentation is available here.

Article

Article

With new aircraft now being highly software dependent – software verification and integrity is becoming ever more vital. Tim Robinson speaks to one company who are experts in squashing these software bugs in mission-critical code.

TAGS: AVIONICS, DO-178B, EMBEDDED PROGRAMMING, SOFTWARE VERIFICATION, STATIC ANALYSIS

Video

Video

Klocwork Inspect offers a lightweight, web-based approach to the often mandatory, but traditionally time-consuming code review process. See how this tool can make your code review process more effective.

TAGS: CODE REVIEW, SOFTWARE VERIFICATION

On-Demand Webinar

On-Demand Webinar

Peer code reviews are a vital step in the software development cycle but everyone knows the challenges involved. Learn how a tools-based approach to peer code reviews can unleash the benefits of this important development milestone by incorporating social media concepts, enabling collaboration and communication amongst reviewers, and combining static analysis with code reviews.

TAGS: CODE REVIEW, SOFTWARE VERIFICATION, SOURCE CODE ANALYSIS, STATIC ANALYSIS

White Paper

White Paper

Producing high-quality, feature-rich software while meeting regulatory guidelines presents a unique set of challenges for those developing medical device software. In this paper for medical device software managers, learn how an effective verification process can help achieve FDA compliance and meet productivity goals.

TAGS: DEVELOPER PRODUCTIVITY, MEDICAL DEVICES, SOFTWARE VERIFICATION, STATIC ANALYSIS

Case Study

Case Study

Sencore needed a static analysis tool to help catch software defects to ensure high-reliability video transmissions to its customers. Sencore used Klocwork Insight to analyze its software builds for memory leaks and critical issues that might compromise the quality of the video stream its solutions deliver.

TAGS: CONTINUOUS ANALYSIS, INSIGHT, LANGUAGE: C, SOFTWARE QUALITY, SOFTWARE SECURITY, SOFTWARE VERIFICATION, SOURCE CODE ANALYSIS, STATIC ANALYSIS

White Paper

White Paper

No one wants to be on the hot seat when a critical vulnerability is exploited in the field or when a coding mistake causes product recalls, brand damage, or revenue losses. Source code analysis helps developers and development teams avoid this exposure by performing the most rigorous form of automated code review possible. This paper discusses what issues can be found with source code analysis, why developers should use them, and why the technology should be apart of every development build chain.

TAGS: SOFTWARE QUALITY, SOFTWARE SECURITY, SOFTWARE VERIFICATION, SOURCE CODE ANALYSIS