
<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><br><div><div>On Apr 22, 2013, at 12:09 PM, Gábor Kozár <<a href="mailto:kozargabor@gmail.com">kozargabor@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div dir="ltr"><div>Hello,</div><div><br></div><div>I find the Clang Static Analyzer fascinating, and would love to work on it. We've been working on a very simple static analyzer, utilizing Clang's AST matcher library, but I have no experience, nor any knowledge, in symbolic execution analysis, apart from the very basics.</div></div></div></blockquote><br>Great to hear that you are interested in the Static Analyzer!</div><div><br><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div dir="ltr"><div><br></div><div>I studied the list of open projects (<a href="http://clang-analyzer.llvm.org/open_projects.html">http://clang-analyzer.llvm.org/open_projects.html</a>), and I'm fairly confident that I could figure out how to implement a lot of it, like modeling new and delete, and exception handling, based on (what little) I know.</div><div><br></div><div>My questions are then:</div><div><br></div><div>1) Is working on the Clang Static Analyzer a reasonable GSoC project?</div></div></div></blockquote><br>Definitely, yes.</div><div><br><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div dir="ltr"><div>2) Do you think it would be possible for me to be accepted to the GSoC program with this project, given my lack of knowledge in the area (symbolic execution analysis)?</div></div></div></blockquote><div><br></div><div>You should explain which qualifications would make you a good match for this project (for example, experience with clang AST could be one). It is also essential to prepare an in depth proposal of what you plan to achieve and what will be involved in getting it done. Modeling new/delete and exception handling is rather challenging and requires changes to the various parts of the analyzer core. </div><br><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div dir="ltr"><div>3) If I were accepted, roughly how much time do you think I would need to spend on this project, on a weekly basis? I need this to decide if it is even reasonable for me to apply.</div><div><br></div></div></div></blockquote><div><br></div><div>It's hard to answer this question. I would suspect it would take the whole summer. If you don't think you'll have time this summer (e.g. you have research or another job), you could always work on smaller projects now and plan to reapply next summer.</div><div><br></div>Cheers,</div><div><br></div><div>Anna and Jordan.</div><div><br><blockquote type="cite"><div style="letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div dir="ltr"><div>Thank you!</div><div><br></div><div>Gábor Kozár</div></div>_______________________________________________<br>cfe-dev mailing list<br><a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br><a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a></div></blockquote></div><br></body></html>