Resources

Klocwork product documentation is available here.

White Paper

White Paper

Automated source code analysis locates and describes areas of weakness in source code. Those weaknesses might be security vulnerabilities, logic errors, implementation defects, concurrency violations, rare boundary conditions, or many other types of problem-causing code. The name of the associated research field is static analysis and while the technology has been around for decades - primarily in the form of lint tools - modern static analysis has little in common with its well known but much maligned ... More

TAGS: DEFECT DETECTION, SOFTWARE QUALITY, SOFTWARE SECURITY, STATIC ANALYSIS, TRUEPATH

White Paper

White Paper

In the push to meet demands for functionality and speed, software teams are moving away from single processor architectures at a rapid rate. But the realities of developing software for these next-generation architectures is introducing significant complexity when it comes to identifying errors in the software - specifically concurrency errors and endian incompatibilities. This paper looks at the challenges of developing for multicore and multiprocessor environments, explains how Klocwork's tools can be used to ... More

TAGS: CONCURRENCY ANALYSIS, DEADLOCK, ENDIAN, LIVELOCK, MULTICORE, SOURCE CODE ANALYSIS

White Paper

White Paper

To keep pace with ever-increasing customer demands on software functionality and time-to-market expectations, software developers have had to evolve the way they develop code to be both faster and higher quality. As part of this trend, Agile development practices are becoming more commonplace. However, to fully realize the benefits of Agile development, it is critical to have a repeatable process for ensuring code is as free of defects and security vulnerabilities as possible. This paper examines how the use of ... More

TAGS: AGILE DEVELOPMENT, DEFECT DETECTION, SOFTWARE SECURITY, SOURCE CODE 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

White Paper

White Paper

The value of peer code review is undeniable. But despite this, it continues to be a much-maligned milestone in the software development cycle. Code reviews are difficult to implement consistently, the review is often left incomplete, and let’s be honest, developers generally don’t like doing them. In this latest white paper, Klocwork provides specific recommendations on how organizations can implement a simple, effective code review process that takes advantage of the latest tools and technologies.

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

White Paper

White Paper

Given the complexity of today's airborne software systems, the use of automated tools can assist in the successful on-time and on-budget delivery of these projects. Automated source code analysis tools locate and describe areas of weakness in source code, and can help address key areas of the DO-178B guidance related to the Software Verification and Software Lifecycle Data requirements. In this white paper, learn how the defect, architecture, and metrics analysis capabilities of Klocwork Insight can be used to ... More

TAGS: AVIONICS, DEFECT DETECTION, DO-178B, INSIGHT, SOFTWARE ARCHITECTURE, SOFTWARE METRICS

White Paper

White Paper

With the adoption of Agile, the need to create high-quality software code in less time has never been greater. In this paper, developers will learn how to maintain velocity and eliminate bug debt with automated tools.

TAGS: AGILE DEVELOPMENT, CODE REVIEW, CONTINUOUS ANALYSIS, REFACTORING, STATIC ANALYSIS

White Paper

White Paper

This Tips and Tricks guide breaks down the topic of software security assurance into a series of questions that fall into these four key areas: Managing for Software Security, Developing for Software Security, Auditing for Software Security, and Testing for Software Security.

TAGS: SOFTWARE QUALITY, SOFTWARE SECURITY