Modular Open Platform for Static Analysis

Projektinformationen

MOPSA

ID Finanzhilfevereinbarung: 681393

DOI

10.3030/681393

Projekt abgeschlossen

EK-Unterschriftsdatum 10 April 2016

Startdatum 1 Juni 2016

Enddatum 30 November 2021

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 773 750,00

EU-Beitrag

€ 1 773 750,00

Koordiniert durch

SORBONNE UNIVERSITE
France

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Thesis and dissertations (4)

Static type and value analysis by abstract interpretation of Python programs with native C libraries

Autoren: Raphaël Monat
Veröffentlicht in: PhD Dissertation, 2021
Herausgeber: Sorbonne Université

Static Analysis by Abstract Interpretation Collecting Types of Python Programs

Autoren: Monat, Raphaël
Veröffentlicht in: Master Dissertation, Ausgabe 1, 2018
Herausgeber: HAL

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

Autoren: Matthieu Journault
Veröffentlicht in: PhD Dissertation, 2019
Herausgeber: Sorbonne Université

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

Autoren: Thibault Suzanne
Veröffentlicht in: PhD Dissertation, 2019
Herausgeber: Sorbonne Université

Conference proceedings (19)

A Library Modeling Language for the Static Analysis of C Programs

Autoren: Abdelraouf Ouadjaout, Antoine Miné
Veröffentlicht in: Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings, Ausgabe 12389, 2020, Seite(n) 223-247, ISBN 978-3-030-65473-3
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-65474-0_11

A multilanguage static analysis of Python programs with native C extensions.

Autoren: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Veröffentlicht in: Static Analysis - 28th International Symposium, SAS 2021, Ausgabe 1, 2021
Herausgeber: Springer
DOI: 10.1007/978-3-030-88806-0_16

Mlang: an Open-Source Toolchain for the Income Tax Computation

Autoren: Denis Merigoux,Raphaël Monat
Veröffentlicht in: Journées Francophones des Langages Applicatifs, 2021, Seite(n) 155-156
Herausgeber: HAL

Quantitative static analysis of communication protocols using abstract Markov chains

Autoren: Abdelraouf Ouadjaout, Antoine Miné
Veröffentlicht in: 24st International Static Analysis Symposium (SAS'17), Ausgabe 24th, 2017, Seite(n) 277-298, ISBN 978-3-319-66706-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-66706-5_14

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

Autoren: Matthieu Journault, Antoine Miné
Veröffentlicht in: Static Analysis Symposium, Ausgabe 23rd, 2016, Seite(n) 257-277, ISBN 978-3-662-53413-7
Herausgeber: Springer
DOI: 10.1007/978-3-662-53413-7_13

Static Value Analysis of Python Programs by Abstract Interpretation

Autoren: Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné
Veröffentlicht in: NASA Formal Methods, Ausgabe 10th, 2018, Seite(n) 185-202
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-77935-5_14

Modular Static Analysis of String Manipulations in C Programs

Autoren: Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Veröffentlicht in: Proc. of Static Analysis. SAS 2018, Ausgabe 25th, 2018, Seite(n) 243-262, ISBN 978-3-319-99724-7
Herausgeber: Springer
DOI: 10.1007/978-3-319-99725-4_16

Design of a Modular Platform for Static Analysis.

Autoren: Antoine Miné, Abdelraouf Ouadjaou, Matthieu Journault
Veröffentlicht in: Workshop on Tools for Automatic Program Analysis (TAPAS'18), Ausgabe 9th, 2018
Herausgeber: The Static Analysis Symposia

Relational Thread-Modular Abstract Interpretation Under Relaxed Memory Models

Autoren: Thibault Suzanne, Antoine Miné
Veröffentlicht in: Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings, Ausgabe 11275, 2018, Seite(n) 109-128, ISBN 978-3-030-02767-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-02768-1_6

Finding Solutions by Finding Inconsistencies

Autoren: Ghiles Ziat, Marie Pelleau, Charlotte Truchet, Antoine Miné
Veröffentlicht in: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, Ausgabe 11008, 2018, Seite(n) 420-435, ISBN 978-3-319-98333-2
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-98334-9_28

An Abstract Domain for Trees with Numeric Relations

Autoren: Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout
Veröffentlicht 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, Ausgabe 11423, 2019, Seite(n) 724-751, ISBN 978-3-030-17183-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-17184-1_26

Value and allocation sensitivity in static Python analyses

Autoren: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Veröffentlicht in: Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020, Seite(n) 8-13, ISBN 9781-450379977
Herausgeber: ACM
DOI: 10.1145/3394451.3397205

Analysis of program differences with numerical abstract interpretation

Autoren: David Delmas, Antoine Miné
Veröffentlicht in: Workshop on Program Equivalence and Relational Reasoning, Ausgabe 3rd, 2019
Herausgeber: HAL

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

Autoren: Denis Merigoux, Raphaël Monat, Christophe Gaie
Veröffentlicht in: Journées Francophones des Langages Applicatifs, Ausgabe 31st, 2020
Herausgeber: HAL

Analysis of Software Patches Using Numerical Abstract Interpretation

Autoren: David Delmas, Antoine Miné
Veröffentlicht in: Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings, Ausgabe 11822, 2019, Seite(n) 225-246, ISBN 978-3-030-32303-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-32304-2_12

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

Autoren: Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout
Veröffentlicht in: Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers, Ausgabe 12031, 2020, Seite(n) 1-18, ISBN 978-3-030-41599-0
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-41600-3_1

Static Type Analysis by Abstract Interpretation of Python Programs

Autoren: Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné
Veröffentlicht in: European Conference on Object-Oriented Programming, Ausgabe 34th, 2020
Herausgeber: Dagstuhl Publishing
DOI: 10.4230/lipics.ecoop.2020.17

Static Analysis of Endian Portability by Abstract Interpretation

Autoren: David Delmas, Abdelraouf Ouadjaout, Antoine Miné
Veröffentlicht in: Static Analysis - 28th International Symposium, SAS 2021, Ausgabe 1, 2021, Seite(n) 102-123
Herausgeber: Springer
DOI: 10.1007/978-3-030-88806-0_5

A Modern Compiler for the French Tax Code

Autoren: Denis Merigoux, Raphaël Monat, Jonathan Protzenko
Veröffentlicht in: CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, Ausgabe 1, 2020
Herausgeber: ACM Press
DOI: 10.1145/3446804.3446850

Other (2)

A Review of Formal Methods applied to Machine Learning

Autoren: Urban, Caterina; Miné, Antoine
Veröffentlicht in: Research report, 2021
Herausgeber: HAL

Input Validation for Neural Networks via Runtime Local Robustness Verification

Autoren: Jiangchao Liu, Liqian Chen, Antoine Mine, Ji Wang
Veröffentlicht in: Preprint, 2020
Herausgeber: arXiv

Peer reviewed articles (3)

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Autoren: Antoine Miné
Veröffentlicht in: Foundations and Trends® in Programming Languages, Ausgabe 4/3-4, 2017, Seite(n) 120-372, ISSN 2325-1107
Herausgeber: Now Publishers
DOI: 10.1561/2500000034

Inferring functional properties of matrix manipulating programs by abstract interpretation

Autoren: Matthieu Journault, Antoine Miné
Veröffentlicht in: Formal Methods in System Design, Ausgabe 53/2, 2018, Seite(n) 221-258, ISSN 0925-9856
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10703-017-0311-x

Quantitative static analysis of communication protocols using abstract Markov chains

Autoren: Abdelraouf Ouadjaout, Antoine Miné
Veröffentlicht in: Formal Methods in System Design, Ausgabe 54/1, 2019, Seite(n) 64-109, ISSN 0925-9856
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10703-019-00331-2