Typage et Analyse Statique
TAS

Site Moodle

Important : Pour permettre une meilleure interaction durant la fermeture de l’Université. Nous avons installé un site Moodle pour le cours, onglet Mes cours / MU5IN555.

Tous les nouveaux contenus de la partie analyse statique sont maintenant déposés sur ce site, que vous devez donc consulter.

Partie typage

Liens du cours :

Typage (site 2019-2020)

Partie analyse statique (groupe INSTA)

Transparents du cours

Les transparents du cours sont postés ci-dessous au fur et à mesure :

Projet en TME

Le projet d’analyseur statique, à rendre le jour de l’examen final, sera développé en TME. Le projet est développé sur un GitLab privé. Vous y trouverez le sujet ainsi que les sources de base. Un compte sur le GitLab sera créé lors de la première séance de TME sur le projet (TME 8).

Examen final : présentation d’article

L’examen final prendra la forme d’une présentation orale en binôme d’un article scientifique le 2 avril 2020, à choisir dans la liste ci-dessous.

Indiquez votre choix d’article ainsi que votre nom et celui de votre binôme par email. Chaque binôme doit choisir un article différent.

  1. A gradual interpretation of union types. Matías Toro and Éric Tanter. In : Static Analysis Symposium (SAS 2017).
  2. Combining widening and acceleration in linear relation analysis. Laure Gonnord, Nicolas Halbwachs. In : Static Analysis Symposium (SAS 2006).
  3. A new Abstraction Framework for Affine Tansformers. Tushar Sharma and Thomas Reps. In : Static Analysis Symposium (SAS 2017).
  4. Conjunctive Abstract Interpretation using Paramodulation. Or Ozeri, Oded Padon, Noam Rinetzky, and Mooly Sagiv. In : Verification Model-Checking and Abstract Interpretation (VMCAI 2017).
  5. Abstract interpretation of microcontroller code : Intervals meet congruences. Jörg Brauer, Andy King, Stefan Kowalewski, In : Sci. Comput. Program (2013).
  6. Widening for control flow. Ben Hardekopf, Ben Wiedermann, Berkeley Churchill, Vineeth Kashyap. In : Verification, Model Checking, and Abstract Interpretation (VMCAI 2014).
  7. Two variables per linear inequality as an abstract domain. Axel Simon, Andy King, and Jacob M. Howe. In : Logic-based Program Synthesis and Transformation (LOPSTR 2003).
  8. Invertible linear transforms of numerical abstract domains. Francesco Ranzato and Marco Zanella. In : Static Analysis Symposium (SAS 2017).
  9. Extending constraint-only representation of polyhedra with boolean constraints. Alexey Bakhirkin and David Monniaux. In : Static Analysis Symposium (SAS 2017).
  10. The Octahedron abstract domain. Robert Clarisé, Jordi Cortadella. In : Static Analysis Symposium (SAS 2004).
  11. CSSV : towards a realistic tool for statically detecting all buffer overflows in C. Nurit Dor, Michael Rodeh, Shmuel Sagiv. In : Programming Languages Design and Implementation (PLDI 2003).
  12. Improving static analyses of C programs with conditional predicates. Sandrine Blazy, David Bühler, Boris Yakobowski. In : Formal Methods for Industrial Critical Systems, (FMICS 2014).
  13. Cell morphing : from array programs to array-free Horn clauses. David Monniaux and Laure Gonnord. In : Static Analysis Symposium (SAS 2016).
  14. Remedying the eval that men Do. Simon Holm Jensen, Peter A. Jonsson, Anders Møller. In : International Symposium on Software Testing and Analysis (ISTTA 2012).
  15. The gauge domain : scalable analysis of linear inequality invariants. Arnaud Venet. In : Conference on Computer Aided Verification (CAV 2012).
  16. Static analysis of binary code with memory indirections using polyhedra. Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz. In : Verification Model-Checking and Abstract Interpretation (VMCAI 2019).

Ressources additionnelles

 
Documents utiles

Localisation


Téléchargement du calendrier pour Enseignant du cours
modifier l'emploi du temps du Cours 1  Cours : Salle STL (14.15.507) le jeudi de 08h30 à 10h30,
par [ à préciser ]
calendrier-abo
Tableau des travaux dirigés et travaux sur machine
Groupes Intervenant Salle Jour Horaire
1 [ à préciser ]   
modifier l'emploi du temps du TM 1  TM: Salle STL (14.15.507)jeudi10h45-12h45
2 [ à préciser ]   
modifier l'emploi du temps du TM 2  TM: [ à préciser ]jeudi10h45-12h45
3 [ à préciser ]   
modifier l'emploi du temps du TM 3  TM: 14-15 509jeudi10h45-12h45

Calendrier

aujourd'hui :   septembre 2019 - février 2020  calendrier par jourcalendrier par semainecalendrier par mois
lundi mardi mercredi jeudi vendredi samedi dimanche
19/0938
08:30-10:30
Cours (Séance 1) 54-55 205
10:45-12:45
TM G2 (Séance 1) 14-15 509
10:45-12:45
TM G1 (Séance 1) Salle STL (14.15.507)
20/0938 21/0938 22/0938
23/0939 24/0939 25/0939 26/0939 27/0939 28/0939 29/0939
30/0940 01/1040 02/1040 03/1040 04/1040 05/1040 06/1040
07/1041 08/1041 09/1041 10/1041 11/1041 12/1041 13/1041
14/1042 15/1042 16/1042 17/1042 18/1042 19/1042 20/1042
21/1043 22/1043 23/1043 24/1043 25/1043 26/1043 27/1043
28/1044 29/1044 30/1044 31/1044 01/1144 02/1144 03/1144
04/1145 05/1145 06/1145 07/1145 08/1145 09/1145 10/1145
11/1146 12/1146 13/1146 14/1146 15/1146 16/1146 17/1146
18/1147 19/1147 20/1147 21/1147
10:00-12:00
CC (Séance 1) Amphi 45A
22/1147 23/1147 24/1147
25/1148 26/1148 27/1148 28/1148
08:30-10:30
Cours (Séance 2) Salle STL (14.15.507)
29/1148 30/1148 01/1248
02/1249 03/1249 04/1249 05/1249 06/1249 07/1249 08/1249
09/1250 10/1250 11/1250 12/1250
13:45-15:45
Cours (Séance 3) Salle STL (14.15.507)
13/1250 14/1250 15/1250
16/1251 17/1251 18/1251 19/1251
08:30-10:30
Cours (Séance 4) Salle STL (14.15.507)
10:45-12:45
TM G3 (Séance 1) 14-15 509
10:45-12:45
TM G2 (Séance 2) Salle STL (14.15.507)
13:45-15:45
TM G1 (Séance 2) Salle STL (14.15.507)
20/1251 21/1251 22/1251
23/1252 24/1252 25/1252 26/1252 27/1252 28/1252 29/1252
30/1201 31/1201 01/0101 02/0101 03/0101 04/0101 05/0101
06/0102 07/0102 08/0102 09/0102
08:30-10:30
Cours (Séance 5) Salle 14.15.507 (STL)
10:45-12:45
TM G1 (Séance 3) Salle 14.15.507 (STL)
10/0102 11/0102 12/0102
13/0103 14/0103 15/0103 16/0103 17/0103 18/0103 19/0103
20/0104 21/0104 22/0104 23/0104 24/0104 25/0104 26/0104
27/0105 28/0105 29/0105 30/0105 31/0105 01/0205 02/0205
03/0206 04/0206 05/0206 06/0206
09:30-12:00
CC (Séance 2) Salle 14.15.507 (STL)