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

[Deep Majumder via cfe-dev]

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,
Deep

On Mon, 8 Feb, 2021, 7:39 pm Deep Majumder, <deep.majumder2019 at gmail.com>
wrote:

> 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/20210312/de0e6a98/attachment.html>