<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-04406463</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-24T13:49:02+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Réutilisations de caches et d'invariants pour l'analyse statique incrémentale</title>
            <author role="aut">
              <persName>
                <forename type="first">Mamy</forename>
                <surname>Razafintsialonina</surname>
              </persName>
              <email type="md5">a959954fa668796bfc547c9264e0e70f</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">mamy-razafintsialonina</idno>
              <idno type="idhal" notation="numeric">1176256</idno>
              <idno type="halauthorid" notation="string">2615236-1176256</idno>
              <idno type="ORCID">https://orcid.org/0009-0008-0072-3424</idno>
              <affiliation ref="#struct-541707"/>
              <affiliation ref="#struct-528160"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">David</forename>
                <surname>Bühler</surname>
              </persName>
              <idno type="halauthorid">31800-0</idno>
              <affiliation ref="#struct-528160"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Antoine</forename>
                <surname>Miné</surname>
              </persName>
              <idno type="halauthorid">2252-0</idno>
              <affiliation ref="#struct-541707"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Valentin</forename>
                <surname>Perrelle</surname>
              </persName>
              <idno type="halauthorid">442618-0</idno>
              <affiliation ref="#struct-528160"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Julien</forename>
                <surname>Signoles</surname>
              </persName>
              <email type="md5">dccf4d49c80b05090b721f27aadc3fb3</email>
              <email type="domain">cea.fr</email>
              <idno type="idhal" notation="string">signoles-julien</idno>
              <idno type="idhal" notation="numeric">1354930</idno>
              <idno type="halauthorid" notation="string">705304-1354930</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9266-0820</idno>
              <affiliation ref="#struct-528160"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Adrien</forename>
                <surname>Guatto</surname>
              </persName>
              <email type="md5">72ee932eb40ad1f3e94c92efe9bf9cc8</email>
              <email type="domain">guatto.org</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-01-23 09:01:41</date>
              <date type="whenModified">2024-10-30 13:32:52</date>
              <date type="whenReleased">2024-01-23 09:18:29</date>
              <date type="whenProduced">2024-01-30</date>
              <date type="whenEndEmbargoed">2024-01-19</date>
              <ref type="file" target="https://inria.hal.science/hal-04406463v1/document">
                <date notBefore="2024-01-19"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-04406463v1/file/jfla2024-paper-43.pdf" id="file-4406463-3832095">
                <date notBefore="2024-01-19"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="679660">
                <persName>
                  <forename>Adrien</forename>
                  <surname>Guatto</surname>
                </persName>
                <email type="md5">72ee932eb40ad1f3e94c92efe9bf9cc8</email>
                <email type="domain">guatto.org</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04406463</idno>
            <idno type="halUri">https://inria.hal.science/hal-04406463</idno>
            <idno type="halBibtex">razafintsialonina:hal-04406463</idno>
            <idno type="halRefHtml">&lt;i&gt;35es Journées Francophones des Langages Applicatifs (JFLA 2024)&lt;/i&gt;, Jan 2024, Saint-Jacut-de-la-Mer, France</idno>
            <idno type="halRef">35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4406463-3832095"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CEA">CEA - Commissariat à l'énergie atomique</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="DRT" corresp="CEA">Direction de la recherche technologique</idno>
            <idno type="stamp" n="CEA-UPSAY" corresp="CEA">CEA - Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="LIST" corresp="CEA">Laboratoire d'Intégration des Systèmes et des Technologies</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="GS-SPORT-HUMAN-MOVEMENT">Graduate School Sport, Mouvement, Facteurs Humains</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="JFLA2024" corresp="JFLA">Trente-Cinquièmes Journées Francophones des Langages Applicatifs</idno>
            <idno type="stamp" n="JFLA">Journées Francophones des Langages Applicatifs</idno>
            <idno type="stamp" n="PSACLAY-TEST">Université Paris-Saclay - Collection pour tests</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="3">National</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="fr">Réutilisations de caches et d'invariants pour l'analyse statique incrémentale</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Mamy</forename>
                    <surname>Razafintsialonina</surname>
                  </persName>
                  <email type="md5">a959954fa668796bfc547c9264e0e70f</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">mamy-razafintsialonina</idno>
                  <idno type="idhal" notation="numeric">1176256</idno>
                  <idno type="halauthorid" notation="string">2615236-1176256</idno>
                  <idno type="ORCID">https://orcid.org/0009-0008-0072-3424</idno>
                  <affiliation ref="#struct-541707"/>
                  <affiliation ref="#struct-528160"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">David</forename>
                    <surname>Bühler</surname>
                  </persName>
                  <idno type="halauthorid">31800-0</idno>
                  <affiliation ref="#struct-528160"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Antoine</forename>
                    <surname>Miné</surname>
                  </persName>
                  <idno type="halauthorid">2252-0</idno>
                  <affiliation ref="#struct-541707"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Valentin</forename>
                    <surname>Perrelle</surname>
                  </persName>
                  <idno type="halauthorid">442618-0</idno>
                  <affiliation ref="#struct-528160"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Julien</forename>
                    <surname>Signoles</surname>
                  </persName>
                  <email type="md5">dccf4d49c80b05090b721f27aadc3fb3</email>
                  <email type="domain">cea.fr</email>
                  <idno type="idhal" notation="string">signoles-julien</idno>
                  <idno type="idhal" notation="numeric">1354930</idno>
                  <idno type="halauthorid" notation="string">705304-1354930</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9266-0820</idno>
                  <affiliation ref="#struct-528160"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>35es Journées Francophones des Langages Applicatifs (JFLA 2024)</title>
                  <date type="start">2024-01-30</date>
                  <date type="end">2024-02-02</date>
                  <settlement>Saint-Jacut-de-la-Mer</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="fr">
              <p>L'analyse statique de programmes permet aujourd'hui d'analyser des programmes de grande taille, avec une très bonne précision, tout en étant raisonnablement rapide. Néanmoins, les temps d'analyse continuent de se compter en minutes, voire dizaines de minutes, ce qui rend compliqué leur intégration dans les processus de développement : les modifications d'un programme y sont très fréquentes et requièrent donc d'obtenir rapidement les résultats de l'analyseur. Néanmoins, ces modifications sont souvent mineures, de l'ordre de quelques lignes de code tout au plus. L'analyse statique incrémentale exploite cette caractéristique pour permettre à un analyseur statique de se contenter d'actualiser les résultats d'une analyse antérieure plutôt que de tout recalculer, ce qui permet des gains de temps significatifs. Cet article présente deux nouvelles approches pour l'analyse statique incrémentale, l'une réutilisant des caches de fonction et l'autre des invariants de boucle. Nous les avons implémentées dans Eva, l'analyseur de valeurs par interprétation abstraite de Frama-C en utilisant une nouvelle fonctionalité de cette plateforme permettant de comparer deux programmes. Nos travaux ont été évalués sur un ensemble de commits de programmes réels.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-541707" status="VALID">
          <orgName>Algorithmes, Programmes et Résolution</orgName>
          <orgName type="acronym">APR</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="department" xml:id="struct-528160" status="VALID">
          <idno type="RNSR">200822623K</idno>
          <orgName>Département Ingénierie Logiciels et Systèmes</orgName>
          <orgName type="acronym">DILS (CEA, LIST)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation name="DRT/LIST/DILS" active="#struct-40217" type="direct"/>
            <relation name="DRT/LIST" active="#struct-440043" type="indirect"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
            <relation active="#struct-419361" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-40217" status="VALID">
          <idno type="IdRef">156836882</idno>
          <idno type="ISNI">0000 0004 0405 1788</idno>
          <idno type="RNSR">200118591H</idno>
          <idno type="ROR">https://ror.org/000dbcc61</idno>
          <idno type="Wikidata">Q30299467</idno>
          <orgName>Laboratoire d'Intégration des Systèmes et des Technologies</orgName>
          <orgName type="acronym">LIST (CEA)</orgName>
          <desc>
            <address>
              <addrLine>DRT/LISTNano-INNOVAvenue de la Vauve91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-list.cea.fr/</ref>
          </desc>
          <listRelation>
            <relation name="DRT/LIST" active="#struct-440043" type="direct"/>
            <relation name="DRT" active="#struct-300016" type="indirect"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-440043" status="VALID">
          <idno type="IdRef">067087930</idno>
          <idno type="ISNI">0000000121157881</idno>
          <idno type="RNSR">199018589D</idno>
          <idno type="ROR">https://ror.org/02ggzyd20</idno>
          <idno type="Wikidata">Q30299418</idno>
          <orgName>Direction de Recherche Technologique (CEA)</orgName>
          <orgName type="acronym">DRT (CEA)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.drt-cea.com/</ref>
          </desc>
          <listRelation>
            <relation name="DRT" active="#struct-300016" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300016" status="VALID">
          <idno type="IdRef">026372061</idno>
          <idno type="ISNI">0000000122998025</idno>
          <idno type="ROR">https://ror.org/00jjx8s55</idno>
          <idno type="Wikidata">Q868550</idno>
          <orgName>Commissariat à l'énergie atomique et aux énergies alternatives</orgName>
          <orgName type="acronym">CEA</orgName>
          <desc>
            <address>
              <addrLine>Centre de SaclayCentre de GrenobleCentre de Cadaracheetc</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cea.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>