Name: Athos Ribeiro
Email/IRC nick/github: email@example.com / athos AT freenode and athos AT oftc / www.github.com/athos-ribeiro
Background: Senior sofware engineering student at Universidade de Brasília, Brazil. Spent the whole year of 2014 as a guest researcher at the National institute of Standards and technology in the USA, working on the SAMATE team (http://samate.nist.gov). The work at SAMATE consisted in working with static analysis and analyzers. In this case I spent most of my time working on SATE V's Ockham Criteria, which relates to sound static analysis, more on this matter can be found at http://samate.nist.gov/SATE.html.
Project title: Add new checkers in Debile
Project details: Debile is a platform which aims to provide a generic rebuild platform. Normal build, custom builds (clang based) or static analyzers (coccinelle, scan-build, etc) are managed through this infrastructure.
The idea of this project is to plug additional checkers to the Debile infrastructure. A full description of the proposal can be found at https://wiki.debian.org/SummerOfCode2015/Projects#SummerOfCode2015.2FProjects.2FAdd_new_checkers_to_Debile.Add_new_checkers_in_Debile
Other than plugging different analyzers to Debile, I would also provide better deploying options for the infrastructure, like chef recipes, since right now, deploying the application itself may be challenging for new contributors.
Synopsis: Plug different static analyzers to Debile in orer to cover different aspects of source code checking on different programming languages.
Benefits to Debian: Provide feedback to package maintainers and software upstream teams on code quality and possible bugs reported by different code checkers, like static analyzers.
Deliverables: Different analyzers plugged to Debile. Improved deploying methods, like chef recipes.
Project schedule: The project would extend from the beginning of the program, on April 27th, to its end, on August 28th. There are plenty to do on Debile, and the more we can do there, the better. After getting some analyzers to work on it, we can also improve the way it is deployed.
April 27th to May 27th: Consolidate environment and fix current deploying scripts. Plug at least one additional checker as proof of concept. May28th to June 29th: Plug different checkers, for different languages. June 30th to July 31st: Test new checkers. Run Debile infrastructure in a considerable number of packages. Work on chef scripts. August 1st to august 28th: Analyze results. Keep plugging checkers / getting deploying process better. Finalize project.
Exams and other commitments: Since I am a senior student, my only concern during the period would be the time I will be working on my thesis, which shall not keep me away from working on Debile. If selected, I will actually include Debile on my thesis, since I am working with static analysis.
Other summer plans: I will spend 4 days in a Free Software conference, in the south of Brazil, between July 8th and 11th.
Why Debian?: I am currently working on a project where most of my team work with Debian (including a Debian developer). This would be a good chance to get closer to the project.
Are you applying for other projects in SoC? No, this is the only project I am applying to.