ProStatA LLVM-based framework "Pro Statické Analyzátory" Requirements llvm-3.7-dev Compiling passes $ cd passes $ make