C-logic

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

关于 C-logic

这是一个基于符号逻辑的 C 源代码扫描程序。它分析C源代码(特别是Linux内核的源代码,其目标为它)的编程错误和漏洞。测试由用户定义。