vast
latest
Vast ist eine Bibliothek für die Programmanalyse und Instrumentierung von C/C ++ und verwandten Sprachen. Vast bildet eine Grundlage für eine anpassbare Programmdarstellung für ein breites Spektrum von Analysen. Unter Verwendung der MLIR-Infrastruktur bietet Vast ein Toolset, um das C/C ++-Programm in verschiedenen Phasen der Zusammenstellung darzustellen und die Darstellung in die am besten geeignete Programmabstraktion umzuwandeln.
Weitere Informationen finden Sie unter Trailofbits.github.io/vast/.
Sie können mit Vast über Compiler Explorer experimentieren. Fühlen Sie sich frei, riesige MLIR -Dialekte zu verwenden. Verwenden Sie die Option -vast-emit-mlir=<dialect> , um die gewünschte MLIR-Ausgabe anzugeben. Derzeit sind die unterstützten Optionen:
-vast-emit-mlir=hl um hochrangige Dialekte zu erzeugen.-vast-emit-mlir=llvm um LLVM-MLIR-Dialekt zu erzeugen.Weitere Details finden Sie in der Dokumentation der riesigen Front.
Weithäut ist nach der Apache 2.0 -Lizenz lizenziert. Riesige Verbindungen gegen Clang und LLVM -APIs. Clang ist auch unter Apache 2.0 mit LLVM -Ausnahmen lizenziert.
Diese Forschung wurde mit Finanzmitteln der Defense Advanced Research Projects Agency (DARPA) entwickelt. Die Ansichten, Meinungen und/oder Erkenntnisse sind die des Autors und sollten nicht so interpretiert werden, dass sie die offiziellen Ansichten oder Richtlinien des Verteidigungsministeriums oder der US -Regierung vertreten.
Vertriebserklärung A - für die Veröffentlichung, Distribution Unlimited zugelassen
