Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Parasoft C/C++test 10.4

...

Tool

Version

Checker

Description

LDRA tool suite
Include Page
LDRA_V
LDRA_V
618 SEnhanced Enforcement
Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

BD-PB-ARRAY, MISRA-101, CODSTA-190

CERT_C-FLP37-a
CERT_C-FLP37-b
CERT_C-FLP37-c

Avoid accessing arrays out of bounds
Pointer arithmetic should not be used
Do not use object representations to compare floating-point values

Implemented

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

Memory comparison of float-point valuesObject representation of floating-point values can be different (same) for equal (not equal) floating-point values
 PRQA QA-C9.1 5026 

...