issues
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
368
stars
23
forks
source link
Fix verification of float arithmetic operations with typedefs
#596
Closed
Jezurko
closed
1 month ago