...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported, but no explicit checker: Astrée reports undefined behavior. | |||||||
LDRA tool suite |
| 48 D, 63 D, 84 D, 113 D, 5 Q, 64 S, 65 S, 100 S, 109 S, 156 S, 296 S, 324 S, 335 S, 336 S, 339 S, 412 S, 427 S, 465 S, 482 S, 497 S, 545 S, 587 S, 608 S, 642 S, 62 X, 63 X | Partially implemented | ||||||
Parasoft C/C++test |
| CERT_C-MSC15-a | Evaluation of constant unsigned integer expressions should not lead to wrap-around | ||||||
Polyspace Bug Finder |
| Format string specifiers and arguments mismatch Invalid use of standard library memory routine Invalid use of standard library routine Invalid use of standard library string routine Standard function call with incorrect arguments | Array index outside bounds during array access Source and destination arguments of a copy function have overlapping memory Mismatch between function or variable declarations String specifiers do not match corresponding arguments Overflow from operation between integers Standard library memory function called with invalid arguments Wrong arguments to standard library function Standard library string function called with invalid arguments Pointer not initialized before dereference Variable not initialized before use
Memory overlap between left and right sides of an assignment Pointer dereferenced outside its bounds Argument to a standard function does not meet requirements for use in the function Function pointer cast to another function pointer with different argument or return type Pointer implicitly cast to different data type Pointer from an unsecure source may be NULL or point to unknown memory Object declared with a | ||||||
PRQA QA-C |
| 0160, 0161, 0162, 0163, 0164, 0165, 0166, 0167, 0168, 0169, 0170, 0171, 0172, 0173, 0174, 0175, 0176, 0177, 0178, 0179, 0184, 0185, 0186, 0190, 0191, 0192, 0193, 0194, 0195, 0196, 0197, 0198, 0199, 0200, 0201, 0203, 0204, 0206, 0207, 0208, 0235, 0275, 0304, 0309, 0337, 0400, 0401, 0402, 0403, 0543, 0544, 0545, 0602, 0623, 0625, 0626, 0630, 0632, 0636, 0654, 0658, 0661, 0667, 0668, 0672, 0706, 0745, 0777, 0779, 0809, 0813, 0814, 0836, 0837, 0848, 0853, 0854, 0864, 0865, 0867, 0872, 0874, 0885, 0887, 0888, 0914, 0915, 0942, 3113, 3114, 3239, 3319, 3438, 0301, 0302, 0307, 0475, 0676, 0678, 0680, 3311, 3312, 3437,1509, 1510 | Partially implemented | ||||||
PVS-Studio |
| V772 |
...