vast

龐大：計劃分析的MLIR

GAST是一個用於C/C ++和相關語言的程序分析和儀器的庫。 Vast為可自定義的程序表示為廣泛分析提供了基礎。使用MLIR基礎架構，VAST提供了一種工具集來表示彙編各個階段的C/C ++程序，並將表示形式轉換為最佳擬合程序抽象。

有關更多信息，請訪問trailofbits.github.io/vast/。

嘗試大量

您可以在編譯器資源管理器上進行廣大試驗。隨意使用大量的方言。要指定所需的MLIR輸出，請使用-vast-emit-mlir=<dialect>選項。目前，受支持的選項是：

• -vast-emit-mlir=hl生成高級方言。
• -vast-emit-mlir=llvm生成llvm mlir方言。

有關其他詳細信息，請參閱大量文檔。

執照

VAST是根據Apache 2.0許可證獲得許可的。巨大的鏈接與Clang和LLVM API。 Clang還獲得了Apache 2.0的許可，而LLVM例外。

這項研究是通過國防高級研究項目局（DARPA）的資金開發的。表達的觀點，觀點和/或發現是作者的觀點，不應被解釋為代表國防部或美國政府的官方觀點或政策。

分銷聲明A - 批准公開發布，分銷無限