GaloisInc/yapall

A precise and scalable pointer analysis for LLVM, written in Ascent

语言：C · GitHub 星标：68 · Fork：5

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

在 GitHub 上查看原仓库