search

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.
https://trailofbits.github.io/vast/
Apache License 2.0
397 stars 25 forks source link

Alias attributes #68

Open pgoodman opened 2 years ago

pgoodman commented 2 years ago

https://godbolt.org/z/nPs46EEre https://godbolt.org/z/nTK5E6bYd

pgoodman commented 2 years ago

Care needs to be taken in the representation, I think. For example, because aliases go down to the symbol level, they are not required to respect the types/prototypes.