Vers un analyseur statique générique de Java par interprétation abstraite: un analyseur statique simple et un utilitaire d'affichage de l'environnement et du store

  • Karl Noben

    Student thesis: Master typesMaster en sciences informatiques

    Résumé

    L 'analyse statique couvre l'ensemble des techniques logicielles mises en œuvre pour l'optimisation et la vérification de programmes. L'interprétation abstraite est constituée d'un ensemble de techniques d'analyse statique développées dans un canevas formel. Elle met en œuvre un domaine non standard (dit domaine abstrait) sur lequel seront exécutés les programmes dans le but de couvrir l'ensemble des exécutions possibles sur le domaine standard, et de dériver des propriétés valables pour toutes ces exécutions. Le projet JavAblnt se place dans la droite ligne de l'interprétation abstraite et s 'applique au langage Java. Son objectif principal est la mise en œuvre d'un analyseur statique générique pour ce langage. Une première étape a été franchie avec la définition de la syntaxe et de la sémantique opérationnelle d'un sous langage de Java, et la mise en œuvre de domaines abstraits pour ce sous langage par 1. Pollet dans [POLLET99] Ce travail reflète un autre aspect du projet JavAblnt. Son objet est double: d'une part la mise en œuvre d'un analyseur syntaxique simple opérant sur un sous langage réduit de Java, d'autre part le développement d'un module d 'affichage du couple <environnement, store> tant au niveau de la sémantique abstraite que de la sémantique concrète, en veillant à optimiser la lisibilité de ces structures de données, ce qui nous amènera à aborder le florissant domaine du graph drawing
    la date de réponse2000
    langue originaleFrançais
    SuperviseurBaudouin LE CHARLIER (Promoteur)

    Contient cette citation

    '