<div dir="ltr"><div class="gmail_default" style="font-size:small"><p style="color:rgb(14,16,26);background:transparent;margin-top:0pt;margin-bottom:0pt"><span style="background:transparent;margin-top:0pt;margin-bottom:0pt">Greetings,</span></p><p style="color:rgb(14,16,26);background:transparent;margin-top:0pt;margin-bottom:0pt"><br></p><p style="color:rgb(14,16,26);background:transparent;margin-top:0pt;margin-bottom:0pt"><span style="background:transparent;margin-top:0pt;margin-bottom:0pt">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". </span><span style="background-color:transparent">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. </span></p><p style="color:rgb(14,16,26);background:transparent;margin-top:0pt;margin-bottom:0pt"><br></p><p style="color:rgb(14,16,26);background:transparent;margin-top:0pt;margin-bottom:0pt"><span style="background:transparent;margin-top:0pt;margin-bottom:0pt">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 </span><span style="color:rgb(34,34,34)">Control Flow Graph, </span><span style="color:rgb(34,34,34)">Exploded Graph and Symbolic Values. </span><span style="background:transparent;margin-top:0pt;margin-bottom:0pt">I have read the paper "A memory model for static analysis of C programs" to get some theoretical background. I also started looking into </span><a target="_blank" href="https://github.com/llvm/llvm-project/blob/master/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp" class="gmail-_e75a791d-denali-editor-page-rtfLink" style="background:transparent;margin-top:0pt;margin-bottom:0pt;color:rgb(74,110,224)"><span style="background:transparent;margin-top:0pt;margin-bottom:0pt">NullabilityChecker.cpp</span></a><span style="background:transparent;margin-top:0pt;margin-bottom:0pt"> to understand the codebase.</span></p></div><div class="gmail_default" style="font-size:small"><p style="color:rgb(14,16,26);background:transparent;margin-top:0pt;margin-bottom:0pt"><span style="background-color:transparent">I would like to know is this the right place to look? </span><br></p><p style="color:rgb(14,16,26);background:transparent;margin-top:0pt;margin-bottom:0pt"><span style="background:transparent;margin-top:0pt;margin-bottom:0pt">Could anyone please help me on what should I do next?<br><br></span></p></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">----<br><span class="gmail_default" style="font-size:small">Thanks & </span>Regards,<br><font face="'courier new', monospace">Nithin<span class="gmail_default" style="font-size:small"></span></font><br></div></div></div>