]> git.proxmox.com Git - libgit2.git/commit
coverity: add user model
authorPatrick Steinhardt <ps@pks.im>
Tue, 7 Jun 2016 07:17:52 +0000 (09:17 +0200)
committerPatrick Steinhardt <ps@pks.im>
Tue, 7 Jun 2016 07:20:51 +0000 (09:20 +0200)
commit956f1e2387a807a2e3ec25e75d04050c705ab3b9
tree9ba2b82e2821e2ffe27b5ce1f849149308232599
parentf0ee795ccb552b87637c7973ac64f64437baa041
coverity: add user model

The static analysis engine coverity allows for user models
overriding how it treats functions when analyzing code. Like
this, one can greatly reduce the rate of false positives and thus
make it easier to spot actual errors.

Add a user model that overrides function models for `git_buf_len`
and `git_vector_insert`, which together amount for a majority of
false positives.
script/user_model.c [new file with mode: 0644]