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.
Votre analyseur statique vient d'émettre 847 avertissements un vendredi après-midi. Vous savez, statistiquement, que quelque part entre 5% et 15% d'entre eux…