...
Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-EXP35 | ||||||||
| LDRA tool suite |
| 642 S, 42 D, 77 D | Enhanced Enforcement | |||||||
| Parasoft C/C++test |
| CERT_C-EXP35-a | Do not access an array in the result of a function call | |||||||
| Accessing object with temporary lifetime | CERT-C: Rule EXP35-C | Checks for accesses on objects with temporary lifetime (rule fully covered)Read or write operations on the object are undefined behavior | |||||||
| PRQA QA-C |
| 0450 [U], 0455 [U], 0459 [U], 0465 [U], 0465 [U] | ||||||||
| Splint |
|
...