vast
latest
VAST est une bibliothèque pour l'analyse de programme et l'instrumentation de C / C ++ et des langues associées. VAST fournit une base pour la représentation de programme personnalisable pour un large éventail d'analyses. En utilisant l'infrastructure MLIR, VAST fournit un ensemble d'outils pour représenter le programme C / C ++ à différentes étapes de la compilation et pour transformer la représentation en abstraction de programme la mieux ajustée.
Pour plus d'informations, vérifiez Trailofbits.github.io/vast/.
Vous pouvez expérimenter avec vaste explorateur de compilateur. N'hésitez pas à utiliser vastes et à produire des dialectes Mlir. Pour spécifier la sortie Mlir souhaitée, utilisez l'option -vast-emit-mlir=<dialect> . Actuellement, les options prises en charge sont:
-vast-emit-mlir=hl pour générer un dialecte de haut niveau.-vast-emit-mlir=llvm pour générer le dialecte LLVM Mlir.Reportez-vous à la documentation vaste à front pour plus de détails.
VAST est sous licence selon la licence Apache 2.0. De vastes liens contre et utilisent des API Clang et LLVM. Clang est également concédé sous licence sous Apache 2.0, avec des exceptions LLVM.
Cette recherche a été développée avec le financement de la Defense Advanced Research Projects Agency (DARPA). Les opinions, opinions et / ou conclusions exprimées sont celles de l'auteur et ne doivent pas être interprétées comme représentant les opinions ou politiques officielles du ministère de la Défense ou du gouvernement américain.
Énoncé de distribution A - Approuvé pour la libération publique, Distribution Unlimited
