Resources

Klocwork product documentation is available here.

Article

Article

Migrating embedded software to Intel® architecture always requires an evaluation of code compatibility and dependencies between the existing code base and the Intel platform. Particularly in cases where the code base is a large, complex, legacy system - or a system hardcoded for big-endian memory - it is critical to understand the scope and eliminate the risk of the migration. This article on page 138 of the Intel Technology Journal describes how C/C++ source code analysis can help with architecture ... More

TAGS: EMBEDDED PROGRAMMING, ENDIAN, INTEL, LANGUAGE: C, MULTICORE, SOURCE CODE ANALYSIS

Article

Article

Embedded software is a ubiquitous presence onboard aircraft today. Just as software has become a key element in everything from consumer vehicles to household appliances, it is also critical to aircraft control. Beyond mission-critical avionics systems, software is also increasingly present in commercial aircraft galley equipment, passenger onboard entertainment systems and, more recently, wi-fi networks for passengers.

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

Article

Article

With the types of security attacks, what they're targeting, and where they're coming from continuing to grow, the problem of software security can seem overwhelming. But with an alarming number of security vulnerabilities starting within the software code itself, writing clean code becomes an important weapon in your defense against security attacks. This article solicits input from industry experts on the reality of software security, the common security mistakes being made, and how to avoid them. Reprinted with ... More

TAGS: SOFTWARE SECURITY, STATIC ANALYSIS

Article

Article

Based on Klocwork's introduction of the first on-the-fly source code analysis tool and their contribution to improving the state of software security and QA, Klocwork was named to the 2012 SD Times 100. Learn more about the company's recent accomplishments in this SD Times profile.

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

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