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
Stargazers
- 0xcryptoshark
- 8U61ifeAndes Technology
- abduld
- aweMinchoo
- BrieflyXTsinghua University & Alibaba Inc.
- claynePacific Ocean
- crtado
- D4rkD0g
- dbwodlf3SWLAB
- enderdzzUniversity of Chinese Academy of Sciences
- erichoceanXy Group Ltd
- FrenzoidSwitzerland, Lugano
- GJDuckNational University of Singapore
- gmh5225@backengineering
- hyperlyz
- jagtShanghai
- japendergrassJohns Hopkins University Applied Physics Laboratory
- jevinskieLafayette, Indiana
- Jezurko
- jordan9001Maryland, United States of America
- jryansLondon, UK
- jungmairTechnical University of Munich
- larkwiot
- MattPD
- momo5502@wibu-systems
- mrsoliman
- n0phx
- Navillelib/Analysis
- oMasko@Alibaba @Meituan @Qihoo360
- phase@Moonsworth
- q1blueQuantum Blockchain Ai
- regehrUniversity of Utah
- rrbutani
- winterknifeCoruscant
- xwlin-roy
- zbraitermanNew York, NY