Good news for companies and researchers who use static analysis tools; Synopsys, a leading provider of software and programming security has announced an expansion of their industry-leading static analysis tool.
For the latest version of their Coverity 2018.01 tool, which analyzes source code to detect critical quality and security defects early in the software development life cycle. Coverity 2018.01 extends the tool’s support for new programming languages, coding standards, and development tool integrations.
“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 the 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 organizations 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 recognized 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 organizations 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 organizations 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.
