这是一个基于符号逻辑的 C 源代码扫描程序。它分析C源代码（特别是Linux内核的源代码，其目标为它）的编程错误和漏洞。测试由用户定义。
版本历史记录
- 版本 N/A 发布于 2011-08-13
若干修复和更新 - 版本 N/A 发布于 2011-08-13
软件信息
- 软件分类： 发展 > 其他
- 发布者： c-logic.sf.net
- 许可： 免费
- 价格： N/A
- 版本： Array
- 适用平台： linux
这是一个基于符号逻辑的 C 源代码扫描程序。它分析C源代码（特别是Linux内核的源代码，其目标为它）的编程错误和漏洞。测试由用户定义。