| Issue |
151898
|
| Summary |
Can Clang Static Analyzer Detect C++ Smart Pointer Issues like Null Dereference or Use-After-Move?
|
| Labels |
clang
|
| Assignees |
|
| Reporter |
MingxiuWang
|
I'm researching static analysis tools for C++ and I'm particularly interested in their support for detecting issues related to smart pointers (e.g., std::unique_ptr, std::shared_ptr).
Can Clang Static Analyzer detect bugs such as:
Null dereference of smart pointers
Use-after-move
Double deletion or invalid access via smart pointers
If CSA supports these, are there specific checkers, compiler flags, or patterns I should follow to improve detection? Any example reports or references to documentation would be much appreciated.
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
