SEI CERT C Coding Standard

Space shortcuts

Page tree

Title: FLP03-C. Detect and handle floating-point errors  
Author: Abhijit Rao Apr 14, 2008
Last Changed by: Kris Kafka Mar 03, 2021
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/vNUxBQ
Export As: Word · PDF  
Incoming Links
SEI CERT C Coding Standard (1)
    Page: FLP32-C. Prevent or detect domain and range errors in math functions
Hierarchy
Parent Page
    Page: Rec. 05. Floating Point (FLP)
Labels
Global Labels (6)
Recent Changes
Time Editor  
Mar 03, 2021 14:56 Kris Kafka View Changes
Added PC-lint Plus to Automated Detection Table
Aug 30, 2019 17:34 Anirban Gangopadhyay View Changes
Aug 09, 2018 16:30 Anirban Gangopadhyay View Changes
Aug 06, 2018 06:24 Michal Rozenau View Changes
Parasoft C/C++test 10.4
Mar 12, 2018 18:30 Arthur Hicken  
update parasoft
Outgoing Links
External Links (9)
    msdn.microsoft.com/en-us/library/te2k2f2t%28VS.80%29.aspx
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/data/definitions/369.html
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    www.tybor.com/tflt2int.c
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/
    https://www.mathworks.com/help/bugfinder/ref/certcrec.flp03…
SEI CERT C++ Coding Standard (2)     Page: VOID FLP03-CPP. Detect and handle floating point errors
    Home page: SEI CERT C++ Coding Standard
SEI CERT C Coding Standard (15)     Page: Polyspace Bug Finder_V
    Page: AA. Bibliography
    Page: PC-lint Plus_V
    Page: PC-lint Plus
    Page: BB. Definitions
    Page: Parasoft_V
    Page: Parasoft
    Page: FLP34-C. Ensure that floating-point conversions are within range of the new type
    Page: Astrée
    Page: Astrée_V
    Home page: SEI CERT C Coding Standard
    Page: LDRA_V
    Page: Rose
    Page: LDRA
    Page: Polyspace Bug Finder