Code Analysis for Safety and Security - 4MMACSS

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail

Number of hours
- Lectures : 10.5
- Tutorials : 21.0
- Laboratory works : -
- Projects : -
- Internship : -
- Written tests : -
ECTS : 3.0
Officials : Marie-Laure POTET

Goals

This course is an introduction to the foundations of semantics and program analysis. It presents the basis necessary
to specify and design reliable applications, as well as to build and use analysis and verification tools.

Content

Operational semantics of programming languages.
Weakest precondition and program proof.
Data-flow analysis.
Static analysis and abstract interpretation.
Applications to compilers and to software safety and security.
Practical works with two industrial tools.

Prerequisites

Courses of Programming and Language theory (1st year).

Tests

Written exam

Calendar

The course exists in the following branches:

Curriculum - Information Systems Engineering - Semester 8

see the course schedule for 2020-2021

Additional Information

Course ID : 4MMACSS
Course language(s):

The course is attached to the following structures:

Team Computer security

You can find this course among all other courses.

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail

Date of update June 18, 2017

Version française

Voir la version française de cette page

École nationale supérieure d'informatique et de mathématiques appliquées
681, rue de la passerelle - Domaine universitaire - BP 72
38402 SAINT MARTIN D'HERES

Code Analysis for Safety and Security - 4MMACSS

Number of hours

Goals

Version française