<?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-05296479</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-15T13:46:45+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis</title>
            <title xml:lang="en" type="sub">A Case of Higher-Order Control-Flow Analysis</title>
            <author role="aut">
              <persName>
                <forename type="first">Guannan</forename>
                <surname>Wei</surname>
              </persName>
              <email type="md5">6ee0e1e55ec3e10810e6e24c74fb5181</email>
              <email type="domain">tufts.edu</email>
              <idno type="idhal" notation="numeric">1590088</idno>
              <idno type="halauthorid" notation="string">3808667-1590088</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3150-2033</idno>
              <affiliation ref="#struct-454318"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Zhuo</forename>
                <surname>Zhang</surname>
              </persName>
              <idno type="halauthorid">1140196-0</idno>
              <affiliation ref="#struct-233961"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Caterina</forename>
                <surname>Urban</surname>
              </persName>
              <email type="md5">dc30849ff99a6744caf847e3372026c6</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">caterina</idno>
              <idno type="idhal" notation="numeric">1061085</idno>
              <idno type="halauthorid" notation="string">789939-1061085</idno>
              <idno type="GOOGLE SCHOLAR">4-u1_HIAAAAJ</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8127-9642</idno>
              <affiliation ref="#struct-25027"/>
              <affiliation ref="#struct-564132"/>
              <affiliation ref="#struct-454318"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Caterina</forename>
                <surname>Urban</surname>
              </persName>
              <email type="md5">dc30849ff99a6744caf847e3372026c6</email>
              <email type="domain">gmail.com</email>
            </editor>
            <funder ref="#projanr-109296"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-10-03 16:41:51</date>
              <date type="whenModified">2025-10-27 09:38:02</date>
              <date type="whenReleased">2025-10-03 17:03:17</date>
              <date type="whenProduced">2025-10-15</date>
              <date type="whenEndEmbargoed">2025-10-03</date>
              <ref type="file" target="https://inria.hal.science/hal-05296479v1/document">
                <date notBefore="2025-10-03"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-05296479v1/file/paper.pdf" id="file-5296479-4539086">
                <date notBefore="2025-10-03"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="318857">
                <persName>
                  <forename>Caterina</forename>
                  <surname>Urban</surname>
                </persName>
                <email type="md5">dc30849ff99a6744caf847e3372026c6</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05296479</idno>
            <idno type="halUri">https://inria.hal.science/hal-05296479</idno>
            <idno type="halBibtex">wei:hal-05296479</idno>
            <idno type="halRefHtml">&lt;i&gt;LMPL 2025 - 1st International Workshop on Language Models and Programming Languages&lt;/i&gt;, Oct 2025, Singapore, Singapore. &lt;a target="_blank" href="https://dx.doi.org/10.1145/3759425.3763378"&gt;&amp;#x27E8;10.1145/3759425.3763378&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">LMPL 2025 - 1st International Workshop on Language Models and Programming Languages, Oct 2025, Singapore, Singapore. &amp;#x27E8;10.1145/3759425.3763378&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-5296479-4539086"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-ROCQ">INRIA Paris - Rocquencourt</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="INRIA-PSL">INRIA-PSL</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="DIENS" corresp="ENS-PARIS">Département d'informatique de l'ENS-PSL</idno>
            <idno type="stamp" n="PEPR_IA">PEPR IA</idno>
            <idno type="stamp" n="SAIF">SAIF</idno>
            <idno type="stamp" n="ANR-IA-23" corresp="ANR-IA">ANR-IA-23</idno>
            <idno type="stamp" n="ANR-IA">ANR-IA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</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="en">Hallucination-Resilient LLM-Driven Sound and Tunable Static Analysis</title>
                <title xml:lang="en" type="sub">A Case of Higher-Order Control-Flow Analysis</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Guannan</forename>
                    <surname>Wei</surname>
                  </persName>
                  <email type="md5">6ee0e1e55ec3e10810e6e24c74fb5181</email>
                  <email type="domain">tufts.edu</email>
                  <idno type="idhal" notation="numeric">1590088</idno>
                  <idno type="halauthorid" notation="string">3808667-1590088</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3150-2033</idno>
                  <affiliation ref="#struct-454318"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Zhuo</forename>
                    <surname>Zhang</surname>
                  </persName>
                  <idno type="halauthorid">1140196-0</idno>
                  <affiliation ref="#struct-233961"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Caterina</forename>
                    <surname>Urban</surname>
                  </persName>
                  <email type="md5">dc30849ff99a6744caf847e3372026c6</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">caterina</idno>
                  <idno type="idhal" notation="numeric">1061085</idno>
                  <idno type="halauthorid" notation="string">789939-1061085</idno>
                  <idno type="GOOGLE SCHOLAR">4-u1_HIAAAAJ</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8127-9642</idno>
                  <affiliation ref="#struct-25027"/>
                  <affiliation ref="#struct-564132"/>
                  <affiliation ref="#struct-454318"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>LMPL 2025 - 1st International Workshop on Language Models and Programming Languages</title>
                  <date type="start">2025-10-15</date>
                  <date type="end">2025-10-15</date>
                  <settlement>Singapore</settlement>
                  <country key="SG">Singapore</country>
                </meeting>
                <imprint/>
              </monogr>
              <idno type="doi">10.1145/3759425.3763378</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Control Flow Analysis</term>
                <term xml:lang="en">Large Language Models</term>
                <term xml:lang="en">Static Analysis</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</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="en">
              <p>We argue that soundness remains essential for LLM-driven static analysis and discuss hallucination-resilient approaches in combining LLMs with static analysis that ensure soundness while improving precision. We propose to use LLMs as a way of meta-analysis and investigate this approach in higher-order control-flow analysis, building on the abstracting abstract machine framework and delegating abstract address allocation to an LLM. Our analyzer llmaam maintains soundness regardless of LLM behavior, while adaptively tuning analysis precision. We report promising preliminary results and outline broader opportunities for sound LLMdriven analysis.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-454318" status="VALID">
          <idno type="IdRef">242506526</idno>
          <idno type="RNSR">201421111R</idno>
          <idno type="ROR">https://ror.org/02wakmj41</idno>
          <orgName>Analyse Statique par Interprétation Abstraite</orgName>
          <orgName type="acronym">ANTIQUE</orgName>
          <date type="start">2016-01-01</date>
          <date type="end">2027-03-31</date>
          <desc>
            <address>
              <addrLine>45, rue d'Ulm 75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/antique</ref>
          </desc>
          <listRelation>
            <relation active="#struct-25027" type="direct"/>
            <relation active="#struct-59704" type="indirect"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8548" active="#struct-441569" type="indirect"/>
            <relation active="#struct-454310" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-233961" status="VALID">
          <idno type="IdRef">150102984</idno>
          <idno type="ROR">https://ror.org/0220qvk04</idno>
          <orgName>Shanghai Jiao Tong University [Shanghai]</orgName>
          <date type="start">1896-01-01</date>
          <desc>
            <address>
              <addrLine>800 Dongchuan Road, Shanghai, 200240</addrLine>
              <country key="CN"/>
            </address>
            <ref type="url">http://en.sjtu.edu.cn/</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-25027" status="VALID">
          <idno type="IdRef">148034055</idno>
          <idno type="RNSR">199812876J</idno>
          <idno type="ROR">05y6rqs46</idno>
          <orgName>Département d'informatique - ENS-PSL</orgName>
          <orgName type="acronym">DI-ENS</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</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-454310" status="VALID">
          <idno type="IdRef">241614864</idno>
          <idno type="RNSR">196718247G</idno>
          <idno type="ROR">https://ror.org/05eyd5d35</idno>
          <orgName>Centre Inria de Paris</orgName>
          <date type="start">2016-03-10</date>
          <desc>
            <address>
              <addrLine>48 Rue Barrault, 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/paris</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-109296" status="VALID">
          <idno type="anr">ANR-23-PEIA-0006</idno>
          <orgName>SAIF</orgName>
          <desc>Safe AI through Formal Methods</desc>
          <date type="start">2023</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>