Typage et Analyse Statique

Partie typage

Liens du cours :

Typage (site 2015-2016) .

Partie analyse statique

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

Projet et TME.

Présentation d’article.

Présentation d’un article en binôme pour l’examen final. Chaque binôme doit choisir un article différent !

  1. The abstract domain of parallelotopes. Gianluca Amato, Francesca Scozzari. In : Numerical and Symbolic Abstract Domains (NSAD 2012).
  2. 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).
  3. Discovering properties about arrays in simple programs. Nicolas Halbwachs and Mathias Péron. In : Programming Languages Design and Implementation (PLDI 2008).
  4. Widening for control flow. Ben Hardekopf, Ben Wiedermann, Berkeley Churchill, Vineeth Kashyap. In : Verification, Model Checking, and Abstract Interpretation (VMCAI 2014).
  5. Lookahead Widening. Denis Gopan, Thomas Reps. In : Computer Aided Verification (CAV 2006).
  6. When the decreasing sequence fails. Nicolas Halbwachs, Julien Henry. In : Static Analysis Symposium (SAS 2012).
  7. A framework for numeric analysis of array operations. D. Gopan, T. Reps, M. Sagiv. In : Principles of Programming Languages (POPL 2005).
  8. A policy iteration algorithm for computing fixed points in static analysis of programs. Alexandru Costan, Eric Goubault, Stéphane Gaubert, Matthieu Martel, Sylvie Putot. In : Computer Aided Verification (CAV 2005).
  9. Analyzing memory accesses in x86 executables. Gogul Balakrishnan, Thomas Reps. In : Compiler Construction (CC 2004).
  10. Deriving numerical abstract domains via principal component analysis. Gianluca Amato, Maurizio Parton, Francesca Scozzari. In : Static Analysis Symposium (SAS 2010).
  11. Trace partitioning in abstract interpretation based static analyzers. Laurent Mauborgne, Xavier Rival. In : European Symposium on Programming (ESOP 2015).
  12. Pentagons : A weakly relational abstract domain for the efficient validation of array accesses. Francesco Logozzo, Manuel Fähndrich. In : Science of Computer Programming, Sept. 2010, Vol 75, Issue 9.
  13. Automatic repair of overflowing expressions with abstract interpretation. Francesco Logozzo, Matthieu Martel. In : Festschrift for Dave Schmidt, 2013.
  14. Abstract fixpoint computations with numerical acceleration methods. Olivier Bouissou, Yassamine Seladji. In : Numerical and Symbolic Absract Domains (NSAD 2010).
  15. Static analysis of string manipulations in critical embedded C programs. Xavier Allamigeon, Wenceslas Godard, Charles Hymans. In : Satic Analysis Symposium (SAS 2006).
  16. Interval slopes as a numerical abstract domain for floating-point variables. Alexandre Chapoutot. In : Static Analysis Symposium (SAS 2010).
  17. Combining widening and acceleration in linear relation analysis. Laure Gonnord, Nicolas Halbwachs. In : Static Analysis Symposium (SAS 2006).
  18. Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. Liqian Chen, Renjian Li, Xueguang Wu, Ji Wang. In : Symposium On Applied Computing (SAC 2013).
Documents utiles
Sources du projet
Cours 8
Cours 9
Sujet de projet
Cours 10
Cours 11
Cours 12
Cours 13