Années:
2011
(
IRL Ensimag)
Co-encadrant:
David Monniaux
Sujet: Analyse de programmes par interprétation abstraite
Résumé: L’interprétation abstraite est une méthode d’analyse statique utilisée dans plusieurs outils
industriels d’analyse de programmes. Dans ce document, nous montrons comment il est possible
de réaliser très rapidement un analyseur de programmes C par interprétation abstraite à l’aide
d’outils biens choisis les bibliothèques LLVM et Apron. Après un bref rappel sur l’interpré-
tation abstraite, nous présentons ces outils, puis nous donnons les détails d’implémentation de
notre analyseur. Enfin nous présentons les résultats obtenus sur des programmes simples.
2023
Journal articles
- ref_biblio
- Michael Goldman, Benoît Merlet, Marc Pegon, Sylvia Serfaty. Compactness and structure of zero-states for unoriented Aviles-Giga functionals. Journal of the Institute of Mathematics of Jussieu, In press, pp.1-42. ⟨10.1017/S1474748023000075⟩. ⟨hal-03472756⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- ref_biblio
- Michael Goldman, Benoît Merlet, Marc Pegon. Uniform $C^{1,\alpha}$-regularity for almost-minimizers of some nonlocal perturbations of the perimeter. 2023. ⟨hal-03623418v3⟩
- Accès au texte intégral et bibtex
-
2021
Journal articles
- ref_biblio
- Benoît Merlet, Marc Pegon. Large mass rigidity for a liquid drop model in 2D with kernels of finite moments. Journal de l'École polytechnique — Mathématiques, 2021, 9, pp.63-100. ⟨10.5802/jep.178⟩. ⟨hal-03181775v3⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Marc Pegon. Large mass minimizers for isoperimetric problems with integrable nonlocal potentials. Nonlinear Analysis: Theory, Methods and Applications, 2021, 211, pp.112395. ⟨10.1016/j.na.2021.112395⟩. ⟨hal-02496313v3⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Vincent Millot, Marc Pegon, Armin Schikorra. Partial regularity for fractional harmonic maps into spheres. Archive for Rational Mechanics and Analysis, 2021, 242 (2), pp.747-825. ⟨10.1007/s00205-021-01693-w⟩. ⟨hal-02297231v3⟩
- Accès au texte intégral et bibtex
-
2020
Journal articles
- ref_biblio
- Vincent Millot, Marc Pegon. Minimizing 1/2-harmonic maps into spheres. Calculus of Variations and Partial Differential Equations, 2020, 59 (2), pp.55. ⟨10.1007/s00526-020-1704-z⟩. ⟨hal-01985037⟩
- Accès au texte intégral et bibtex
-
2019
Theses
- ref_biblio
- Marc Pegon. Some contributions to geometric variational problems involving nonlocal energies. Algebraic Geometry [math.AG]. Université Paris Cité, 2019. English. ⟨NNT : 2019UNIP7130⟩. ⟨tel-03103920⟩
- Accès au texte intégral et bibtex
-