diff options
| author | wtc@chromium.org <wtc@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-07-16 00:13:52 +0000 |
|---|---|---|
| committer | wtc@chromium.org <wtc@chromium.org@0039d316-1c4b-4281-b951-d872f2087c98> | 2009-07-16 00:13:52 +0000 |
| commit | bc68ae0afd16651e1ecaf31fd58eff39a74a7d12 (patch) | |
| tree | d55d8948798b54505bdab5bd0a83b245a98b4ccc /tools | |
| parent | da437a560297855295adb2c30e49c05d20ee95ab (diff) | |
| download | chromium_src-bc68ae0afd16651e1ecaf31fd58eff39a74a7d12.zip chromium_src-bc68ae0afd16651e1ecaf31fd58eff39a74a7d12.tar.gz chromium_src-bc68ae0afd16651e1ecaf31fd58eff39a74a7d12.tar.bz2 | |
Use the new cov-analyze options recommended by Coverity.
Basically we remove --enable-single-virtual and replace
--all by just the checkers useful to us. This should
speed up the analysis.
R=huanr
BUG=none
TEST=none
Review URL: http://codereview.chromium.org/155589
git-svn-id: svn://svn.chromium.org/chrome/trunk/src@20822 0039d316-1c4b-4281-b951-d872f2087c98
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coverity/coverity.py | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/tools/coverity/coverity.py b/tools/coverity/coverity.py index bcf592b..cefc82c 100644 --- a/tools/coverity/coverity.py +++ b/tools/coverity/coverity.py @@ -19,6 +19,9 @@ Usage examples: For a full list of options, pass the '--help' switch. +See http://support.microsoft.com/kb/308569 for running this script as a +Scheduled Task on Windows XP. + """ import optparse @@ -44,10 +47,15 @@ COVERITY_INTERMEDIATE_DIR = 'C:\\coverity\\cvbuild\\cr_int' COVERITY_DATABASE_DIR = 'C:\\coverity\\cvbuild\\db' -COVERITY_ANALYZE_OPTIONS = ('--all --enable-single-virtual ' +COVERITY_ANALYZE_OPTIONS = ('--cxx --security --concurrency ' + '--enable ATOMICITY ' + '--enable MISSING_LOCK ' + '--enable DELETE_VOID ' + '--checker-option PASS_BY_VALUE:size_threshold:16 ' + '--checker-option ' + 'USE_AFTER_FREE:allow_simple_use:false ' '--enable-constraint-fpp ' - '--enable-callgraph-metrics ' - '--checker-option PASS_BY_VALUE:size_threshold:16') + '--enable-callgraph-metrics') COVERITY_PRODUCT = 'Chromium' |