Découvrir les dépendances cachées : Construire des témoins de chemin intelligibles à l'aide d'analyses de flux de données

Le manque de rapports d'erreurs solides, concis et complets émis par un outil d'analyse statique peut entraîner des coûts de correction accrus, des goulets d'étranglement dans la disponibilité des experts et même miner la confiance dans l'analyse statique en tant que méthode. Cet article présente des techniques novatrices visant à améliorer la qualité des rapports de bogues pour les outils d'analyse statique qui emploient l'exécution symbolique. Grâce à la combinaison de l'analyse des dépendances de données et de contrôle, nous pouvons identifier la pertinence de certains extraits de code qui étaient auparavant manquants dans le rapport. Nous avons démontré les avantages de notre approche en mettant en œuvre un nouvel algorithme générateur de rapports de bogues pour le Clang Static Analyzer. Après avoir été testé par la communauté open source, notre solution est devenue activée par défaut dans l'outil.