- User Since
- Jun 2 2021, 1:14 AM (121 w, 5 d)
Mon, Sep 4
HI, I just started to look into MC/DC, and if I understand correctly, with the current implementation, you can have 100% MC/DC coverage in the following case:
Dec 31 2022
Addressing review comments.
Oct 17 2022
Hi, sorry for the late answer, did not have time to check this in the last few weeks. I will try to address all of the remaining comments.
Jun 27 2022
updates based on comments.
Apr 8 2022
Mar 10 2022
Checker has been moved to bugprone.
Feb 11 2022
I changed the class name: ObsolescentFunctionsCheck->UnsafeFunctionsCheck.
Since MSC33-C is also included, I changed the checker name to cert-msc24-msc33-c.
I added the following functions from CheckSecuritySyntaxOnly under option 'ReportMoreUnsafeFunctions': bcmp, bcopy, bzero, getpw, vfork. Since there is a replacement suggested there, I added the replacement suggestions also.
I did not add tmpnam, tmpfile, mktemp, mkstemp, rand..() to the checker, because there are separate CERT rules for these.
Jan 9 2022
Jan 4 2022
Maybe we could remove the check for setbuf() and rewind() functions, making this a pure Annex K checker. There is an overlapping with another recommendation (https://wiki.sei.cmu.edu/confluence/display/c/ERR07-C.+Prefer+functions+that+support+error+checking+over+equivalent+functions+that+don%27t), these functions are also listed there.
"It seems like none of these projects actually use the annex K functions, which is not really a surprise.
VLC and lighttpd seems to use it. @futogergely could you please run your check on those projects?"
"L129 and L135 are uncovered by tests. The rest of the lines are covered by tests, according to lcov."
This happens if STDC_WANT_LIB_EXT1 is defined empty (L129) or STDC_WANT_LIB_EXT1 is not literal (numeric constant, ...).
Dec 3 2021
Nov 29 2021
x64 debian failed
Jun 10 2021
Jun 7 2021
Jun 3 2021
formatting in instantiate-local-class.cpp