In the aerospace industry, Klocwork helps businesses address the Software Verification and Software Lifecycle Data objectives outlined by DO-178B/C. Klocwork is classified as a software verification tool by the DO-178B guidance and its use on any particular project needs to be qualified by the customer. Klocwork/SDC Systems assists in this process by providing a Qualification Package that includes a Tool Qualification Plan, Tool Operational Requirements, and Tool Qualification Data.
Klocwork is being used successfully in safety-critical and high-integrity embedded systems where system faults are simply not acceptable and, in many cases, compliance with industry standards is required (IEC 61508, ISO 26262, EN 51208, IEC 62304, DO-178B/C, MISRA etc).
Klocwork includes built-in checkers to support all of the leading Security standards CWE, CERT, DISA STIG, CWE/SANS Top 25, OWASP, MISRA. Klocwork also allows organisations to quickly introduce their own customised security checkers to meet the ever-changing threat landscape
Trapping security vulnerabilities
Defensive coding through automation with a threat model in hand, developers can begin to drill-down and identify the specific security vulnerabilities that could expose their embedded software to risk. Programmers, however, aren’t security experts and can miss common security gaps, logic errors, and concurrency violations that expose code to external threats.
Automated static code analysis (SCA) tools can assist embedded software developers by helping to eliminate security vulnerabilities early in the development cycle. While automotive software development teams are familiar with traditional SCA tools, they’re limited to finding programmatic bugs only. Modern tools can detect security vulnerabilities and defects as the developer is writing code. This helps developers build security into their code and reduce risk as early as possible, without burdening the project with a lengthy defect-testing phase.
Static analysis tools can identify hundreds — if not thousands — of security vulnerabilities, including critical vulnerabilities such as buffer overflows, uninitialized data, use of dangling pointers, injection flaws, and the use of known insecure APIs and libraries.
About Rogue Wave Software
Rogue Wave Software are the largest independent provider of cross-platform software development tools and embedded components in the world. Through decades of solving the most complex problems across financial services, telecommunications, healthcare, government, academia, and other industries, Rogue Wave tools, libraries, and services enable developers to write better code, faster. More details…
Find out more…
For more information on Klocwork static analysis tools, avionics standards compliance or to arrange a 7-day free trial, please complete the form below.