Skip to main content

Modular Open Platform for Static Analysis

Publications

Quantitative static analysis of communication protocols using abstract Markov chains

Author(s): Abdelraouf Ouadjaout, Antoine Miné
Published in: 24st International Static Analysis Symposium (SAS'17), Issue 24th, 2017, Page(s) 277-298
DOI: 10.1007/978-3-319-66706-5_14

Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs

Author(s): Matthieu Journault, Antoine Miné
Published in: Static Analysis Symposium, Issue 23rd, 2016, Page(s) 257-277
DOI: 10.1007/978-3-662-53413-7_13

Static Value Analysis of Python Programs by Abstract Interpretation

Author(s): Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné
Published in: NASA Formal Methods, Issue 10th, 2018, Page(s) 185-202
DOI: 10.1007/978-3-319-77935-5_14

Modular Static Analysis of String Manipulations in C Programs

Author(s): Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Published in: Proc. of Static Analysis. SAS 2018, Issue 25th, 2018, Page(s) 243-262
DOI: 10.1007/978-3-319-99725-4_16

Design of a Modular Platform for Static Analysis.

Author(s): Antoine Miné, Abdelraouf Ouadjaou, Matthieu Journault
Published in: Workshop on Tools for Automatic Program Analysis (TAPAS'18), Issue 9th, 2018

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models

Author(s): Thibault Suzanne, Antoine Miné
Published in: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings, Issue 11275, 2018, Page(s) 109-128
DOI: 10.1007/978-3-030-02768-1_6

Finding Solutions by Finding Inconsistencies

Author(s): Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné
Published in: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, Issue 11008, 2018, Page(s) 420-435
DOI: 10.1007/978-3-319-98334-9_28

An Abstract Domain for Trees with Numeric Relations

Author(s): Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Published in: Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Issue 11423, 2019, Page(s) 724-751
DOI: 10.1007/978-3-030-17184-1_26

Value and allocation sensitivity in static Python analyses

Author(s): Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Published in: Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020, Page(s) 8-13
DOI: 10.1145/3394451.3397205

Analysis of program differences with numerical abstract interpretation

Author(s): David Delmas, Antoine Miné
Published in: Workshop on Program Equivalence and Relational Reasoning, Issue 3rd, 2019

Étude formelle de l’implémentation du code des impôts

Author(s): Denis Merigoux, Raphaël Monat, Christophe Gaie
Published in: Journées Francophones des Langages Applicatifs, Issue 31st, 2020

Analysis of Software Patches Using Numerical Abstract Interpretation

Author(s): David Delmas, Antoine Miné
Published in: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Issue 11822, 2019, Page(s) 225-246
DOI: 10.1007/978-3-030-32304-2_12

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

Author(s): Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout
Published in: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers, Issue 12031, 2020, Page(s) 1-18
DOI: 10.1007/978-3-030-41600-3_1

Static Type Analysis by Abstract Interpretation of Python Programs

Author(s): Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Published in: European Conference on Object-Oriented Programming, Issue 34th, 2020

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Author(s): Antoine Miné
Published in: Foundations and Trends® in Programming Languages, Issue 4/3-4, 2017, Page(s) 120-372, ISSN 2325-1107
DOI: 10.1561/2500000034

Inferring functional properties of matrix manipulating programs by abstract interpretation

Author(s): Matthieu Journault, Antoine Miné
Published in: Formal Methods in System Design, Issue 53/2, 2018, Page(s) 221-258, ISSN 0925-9856
DOI: 10.1007/s10703-017-0311-x

Quantitative static analysis of communication protocols using abstract Markov chains

Author(s): Abdelraouf Ouadjaout, Antoine Miné
Published in: Formal Methods in System Design, Issue 54/1, 2019, Page(s) 64-109, ISSN 0925-9856
DOI: 10.1007/s10703-019-00331-2

Static Analysis by Abstract Interpretation Collecting Types of Python Programs

Author(s): Monat, Raphaël
Published in: Master Dissertation, Issue 1, 2018

Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference

Author(s): Matthieu Journault
Published in: PhD Dissertation, 2019

Vérification par interprétation abstraite en mémoire faiblement cohérente

Author(s): Thibault Suzanne
Published in: PhD Dissertation, 2019