2016-2021 Publications
-
2021
- R. Monat, A. Ouadjaout, A. MinĂ© : “A Multilanguage Static Analysis of Python Programs with Native C Extensions”, Static Analysis Symposium (SAS), Chicago, Illinois, United States (2021)
- D. Delmas, A. Ouadjaout, A. MinĂ© : “Static Analysis of Endian Portability by Abstract Interpretation”, 28th Static Analysis Symposium (SAS 2021), vol. 12913, Lecture Notes in Computer Science, Chicago, Illinois, United States, pp. 102-123, (Springer International Publishing) (2021)
-
2020
- A. Ouadjaout, A. MinĂ© : “A Library Modeling Language for the Static Analysis of C Programs”, 27th Static Analysis Symposium, vol. 12389, Lecture Notes in Computer Science, Chicago, United States, pp. 223-247 (2020)
- R. Monat, A. Ouadjaout, A. MinĂ© : “Static Type Analysis by Abstract Interpretation of Python Programs”, 34th European Conference on Object-Oriented Programming (ECOOP 2020), vol. 166, Leibniz International Proceedings in Informatics (LIPIcs), Berlin (Virtual / Covid), Germany, (Schloss Dagstuhl--Leibniz-Zentrum fĂ¼r Informatik) (2020)
- R. Monat, A. Ouadjaout, A. MinĂ© : “Value and Allocation Sensitivity in Static Python Analyses”, Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, London, United Kingdom, pp. 8-13, (ACM) (2020)
-
2019
- A. Ouadjaout, A. MinĂ© : “Quantitative Static Analysis of Communication Protocols using Abstract Markov Chains”, Formal Methods in System Design, vol. 54 (1), pp. 64-109, (Springer Verlag) (2019)
- M. Journault, A. MinĂ©, A. Ouadjaout : “An abstract domain for trees with numeric relations”, ESOP 2019 - 28th European Symposium on Programming, vol. 11423, Lecture Notes in Computer Science, Prague, Czechia, pp. 724-751, (Springer) (2019)
- M. Journault, A. MinĂ©, R. Monat, A. Ouadjaout : “Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer”, Verified Software. Theories, Tools, and Experiments, vol. 12031, Lecture Notes in Computer Science, New York, United States, pp. 1-18, (Springer) (2019)
-
2018
- M. Journault, A. MinĂ©, A. Ouadjaout : “Modular static analysis of string manipulations in C programs”, SAS 2018, Freiburg im Breisgau, Germany (2018)
- A. MinĂ©, A. Ouadjaout, M. Journault : “Design of a Modular Platform for Static Analysis”, The Ninth Workshop on Tools for Automatic Program Analysis (TAPAS'18), Fribourg-en-Brisgau, Germany (2018)
- A. Fromherz, A. Ouadjaout, A. MinĂ© : “Static Value Analysis of Python Programs by Abstract Interpretation”, NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings, vol. 10811, Lecture Notes in Computer Science, Newport News, VA, United States, pp. 185-202, (Springer) (2018)
-
2017
- A. Amira, A. Ouadjaout, A. Derhab, N. Badache : “Sound and Static Analysis of Session Fixation Vulnerabilities in PHP Web Applications”, CODASPY, Scottsdale, Arizona, United States (2017)
- A. Ouadjaout, A. MinĂ© : “Quantitative Static Analysis of Communication Protocols Using Abstract Markov Chains”, Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings, vol. 10422, Lecture Notes in Computer Science, New York, NY, United States, pp. 277-298, (Springer) (2017)
-
2016