SEI CERT Oracle Coding Standard for Java

Space shortcuts

Page tree

Versions Compared

Old Version 100

changes.mady.by.user David Svoboda

Saved on

compared with

New Version Current

changes.mady.by.user David Svoboda

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Using floating-point loop counters can lead to unexpected behavior.

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

NUM09-J

Low

Probable

Low

P6

L2

Automated Detection

Automated detection of floating-point loop counters is straightforward.

ToolVersionCheckerDescription
CodeSonar4.2

PMD.Basic.DontUseFloatTypeForLoopIndices

Don't use float type for loop indicesParasoft Jtest9.5PB-NUM-FPLIImplemented
Parasoft Jtest
Include Page
Parasoft_V
Parasoft_V
CERT.NUM09.FPLIDo not use floating point variables as loop indices
PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V6108

Related Guidelines

SEI CERT C Coding Standard

FLP30-C. Do not use floating-point variables as loop counters

ISO/IEC TR 24772:2010

Floating-point Arithmetic [PLF]

Bibliography

[Aho 1986]
 

[Bloch 2005]

Puzzle 34, "Down for the Count"

[JLS 2015]

§4.2.3, "Floating-Point Types, Formats, and Values"

[Seacord 2015]
Image result for video iconImage Modified NUM09-J. Do not use floating-point variables as loop counters LiveLesson

...


...