Add Coverity model file