splint中文手册

【文件属性】：
文件名称：splint中文手册
文件大小：31KB
文件格式：DOCX
更新时间：2019-12-23 10:41:54
splint 手册 splint是进行程序静态检查的开源工具。这个文档首先对splint进行了简单介绍，然后详细介绍了splint指令的各个选项。