VAST adalah perpustakaan untuk analisis program dan instrumentasi C/C ++ dan bahasa terkait. VAST menyediakan fondasi untuk representasi program yang dapat disesuaikan untuk spektrum analisis yang luas. Menggunakan infrastruktur MLIR, VAST menyediakan toolset untuk mewakili program C/C ++ pada berbagai tahap kompilasi dan untuk mengubah representasi menjadi abstraksi program terbaik.
Untuk informasi lebih lanjut periksa trailofbits.github.io/vast/.
Anda dapat bereksperimen dengan Compiler Explorer yang luas. Jangan ragu untuk menggunakan dialek MLIR yang luas dan memproduksi. Untuk menentukan output MLIR yang diinginkan, gunakan opsi -vast-emit-mlir=<dialect> . Saat ini, opsi yang didukung adalah:
-vast-emit-mlir=hl untuk menghasilkan dialek tingkat tinggi.-vast-emit-mlir=llvm untuk menghasilkan dialek llvm mlir.Lihat dokumentasi yang luas untuk detail tambahan.
VAST dilisensikan sesuai dengan lisensi Apache 2.0. Tautan luas dengan dan menggunakan API Dentang dan LLVM. Dentang juga dilisensikan di bawah Apache 2.0, dengan pengecualian LLVM.
Penelitian ini dikembangkan dengan dana dari Badan Proyek Penelitian Lanjutan Pertahanan (DARPA). Pandangan, pendapat, dan/atau temuan yang diungkapkan adalah pandangan penulis dan tidak boleh ditafsirkan sebagai mewakili pandangan resmi atau kebijakan Departemen Pertahanan atau pemerintah AS.
Pernyataan Distribusi A - Disetujui untuk Rilis Publik, Distribusi Tidak Terbatas