1. 23 Oct, 2015 1 commit
    • Christian Beer's avatar
      add coverity model file · 0be7ba44
      Christian Beer authored
      This defines behaviour of functions that Coverity Scan is not aware of.
      The file has no immediate effect. A user with the Maintainer/Owner role on scan.coverity.com has to upload the file in order to make it work.