这里没有软件测试的泛泛理论,只有博主的最佳实践。 博主的研究方向为静态分析和性能测试,致力于各种测试工具的引入、评估和开发。 本博的测试文章均为作者原创,转载请务必注明出处。

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:

 

评分:0

我来说两句

Open Toolbar