Date: Wed, 21 Oct 2015 12:47:56 +0000 From: bugzilla-noreply@freebsd.org To: freebsd-bugs@FreeBSD.org Subject: [Bug 203924] makefs: Coverity CID 976924: False positive Message-ID: <bug-203924-8@https.bugs.freebsd.org/bugzilla/>
next in thread | raw e-mail | index | archive | help
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=203924 Bug ID: 203924 Summary: makefs: Coverity CID 976924: False positive Product: Base System Version: 11.0-CURRENT Hardware: Any OS: Any Status: New Severity: Affects Only Me Priority: --- Component: bin Assignee: freebsd-bugs@FreeBSD.org Reporter: scdbackup@gmx.net usr.sbin/makefs/cd9660.c CID 976924: Memset fill value of '0' (NO_EFFECT)bad_memset: Memset with fill value '0' (the zero character). 684 memset(diskStructure.primaryDescriptor.expiration_date, 48, 16UL). 685 diskStructure.primaryDescriptor.expiration_date[16] = 0; --------------- Source analysis: This is correct. ECMA-119 8.4.26.1 says: "If all characters in RBP 1 to 16 of this field are the digit ZERO and the number in RBP 17 is zero, it shall mean that the date and time are not specified." "digit ZERO" means ASCII 48 = '0', "zero" means ASCII 0 = NUL. --------------- Remedy proposal: In Coverity classify CID 976924 as "False positive" and set its Action to "Ignore". -- You are receiving this mail because: You are the assignee for the bug.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-203924-8>