<div dir="ltr"><div><div><div><div>Thanks Valeriy,<br><br></div>I will closely follow your advice and will soon come up with the changes in my proposal. <br><br></div>Thanks for letting me know about the mailing list.<br><br></div>Best regards,<br></div>Rithik<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, 12 Apr 2021 at 20:39, Valeriy Savchenko <<a href="mailto:vsavchenko@apple.com">vsavchenko@apple.com</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 style="overflow-wrap: break-word;">Hi Rithik,<div><br></div><div>Great to see you here and it’s awesome that you are interested in Clang Static Analyzer!</div><div><br></div><div>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>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><br></div><div>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><br></div><div>I’ll keep an eye on the Google doc!</div><div><br></div><div>NOTE: We discuss things about the analyzer in Clang Front End mailing list [cfe-dev] (CCd).</div><div><br></div><div>Cheers,</div><div>Valeriy</div><div><br></div><div><br><div><blockquote type="cite"><div>On 12 Apr 2021, at 17:35, Rithik Sharma <<a href="mailto:rithiksh02@gmail.com" target="_blank">rithiksh02@gmail.com</a>> wrote:</div><br><div><div dir="ltr"><div><div><div><div><div>Hello,<br><br><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">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"><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">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">) (</span><a href="https://summerofcode.withgoogle.com/archive/2020/projects/5488234206855168/" style="text-decoration:none" target="_blank"><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">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">) (<a href="https://sharmarithik.github.io/rithiksharma/poster.pdf" target="_blank">LLVM Developers' meeting poster</a>)<br><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt">
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><br></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"><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt">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" target="_blank">proposal</a>. <br><br></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"><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt">Proposal (<a href="https://docs.google.com/document/d/12VIC9mrAGfEVV1_I0cfl_ioupJRyrH85i-nKrwyYYWQ/edit?usp=sharing" target="_blank">link</a>)<br><br></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"><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt">Looking forward to any feedback and suggestions.<br><br></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"><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt">Best regards,<br></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"><span style="color:rgb(14,16,26);background:transparent none repeat scroll 0% 0%;margin-top:0pt;margin-bottom:0pt">Rithik<br></span></span></div>
</div></blockquote></div><br></div></div></blockquote></div>