CYB6073 - Analyse statique du logiciel pour la cybersécurité

Scolarité

Deuxième cycle - 3,0 crédit(s)

Département

Département d'informatique et d'ingénierie

Objectifs

Au terme de ce cours, l’étudiant.e sera en mesure d’appliquer des techniques d’analyse statique de code et d’utiliser des outils qui implémentent ces techniques à diverses fins.

Contenu

Rappel du langage C et mesure de complexité d’un programme C. Objectifs d’analyse du code : exploration, compréhension, détection de défauts, etc. Défauts logiciels et conséquences sur le fonctionnement : division par zéro, décisions erronées, dépassement de la mémoire, etc. Analyse des domaines des variables, analyse du flot d’exécution. Technique et outils d’exécution symbolique de code C et application au test, à la vérification et à la cybersécurité. Réduction de la complexité du code. Introduction à l’interprétation abstraite.

Préalables

Aucun

Exigences de qualification pour l'enseignement

Diplôme(s)
Scolarité de doctorat dans le secteur disciplinaire ou un secteur disciplinaire connexe au cours.
Expérience
Deux (2) années d’expérience en recherche ou en intervention professionnelle dans un domaine lié au contenu du cours.
Corps professionnel
Non.
Autre(s) exigence(s)
Dans tous les cas, la candidate, le candidat devra pouvoir démontrer sa capacité à communiquer efficacement oralement et par écrit ainsi qu’à transmettre les connaissances ou les habiletés pertinentes au contenu du cours pour lequel les exigences de qualification pour l’enseignement (EQE) sont adoptées.

CAFF

6403 - Informatique appliquée