Can Facebook Infer Detect C++ Smart Pointer Bugs like Null Dereference or Use-After-Move? #2719
Description
I’m currently researching memory-related bugs involving C++ smart pointers (e.g., std::unique_ptr, std::shared_ptr). I'm wondering whether Facebook’s Infer can detect bugs such as null dereference, use-after-move, or double-delete when smart pointers are involved. If Infer supports this, what are the recommended practices for configuring it or writing code that helps Infer identify such issues? Any examples or documentation links would be appreciated.