Titre : Faults in Linux

Sujet proposé dans : M1 Informatique, TER --- M1 Mosig, TER

Responsable(s) :

Mots-clés : static analysis;Linux;Coccinelle;Herodotos;Reproductibility
Durée du projet : 2 to 6 months
Nombre maximal d'étudiants : 1
Places disponibles : 1
Interrogation effectuée le : 24 avril 2024, ŕ 21 heures 04


Description

In 2011, a study on Linux have reproduced a work done in 2001 to study Linux from 1.0 to 2.4.1. This study has then extended the Linux versions studied up to 3.0[2].

As the software used are open-source, the project consists in further extending the study to the 3.x series and the lastest versions in the 4.x series.

There is two goals:

- First, to evaluate the reproductibility of the 2011 study and identity the possible problems.

- Second, to evaluate is there is any new trend in the kind of faults and there location. The impact of continuous integration and testing will also be evaluated.

[1] N. Palix, G. Thomas, S. Saha, C. Calve`s, J. Lawall, et G. Muller. ? Faults in Linux 2.6 ?. Dans ACM Transactions on Computer Systems (ACM TOCS), Volume 32, Issue 2, Juin 2014.

[2] http://coccinelle.lip6.fr/