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. Dave