Re: GCC GSoC 2020: Call for mentors and project ideas

[Martin Jambor <mjambor at suse dot cz>]

Hi David,

On Wed, Feb 12 2020, David Malcolm wrote:
> On Thu, 2020-02-06 at 20:58 -0500, David Malcolm wrote:
>> On Mon, 2020-01-27 at 16:30 +0100, Martin Liška wrote:
>> > On 1/15/20 11:45 PM, Martin Jambor wrote:
>> > > Therefore, first and foremost, I would like to ask all
>> > > (moderately)
>> > > seasoned GCC contributors to consider mentoring a student this
>> > > year
>> > > and
>> > > ideally also come up with a project that they would like to
>> > > lead.  I'm
>> > > collecting proposal on our wiki page
>> > 
>> > @David would you be interested in a analyzer topics? Seems to me
>> > ideal for newcomers to come up with a static analyzer check?
>> 
>> I'm not quite sure what the appropriate size of a project would be,
>> but
>> I'd be happy to mentor a student.  Some ideas I had for analyzer
>> topics:
>> 
>> * Generalize double-free checker to attribute-marking of
>> acquire/release API entrypoints so that the user can mark the
>> entrypoints and get a checker for that API "for free".
>> 
>> * Checking of the POSIX file-descriptor APIs (int rather than FILE
>> *),
>> or some other POSIX API that we're not yet checking.
>> 
>> * Maybe add plugin support, and write a plugin to add a project
>> specific-checker for a project of interest to the student (Linux
>> kernel?)
>> 
>> * C++ support (new/delete checking, exceptions, etc)
>> 
>> Thoughts?
>> Dave
>
> I've taken the liberty of adding the above idea to the list of
> "Selected Project Ideas for 2020" on
>   https://gcc.gnu.org/wiki/SummerOfCode
> with me as mentor.
>

Excellent! ...and sorry for not getting back to you earlier.

Thanks a lot,

Martin