Page Information

Title:	INT00-C. Understand the data model used by your implementation(s)
Author:	Robert Seacord	Feb 06, 2007
Last Changed by:	David Svoboda	May 20, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/IdcxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (1)     Page: INT15-C. Use intmax_t or uintmax_t for formatted IO on programmer-defined integer types

Parent Page     Page: Rec. 04. Integers (INT)

• rose-na-macros
• android-applicable
• recommendation
• arithmetic
• int

Time	Editor
May 20, 2025 07:14	Svyatoslav Razmyslov	View Changes
REM Cost Reform
Jun 25, 2021 04:08	Svyatoslav Razmyslov	View Changes
Jun 24, 2021 10:08	Svyatoslav Razmyslov	View Changes
Mar 03, 2021 14:56	Kris Kafka	View Changes
Added PC-lint Plus to Automated Detection Table
Mar 03, 2021 13:45	Kris Kafka
Removed PC-lint Plus from Automated Detection Table which was incorrectly added

External Links (9)
    https://pvs-studio.com/en/docs/warnings/v5004/
    https://www.mathworks.com/help/bugfinder/ref/certcrec.int00…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    BB. Definitions#implementation-defined behavior
    BB. Definitions#implementation
    https://pvs-studio.com/en/docs/warnings/v629/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio

SEI CERT C++ Coding Standard (2)     Home page: SEI CERT C++ Coding Standard     Page: VOID INT00-CPP. Understand the data model used by your implementation(s)

SEI CERT C Coding Standard (12)     Page: DCL03-C. Use a static assertion to test the value of a constant expression     Page: INT32-C. Ensure that operations on signed integers do not result in overflow     Page: BB. Definitions     Page: Polyspace Bug Finder     Home page: SEI CERT C Coding Standard     Page: PVS-Studio_V     Page: AA. Bibliography     Page: Axivion Bauhaus Suite     Page: Polyspace Bug Finder_V     Page: Axivion Bauhaus Suite_V     Page: PC-lint Plus     Page: PC-lint Plus_V