<div dir="auto"><div>This is great, I will check this out.</div><div dir="auto">Thank you so much! <br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">On Mon, 8 Jun, 2020, 1:03 AM , <<a href="mailto:philip.chimento@gmail.com">philip.chimento@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 4, 2020 at 2:55 PM Nithin Vadukkumchery Rajendrakumar via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank" rel="noreferrer">cfe-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><div style="color:rgb(51,51,51)">
        
        
                <div title="Page 4">
                        <div>
                                <div>
                                        <div>
                                                <p><font face="arial, sans-serif"><span style="color:rgb(14,16,26)">Greetings,</span><br><br>Myself Nithin, I'm a master’s student at Technical University Kaiserslautern, Germany, studying computer science. I am extremely happy that my proposal for GSoC 2020 - Find null smart pointer dereferences with the LLVM-Clang Static Analyzer got accepted. This summer I will be working on adding the feature to the static analyser to find null smart pointer dereferences. I would like to thank the LLVM community for providing such a great opportunity.<br><br>I am very much excited and terrified. Hopefully, with help from my mentors Artem Dergachev, Gabor Horwath, and Valeriy Savchenkod, I will be able to finish the project as expected. I think this project will be an amazing opportunity to learn more about Clang Static Analyzer and work with the wonderful LLVM community. <br><br>I will try to blog my progress and anything exciting I find in my journey.<br></font></p></div></div></div></div></div></div></div></blockquote></div><div><br></div><div>Hi,</div><div><br></div><div>That's very exciting to hear, I have been hoping for better smart pointer support in the analyzer. I have a code snippet which you are welcome to adapt if it helps you:</div><div><br></div><div><a href="https://gitlab.gnome.org/ptomato/floatmage/-/commit/1af435b125c7c2d0f20953105c9a669e2862b695" target="_blank" rel="noreferrer">https://gitlab.gnome.org/ptomato/floatmage/-/commit/1af435b125c7c2d0f20953105c9a669e2862b695</a></div><div><br></div><div>I wrote this after asking for help on this mailing list a few months ago. This was not for checking null dereferences, but it does some simple modeling of std::unique_ptr, so it may end up being useful to you. I should warn you that I am a relative beginner at the static analyzer, so it may not even be correct, maybe your mentors will even use it as an example of what not to do :-)<br></div><div><br></div><div>I wish you a great experience in your internship.<br></div><div><br></div><div>Best,<br></div>-- <br><div dir="ltr">Philip C</div><div dir="ltr"><br></div></div>
</blockquote></div></div></div>