<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2014-03-11 10:30 GMT+01:00 Gábor Horváth <span dir="ltr"><<a href="mailto:xazax.hun@gmail.com" target="_blank">xazax.hun@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div dir="ltr"><div><div class="h5"><br><div class="gmail_extra"><div class="gmail_quote">On 11 March 2014 10:04, Gautier DI FOLCO <span dir="ltr"><<a href="mailto:gautier.difolco@gmail.com" target="_blank">gautier.difolco@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2014-03-11 8:25 GMT+01:00 Gábor Horváth <span dir="ltr"><<a href="mailto:xazax.hun@gmail.com" target="_blank">xazax.hun@gmail.com</a>></span>:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div>
<div dir="ltr"><div><div><div><div><div><div><div>Hello clang-devel,<br><br></div>I am a student, and I would like to participate in Google Summer of Code 2014. I am mainly interested in the Static Analyzer and I would like to make infrastructural improvements. I have some experience in writing checkers and other clang based tools. Right now I am an intern at a company where my job is to implement checkers to verify that wether their code follows their design rules.<br>



<br></div>In my work one of my biggest obstacle was that, the static analyzer lacks the ability of cross translation unit analysis. This is the reason why I am very interested in BodyFarm. <br><br></div>There is an open project to model standard library functions using BodyFarm to make the analysis more precise. I would like to help to make BodyFarm working.<br>



<br></div>Furthermore I would like to make BodyFarm something more general. Coverity is doing it's analysis in two steps. First it builds a model, and than it uses that model when it does the analysis. I want to make it possible for checker writers to do a preliminary run to collect some definitions that can be used during the analysis. This would provide checker writers with some limited cross translation unit support which would be a great improvement in my opinion.<br>



<br></div>What are your opinions? Is there someone who willing to mentor this project? What are the chances it will get accepted?<br><br></div>Thanks in advance,<br></div>Gábor Horváth<br></div>
<br></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><br>
<br></blockquote></div><br></div><div class="gmail_extra">Hello,<br><br></div><div class="gmail_extra">I don't know if your subject is good or not (it sounds great to me, but I'm a newbie), but I thought that GSoC was reserved to "unemployed" students. As you have said, you are already intern, I think that avoid you to do the GSoC.<br>


<br>I hope I'm wrong, but I'm in the same case, I'm student since 5 years and every summer I can't participate because I always an internship to do.<br><br>Regards.<br></div></div>
</blockquote></div><br></div></div></div><div class="gmail_extra">Hello,<br><br></div><div class="gmail_extra">As far as I know a GSoC project should be the primary focus, so it is like a full time job. I can pause my internship status for the summer if I get accepted to participate in the project.<br>

<br></div><div class="gmail_extra">Cheers,<br>Gábor<br></div></div>
</blockquote></div><br></div>Hello,<br><br>Ok, I didn't expect that you could do that, sorry.<br><br>Regards.</div>