yapall

Encore une autre analyse de pointeur pour LLVM

Yapall est une analyse de pointeur précise et évolutive pour LLVM. La sortie du Yapall 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 de May-Alias

Yapall est sensible à K-appels pour la configuration K, le champ, le tableau et l'insensible au flux, et effectue une construction calleux à la volée. Yapall est écrit à l'aide de l'ascension et est donc très parallèle.

Pour plus d'informations, consultez la documentation.

Remerciements

Ce matériel est basé sur les travaux soutenus par la Defense Advanced Research Projects Agency (DARPA) en vertu du contrat n ° N66001-21-C-4023. 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 DARPA.

Distribution

Énoncé de distribution A. Approuvé pour la libération publique: Distribution Unlimited.