Tool | Version | Checker | Description |
|---|
| Astrée | | universal-character-name-concatenation
| Fully checked |
Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-PRE30 | Fully implemented |
| CodeSonar | | LANG.PREPROC.PASTE
LANG.PREPROC.PASTEHASH | Macro uses ## operator
## follows # operator |
| LDRA tool suite | | 573 S | Fully implemented |
| Parasoft C/C++test | | CERT_C-PRE30-a | Avoid token concatenation that may produce universal character names |
Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rule PRE30-C | Checks for universal character name from token concatenation (rule fully covered) |
| PRQA QA-C | | 0905 |
|
| PRQA QA-C++ | | Include Page |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
|
| 0064, 0080 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| universal-character-name-concatenation
| Fully checked |
| Helix QAC | | 0905 |
|
