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.
C++Apache-2.0
Watchers
- broccoliroblocalhost:8545
- damilolaedwards@trailofbits
- eemailme
- ex0dus-0xNYC
- gmh5225@backengineering
- goodluck4you
- gregottoTrail of Bits
- Hatsunespica
- hex0punk@trailofbits
- jevinskieLafayette, Indiana
- jhcloos
- kaoudisColorado
- kumarakTrail of Bits
- lkorenc
- MarcIlungaTrail of Bits
- priyankaboseUniversity of California, Santa Barbara
- sschriner@trailofbits
- tarunbhmTrail of Bits
- temporalengineerKyndi
- tn3rtTrail of Bits
- woodruffw@trailofbits
- x14ngch3nHong Kong University of Sci and Tech
- Xenomega@trailofbits
- xyz2k8