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

[Deep Majumder via cfe-dev]

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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20210208/f6bacd9a/attachment.html>