[GSoc][analyzer] Find null smart pointer de-references

Hello everyone,
I am Deep Majumder, a second-year undergraduate student in Indian Institute of Technology, Kharagpur. I am currently pursuing a major in Computer Science and Engineering.

I am interested in working on the Clang Static Analyzer. I found the project that was in GSoC 2020 on the Static Analyzer quite interesting (https://llvm.org/OpenProjects.html#clang-sa-cplusplus-checkers). On reading up on its report, I found out that there is a logical extension of this project - extending the smart pointer support to std::shared_ptr and std::weak_ptr, as well as std::optional. Also there is a little bit of work left on std::unique_ptr, which may be a good starting point for implementation…

I am really interested in the area of static analysis, partly inspired by the almost bullet-proof static analysis of Rust and what the Clang Static Analyzer has to offer for C++ programmers, in terms of pointing out hard-to-find bugs.

I have begun reading up the code from the project last year. I am also going through the online documentation available on the Clang AST and Static Analyzer, and have seen some of the related videos from LLVM developer meetings on YouTube. To get a feel for the code, I am working on a bug in the Static Analyzer (https://reviews.llvm.org/D95877).

I would really be glad to work on this project for GSoC and continue to contribute for the Clang Static Analyzer and hopefully other parts of LLVM as my experience and knowledge increases. I really hope this project is offered this year.

Hoping for a fruitful discussion here!

Warm regards,
Deep Majumder
(Github: https://github.com/RedDocMD)

Hi everyone,
This is a sort of follow-up mail to indicate that I am still very much interested about this project. I am currently working on this patch: https://reviews.llvm.org/D97183.
Warm regards,