Linux still "benchmark of quality" in this year's Coverity Scan