Versions Compared

Key

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

...

ToolVersionCheckerDescription
Astrée
Include Page
Astrée_V
Astrée_V

Supported, but no explicit checker
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC-PRE09
Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

Use CERT C: Rec. PRE09-C


Checks for use of dangerous standard function

Use of obsolete standard function

Dangerous functions cause possible buffer overflow in destination buffer

Obsolete routines can cause security vulnerabilities and portability issues

PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
5003Fully implemented

...