You just read:

Synopsys Releases Coverity 8.5 Static Analysis Tool

News provided by

Synopsys, Inc.

Jul 11, 2016, 16:05 ET