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 _______________________________________________ summer-coding mailing list -- summer-coding@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to summer-coding-leave@xxxxxxxxxxxxxxxxxxxxxxx
