You just read:

Synopsys Releases Coverity 8.5 Static Analysis Tool

News provided by

Synopsys, Inc.

11 Jul, 2016, 16:05 ET