cclyzerpp

cclyzer ++

CCLYZER ++ est une analyse de pointeur globale précise et évolutive pour le code LLVM. La sortie de CCLYZER ++ peut être utilisée pour une variété de tâches d'analyse de programme, notamment:

• Création de callgraphs avec une gestion précise des appels de fonction indirects et des appels de méthode virtuelle
• Analyse précise du contrôle et du flux de données interprocédurales et de données
• Répondre aux requêtes May-Alias ​​et à Not-Alias

CCLYZER ++ est sensible au champ et au tableau, effectue une construction de callgraph à la volée et prend en charge de nombreuses configurations différentes de la sensibilité contextuelle, y compris la sensibilité aux calculs k . Il a des analyses basées sur les sous-ensembles (style Andersen) et basées sur l'unification (style Steensgaard). CCLYZER ++ est écrit dans le données Soufflé, et c'est donc très parallèle. Cclyzer ++ a été dérivé de CCLYZER.

Voir la documentation pour plus d'informations sur CCZLYER ++, y compris des exemples de sa sortie. La documentation est également disponible en ligne.

Si vous utilisez CCLYZER ++ dans votre propre travail, veuillez inclure les citations suivantes:

• Langston Barrett et Scott Moore. "CCLYZER ++: analyse de pointeur évolutive et précise pour LLVM." https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/. 2022.
• George Balatsouras et Yannis Smaragdakis. "Analyse des points à la structure pour C et C ++." Dans l'analyse statique: 23e Symposium international, SAS 2016, Édimbourg, Royaume-Uni, 8-10 septembre 2016, Actes 23, pp. 84-104. Springer Berlin Heidelberg, 2016.

Remerciements

Ce matériel est basé sur les travaux soutenus par la United States Air Force and Defense Advanced Research Project Agency (DARPA) en vertu du contrat n ° FA8750-19-C-0004. Toutes les opinions, conclusions et conclusions ou recommandations exprimés dans ce matériel sont ceux des auteurs et ne reflètent pas nécessairement les vues de la Force aérienne américaine ou de la DARPA. Approuvé pour la libération publique, Distribution Unlimited.