Page Information

Title:	MSC21-C. Use robust loop termination conditions
Author:	David Svoboda	Apr 17, 2009
Last Changed by:	Yozo TODA	Jul 29, 2024
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/x9YxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (1)     Page: ARR30-C. Do not form or use out-of-bounds pointers or array subscripts

Parent Page     Page: Rec. 48. Miscellaneous (MSC)

• rose-possible
• android-applicable
• exceptions
• recommendation
• msc

Time	Editor
Jul 29, 2024 14:38	Yozo TODA	View Changes
wow, and changed from INT_MAX to SIZE_MAX.
Jul 29, 2024 14:34	Yozo TODA	View Changes
Robert missed to change the final occurence of int to size_t at rev.15
Jun 24, 2021 09:44	Svyatoslav Razmyslov	View Changes
Mar 03, 2021 14:28	Kris Kafka	View Changes
Added PC-lint Plus to Automated Detection Table
Aug 30, 2019 18:16	Anirban Gangopadhyay

External Links (7)
    https://pvs-studio.com/en/docs/warnings/v621/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://www.mathworks.com/help/bugfinder/ref/certcrec.msc21…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…

SEI CERT C++ Coding Standard (2)     Home page: SEI CERT C++ Coding Standard     Page: VOID MSC21-CPP. Use inequality to terminate a loop whose counter changes by more than one

SEI CERT Oracle Coding Standard for Java (2)     Home page: SEI CERT Oracle Coding Standard for Java     Page: MSC54-J. Avoid inadvertent wrapping of loop counters

SEI CERT C Coding Standard (14)     Page: LDRA_V     Page: BB. Definitions     Page: CodeSonar     Page: LDRA     Page: PC-lint Plus_V     Page: Polyspace Bug Finder_V     Page: Polyspace Bug Finder     Page: Rose     Home page: SEI CERT C Coding Standard     Page: Astrée_V     Page: CodeSonar_V     Page: Astrée     Page: PC-lint Plus     Page: PVS-Studio_V