这里没有软件测试的泛泛理论,只有博主的最佳实践。
博主的研究方向为静态分析和性能测试,致力于各种测试工具的引入、评估和开发。
本博的测试文章均为作者原创,转载请务必注明出处。
samba 3.4.1 静态分析结果概要
上一篇 /
下一篇 2009-09-23 10:45:59
/ 个人分类:coverity
./coverity/prevent-linux-4.5.01/bin/cov-analyze-cx --dir ./interBuild/ --cxx --security --concurrency --enable-constraint-fpp
Analysis summary report:
------------------------
Files analyzed : 901
Total LoC input to cov-analyze : 645884
Functions analyzed : 18173
Classes/structs analyzed : 4087
Paths analyzed : 4018095
New defects found : 891 Total
4 ARRAY_VS_SINGLETON
1 BUFFER_SIZE
4 BUFFER_SIZE_WARNING
25 CHECKED_RETURN
17 DEADCODE
1 EVALUATION_ORDER
42 FORWARD_NULL
11 MISSING_BREAK
7 NEGATIVE_RETURNS
22 NO_EFFECT
4 NULL_RETURNS
21 OVERRUN_STATIC
5 PASS_BY_VALUE
652 RESOURCE_LEAK
6 REVERSE_INULL
2 SECURE_TEMP
1 SIGN_EXTENSION
6 STRING_OVERFLOW
10 TAINTED_SCALAR
9 TAINTED_STRING
3 TOCTOU
14 UNINIT
3 UNREACHABLE
21 UNUSED_VALUE
Exceeded path limit of 5000 paths in 0.33% of functions (normally up to 5% of functions encounter this limitation)
比较详细的分析报告(word)格式,请参考本站的文件。
收藏
举报
TAG: