Zobrazeno 1 - 10
of 77
pro vyhledávání: '"Antoine Miné"'
Autor:
Antoine Miné
Publikováno v:
Logical Methods in Computer Science, Vol Volume 8, Issue 1 (2012)
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs. Following our work on Astr\'ee, we focus on embedded critical programs without recursion nor dynamic memory allocation, bu
Externí odkaz:
https://doaj.org/article/6f64b8ea0c8d4860a6100e09fa2d9160
Publikováno v:
ACM Transactions on Architecture and Code Optimization. 20:1-28
For Affine Control Programs or Static Control Programs (SCoP), symbolic counting of reuse distances could induce polynomials for each reuse pair. These polynomials along with cache capacity constraints lead to non-affine (semi-algebraic) sets; and co
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023)
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Apr 2023, Paris, France. pp.565-570, ⟨10.1007/978-3-031-30820-8_37⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Apr 2023, Paris, France. pp.565-570, ⟨10.1007/978-3-031-30820-8_37⟩
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
Mopsa is a multilanguage static analysis platform relying on abstract interpretation. It is able to analyze C, Python, and programs mixing these two languages; we focus on the C analysis here. It provides a novel way to combine abstract domains, in o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::506feac5d00fa0a47b13e3f9971b1360
https://inria.hal.science/hal-04077678/file/978-3-031-30820-8_37.pdf
https://inria.hal.science/hal-04077678/file/978-3-031-30820-8_37.pdf
Autor:
Francesco Parolini, Antoine Miné
Publikováno v:
Science of Computer Programming. 229:102960
Autor:
Francesco Parolini, Antoine Miné
Publikováno v:
Theoretical Aspects of Software Engineering ISBN: 9783031103629
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99f2173677f7d8cd746c9486d4284e54
https://doi.org/10.1007/978-3-031-10363-6_6
https://doi.org/10.1007/978-3-031-10363-6_6
Publikováno v:
Static Analysis ISBN: 9783030888053
SAS
28th Static Analysis Symposium (SAS 2021)
28th Static Analysis Symposium (SAS 2021), Oct 2021, Chicago, Illinois, United States. pp.102-123, ⟨10.1007/978-3-030-88806-0_5⟩
Static Analysis-28th International Symposium, SAS 2021
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis
SAS
28th Static Analysis Symposium (SAS 2021)
28th Static Analysis Symposium (SAS 2021), Oct 2021, Chicago, Illinois, United States. pp.102-123, ⟨10.1007/978-3-030-88806-0_5⟩
Static Analysis-28th International Symposium, SAS 2021
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis
International audience; We present a static analysis of endian portability for C programs. Our analysis can infer that a given program, or two syntactically close versions thereof, compute the same outputs when run with the same inputs on platforms w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7e200b3a6da8798a63fa792964c8dcb1
https://doi.org/10.1007/978-3-030-88806-0_5
https://doi.org/10.1007/978-3-030-88806-0_5
Publikováno v:
Static Analysis Symposium (SAS)
Static Analysis Symposium (SAS), Oct 2021, Chicago, Illinois, United States
Static Analysis ISBN: 9783030888053
SAS
Static Analysis-28th International Symposium, SAS 2021
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis
Static Analysis Symposium (SAS), Oct 2021, Chicago, Illinois, United States
Static Analysis ISBN: 9783030888053
SAS
Static Analysis-28th International Symposium, SAS 2021
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis
International audience; Modern programs are increasingly multilanguage, to benefit from each programming language's advantages and to reuse libraries. For example, developers may want to combine high-level Python code with low-level, performance-orie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4daa3ee152d51b2b1030054beff9fc89
https://hal.archives-ouvertes.fr/hal-03313409
https://hal.archives-ouvertes.fr/hal-03313409
Autor:
Abdelraouf Ouadjaout, Antoine Miné
Publikováno v:
27th Static Analysis Symposium
27th Static Analysis Symposium, Nov 2020, Chicago, United States. pp.223-247, ⟨10.1007/978-3-030-65474-0_11⟩
Static Analysis-27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis
Static Analysis ISBN: 9783030654733
SAS
27th Static Analysis Symposium, Nov 2020, Chicago, United States. pp.223-247, ⟨10.1007/978-3-030-65474-0_11⟩
Static Analysis-27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Static Analysis
Static Analysis ISBN: 9783030654733
SAS
International audience; We present a specification language aiming at soundly modeling unavailable functions in a static analyzer for C by abstract interpretation. It takes inspiration from Behavioral Interface Specification Languages popular in dedu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::169e94faf568de7aaaa871a3cb974c71
https://hal.archives-ouvertes.fr/hal-02991999/document
https://hal.archives-ouvertes.fr/hal-02991999/document
Publikováno v:
Software Verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles
Software Verification12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
13th International Workshop on Numerical Software Verification (NSV'20)
13th International Workshop on Numerical Software Verification (NSV'20), Jul 2020, Los Angeles, CA, United States. pp.221-238, ⟨10.1007/978-3-030-63618-0⟩
Lecture Notes in Computer Science ISBN: 9783030636173
Software Verification12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
13th International Workshop on Numerical Software Verification (NSV'20)
13th International Workshop on Numerical Software Verification (NSV'20), Jul 2020, Los Angeles, CA, United States. pp.221-238, ⟨10.1007/978-3-030-63618-0⟩
Lecture Notes in Computer Science ISBN: 9783030636173
International audience; We propose to extend an existing framework combining abstract interpretation and continuous constraint programming for numerical invariant synthesis, by using more expressive underlying abstract domains, such as zonotopes. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6db0ede078fbbb8d2707b53022c87aae
https://hal.archives-ouvertes.fr/hal-03113053
https://hal.archives-ouvertes.fr/hal-03113053
Publikováno v:
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 2020, London, United Kingdom. pp.8-13, ⟨10.1145/3394451.3397205⟩
SOAP@PLDI
9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 2020, London, United Kingdom. pp.8-13, ⟨10.1145/3394451.3397205⟩
SOAP@PLDI
International audience; Sound static analyses for large subsets of static programming languages such as C are now widespread. For example the Astrée static analyzer soundly overapproximates the behavior of C programs that do not contain any dynamic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb24302da78a2637035f2c72bb729da7
https://hal.sorbonne-universite.fr/hal-02876667/document
https://hal.sorbonne-universite.fr/hal-02876667/document