Translate Static analysis of operating systems components manipulating complex data structures Analyse statique de fonctionnement des composants de systèmes de manipulation de structures de données complexes

par Jiangchao Liu

Projet de thèse en Mathématiques

Sous la direction de Xavier Rival.

Thèses en préparation à Paris Sciences et Lettres , dans le cadre de Sciences Mathématiques de Paris Centre , en partenariat avec DIENS - Département d'informatique de l'École normale supérieure (laboratoire) et de Ecole normale supérieure (établissement de préparation de la thèse) depuis le 01-10-2013 .


  • Résumé

    Ce projet vise à concevoir des techniques pour l'analyse statique des programmes de manipulation des états de mémoire complexes. Une très large gamme de structures de données sont rencontrées dans de vrais programmes, tels que des tableaux, des structures liées, cordes ... Bien que les techniques d'analyse statique ont été développés pour faire face à chacune de ces questions, le but du projet est de proposer des moyens pour inférer invariants précises au sujet des programmes de manipulation de structures de données complexes, par exemple. listes dans des tableaux.

  • Titre traduit

    Static analysis of operating systems components manipulating complex data structures


  • Résumé

    This project aims at designing some techniques for the static analysis of programs manipulating complex memory states. A very wide range of data structures are encountered in real programs, such as arrays, linked structures, strings... While static analysis techniques have been developed to deal with each of those issues, The purpose of the project is to propose ways to infer precise invariants about programs manipulating complex data structures, eg. lists in arrays.