High Integrity C++
Initially published in 2003, High Integrity C++ (HIC++) is one of the longest established coding standards for C++. It consists of rules that are actively maintained to improve maintenance, portability, readability, and safety of code especially for safety-critical applications.
Emenda has developed a taxonomy using existing Klocwork checkers for the latest version of HIC++ (Version 4.0) which will allow Klocwork customers to automatically check for violations of HIC++ using industry leading static code analysis.
To request a copy of the taxonomy, please fill out the contact form at the bottom of this page.
What is a Taxonomy?
A taxonomy is an organisational structure for your analysis results. They allow you to view the results of your build analysis in unlimited ways. As most Klocwork Users are aware, there are three default taxonomies: C and C++, Java, and C#. Each taxonomy contains multiple categories, and each category contains multiple issue types. A Klocwork administrator can create or import taxonomies, each with a distinct set of checkers, to match an organisation’s reporting needs – in this case violations of the HIC++ rules, currently using the existing checkers available to Klocwork Users.
Installing the Taxonomy and Metrics Configuration
- Log in to Klocwork Static Code Analysis.
- In Klocwork Static Code Analysis‘s project list, click the project you want to upload the taxonomy to.
- In the project details, click Configuration.
- On the Configuration page, click Add a configuration file.
- In the Choose file dialog, browse to the hicpp_v4.0.tconf Taxonomy file.
- Click Upload. The HIC++ taxonomy now appears in the tree.
- Repeat steps 5. and 6. for the hicpp_v4.0.mconf Metrics file.
- Expand the HIC++ taxonomy and ensure all the required checkers are enabled.
- Click the save Icon.
- If you have enabled any new checkers, the next Klocwork analysis will show the new results.
- Klocwork 2017
- We recommend using Klocwork 2017.3 or later with the taxonomy to achieve the best analysis quality, although it is also compatible with earlier versions of Klocwork 2017.
- MISRA checkers package
- The MISRA checkers package (included with Klocwork) must also be installed. Details for installing the MISRA Checkers can be found here.