[cfe-dev] [GSOC] Static Analyzer infrastructure improvement, BodyFarm

[Gautier DI FOLCO]

2014-03-11 10:30 GMT+01:00 Gábor Horváth <xazax.hun at gmail.com>:

>
> On 11 March 2014 10:04, Gautier DI FOLCO <gautier.difolco at gmail.com>wrote:
>
>> 2014-03-11 8:25 GMT+01:00 Gábor Horváth <xazax.hun at gmail.com>:
>>
>>> Hello clang-devel,
>>>
>>> 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.
>>>
>>> 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.
>>>
>>> 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.
>>>
>>> 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.
>>>
>>> What are your opinions? Is there someone who willing to mentor this
>>> project? What are the chances it will get accepted?
>>>
>>> Thanks in advance,
>>> Gábor Horváth
>>>
>>> _______________________________________________
>>> cfe-dev mailing list
>>> cfe-dev at cs.uiuc.edu
>>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>>>
>>>
>> Hello,
>>
>> 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.
>>
>> 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.
>>
>> Regards.
>>
>
> Hello,
>
> 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.
>
> Cheers,
> Gábor
>

Hello,

Ok, I didn't expect that you could do that, sorry.

Regards.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20140311/25d6465c/attachment.html>