Typage et Analyse Statique
TAS

Partie typage

Liens du cours :

Typage (site 2018-2019)

Partie analyse statique

Plan prévisionnel des cours et transparents

Les transparents du cours seront postés au fur et à mesure.

Projet en TME

Le projet d’analyseur statique à rendre le jour de l’examen sera développé en binôme 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 11 avril 2019, à 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.

La présentation durera 15mn et sera suivie de 10mn de questions. Vous devrez obligatoirement préparer des transparents (de préférence au format PDF). Dans une présentation en binôme, les deux membres du binôme doivent présenter à part égale et répondre aux questions.

  1. A gradual interpretation of union types. Matías Toro and Éric Tanter. In : Static Analysis Symposium (SAS 2017).
  2. A new abstraction framework for affine tansformers. Tushar Sharma and Thomas Reps. In : Static Analysis Symposium (SAS 2017).
  3. Conjunctive abstract interpretation using paramodulation. Or Ozeri, Oded Padon, Noam Rinetzky, and Mooly Sagiv. In : Verification Model-Checking and Abstract Interpretation (VMCAI 2017).
  4. Combining widening and acceleration in linear relation analysis. Laure Gonnord, Nicolas Halbwachs. In : Static Analysis Symposium (SAS 2006).
  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).

Resources additionnelles

 
Documents utiles

Localisation


Téléchargement du calendrier pour Enseignant du cours
modifier l'emploi du temps du Cours 1  Cours : [ à préciser ] 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)----
2 [ à préciser ]   
modifier l'emploi du temps du TM 2  TM: 14-15 509----

Calendrier

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