Coverity, Inc., Coverity