GaloisInc/cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

语言：C++ · GitHub 星标：153 · Fork：20

话题：datalog · llvm · pointer-analysis · program-analysis · souffle · static-analysis

在 GitHub 上查看原仓库