On Wed, Feb 8, 2017, at 06:32 PM, Athos Ribeiro wrote:
I do have a proposal for GSoC, should I just include it in the ideas
page? It involves my masters degree research, which is in the static
I'd rather have someone from either the static analysis SIG or
mentoring me on it, but I would not be opposed to mentor a student on it
if I cannot find a mentor. I already sent an email to the guys in the
Static Analysis SIG (https://fedoraproject.org/wiki/StaticAnalysis
If you are comfortable being the sole mentor, definitely get it added.
If you need help, try to line that up first, but you may want go ahead
and add it today. We can remove it before applications get started in
March if it isn't going to work out.
> I attached the message I sent to the SIG.
> > For conducting my research, I need a database with static analysis
> > reports from different analyzers in different software versions. I
> > ping'd Dave Malcolm in IRC a while ago about mock-with-analysis. At
> > first I wanted to use it to perform my analyses and fill such database.
> > Now I realize the problem is simpler and I am proposing a more generic
> > system to perfor such analyses. The idea is to have something similar to
> > Debile , performing analyses on fedora packages (C/C++ only at the
> > first moment) but I want something a bit more extensible, which we could
> > also point to git repositories or other sources.
> > Later, we want to compare the reports from different package versions
> > (maybe using Kamil's codescan-diff ) to display only the warnings
> > introduced in the latest package version (we believe this would help
> > developers avoid looking into some false positives).
> > At the moment, we are proposing the system architecture and I will
> > probably start implementing something this week. Whenever I have some
> > data to share, I would like to take on some dmalcolm ideas I read in the
> > mailing lists and make it available in something like
> > check.fedoraproject.org
> > Do you have any thoughts on it? Also, I am thinking in proposing such
> > system to Fedora GSoC this year. Would any of you like to mentor me on
> > that? Otherwise, I would probably be able to mentor someone to work on
> > it with me (if we get any students).
> >  https://fedoraproject.org/wiki/StaticAnalysis
> >  www.usp.br
> >  https://samate.nist.gov
> >  https://github.com/Debian/debile
> >  https://github.com/kdudka/csdiff
> Athos Ribeiro
> Athos Ribeiro
> summer-coding mailing list -- summer-coding(a)lists.fedoraproject.org
> To unsubscribe send an email to