Analyse statique pour Amy: Introduction à l'analyse basée sur l'AST

Cette séance de cours introduit des techniques d'analyse statique telles que l'analyse basée sur l'AST, l'analyse des taintes et l'exécution symbolique. Elle explique les avantages de l'analyse statique par rapport aux tests, les avantages immédiats qu'elle offre et la façon dont elle complète les compilateurs. La séance de cours couvre les domaines où l'analyse statique peut être appliquée dans le processus de compilation de code, du lexer à la génération IR. Il se décline également en exemples précis d'analyse AST, de mise en oeuvre de règles et de limites de l'analyse AST. La présentation comprend des démonstrations pratiques et des exemples pour illustrer les concepts discutés.