Seth Hallem, Coverity