vast

広大：プログラム分析のためのMLIR

Vastは、プログラム分析とC/C ++および関連言語の計装のためのライブラリです。 Vastは、幅広い分析のためのカスタマイズ可能なプログラム表現の基盤を提供します。 MLIRインフラストラクチャを使用して、Vastは、コンパイルのさまざまな段階でC/C ++プログラムを表現し、表現を最適なプログラム抽象化に変換するためのツールセットを提供します。

詳細については、trailofbits.github.io/vast/を確認してください。

膨大な試してみてください

コンパイラエクスプローラーの膨大な試験を試してみることができます。膨大な使用を自由に使用して、MLIR方言を作成してください。目的のMLIR出力を指定するには、 -vast-emit-mlir=<dialect>オプションを使用します。現在、サポートされているオプションは次のとおりです。

• -vast-emit-mlir=hlで高レベルの方言を生成します。
• -vast-emit-mlir=llvm llvm mlir方言を生成します。

詳細については、広大なドキュメントを参照してください。

ライセンス

Vastは、Apache 2.0ライセンスに従ってライセンスされています。 ClangとLLVM APIに対する広大なリンクと使用。 Clangは、LLVMの例外を除き、Apache 2.0に基づいてライセンスされています。

この研究は、防衛Advanced Research Projects Agency（DARPA）からの資金提供を受けて開発されました。表明された意見、意見、および/または発見は著者のものであり、国防総省または米国政府の公式の見解または政策を表すものとして解釈すべきではありません。

配布声明A - 公開のリリース、流通無制限の承認