Publications



  • Xavier Allamigeon, Stéphane Gaubert, and Eric Goubault. Inferring Min and Max Invariants Using Max-plus Polyhedra. In Proceedings of the 15th International Static Analysis Symposium (SAS'08), 2008. To appear. [ bib | pdf ]
  • Charles Hymans and Olivier Levillain. Newspeak, Doubleplussimple Minilang for Goodthinkful Static Analysis of C. EADS IW/SE Technical Note 2008-IW-SE-00010-1, 2008. [ bib | pdf ]
  • Xavier Allamigeon. Non-disjunctive Numerical Domain for Array Predicate Abstraction. In Sophia Drossopoulou, editor, Programming Languages and Systems, Proceedings of the 17th European Symposium on Programming (ESOP'08), volume 4960 of Lecture Notes in Computer Science, pages 163-177, Budapest, Hungary, April 2008. Springer Verlag. [ bib | pdf ]
  • Xavier Allamigeon and Charles Hymans. Static Analysis by Abstract Interpretation: Application to the Detection of Heap Overflows. Journal in Computer Virology, 4(1):5-23, 2008. [ bib ]
  • Xavier Allamigeon and Charles Hymans. Analyse Statique par Interprétation Abstraite. In Eric Filiol, editor, 5ème Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC'07), Rennes, France, June 2007. [ bib | pdf (in french) ]
  • Xavier Allamigeon, Wenceslas Godard, and Charles Hymans. Static Analysis of String Manipulations in Critical Embedded C Programs. In Kwangkeun Yi, editor, Static Analysis, 13th International Symposium (SAS'06), volume 4134 of Lecture Notes in Computer Science, pages 35-51, Seoul, Korea, August 2006. Springer Verlag. [ bib | Springer | pdf ]