开发者 c-logic.sf.net

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