Page Information

Title:	FLP06-C. Convert integers to floating point for floating-point operations
Author:	Abhishek Arya	Apr 05, 2007
Last Changed by:	Jill Britton	Apr 20, 2023
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/z9UxBQ
Export As:	Word · PDF

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

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

• ldra
• compass/rose
• splint
• review
• cwe-681
• exceptions
• rose-complete
• recommendation
• flp
• cwe-682

Time	Editor
Apr 20, 2023 06:11	Jill Britton	View Changes
Jun 24, 2021 10:09	Svyatoslav Razmyslov	View Changes
Apr 23, 2021 12:32	Jill Britton	View Changes
Apr 21, 2021 05:22	Jill Britton	View Changes
Apr 20, 2021 06:39	Jill Britton

External Links (11)
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://pvs-studio.com/en/docs/warnings/v636/
    cwe.mitre.org/data/definitions/682.html
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    cwe.mitre.org/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/data/definitions/681.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.securecoding.cert.org/confluence/display/seccod…
    https://www.mathworks.com/help/bugfinder/ref/certcrec.flp06…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…

SEI CERT C Coding Standard (23)     Page: Helix QAC     Page: Polyspace Bug Finder     Page: CodeSonar     Page: LDRA_V     Page: PC-lint Plus     Page: Splint_V     Page: Astrée     Page: PVS-Studio_V     Page: Parasoft_V     Page: Helix QAC_V     Page: LDRA     Home page: SEI CERT C Coding Standard     Page: Astrée_V     Page: CodeSonar_V     Page: Splint     Page: Parasoft     Page: Rose     Page: FLP34-C. Ensure that floating-point conversions are within range of the new type     Page: AA. Bibliography     Page: Axivion Bauhaus Suite     Page: Polyspace Bug Finder_V     Page: Axivion Bauhaus Suite_V     Page: PC-lint Plus_V

SEI CERT Oracle Coding Standard for Java (2)     Page: NUM50-J. Convert integers to floating point for floating-point operations     Home page: SEI CERT Oracle Coding Standard for Java

SEI CERT C++ Coding Standard (2)     Page: VOID FLP05-CPP. Convert integers to floating point for floating point operations     Home page: SEI CERT C++ Coding Standard