Re: [commops] GSoC 2017 org applications open ( sourcing interest and ideas)

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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



[Index of Archives]     [Older Fedora Users]     [Fedora Announce]     [Fedora Package Announce]     [EPEL Announce]     [Fedora Magazine]     [Fedora News]     [Fedora Laptop]     [Fedora Cloud]     [Fedora Advisory Board]     [Fedora Education]     [Fedora Security]     [Fedora Scitech]     [Fedora Robotics]     [Fedora Maintainers]     [Fedora Infrastructure]     [Fedora Websites]     [Anaconda Devel]     [Fedora Devel Java]     [Fedora Desktop]     [Fedora Fonts]     [ATA RAID]     [Fedora Marketing]     [Fedora Management Tools]     [Fedora Mentors]     [Fedora Package Review]     [Fedora R Devel]     [Fedora PHP Devel]     [Kickstart]     [Fedora Music]     [Fedora Packaging]     [Centos]     [Fedora SELinux]     [Fedora Legal]     [Fedora Kernel]     [Fedora QA]     [Fedora Triage]     [Fedora OCaml]     [Coolkey]     [Virtualization Tools]     [ET Management Tools]     [Yum Users]     [Yosemite News]     [Maemo Users]     [Gnome Users]     [KDE Users]     [Fedora Tools]     [Fedora Art]     [Fedora Docs]     [Maemo Users]     [Asterisk PBX]     [Fedora Sparc]     [Fedora Universal Network Connector]     [Libvirt Users]     [Fedora ARM]

  Powered by Linux