---
layout: clean_page
---
Below is the list of exercices done with Frama-C during the Static
Analysis Course at ENSIIE:

  * [2010-2011](/dokuwiki/ensiie2010-2011-ias-tp.html)
  * [2011-2012](/dokuwiki/ensiie2011-2012-ias-tp.html)
  * [2012-2013](/dokuwiki/ensiie2012-2013-ias-tp.html)
  * [2013-2014](/dokuwiki/ensiie2013-2014-ias-tp.html)
  * [2014-2015](/dokuwiki/ensiie2014-2015-ias-tp.html)
  * [2015-2016](/dokuwiki/ensiie2015-2016-ias-tp.html)
  * [2016-2017](/dokuwiki/ensiie2016-2017-ias-tp.html)
  * [2017-2018](/dokuwiki/ensiie2017-2018-ias-tp.html)