Month: May 2018

Protect against Spectre using Static Analysis

klocwork logo

Achieve new levels of security and standards compliance Now available, the Klocwork Spectre variant 1 checker detects potential Spectre vulnerabilities in your code. What is Spectre: Spectre variant 1 exploits a CPU optimisation technique, known as speculative execution, which may open the door to your critical data. What to do: You can detect and resolve… Read more »

Boost your Klocwork MISRA C 2012 Coverage


Emenda have released a new Klocwork checker package for MISRA C 2012. The package provides support for 11 additional rules and 3 amendment 1 rules. Full details, along with details for requesting the package, can be found here. For more details on how we can help your organisation improve MISRA coverage, or with any Static… Read more »

Emenda Klocwork MISRA C 2012 Extra Coverage

Emenda have developed a package of checkers that provide additional coverage to the existing Klocwork MISRA C 2012 guidelines. Currently based on the latest Klocwork release (v2018.0), the package provides coverage for 11 additional MISRA C 2012 rules and 3 additional MISRA C 2012 Amendment 1 rules. The package introduces the all new Emenda Architectural… Read more »

Emenda Israel – Open for business!

We are delighted to announce the opening of a new premises in Israel (Shaar Efraim) For the past 10 years Emenda has provided the tools and expertise to help developers efficiently build software that’s more reliable and more secure. This new Israeli structure will be able to provide all 10 years expertise into the Israel… Read more »