ProStatA

LLVM-based framework "Pro Statické Analyzátory". The currently supported version of LLVM is 14.0.0.

Requirements for MacOSX

brew install cmake llvm

Requirements for Linux

llvm-dev

Compiling passes

$ cd passes $ make

All passes work with LLVM 3.7+ until 6.0.0.