vast
trailofbits/vast
VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.
441stars
Forks
32
Open issues
172
Watchers
441
Size
6.0 MB
C++Apache License 2.0
cclangcompiler-frontendcompilerscppintermediate-representationmlirprogram-analysis
Created: Jul 7, 2021
Updated: May 23, 2026
Last push: Apr 13, 2026