Stars
3
stars
written in C++
Clear filter
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 fu…
A suite of testvectors for X.509 certificate path validation and tools for building them