SEI CERT C Coding Standard

Space shortcuts

Page tree

Title: FLP04-C. Check floating-point inputs for exceptional values  
Author: Michael Rosenman Mar 17, 2009
Last Changed by: Joerg Herter Oct 16, 2018
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/sNYxBQ
Export As: Word · PDF  
Incoming Links
SEI CERT Oracle Coding Standard for Java (1)
    Page: NUM08-J. Check floating-point inputs for exceptional values
Android (1)
    Page: Applicable in Principle to Android (C Rules/Recomendations)
Hierarchy
Parent Page
    Page: Rec. 05. Floating Point (FLP)
Labels
Global Labels (3)
Recent Changes
Time Editor  
Oct 16, 2018 07:08 Joerg Herter View Changes
Nov 16, 2017 14:41 Will Snavely View Changes
Sep 11, 2017 05:03 Joerg Herter View Changes
Mar 31, 2015 23:42 Will Snavely View Changes
Mar 30, 2015 16:28 Will Snavely  
Outgoing Links
External Links (4)
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    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 FLP04-CPP. Check floating point inputs for exceptional values
SEI CERT Oracle Coding Standard for Java (2)     Home page: SEI CERT Oracle Coding Standard for Java
    Page: NUM08-J. Check floating-point inputs for exceptional values
SEI CERT C Coding Standard (6)     Page: Astrée
    Page: AA. Bibliography
    Home page: SEI CERT C Coding Standard
    Page: Astrée_V
    Page: FLP32-C. Prevent or detect domain and range errors in math functions
    Page: BB. Definitions