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
