<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi Rithik,<div class=""><br class=""></div><div class="">Great to see you here and it’s awesome that you are interested in Clang Static Analyzer!</div><div class=""><br class=""></div><div class="">As I can see from your proposal, you found recent modifications to the solver and understand what kind of work should be done.</div><div class="">This year GSoC projects are shorter, so it is important to stay realistic. This being said, I think that the plan is probably overly optimistic. Testing and debugging can be tedious and can take a bit more time than one might expect. </div><div class=""><br class=""></div><div class="">Let’s start by simply putting more detail. Describe ideas that you have, how will you approach different operators, what will you do for testing. More specific you get, easier it is to reason about time. It will also make your proposal more concrete, which is always better.</div><div class=""><br class=""></div><div class="">I’ll keep an eye on the Google doc!</div><div class=""><br class=""></div><div class="">NOTE: We discuss things about the analyzer in Clang Front End mailing list [cfe-dev] (CCd).</div><div class=""><br class=""></div><div class="">Cheers,</div><div class="">Valeriy</div><div class=""><br class=""></div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 12 Apr 2021, at 17:35, Rithik Sharma <<a href="mailto:rithiksh02@gmail.com" class="">rithiksh02@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class=""><div class=""><div class=""><div class=""><div class="">Hello,<br class=""><br class=""><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap" class="">I am an undergrad from India. This summer, I'm interested in working on Clang Static Analyzer. I have a moderate understanding of LLVM and Clang. I also did my Google Summer of Code 2020 with LLVM, where I worked on unifying code motion checks present in loop transformation and analysis passes. (</span><a href="https://summerofcode.withgoogle.com/archive/2020/projects/5488234206855168/" style="text-decoration:none" target="_blank" class=""><span style="font-size:11pt;font-family:Arial;color:rgb(74,110,224);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap" class="">Phabricator</span></a><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap" class="">) (</span><a href="https://summerofcode.withgoogle.com/archive/2020/projects/5488234206855168/" style="text-decoration:none" target="_blank" class=""><span style="font-size:11pt;font-family:Arial;color:rgb(74,110,224);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap" class="">GSoC archive</span></a><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap" class="">) (<a href="https://sharmarithik.github.io/rithiksharma/poster.pdf" target="_blank" class="">LLVM Developers' meeting poster</a>)<br class=""><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt" class="">
Clang static analyzer seems a great candidate for research, and I would love to extend it further and improve it further. I believe this project would give me a more precise understanding of static analyzer.<br class=""><br class=""></span></span></div><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap" class=""><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt" class="">Thanks Valeriy for all the motivation. In the short period of time between I saw this project and the proposal deadline, I’ve drafted a <a href="https://docs.google.com/document/d/12VIC9mrAGfEVV1_I0cfl_ioupJRyrH85i-nKrwyYYWQ/edit?usp=sharing" class="">proposal</a>. <br class=""><br class=""></span></span></div><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap" class=""><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt" class="">Proposal (<a href="https://docs.google.com/document/d/12VIC9mrAGfEVV1_I0cfl_ioupJRyrH85i-nKrwyYYWQ/edit?usp=sharing" class="">link</a>)<br class=""><br class=""></span></span></div><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap" class=""><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt" class="">Looking forward to any feedback and suggestions.<br class=""><br class=""></span></span></div><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap" class=""><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt" class="">Best regards,<br class=""></span></span></div><span style="font-size:11pt;font-family:Arial;color:rgb(14,16,26);background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap" class=""><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt" class="">Rithik<br class=""></span></span></div>
</div></blockquote></div><br class=""></div></body></html>