trailofbits / vastLinks

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.
420Updated last month

Alternatives and similar repositories for vast

Users that are interested in vast are comparing it to the libraries listed below

Sorting: