The acquisition will provide the electronic design automation company with additional static analysis technology to extend the capabilities of its software integrity platform and create new business opportunities.

Forcheck technology will be integrated into Synopsys Coverity static analysis solution to provide support for software written in the Fortran programming language, which is a popular choice for numerically intensive scientific and engineering applications in industries such as oil and gas, military, defense and aerospace.

Yet the specific details of the deal have not been disclosed.

The addition of Fortran to the growing list of languages and frameworks supported by Coverity aligns with the overarching strategy to extend its best of breed software testing solutions to a broader audience, from organizations developing web and mobile applications to software embedded in critical infrastructure and safety-critical systems. Coverity also supports analysis of software written in C/C++, Objective-C, C#, Java, JavaScript, PHP, Python, Ruby, node.js, and Android.

"We are committed to expand the software integrity platform to improve the security and quality of business-, mission- and safety-critical software," said Andreas Kuehlmann, senior vice president and general manager of Synopsys software integrity group. "The acquisition of Forcheck technology provides Synopsys with unique capabilities and extends the utility of the software integrity platform for organizations developing and maintaining critical infrastructure systems written in Fortan."

Through its software integrity platform, the company provides advanced solutions for improving the security and quality of software. This comprehensive platform of automated analysis and testing technologies integrates seamlessly into the software development process and enables organizations to detect and remediate security vulnerabilities, quality defects and compliance issues early in the software development lifecycle, as well as to gain security assurance with and visibility into their software supply chain.