Hello,
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
analysis field.
I'd rather have someone from either the static analysis SIG or infra
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) this
week.
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 [4], 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 [5]) 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).
[1]
https://fedoraproject.org/wiki/StaticAnalysis
[2]
www.usp.br
[3]
https://samate.nist.gov
[4]
https://github.com/Debian/debile
[5]
https://github.com/kdudka/csdiff
--
Athos Ribeiro
http://www.ime.usp.br/~athoscr
--
Athos Ribeiro
http://www.ime.usp.br/~athoscr