Coverity scan code annotations and modeling file