Séance de cours

Analyse statique pour Amy: Techniques et Implémentations

Description

Cette séance de cours s'inscrit dans le domaine de l'analyse statique, un outil puissant au-delà de la compilation de code. Les techniques couvertes comprennent l'analyse basée sur l'AST, l'analyse des taints et l'exécution symbolique. L'instructeur démontre comment ces techniques peuvent être appliquées à la langue Amy.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.