BLANC - Blanc

– ABL

Résumé de soumission

Les logiciels d'infrastructure open-source, tels que le système d'exploitation Linux, les butineurs et les serveurs n-tiers, sont devenus une solution reconnue pour la mise en oeuvre de fonctions critiques de la vie modernes. De nombreux services publics et sociétés reconnaissent que l'utilisation de logiciels open-source permet de réduire les coûts et de mettre en commun leurs ressources pour mettre en oeuvre des services de niche. Néanmoins, l'importance croissante du logiciel d'infrastructure open-source introduit des attentes accrues en terme de sécurité et de sûreté. En principe, les logiciels d'infrastructure contiennent des fonctions de sécurité internes qui protègent contre les pertes de données, les corruptions ou les transmissions non intentionnelles de données à des tierces parties. En pratique, ces fonctions de sécurité peuvent être compromises par un simple fait: les logiciels contiennent des bugs. Le projet ABL propose une nouvelle approche pour la recherche et la correction de bugs dans les logiciels d'infrastructure open-source, à partir des recherches issues de l'outil de recherche et de transformation de programmes Coccinelle. La fonctionnalité spécifique de Coccinelle est la capacité de spécifier "recherches" et "transformations" dans une notation très proche du langage C, utilisé par les développeurs de logiciels d'infrastructure. Notre thèse est qu'en permettant à ces développeurs d'exprimer directement des règles pour la recherche de bugs dans une syntaxe proche du code lui-même, le processus de recherche de bugs deviendra plus précis et permettra d'obtenir de meilleurs résultats. Dans ce projet, nous allons réaliser une étude sur les bugs dans les logiciels d'infrasctructure open-source, puis nous allons explorer un ensemble de solutions reposant sur des spécifications Coccinelle pour trouver et corriger ces bugs. Un point important du projet est l'interaction avec la communauté open-source. En tant que concepteurs d'outils de recherche de bugs, nous bénéficions d'une base importante de logiciels open-source pour lesquels l'historique complet du développement est disponible. En retour, nous enrichirons la communauté open-source en rendant nos outils disponibles. Finalement, l'interaction avec la communauté des développeurs nous permet d'atteindre un grand nombre d'utilisateurs potentiels et de recevoir un retour rapide pour améliorer notre approche et nos outils. Par comparaison avec la plupart des travaux sur la recherche de bugs, un de nos objectifs majeurs est de fait le développement d'outils pratiques et intuitifs pour les développeurs open-source, pouvant être facilement adaptés aux besoins spécifiques de certains logiciels.

Coordination du projet

L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.

Partenaire

Aide de l'ANR 0 euros
Début et durée du projet scientifique : - 0 Mois

Liens utiles

Explorez notre base de projets financés

 

 

L’ANR met à disposition ses jeux de données sur les projets, cliquez ici pour en savoir plus.

Inscrivez-vous à notre newsletter
pour recevoir nos actualités
S'inscrire à notre newsletter