summaryrefslogtreecommitdiff
path: root/script/user_model.c
Commit message (Collapse)AuthorAgeFilesLines
* coverity: model functions printing into git_bufPatrick Steinhardt2016-06-071-0/+38
| | | | | | The `git_buf` structure seems to be too complicated to correctly grasp for Coverity. As such, add simpler models trying to guide Coverity and remove false positives related to these functions.
* coverity: add user modelPatrick Steinhardt2016-06-071-0/+37
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.