From bc68ae0afd16651e1ecaf31fd58eff39a74a7d12 Mon Sep 17 00:00:00 2001 From: "wtc@chromium.org" Date: Thu, 16 Jul 2009 00:13:52 +0000 Subject: 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 --- tools/coverity/coverity.py | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'tools/coverity/coverity.py') 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' -- cgit v1.1