Author: imp
Date: Tue Jan 23 18:01:40 2018
New Revision: 328292
URL: https://svnweb.freebsd.org/changeset/base/328292
Log:
There's no tainted data here, tag it as such to avoid the slew of
false positives. The files the boot loader reads are assumed to be
good.
CID: 1006663,1006665,1265013, 1265014 (possibly more)
Sponsored by: Netflix
Modified:
head/stand/common/misc.c
Modified: head/stand/common/misc.c
==============================================================================
--- head/stand/common/misc.c Tue Jan 23 18:01:36 2018 (r328291)
+++ head/stand/common/misc.c Tue Jan 23 18:01:40 2018 (r328292)
@@ -138,6 +138,7 @@ kern_pread(int fd, vm_offset_t dest, size_t len, off_t
* Read the specified part of a file to a malloced buffer. The file
* pointer is advanced to the end of the read data.
*/
+/* coverity[ -tainted_data_return ] */
void *
alloc_pread(int fd, off_t off, size_t len)
{
_______________________________________________
svn-src-all@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-all
To unsubscribe, send any mail to "svn-src-all-unsubscr...@freebsd.org"
