trailofbits/vast
View on GitHub ↗ ★ 448 C++
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.
4 mentions on Hacker News by 3 people: 0 stories, 4 comments · first 2022-10-29 · latest 2023-08-24
20082026
-
…IRs" that can restablish source to binary provenance, which, seems to me, to be on the right track: https://github.com/trailofbits/vast I'd definitely like to see the compilation processes be more transparent and easy to work with.
comment by aeonik · 2023-08-24 · in Print(“lol”) doubled the speed of my Go function -
…end. In this middle area, we progressively lower from a high-level MLIR dialect down to LLVM. [1] https://github.com/trailofbits/vast
comment by k4st · 2023-07-26 · in Memory Copy Hunting -
…Control of config, build, and linkage, might also need emphasis? Hmm, fun, tnx! [1] https://github.com/trailofbits/vast [2] https://news.ycombinator.com/item?id=33387149
comment by mncharity · 2022-10-30 · in Om is a novel, maximally-simple concatenative language -
…that we can use to fix a lot of issues in Clang/LLVM that hinder really good static analysis. [1] https://github.com/trailofbits/vast
comment by k4st · 2022-10-29 · in Compilers and IRs: LLVM IR, SPIR-V, and MLIR