Category: Featured

Creating Klocwork Metrics Reports using Built-in Metrics

What are Klocwork Metrics Reports? In this article, we will go through the steps necessary to use Klocwork’s powerful built-in metrics analysis to produce interactive reports that will let you quickly spot code that needs refactoring. Here is an example of a report based on methods exceeding a cyclomatic complexity value of 20. If you… Read more »

Enterprise-level Static Analysis within QT Creator

Static Analysis within QT Creator Up until now, developers using the popular QT Creator IDE have had no easy way to statically analyse their code on an enterprise-level and get instant, within-IDE feedback. We are proud to announce that with the introduction of Emenda’s Klocwork QT Creator plugin, that has changed. QT Creator users can… Read more »

Klocwork NASA Power of Ten Taxonomy released

The Power of 10 Rules were created in 2006 by the NASA/JPL Laboratory for Reliable Software. The rules are intended to eliminate certain C coding practices which make code difficult to review or statically analyse. These rules are a complement to the MISRA C guidelines and have been incorporated into the greater set of JPL coding standards. Developed by Emenda, the Klocwork NASA Power of… Read more »

Using Klocwork with Docker

Containing Klocwork Builds with Docker There are a number of options when looking at managing Klocwork build machines for multiple environments and tool chains. The original solution involved providing each environment with dedicated hardware. Then the ability became available to host multiple operating systems concurrently on the same hardware using virtual machines. The next step… Read more »

The Klocwork API and Dashing Dashboards

What is Dashing and Why is it Great? There are many ways one can take advantage of the flexibility and power of the Klocwork API. Using Dashing, a popular open-source dashboard framework, you can make beautiful (dare I say ‘dashing’) dashboards that can give both a high level and detailed overview of all your Klocwork… Read more »

Security Innovation – Centre of Excellence (Automotive)

Security Innovation Logo

Security Innovation’s six Centres of Excellence (CoE’s) serve as the nerve centre for ongoing research and knowledge dissemination on critical computing platforms, technologies, and emerging threats. They yield ongoing methodology refinement, skills progression, and custom tools development that helps us understand systemic causes that lead to vulnerable software – and fuel our innovative approaches and solutions…. Read more »

The time you could fix that bug is gone!

Safety Critical Development best practices can help lower QA costs by proactively addressing complexity in the Design and Development Phases. click here to download a .pdf version of this paper. Should I read this paper? This paper is relevant if you manufacture systems with a software component, are not using formal modeling such as MATLAB,… Read more »

Formal Requirement vs User Story

Click here to download a .pdf version of this paper. In a recent article, I have argued that the ability to automatically validate and evaluate the “English” language in technical documents let us write better requirements, but also let us establish clear, concise, and most importantly, verifiable goals. This results directly in cost reductions in… Read more »

Requirements Verification in Microsoft Word

So, as so often is the case, your initial project ideas and notes have morphed into a formal requirements document in Microsoft Word, and now you need to make that something concise, consistent and unambiguous, in preparation for a more formal process henceforth. Requirements verification is what you need, and Semios can help! Semios installs… Read more »