7 Commits

Author	SHA1	Message	Date
Zdenek Kabelac	3fe67217d4	coverity: model few more functions ... Reduce amount of FP.	2017-06-27 12:17:16 +02:00
Zdenek Kabelac	0dcb928d1e	coverity: update models ... Latest versions do get quite strange - so let's use suggestions from their authors...	2017-03-16 01:02:10 +01:00
Zdenek Kabelac	fcbef05aae	doc: change fsf address ... Hmm rpmlint suggest fsf is using a different address these days, so lets keep it up-to-date	2016-01-21 12:11:37 +01:00
Zdenek Kabelac	6167f5da10	coverity: trying different model ... Model reseting of given set, but it still makes FD_SET to think it's accessing uninitialized value. Maybe model also FD_SET.	2015-11-17 19:01:25 +01:00
Zdenek Kabelac	5d4f5873a9	coverity: model FD_ZERO ... 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	2015-11-16 01:16:11 +01:00
Zdenek Kabelac	3089f5ab15	coverity: model some function ... Reduce number of false-positives and model functions in a way Coverity is able to understand it.	2015-11-13 11:18:27 +01:00
Alasdair G Kergon	59905100d1	coverity: Add placeholder modelling file.	2015-11-10 01:37:11 +00:00