C logic 开源 下载 qqcluster29770 8 0 TGZ 2021-04-25 17:04:16 这是基于符号逻辑的C源代码扫描器。 它分析C源代码(尤其是针对Linux内核的源代码)的编程错误和漏洞。 测试由用户定义。 立即下载 微信扫一扫:分享 微信里点“发现”,扫一下 二维码便可将本文分享至朋友圈。