文件:demo.c
结果:
在上图中,我们指出了源文件中函数、变量命名中存在的非英文单词,以及变量命名中可以使用的缩写。
文件:demo.c
结果:
在上图中,我们指出了函数参数中未在注释里说明的指针、风格不一致的注释,以及未在注释中说明的指针类型返回值。
上图中,工具指出了demo0.h文件中对未定义类型Type
的引用,说明该头文件不是自包含的;随后指出demo0.h和demo1.h出现循环包含的位置。
文件:demo0.c
结果:
demo0中没有检查任何输入参数就使用且调用模块内部函数时未保证参数合法性,工具会指出所有可能路径上未检查参数使用的情况。因为各种路径组合数量比较多,结果只截取了一部分。
文件:demo0.c
结果:
文件: demo.c
结果:
上图, 在调用带有错误返回值的函数之后, 如果不立即进行返回值检查, 工具指出了在可能发生的路径中所可能进行的函数调用的情况, 并给出产生的位置.