plast-lab/cclyzer

A tool for analyzing LLVM bitcode using Datalog.

语言：C++ · GitHub 星标：101 · Fork：14

话题：analysis-framework · c · c-plus-plus · datalog · llvm · pointer-analysis

在 GitHub 上查看原仓库