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

• 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.

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

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) :
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) :
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)

Le cours est programmé dans ces filières :

• Cursus ingénieur - Filière ISI - Semestre 8

Code de l'enseignement : 4MMACSS
Langue(s) d'enseignement :

Le cours est rattaché aux structures d'enseignement suivantes :

• Equipe Sécurité Informatique

Vous pouvez retrouver ce cours dans la liste de tous les cours.