github.com

新手上路 5小时前

主楼

[资源名称]

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

[资源来源]

github.com

[资源介绍]

GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Static analyzer for C/C++ based on the theory of Abstract Interpretation. - NASA-SW-VnV/ikos
* IKOS - 基于抽象解释理论进行 C/C++ 静态分析的静态分析器。[NOSA 1.3]

[资源合集]

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

回复点赞举报