Skip to content

Commit

Permalink
Dummy coverity modeling file.
Browse files Browse the repository at this point in the history
This doesn't do anything. It is just the (well
written) comments taken from the python one
https://bitbucket.org/mirror/cpython/src/ccbe2132392b180a082c75789f38afb4174f6cb3/Misc/coverity_model.c
  • Loading branch information
peterfpeterson committed Feb 27, 2015
1 parent 35b686b commit daf9984
Showing 1 changed file with 18 additions and 0 deletions.
18 changes: 18 additions & 0 deletions Code/Mantid/Build/coverity_model.c
@@ -0,0 +1,18 @@
/* Coverity Scan model
*
* This is a modeling file for Coverity Scan. Modeling helps to avoid false
* positives.
*
* - A model file can't import any header files.
* - Therefore only some built-in primitives like int, char and void are
* available but not wchar_t, NULL etc.
* - Modeling doesn't need full structs and typedefs. Rudimentary structs
* and similar types are sufficient.
* - An uninitialized local pointer is not an error. It signifies that the
* variable could be either NULL or have some data.
*
* Coverity Scan doesn't pick up modifications automatically. The model file
* must be uploaded by an admin in the analysis settings of
* http://scan.coverity.com/projects/2832
*/

0 comments on commit daf9984

Please sign in to comment.