Séances de cours associées à Symbolic execution

Analyse statique pour Amy: Techniques et Implémentations

Explore les techniques d'analyse statique comme l'analyse basée sur l'AST et l'analyse des taints appliquée au langage Amy.

Tests automatisés : Fuzzing et sanitisation

Explore le flou, les oracles de bogues, les revues de codes et les techniques de test automatisé, soulignant l'importance de la désinfection pour détecter les défauts.

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

Introduit l'analyse basée sur l'AST et ses avantages sur les tests, couvrant ses applications, les implémentations de règles, et les limitations.

Sécurité des logiciels - Tests de sécurité

Couvre les approches de test de sécurité logicielle et les mesures de couverture.