ProStatA LLVM-based framework "Pro Statické Analyzátory". The currently supported version of LLVM is 10.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.