Klocwork product documentation is available here.
The use of static analysis plays an important role in ensuring the security of source code during the software development cycle. But there are a lot of myths about what static analysis tools can and can't do, ... More
Heartland.Data builds platform-independent debugging tools that deliver fast, real-time data on the execution and performance of software systems. Ensuring software quality and reducing time to market was critical for ... More
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
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.
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
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.
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.