SVF-tools/SVF

源代码的静态值流分析框架

↗ 在 GitHub 打开

星数

1,708

Fork 数

495

语言

C++

许可

NOASSERTION

最后推送

2周前

C++static-analysis llvm code-analysis pointer-analysis points-to-analysis static-analyzer source-code-analysis bug-detection dependency-analysis code-verification abstract-interpretation static-value-flow

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。