Description
Analyse syntaxique et traduction dirigée par la syntaxe. Analyse de flux. Analyse de dépendances. Analyses dynamiques et instrumentation du code. Sécurité des applications. Détection et protection des vulnérabilités par flux de données ("SQLI", "XSS", analyse de "teint", dépassement de tampon). Détection et protection des vulnérabilités par flux de contrôle (contrôles d'accès basé sur des privilèges). Evolution de logiciels et vérifications de sécurité. Analyse de similitude pour la sécurité (protection de la propriété intellectuelle et détection du plagiat, analyse de logiciels malveillants). Sujets spéciaux (audits et certification, intelligence artificielle, traitement de la langue naturelle, sécurité de drones et de robots).