Related Projects

LLVM Test Suite

Test suite extended to generate reports for VAST MLIR dialects.

Benchmarks

C/C++ benchmarks for VAST.

Miller

VAST MLIR Abstract Interpreter

VAST-Checker

VAST-based tool that scans C code for variants of the Sequoia bug.

Macroni

Compiler frontend for C and C++ that utilizes PASTA for code parsing and VAST for representing the code as MLIR. Notably, it extends VAST MLIR to handle macro expansions in its dialects.

PoTATo

Dialect-based points-to analysis for MLIR.