Ada Resource Association

AdaCore is collaborating with Synopsys Software Integrity Group 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 a number of programming languages, including C and C++. To support Coverity customers needing static analysis for the Ada programming language, Synopsys is AdaCore. Joint customers will be able to use AdaCore’s GNAT Static Analysis Suite for Ada, integrated within the Coverity solution, providing a common interface to navigate static analysis results for all languages.