summaryrefslogtreecommitdiff
path: root/coverity
Commit message (Collapse)AuthorAgeFilesLines
* cov: drop model for origin_from_cowZdenek Kabelac2020-09-121-0/+2
|
* coverity: model few more functionsZdenek Kabelac2017-06-271-0/+13
| | | | Reduce amount of FP.
* coverity: update modelsZdenek Kabelac2017-03-161-0/+11
| | | | | Latest versions do get quite strange - so let's use suggestions from their authors...
* doc: change fsf addressZdenek Kabelac2016-01-211-1/+1
| | | | | Hmm rpmlint suggest fsf is using a different address these days, so lets keep it up-to-date
* coverity: trying different modelZdenek Kabelac2015-11-171-2/+3
| | | | | | | Model reseting of given set, but it still makes FD_SET to think it's accessing uninitialized value. Maybe model also FD_SET.
* coverity: model FD_ZEROZdenek Kabelac2015-11-161-6/+19
| | | | | | | | Coverity is not able to understand assembly language in system's header file, so provide model for such macro. Note: to really see model in-use: #nodef FD_ZERO model_FD_ZERO need to go to coverity/config/user_nodefs.h
* coverity: model some functionZdenek Kabelac2015-11-131-0/+94
| | | | | Reduce number of false-positives and model functions in a way Coverity is able to understand it.
* coverity: Add placeholder modelling file.Alasdair G Kergon2015-11-101-0/+14
View Lorry Controller Status