AdaCore Collaborates with Synopsys to Offer Ada Static Analysis Solution to Coverity Customers
AdaCore, a trusted provider of software development and verification tools, today announced that it is collaborating with Synopsys Software Integrity Group, a leading provider of advanced application security testing tools, to make AdaCore’s GNAT Static Analysis Suite available to Synopsys Coverity® static analysis customers. Synopsys markets the Coverity tool, which improves the reliability, safety, and security of applications written in…
James Croall Quentin Ochem Synopsys Software Integrity Group Most Dangerous Software Errors Analysis Suite Dangerous Software
Source: eejournal.com