Patchestry is a binary patching framework built with MLIR and Ghidra.

Experimental MLIR based points-to analysis tool

binary->LLVM->circuits

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 fu…

C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.