Analyse de code pour la sûreté et la sécurité - 4MMACSS

Volumes horaires
- CM 12.0
- Projet -
- TD 21.0
- Stage -
- TP -
- DS -
Crédits ECTS
Crédits ECTS 3.0

Objectif(s)

Ce cours est une introduction aux fondements de la sémantique et l’analyse de programmes. Il offre les bases sur lesquelles s’appuyer pour spécifier et développer des applications sûres, construire et se servir d’outils d’analyse et de vérification.

Responsable(s)

Marie-Laure POTET

Contenu(s)

Sémantique opérationnelle des langages de programmation.
Calcul de plus faible précondition et preuve de programmes.
Analyse de flot de données.
Analyse statique et interprétation abstraite.
Applications à la compilation, à la sûreté et à la sécurité des logiciels.
Travaux pratiques à l'aide de 2 outils industriels.

Prérequis

Ce cours fait suite aux cours de programmation et de théorie des langages de première année.

Contrôle des connaissances

CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) :

SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique :
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : une feuille A4 recto-verso
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices):

matériel autorisé, préciser :
matériel interdit, préciser :
Commentaires :

SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique :
Durée : 2h
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) :
Documents interdits (ex : livres, tous documents) :une feuille A4 recto/verso
Matériel (ex : calculatrices):

matériel autorisé, préciser :
matériel interdit, préciser :
Commentaires : un examen écrit de 2h (remplace la note de session 1)

Calendrier

Le cours est programmé dans ces filières :