SEI CERT C Coding Standard

Space shortcuts

Page tree

Title: FLP00-C. Understand the limitations of floating-point numbers  
Author: Shaun Hedrick Jun 03, 2008
Last Changed by: David Svoboda May 20, 2025
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/ttYxBQ
Export As: Word · PDF  
Incoming Links
SEI CERT Oracle Coding Standard for Java (1)
    Page: NUM53-J. Use the strictfp modifier for floating-point calculation consistency across platforms
SEI CERT C Coding Standard (1)
    Page: FLP05-C. Do not use denormalized numbers
Hierarchy
Parent Page
    Page: Rec. 05. Floating Point (FLP)
Labels
Global Labels (4)
Recent Changes
Time Editor  
May 20, 2025 07:35 Amy Gale View Changes
REM Cost Reform
Mar 10, 2025 17:53 Amy Gale View Changes
Added entry for new CodeSonar warning class
Jan 29, 2025 23:54 Amy Gale View Changes
Oct 03, 2022 09:53 Jill Britton View Changes
Mar 03, 2021 13:48 Kris Kafka  
Added PC-lint Plus to Automated Detection Table
Outgoing Links
External Links (6)
    www.network-theory.co.uk/docs/gccintro/gccintro_70.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcrec.flp00…
SEI CERT Oracle Coding Standard for Java (2)     Home page: SEI CERT Oracle Coding Standard for Java
    Page: NUM53-J. Use the strictfp modifier for floating-point calculation consistency across platforms
SEI CERT C++ Coding Standard (3)     Home page: SEI CERT C++ Coding Standard
    Page: VOID FLP35-CPP. Take granularity into account when comparing floating point values
    Page: VOID FLP00-CPP. Understand the limitations of floating-point numbers
SEI CERT C Coding Standard (16)     Page: CodeSonar_V
    Home page: SEI CERT C Coding Standard
    Page: Parasoft
    Page: FLP01-C. Take care in rearranging floating-point expressions
    Page: Polyspace Bug Finder_V
    Page: ECLAIR
    Page: AA. Bibliography
    Page: CodeSonar
    Page: PC-lint Plus_V
    Page: FLP02-C. Avoid using floating-point numbers when precise computation is needed
    Page: Helix QAC
    Page: BB. Definitions
    Page: Helix QAC_V
    Page: Parasoft_V
    Page: PC-lint Plus
    Page: ECLAIR_V