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

github.com

新手上路 2026-2-26 10:29

主楼

[资源名称]

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

[资源来源]

github.com

[资源介绍]

* IKOS - 基于抽象解释理论进行 C/C++ 静态分析的静态分析器。[NOSA 1.3]

[资源合集]

CPP 资源宝典。精选的优秀 C++（或 C）框架、库、资源和实用工具列表

回复点赞举报