initial version of coverity model file

does nothing yet
minor fix according to Coverity scan