C logic 开源

qqcluster29770 8 0 TGZ 2021-04-25 17:04:16

这是基于符号逻辑的C源代码扫描器。 它分析C源代码(尤其是针对Linux内核的源代码)的编程错误和漏洞。 测试由用户定义。

用户评论
请输入评论内容
评分:
暂无评论