<div dir="ltr"><div><div><div><div><div><div><div>Hi,<br><br></div>> <i>You should explain which qualifications would make you a good match for
this project (for example, experience with clang AST could be one).</i><br><br></div><div>Basically all that I can think of right now is that I have a fair amount of experience using the Clang API, as I have built various tools upon it, including a kind of a static analyzer, which primarily uses matchers to detect potentially funny code. (You may have noticed that I've also been trying to help people struck with a particular problem regarding the Clang API.)<br>
</div><div><br>> <i>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.<br><br></i></div>I do have a job, but it's an internship with just 16 hours per week worktime required. I can easily handle an additional 30, maybe even 40 hours per week.<br></div>
The reason why I'm even considering applying now is that I'm not sure whether for example my next summer will be any better, but I suspect that my worktimes will only increase with time.<br><br></div>On the other hand, I assume that having patches committed to clang would be definitely a point in my favor when it comes to ranking.<br>
<br></div>Could you give at least some pointers to the amount of work this would require per day or per week? Would I be expected to work nearly full-time (40 hours per week)?<br><br></div>Thank you very much for your reply!<br>
<br></div>Gabor<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/4/25 Anna Zaks <span dir="ltr"><<a href="mailto:ganna@apple.com" target="_blank">ganna@apple.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div style="word-wrap:break-word"><br><div><div class="im"><div>On Apr 22, 2013, at 12:09 PM, Gábor Kozár <<a href="mailto:kozargabor@gmail.com" target="_blank">kozargabor@gmail.com</a>> wrote:</div><br><blockquote type="cite">
<div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing: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></div>Great to hear that you are interested in the Static Analyzer!</div><div><div class="im"><br><blockquote type="cite"><div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing: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" target="_blank">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></div>Definitely, yes.</div><div><div class="im">
<br><blockquote type="cite"><div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing: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><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>
<div class="im"><br><blockquote type="cite"><div style="letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing: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><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;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing: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" target="_blank">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a></div></blockquote></div><br></div></blockquote></div><br></div>