<  Back to the Polytechnique Montréal portal

Extraction des propriétés du code source pour l'annotation automatique

Guillaume Thouvenin

Masters thesis (2002)

[img]
Preview
Published Version
Terms of Use: All rights reserved.
Download (5MB)
Cite this document: Thouvenin, G. (2002). Extraction des propriétés du code source pour l'annotation automatique (Masters thesis, École Polytechnique de Montréal). Retrieved from https://publications.polymtl.ca/6999/
Show abstract Hide abstract

Abstract

Analyse statique des problèmes de gestion de la mémoire -- État de l'art -- Algorithmes -- Lagorithme de conversion d'un ASG vers un CFG -- Algorithme itératif pour l'annotation (extraction de l'information) -- Algorithme d'annotation du graphe d'appel -- Détails de l'implémentation -- L'architectured e GASTA -- L'analyse -- Modification de GCC -- Vérification de la propagation de l'information -- Validation de l'opérateur + -- Validation de l'opérateur -- Cas réel : la librairie GLib.

Open Access document in PolyPublie
Additional Information: Le fichier PDF de ce document a été produit par Bibliothèque et Archives Canada selon les termes du programme Thèses Canada https://canada.on.worldcat.org/oclc/55510395
Department: Département de génie informatique et génie logiciel
Date Deposited: 04 Aug 2021 11:05
Last Modified: 25 Aug 2021 14:57
PolyPublie URL: https://publications.polymtl.ca/6999/

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Repository Staff Only