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 - 批准公开发布，分销无限