[cfe-dev] [GSoC] Interested in idea: "Find null smart pointer dereferences with the Static Analyzer"

[Csaba Dabis via cfe-dev]

Hey!

This is a tiny bit outdated, but very great booklet which is must have:
https://github.com/haoNoQ/clang-analyzer-guide

I believe you have missed that tutorial, and there is another cool checker
which tries to model the inner pointer of a string, something similar idea
to check the guts of a smart pointer:
InnerPointerChecker.cpp
<https://github.com/llvm/llvm-project/blob/master/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp>

That was another GSoC project: https://rnkovacs.com/gsoc2018/

On Sat, Mar 7, 2020 at 1:41 PM Nithin Vadukkumchery Rajendrakumar via
cfe-dev <cfe-dev at lists.llvm.org> wrote:

> Greetings,
>
>
> I am interested to participate in GSoC 2020. I am particularly interested
> in the project idea "Find null smart pointer dereferences with the Static
> Analyzer". I am doing my masters in computer science and interested in
> program analysis and verification. I thought GSoC2020 will be a wonderful
> opportunity to learn more about Clang Static Analyzer and contribute.
>
>
> I have started reading about smart pointers in C++ to get a good grasp of
> the concepts. Also, has some experience in implementing Clang Static
> Analyzer simple checks(similar to SimpleStreamChecker) from the tutorials.
> I read through few available tutorials and have some basic idea about Control
> Flow Graph, Exploded Graph and Symbolic Values. I have read the paper "A
> memory model for static analysis of C programs" to get some theoretical
> background. I also started looking into NullabilityChecker.cpp
> <https://github.com/llvm/llvm-project/blob/master/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp> to
> understand the codebase.
>
> I would like to know is this the right place to look?
>
> Could anyone please help me on what should I do next?
>
> ----
> Thanks & Regards,
> Nithin
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20200307/8557b7e6/attachment.html>