★
开源星图GITHUB / DISCOVERY
今日免费检索 3 次
NASA-SW-VnV / ikos

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

C++★ 3.2k⑂ 221NOASSERTION创建于 2017-10-17最近提交 2026-05-31
中文介绍 · 自动生成

ikos 是用 C++ 编写的开源项目,主题标签有限,建议打开仓库查看具体用途。

目前累计 3.2k star、221 fork,主要语言为 C++,项目始于 2017 年,采用 NOASSERTION 许可。最近状态:近半年有提交。适合:正在做技术选型的开发者。

中文介绍优先采用本站人工维护条目;无维护条目时依据 GitHub 公开字段(语言、主题、星标、提交时间)自动生成,未经项目方确认,不构成选型结论。
一句话解读

NASA-SW-VnV/ikos 是一个以 C++ 为主的开源项目,目前累计 3.2k star、221 fork,近半年有提交。主要方向:abstract-interpretation、program-analysis、software-verification、static-analysis。

依据 GitHub 公开字段(语言、主题、星标、提交时间)自动生成,未经人工逐项核实。
abstract-interpretationprogram-analysissoftware-verificationstatic-analysis

README

正在加载…

相关项目