Quentin Dauprat (GREYC, Caen)

L’informatique est confrontée à des défis pour les codes complexes :

  • Les logiciels modernes sont de plus en plus volumineux et complexes.
  • Ils peuvent s’exécuter dans des contextes multi-machines, multithreads, avec des contraintes de sûreté et de performance.
  • La gestion de la dette technique devient toujours plus lourde tout comme l’érosion des logiciels ainsi que la sécurité de ces logiciels qui sont très coûteux pour les entreprises.

Les logiciels d’analyse de code prennent ainsi de plus en plus de temps à analyser ces masses de codes. Les systèmes d’analyse de code reposent sur des structures de représentation de code qui ont peu évolué depuis leur apparition dans les années 80.

Ma thèse s’articule sur de nouvelles méthodes permettant de représenter et d’interroger du code source pour de l’analyse statique de code. L’idée principale est de représenter un AST (Abstract Syntax Tree) sous forme d’un graphe en adjoignant des arêtes entre certaines unités sémantiques (par exemple entre une assignation d’une variable et sa déclaration).