SVF-tools/SVF

Static Value-Flow Analysis Framework for Source Code

语言：C++ · GitHub 星标：1,717 · Fork：500

话题：abstract-interpretation · bug-detection · code-analysis · code-verification · dependency-analysis · llvm · pointer-analysis · points-to-analysis

在 GitHub 上查看原仓库