NASA-SW-VnV/ikos

基于抽象解释理论的 C/C++ 静态分析器

↗ 在 GitHub 打开

星数

3,167

Fork 数

221

语言

C++

许可

NOASSERTION

最后推送

3个月前

C++static-analysis program-analysis abstract-interpretation software-verification

还没有相关情报

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