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
