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.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Awesome Llvm | 395 | 2 months ago | Python | |||||||
| A curated list of awesome LLVM (including Clang, etc) related resources. | ||||||||||
| Seahorn | 391 | 6 months ago | 20 | other | C | |||||
| SeaHorn Verification Framework | ||||||||||
| Vast | 315 | 3 months ago | 129 | apache-2.0 | 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. | ||||||||||
| Sasi | 27 | 5 years ago | mit | C++ | ||||||
| Signedness-Agnostic Strided-Interval | ||||||||||
| Llvm Clang Examples | 9 | 4 years ago | gpl-3.0 | C++ | ||||||
| A collection of code based on LLVM/Clang compilation libraries and tools | ||||||||||
Alternatives To VastSelect To Compare
Alternative Project Comparisons
Popular Program Analysis Projects
Popular Clang Projects
Popular Security Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
C
Clang
Program Analysis