Page Information

Title:	FLP32-C. Prevent or detect domain and range errors in math functions
Author:	Admin	Aug 04, 2006
Last Changed by:	Jill Britton	Apr 20, 2023
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/DNcxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (2)     Page: DCL06-C. Use meaningful symbolic constants to represent literal values     Page: FLP04-C. Check floating-point inputs for exceptional values

Android (1)     Page: Applicable in Principle to Android (C Rules/Recomendations)

Parent Page     Page: Rule 05. Floating Point (FLP)

• fortify
• nptc
• rose-na-macros
• error-handling
• rule
• flp
• cwe-682
• nptc-complexity
• in-cpp

Time	Editor
Apr 20, 2023 05:16	Jill Britton	View Changes
Apr 27, 2022 05:58	Jill Britton	View Changes
Mar 18, 2022 09:09	Anirban Gangopadhyay	View Changes
Jan 31, 2022 13:43	David Svoboda	View Changes
Jun 11, 2021 07:37	Aleksandr Karbyshev
axivion tool

External Links (12)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    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/display/c/SEI+CERT+C+Co…
    https://wiki.sei.cmu.edu/confluence/display/c/FLP03-C.+Dete…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/data/definitions/682.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://cwe.mitre.org/data/index.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcruleflp32…

SEI CERT C Coding Standard (21)     Page: TrustInSoft Analyzer     Page: Parasoft_V     Page: RuleChecker     Page: AA. Bibliography     Page: Polyspace Bug Finder_V     Page: Axivion Bauhaus Suite_V     Page: PC-lint Plus_V     Page: Helix QAC     Home page: SEI CERT C Coding Standard     Page: Astrée_V     Page: BB. Definitions     Page: Helix QAC_V     Page: TrustInSoft Analyzer_V     Page: Polyspace Bug Finder     Page: CodeSonar     Page: Parasoft     Page: RuleChecker_V     Page: PC-lint Plus     Page: FLP03-C. Detect and handle floating-point errors     Page: Astrée     Page: CodeSonar_V