2019 EuroLLVM Developers’ Meeting: R. Kovács “Catch dangling inner pointers with the Clang Static..”

—
Catch dangling inner pointers with the Clang Static Analyzer - Réka Kovács (Eötvös Loränd University)

—
C++ container classes provide methods that return a raw pointer to the container's inner buffer. When the container is destroyed, the inner buffer is deallocated. A common bug is to use such a raw pointer after deallocation, which may lead to crashes or other unexpected behavior.

This lightning talk will present a new Clang Static Analyzer checker designed to address the above described problems, implemented last year as a Google Summer of Code project. The checker has found serious problems in popular open source projects with a negligible false positive rate. Future plans include adding support for view-like constructs and non-STL containers.
—