Find null smart pointer dereferences with the Static Analyzer
- Mentors
- Gabor Horvath, Artem Dergachev
- Organization
- The LLVM Compiler Infrastructure
The Clang Static Analyzer is used to find bugs in the program by analyzing source code without compiling and executing. It uses symbolic computations to find the defects. The Clang Static Analyzer already has a checker to find the null pointer dereference in code, however it is not sufficient for complicated cases such as C++ smart pointers or optionals. By explicitly teaching the C++ standard class behaviors we can make the Analyzer to find more bugs related to modern C++ code.