VAST is an experimental frontend designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representation for a program analysis or further program abstraction. - View it on GitHub