Les LLM peuvent trier vos avertissements d'analyse statique. Ils ne peuvent simplement pas expliquer pourquoi.
Les large language models peuvent aider à trier les faux positifs de l'analyse statique, mais ils ne comprennent pas la sémantique des programmes comme le fait l'interprétation abstraite. Voici comment combiner les deux.
