trailofbits / vastLinks
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.
☆419Updated 2 months ago
Alternatives and similar repositories for vast
Users that are interested in vast are comparing it to the libraries listed below
Sorting:
- Yet Another Random Program Generator☆515Updated last month
- Automatic verification of LLVM optimizations☆922Updated this week
- Super-parallel Python port of the C-Reduce☆282Updated this week
- A new (MLIR based) high-level IR for clang.☆505Updated last week
- Peter's Amazing Syntax Tree Analyzer☆131Updated 9 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆245Updated 8 months ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆156Updated 2 years ago
- Rellic produces goto-free C output from LLVM bitcode☆561Updated last month
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆350Updated 10 months ago
- Whole Program LLVM: wllvm ported to go