随笔分类 - 代码分析
摘要:摘要: valgrind是linux下用于调试程序和查找内存泄露的常用工具。valgrind会报告5种内存泄露,"definitely lost", "indirectly lost", "possibly lost", "still reachable", and "suppressed"。笔者于
阅读全文
摘要:代码静态分析工具——splint的学习与使用[转] 引言 最近在项目中使用了静态程序分析工具PC Lint,体会到它在项目实施中带给开发人员的方便。PC Lint是一款针对C/C++语言、windows平台的静态分析工具,FlexeLint是针对其他平台的PC Lint版本。由于PC Lint/Fl
阅读全文
摘要:官网 http://www.splint.org/ splint能干什么? splint是一个静态检查C语言代码安全弱点和编写错误的开源程序.(不支持C++) splint会进行多种常规检查,包括 空指针 内存泄漏 内存越界 未使用的变量, 类型不一致, 使用未定义变量, 无法执行的代码,忽略返回值
阅读全文