[cfe-dev] Clang Static Analyzer GSoC

Anna Zaks ganna at apple.com
Wed Apr 24 15:33:30 PDT 2013

On Apr 22, 2013, at 12:09 PM, Gábor Kozár <kozargabor at gmail.com> wrote:

> Hello,
> 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.

Great to hear that you are interested in the Static Analyzer!

> I studied the list of open projects (http://clang-analyzer.llvm.org/open_projects.html), 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.
> My questions are then:
> 1) Is working on the Clang Static Analyzer a reasonable GSoC project?

Definitely, yes.

> 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)?

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. 

> 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.

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.


Anna and Jordan.

> Thank you!
> Gábor Kozár
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130424/fa4c457b/attachment.html>

More information about the cfe-dev mailing list