Synopsys expands Coverity support for programming languages

Coverity 2018.01 highlights:

• Introduces support for Scala and VB.NET
• Provides full support for SEI CERT C coding standard rules (2016 edition)
• Includes enhanced plugins for Jenkins continuous integration (CI) server to enable automated testing in DevOps environments

“Secure, high quality software is becoming increasingly an imperative for business success and the well-being of end users in the face of the growing threat landscape,” said Andreas Kuehlmann, General Manager of Synopsys Software Integrity Group.

“In parallel, the pace and process by which software is developed are changing dramatically. For this reason, the tools used to find defects and potential security vulnerabilities throughout the development life cycle need to evolve as well. By supporting new programming languages, secure coding standards, and out-of-the-box integrations with modern development tools, Synopsys enables organisations to expand their software portfolios and embrace new development paradigms like DevOps with the assurance that their code is high quality and secure.”

Coverity has been recognised as a leading application security testing solution by Gartner, Forrester, IDC, and VDC, and is a core component of the Synopsys Software Integrity Platform. The new enhancements and features of Coverity 2018.01 include these: 

• Expanded language coverage: Coverity enables organisations to proactively build security and quality into their applications, even as they broaden their software portfolios and embrace new languages, frameworks, and technologies such as mobile and microservices. With each release, Synopsys continues to expand Coverity’s support for new programming languages while strengthening its security analysis for existing languages. Coverity 2018.01 adds support for two new languages: Scala, commonly used in microservices-based application development, and VB.NET. The latest Coverity release also provides enhanced security analysis for Swift, PHP, Python, JavaScript, Java, C#, and Node.js. With these additions, Coverity supports the key programming languages used to build embedded and enterprise software.
• Support for secure coding standards: Coverity enables organisations to comply with coding standards that promote the security, reliability, and safety of critical embedded software. With the latest 2018.01 release, Coverity fully supports SEI CERT C (2016 edition), an industry standard for secure coding. In addition to CERT C, Coverity also supports all versions of the MISRA coding standard and is ISO 26262 certified.
• Integration with modern development toolchains: Coverity is designed to support rapid and automated development workflows, with support for and integration with many of the popular development tools. Coverity 2018.01 provides plugins for the latest IDEs, including Visual Studio, Eclipse, IntelliJ, Android Studio, and many others. For streamlined security testing, the latest release also supports out-of-the-box integration with Jenkins continuous integration (CI) server. Coverity’s new Jenkins plugin has improved Jenkins Pipeline support, which enables retrieval of found issues by project and has enhanced data-filtering capabilities.