Skip to main content
assistive.skiplink.to.breadcrumbs
assistive.skiplink.to.header.menu
assistive.skiplink.to.action.menu
assistive.skiplink.to.quick.search
Log in
Confluence
Spaces
Hit enter to search
Help
Online Help
Keyboard Shortcuts
Feed Builder
What’s new
Available Gadgets
About Confluence
Log in
SEI CERT C Coding Standard
Pages
Boards
Space shortcuts
Dashboard
Secure Coding Home
Android
C
C++
Java
Perl
Page tree
Browse pages
Configure
Space tools
View Page
A
t
tachments (0)
Page History
Page Information
View in Hierarchy
View Source
Export to PDF
Export to Word
Pages
…
SEI CERT C Coding Standard
3 Recommendations
Rec. 04. Integers (INT)
INT00-C. Understand the data model used by your implementation(s)
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
Incoming Links
SEI CERT C Coding Standard (1)
Page:
INT15-C. Use intmax_t or uintmax_t for formatted IO on programmer-defined integer types
Hierarchy
Parent Page
Page:
Rec. 04. Integers (INT)
Labels
Global Labels (5)
rose-na-macros
android-applicable
recommendation
arithmetic
int
Recent Changes
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
View Page History
Outgoing Links
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
Overview
Content Tools
{"serverDuration": 80, "requestCorrelationId": "c4764dfdf4a82a50"}