Page History

Coverity

ARRAY_VS_SINGLETON

Can detect the access of memory past the end of a memory buffer/array.

Coverity

NEGATIVE_RETURNS

Can detect when the loop bound may become negative.

Coverity

OVERRUN_STATIC
OVERRUN_DYNAMIC

Can detect the out-of-bound read/write to array allocated statically or dynamically.

Klocwork

ABV.ITERATOR SV.TAINTED.LOOP_BOUND

Compass/ROSE

Could be configured to catch violations of this rule. The way to catch the noncompliant code example is to first hunt for example code that follows this pattern:

   for (LPWSTR pwszTemp = pwszPath + 2; *pwszTemp != L'\\';
   *pwszTemp++;)

In particular, the iteration variable is a pointer, it gets incremented, and the loop condition does not set an upper bound on the pointer. Once this case is handled, we can handle cases like the real noncompliant code example, which is effectively the same semantics, just different syntax. 

47 S
476 S
64 X
68 X
69 X