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

llvm-dev

$ cd passes $ make

All passes work with LLVM 3.7+ until 6.0.0.

Name	Name	Last commit message	Last commit date
Latest commit lzaoral and versokova Makefile: do not build in debug mode by default Dec 14, 2022 9d33d56 · Dec 14, 2022 History 37 Commits
examples	examples	GlobVar LLVMPass	Jul 30, 2015
passes	passes	Makefile: do not build in debug mode by default	Dec 14, 2022
tests	tests	tests: fix uninitialized read in elim-const-expr	Jun 17, 2022
.gitignore	.gitignore	support macosx, llvm-8	Apr 13, 2019
LICENSE	LICENSE	Initial commit	Jul 22, 2015
README.md	README.md	README: update supported version to LLVM 14	Jun 17, 2022