...
Tool | Version | Checker | Description | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| return-reference-local dangling_pointer_use | Partially checked | |||||||||
| Clang |
| -Wdangling-initializer-list | Catches some lifetime issues related to incorrect use of std::initializer_list<> | |||||||||
| CodeSonar |
| IO.UAC | Use after close Use after freefree | |||||||||
| Helix QAC |
| C++4003, C++4026 DF2812, DF2813, DF2814, DF2930, DF2931, DF2932, DF2933, DF2934, | ||||||||||
| Klocwork |
| CL.FFM.ASSIGN CL.FFM.COPY LOCRET.ARG LOCRET.GLOB LOCRET.RET UFM.DEREF.MIGHT UFM.DEREF.MUST UFM.FFM.MIGHT UFM.FFM.MUST UFM.RETURN.MIGHT UFM.RETURN.MUST UFM.USE.MIGHT UFM.USE.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 |
| 42 D, 53 D, 77 D, 1 J, 71 S, 565 S | Partially implemented | |||||||||
| Parasoft C/C++test |
| CERT_CPP-EXP54-a | Do not use resources that have been freed | |||||||||
| Parasoft Insure++ | Runtime detection | |||||||||||
| Polyspace Bug Finder |
| CERT C++: EXP54-CPP | Checks for:
Rule partially covered. | |||||||||
| PRQA QA-C++PVS-Studio |
| 2812V758, 2813, 2814, 2930, 2931, 2932, 2933, 2934, 4003, 4026 V1041, V1099 | ||||||||||
| RuleCheckerPVS-Studio |
| return-reference-local | Partially checkedV758, V1041 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...