Coverity addon, initial version