...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| uninitialized-read | Partially checked | ||||||||||
| Clang |
| -Wuninitialized clang-analyzer-core.UndefinedBinaryOperatorResult | Does not catch all instances of this rule, such as uninitialized values read from heap-allocated memory. | ||||||||||
| CodeSonar |
| LANG.STRUCT.RPL | Return pointer to local Uninitialized variable | ||||||||||
| Helix QAC |
| C++2726, C++2727, C++2728, C++2961, C++2962, C++2963, C++2966, C++2967, C++2968, C++2971, C++2972, C++2973, C++2976, C++2977, C++2978DF726, DF2727, DF2728, DF2961, DF2962, DF2963, DF2966, DF2967, DF2968, DF2971, DF2972, DF2973, DF2976, DF2977, DF978 | |||||||||||
| Klocwork |
| UNINIT.CTOR.MIGHT UNINIT.CTOR.MUST UNINIT.HEAP.MIGHT UNINIT.HEAP.MUST UNINIT.STACK.ARRAY.MIGHT UNINIT.STACK.ARRAY.MUST UNINIT.STACK.ARRAY.PARTIAL.MUST UNINIT.STACK.MIGHT UNINIT.STACK.MUST | |||||||||||
| LDRA tool suite |
| 53 D, 69 D, 631 S, 652 S | Partially implemented | ||||||||||
| Parasoft C/C++test |
| CERT_CPP-EXP53-a | Avoid use before initialization | ||||||||||
| Parasoft Insure++ | Runtime detection | ||||||||||||
| Polyspace Bug Finder |
| CERT C++: EXP53-CPP | Checks for:
Rule partially covered. | PRQA QA-C++ | | Include Page | | PRQA QA-C++_V | ||||||
| 2726, 2727, 2728, 2961, 2962, 2963, 2966, 2967, 2968, 2971, 2972, 2973, 2976, 2977, 2978 | PVS-Studio |
| V546, V573, V614, V670, V679, V730, V788, V1007, V1050 | ||||||||||
| RuleChecker |
| uninitialized-read | Partially checked |
...