Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Added Axivion Bauhaus entry to Automated Detection table

...

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V
octal-constantFully checked
Axivion Bauhaus Suite
Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V
CertC-DCL18
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
LANG.TYPE.OCOctal constant
Klocwork
Include Page
Klocwork_V
Klocwork_V
MISRA.TOKEN.OCTAL.ESCAPE
MISRA.TOKEN.OCTAL.INT

LDRA tool suite 
Include Page
LDRA_V
LDRA_V
83 SFully Implemented
Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_C-DCL18-a
CERT_C-DCL18-b

Octal and hexadecimal escape sequences shall be terminated
Octal constants (other than zero) shall not be used

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

MISRA C:2012 Rule 7.1

Octal constants shall not be used

PRQA QA-C
 
Include Page
PRQA QA-C_v
PRQA QA-C_v

0339
1272


PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V536
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V
octal-constantFully checked
SonarQube C/C++ Plugin
Include Page
SonarQube C/C++ Plugin_V
SonarQube C/C++ Plugin_V
OctalConstantAndSequence

...