<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><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>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>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>Thank you!</div>

<div><br></div><div>Gábor Kozár</div></div>