Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1 | #!/usr/bin/env perl |
| 2 | # |
| 3 | # The LLVM Compiler Infrastructure |
| 4 | # |
| 5 | # This file is distributed under the University of Illinois Open Source |
| 6 | # License. See LICENSE.TXT for details. |
| 7 | # |
| 8 | ##===----------------------------------------------------------------------===## |
| 9 | # |
| 10 | # A script designed to wrap a build so that all calls to gcc are intercepted |
| 11 | # and piped to the static analyzer. |
| 12 | # |
| 13 | ##===----------------------------------------------------------------------===## |
| 14 | |
| 15 | use strict; |
| 16 | use warnings; |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 17 | use FindBin qw($RealBin); |
Ted Kremenek | a6e2481 | 2008-04-19 18:05:48 +0000 | [diff] [blame] | 18 | use Digest::MD5; |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 19 | use File::Basename; |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 20 | use Term::ANSIColor; |
| 21 | use Term::ANSIColor qw(:constants); |
Ted Kremenek | cd25c13 | 2008-12-03 19:50:37 +0000 | [diff] [blame] | 22 | use Cwd qw/ getcwd abs_path /; |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 23 | use Sys::Hostname; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 24 | |
| 25 | my $Verbose = 0; # Verbose output from this script. |
| 26 | my $Prog = "scan-build"; |
Ted Kremenek | f4cdf41 | 2008-05-23 18:17:05 +0000 | [diff] [blame] | 27 | my $BuildName; |
| 28 | my $BuildDate; |
Ted Kremenek | 95aa105 | 2008-09-04 17:52:41 +0000 | [diff] [blame] | 29 | my $CXX; # Leave undefined initially. |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 30 | |
Ted Kremenek | 0e68938 | 2008-09-11 18:17:51 +0000 | [diff] [blame] | 31 | my $TERM = $ENV{'TERM'}; |
| 32 | my $UseColor = (defined $TERM and $TERM eq 'xterm-color' and -t STDOUT |
| 33 | and defined $ENV{'SCAN_BUILD_COLOR'}); |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 34 | |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 35 | my $UserName = HtmlEscape(getpwuid($<) || 'unknown'); |
| 36 | my $HostName = HtmlEscape(hostname() || 'unknown'); |
| 37 | my $CurrentDir = HtmlEscape(getcwd()); |
| 38 | my $CurrentDirSuffix = basename($CurrentDir); |
| 39 | |
| 40 | my $CmdArgs; |
| 41 | |
| 42 | my $HtmlTitle; |
| 43 | |
| 44 | my $Date = localtime(); |
| 45 | |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 46 | ##----------------------------------------------------------------------------## |
| 47 | # Diagnostics |
| 48 | ##----------------------------------------------------------------------------## |
| 49 | |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 50 | sub Diag { |
| 51 | if ($UseColor) { |
| 52 | print BOLD, MAGENTA "$Prog: @_"; |
| 53 | print RESET; |
| 54 | } |
| 55 | else { |
| 56 | print "$Prog: @_"; |
| 57 | } |
| 58 | } |
| 59 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 60 | sub DiagCrashes { |
| 61 | my $Dir = shift; |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 62 | Diag ("The analyzer encountered problems on some source files.\n"); |
| 63 | Diag ("Preprocessed versions of these sources were deposited in '$Dir/failures'.\n"); |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 64 | Diag ("Please consider submitting a bug report using these files:\n"); |
| 65 | Diag (" http://clang.llvm.org/StaticAnalysisUsage.html#filingbugs\n") |
| 66 | } |
| 67 | |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 68 | sub DieDiag { |
| 69 | if ($UseColor) { |
| 70 | print BOLD, RED "$Prog: "; |
| 71 | print RESET, RED @_; |
| 72 | print RESET; |
| 73 | } |
| 74 | else { |
| 75 | print "$Prog: ", @_; |
| 76 | } |
| 77 | exit(0); |
| 78 | } |
| 79 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 80 | ##----------------------------------------------------------------------------## |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 81 | # Some initial preprocessing of Clang options. |
| 82 | ##----------------------------------------------------------------------------## |
| 83 | |
Ted Kremenek | 833da02 | 2009-03-29 00:31:32 +0000 | [diff] [blame] | 84 | # First, look for 'clang-cc' in libexec. |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 85 | my $ClangCCSB = Cwd::realpath("$RealBin/libexec/clang-cc"); |
Ted Kremenek | 833da02 | 2009-03-29 00:31:32 +0000 | [diff] [blame] | 86 | # Second, look for 'clang-cc' in the same directory as scan-build. |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 87 | if (!defined $ClangCCSB || ! -x $ClangCCSB) { |
| 88 | $ClangCCSB = Cwd::realpath("$RealBin/clang-cc"); |
Ted Kremenek | 43b7bd3 | 2009-03-09 23:14:38 +0000 | [diff] [blame] | 89 | } |
Ted Kremenek | 833da02 | 2009-03-29 00:31:32 +0000 | [diff] [blame] | 90 | # Third, look for 'clang-cc' in ../libexec |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 91 | if (!defined $ClangCCSB || ! -x $ClangCCSB) { |
| 92 | $ClangCCSB = Cwd::realpath("$RealBin/../libexec/clang-cc"); |
| 93 | } |
| 94 | # Finally, default to looking for 'clang-cc' in the path. |
| 95 | if (!defined $ClangCCSB || ! -x $ClangCCSB) { |
| 96 | $ClangCCSB = "clang-cc"; |
| 97 | } |
| 98 | my $ClangCC = $ClangCCSB; |
| 99 | |
| 100 | # Now find 'clang' |
| 101 | my $ClangSB = Cwd::realpath("$RealBin/bin/clang"); |
Ted Kremenek | 8d10cdd | 2009-02-20 04:34:29 +0000 | [diff] [blame] | 102 | if (!defined $ClangSB || ! -x $ClangSB) { |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 103 | $ClangSB = Cwd::realpath("$RealBin/clang"); |
| 104 | } |
| 105 | # Third, look for 'clang' in ../bin |
| 106 | if (!defined $ClangSB || ! -x $ClangSB) { |
| 107 | $ClangSB = Cwd::realpath("$RealBin/../bin/clang"); |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 108 | } |
Ted Kremenek | 833da02 | 2009-03-29 00:31:32 +0000 | [diff] [blame] | 109 | # Finally, default to looking for 'clang-cc' in the path. |
| 110 | if (!defined $ClangSB || ! -x $ClangSB) { |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 111 | $ClangSB = "clang"; |
Ted Kremenek | 833da02 | 2009-03-29 00:31:32 +0000 | [diff] [blame] | 112 | } |
| 113 | my $Clang = $ClangSB; |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 114 | |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 115 | |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 116 | my %AvailableAnalyses; |
| 117 | |
| 118 | # Query clang for analysis options. |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 119 | open(PIPE, "-|", $ClangCC, "--help") or |
| 120 | DieDiag("Cannot execute '$ClangCC'\n"); |
Ted Kremenek | 63c2017 | 2008-08-04 17:34:06 +0000 | [diff] [blame] | 121 | |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 122 | my $FoundAnalysis = 0; |
| 123 | |
| 124 | while(<PIPE>) { |
| 125 | if ($FoundAnalysis == 0) { |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 126 | if (/Checks and Analyses/) { |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 127 | $FoundAnalysis = 1; |
| 128 | } |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 129 | next; |
| 130 | } |
| 131 | |
| 132 | if (/^\s\s\s\s([^\s]+)\s(.+)$/) { |
| 133 | next if ($1 =~ /-dump/ or $1 =~ /-view/ |
| 134 | or $1 =~ /-checker-simple/ or $1 =~ /-warn-uninit/); |
| 135 | |
| 136 | $AvailableAnalyses{$1} = $2; |
| 137 | next; |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 138 | } |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 139 | last; |
| 140 | } |
| 141 | |
| 142 | close (PIPE); |
| 143 | |
| 144 | my %AnalysesDefaultEnabled = ( |
| 145 | '-warn-dead-stores' => 1, |
| 146 | '-checker-cfref' => 1, |
Ted Kremenek | 9012599 | 2008-07-15 23:41:32 +0000 | [diff] [blame] | 147 | '-warn-objc-methodsigs' => 1, |
Ted Kremenek | d76c6a3 | 2009-02-25 21:08:30 +0000 | [diff] [blame] | 148 | # Do not enable the missing -dealloc check by default. |
| 149 | # '-warn-objc-missing-dealloc' => 1, |
Ted Kremenek | 5d44349 | 2008-09-18 06:34:16 +0000 | [diff] [blame] | 150 | '-warn-objc-unused-ivars' => 1, |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 151 | ); |
| 152 | |
| 153 | ##----------------------------------------------------------------------------## |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 154 | # GetHTMLRunDir - Construct an HTML directory name for the current sub-run. |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 155 | ##----------------------------------------------------------------------------## |
| 156 | |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 157 | sub GetHTMLRunDir { |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 158 | |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 159 | die "Not enough arguments." if (@_ == 0); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 160 | my $Dir = shift @_; |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 161 | |
| 162 | my $TmpMode = 0; |
| 163 | if (!defined $Dir) { |
Ted Kremenek | ffda0b4 | 2008-10-31 05:48:42 +0000 | [diff] [blame] | 164 | if (`uname` =~ /Darwin/) { |
| 165 | $Dir = $ENV{'TMPDIR'}; |
| 166 | if (!defined $Dir) { $Dir = "/tmp"; } |
| 167 | } |
| 168 | else { |
| 169 | $Dir = "/tmp"; |
| 170 | } |
| 171 | |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 172 | $TmpMode = 1; |
| 173 | } |
Ted Kremenek | bf762c9 | 2009-02-24 02:38:02 +0000 | [diff] [blame] | 174 | |
| 175 | # Chop off any trailing '/' characters. |
| 176 | while ($Dir =~ /\/$/) { chop $Dir; } |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 177 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 178 | # Get current date and time. |
| 179 | |
| 180 | my @CurrentTime = localtime(); |
| 181 | |
| 182 | my $year = $CurrentTime[5] + 1900; |
| 183 | my $day = $CurrentTime[3]; |
| 184 | my $month = $CurrentTime[4] + 1; |
| 185 | |
Ted Kremenek | 9d7405f | 2008-05-14 17:23:56 +0000 | [diff] [blame] | 186 | my $DateString = sprintf("%d-%02d-%02d", $year, $month, $day); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 187 | |
| 188 | # Determine the run number. |
| 189 | |
| 190 | my $RunNumber; |
| 191 | |
| 192 | if (-d $Dir) { |
| 193 | |
| 194 | if (! -r $Dir) { |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 195 | DieDiag("directory '$Dir' exists but is not readable.\n"); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 196 | } |
| 197 | |
| 198 | # Iterate over all files in the specified directory. |
| 199 | |
| 200 | my $max = 0; |
| 201 | |
| 202 | opendir(DIR, $Dir); |
Ted Kremenek | 29da6c5 | 2008-08-07 17:57:34 +0000 | [diff] [blame] | 203 | my @FILES = grep { -d "$Dir/$_" } readdir(DIR); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 204 | closedir(DIR); |
| 205 | |
| 206 | foreach my $f (@FILES) { |
| 207 | |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 208 | # Strip the prefix '$Prog-' if we are dumping files to /tmp. |
| 209 | if ($TmpMode) { |
| 210 | next if (!($f =~ /^$Prog-(.+)/)); |
| 211 | $f = $1; |
| 212 | } |
| 213 | |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 214 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 215 | my @x = split/-/, $f; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 216 | next if (scalar(@x) != 4); |
| 217 | next if ($x[0] != $year); |
| 218 | next if ($x[1] != $month); |
| 219 | next if ($x[2] != $day); |
| 220 | |
| 221 | if ($x[3] > $max) { |
| 222 | $max = $x[3]; |
| 223 | } |
| 224 | } |
| 225 | |
| 226 | $RunNumber = $max + 1; |
| 227 | } |
| 228 | else { |
| 229 | |
| 230 | if (-x $Dir) { |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 231 | DieDiag("'$Dir' exists but is not a directory.\n"); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 232 | } |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 233 | |
| 234 | if ($TmpMode) { |
Ted Kremenek | 445fa77 | 2008-10-10 00:17:08 +0000 | [diff] [blame] | 235 | DieDiag("The directory '/tmp' does not exist or cannot be accessed.\n"); |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 236 | } |
| 237 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 238 | # $Dir does not exist. It will be automatically created by the |
| 239 | # clang driver. Set the run number to 1. |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 240 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 241 | $RunNumber = 1; |
| 242 | } |
| 243 | |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 244 | die "RunNumber must be defined!" if (!defined $RunNumber); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 245 | |
| 246 | # Append the run number. |
Ted Kremenek | fc0898a | 2008-09-04 23:56:36 +0000 | [diff] [blame] | 247 | my $NewDir; |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 248 | if ($TmpMode) { |
Ted Kremenek | fc0898a | 2008-09-04 23:56:36 +0000 | [diff] [blame] | 249 | $NewDir = "$Dir/$Prog-$DateString-$RunNumber"; |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 250 | } |
| 251 | else { |
Ted Kremenek | fc0898a | 2008-09-04 23:56:36 +0000 | [diff] [blame] | 252 | $NewDir = "$Dir/$DateString-$RunNumber"; |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 253 | } |
Ted Kremenek | fc0898a | 2008-09-04 23:56:36 +0000 | [diff] [blame] | 254 | system 'mkdir','-p',$NewDir; |
| 255 | return $NewDir; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 256 | } |
| 257 | |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 258 | sub SetHtmlEnv { |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 259 | |
| 260 | die "Wrong number of arguments." if (scalar(@_) != 2); |
| 261 | |
| 262 | my $Args = shift; |
| 263 | my $Dir = shift; |
| 264 | |
| 265 | die "No build command." if (scalar(@$Args) == 0); |
| 266 | |
| 267 | my $Cmd = $$Args[0]; |
| 268 | |
| 269 | if ($Cmd =~ /configure/) { |
| 270 | return; |
| 271 | } |
| 272 | |
| 273 | if ($Verbose) { |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 274 | Diag("Emitting reports for this run to '$Dir'.\n"); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 275 | } |
| 276 | |
| 277 | $ENV{'CCC_ANALYZER_HTML'} = $Dir; |
| 278 | } |
| 279 | |
| 280 | ##----------------------------------------------------------------------------## |
Ted Kremenek | 57cf446 | 2008-04-18 15:09:30 +0000 | [diff] [blame] | 281 | # ComputeDigest - Compute a digest of the specified file. |
| 282 | ##----------------------------------------------------------------------------## |
| 283 | |
| 284 | sub ComputeDigest { |
| 285 | my $FName = shift; |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 286 | DieDiag("Cannot read $FName to compute Digest.\n") if (! -r $FName); |
Ted Kremenek | a6e2481 | 2008-04-19 18:05:48 +0000 | [diff] [blame] | 287 | |
| 288 | # Use Digest::MD5. We don't have to be cryptographically secure. We're |
Ted Kremenek | 7ea02e6 | 2008-04-19 18:07:44 +0000 | [diff] [blame] | 289 | # just looking for duplicate files that come from a non-malicious source. |
| 290 | # We use Digest::MD5 because it is a standard Perl module that should |
Ted Kremenek | 63c2017 | 2008-08-04 17:34:06 +0000 | [diff] [blame] | 291 | # come bundled on most systems. |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 292 | open(FILE, $FName) or DieDiag("Cannot open $FName when computing Digest.\n"); |
Ted Kremenek | a6e2481 | 2008-04-19 18:05:48 +0000 | [diff] [blame] | 293 | binmode FILE; |
| 294 | my $Result = Digest::MD5->new->addfile(*FILE)->hexdigest; |
| 295 | close(FILE); |
| 296 | |
Ted Kremenek | 63c2017 | 2008-08-04 17:34:06 +0000 | [diff] [blame] | 297 | # Return the digest. |
Ted Kremenek | a6e2481 | 2008-04-19 18:05:48 +0000 | [diff] [blame] | 298 | return $Result; |
Ted Kremenek | 57cf446 | 2008-04-18 15:09:30 +0000 | [diff] [blame] | 299 | } |
| 300 | |
| 301 | ##----------------------------------------------------------------------------## |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 302 | # UpdatePrefix - Compute the common prefix of files. |
| 303 | ##----------------------------------------------------------------------------## |
| 304 | |
| 305 | my $Prefix; |
| 306 | |
| 307 | sub UpdatePrefix { |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 308 | my $x = shift; |
| 309 | my $y = basename($x); |
| 310 | $x =~ s/\Q$y\E$//; |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 311 | |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 312 | if (!defined $Prefix) { |
| 313 | $Prefix = $x; |
| 314 | return; |
| 315 | } |
| 316 | |
Ted Kremenek | 20b2bae | 2008-09-11 21:15:10 +0000 | [diff] [blame] | 317 | chop $Prefix while (!($x =~ /^\Q$Prefix/)); |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 318 | } |
| 319 | |
| 320 | sub GetPrefix { |
| 321 | return $Prefix; |
| 322 | } |
| 323 | |
| 324 | ##----------------------------------------------------------------------------## |
| 325 | # UpdateInFilePath - Update the path in the report file. |
| 326 | ##----------------------------------------------------------------------------## |
| 327 | |
| 328 | sub UpdateInFilePath { |
| 329 | my $fname = shift; |
| 330 | my $regex = shift; |
| 331 | my $newtext = shift; |
Ted Kremenek | 63c2017 | 2008-08-04 17:34:06 +0000 | [diff] [blame] | 332 | |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 333 | open (RIN, $fname) or die "cannot open $fname"; |
Ted Kremenek | 63c2017 | 2008-08-04 17:34:06 +0000 | [diff] [blame] | 334 | open (ROUT, ">", "$fname.tmp") or die "cannot open $fname.tmp"; |
| 335 | |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 336 | while (<RIN>) { |
| 337 | s/$regex/$newtext/; |
| 338 | print ROUT $_; |
| 339 | } |
Ted Kremenek | 63c2017 | 2008-08-04 17:34:06 +0000 | [diff] [blame] | 340 | |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 341 | close (ROUT); |
| 342 | close (RIN); |
Ted Kremenek | 20161e9 | 2008-07-15 20:18:21 +0000 | [diff] [blame] | 343 | system("mv", "$fname.tmp", $fname); |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 344 | } |
| 345 | |
| 346 | ##----------------------------------------------------------------------------## |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 347 | # ScanFile - Scan a report file for various identifying attributes. |
| 348 | ##----------------------------------------------------------------------------## |
| 349 | |
Ted Kremenek | 57cf446 | 2008-04-18 15:09:30 +0000 | [diff] [blame] | 350 | # Sometimes a source file is scanned more than once, and thus produces |
| 351 | # multiple error reports. We use a cache to solve this problem. |
| 352 | |
| 353 | my %AlreadyScanned; |
| 354 | |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 355 | sub ScanFile { |
| 356 | |
| 357 | my $Index = shift; |
| 358 | my $Dir = shift; |
| 359 | my $FName = shift; |
| 360 | |
Ted Kremenek | 57cf446 | 2008-04-18 15:09:30 +0000 | [diff] [blame] | 361 | # Compute a digest for the report file. Determine if we have already |
| 362 | # scanned a file that looks just like it. |
| 363 | |
| 364 | my $digest = ComputeDigest("$Dir/$FName"); |
| 365 | |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 366 | if (defined $AlreadyScanned{$digest}) { |
Ted Kremenek | 57cf446 | 2008-04-18 15:09:30 +0000 | [diff] [blame] | 367 | # Redundant file. Remove it. |
Ted Kremenek | 20161e9 | 2008-07-15 20:18:21 +0000 | [diff] [blame] | 368 | system ("rm", "-f", "$Dir/$FName"); |
Ted Kremenek | 57cf446 | 2008-04-18 15:09:30 +0000 | [diff] [blame] | 369 | return; |
| 370 | } |
| 371 | |
| 372 | $AlreadyScanned{$digest} = 1; |
| 373 | |
Ted Kremenek | 809709f | 2008-04-18 16:58:34 +0000 | [diff] [blame] | 374 | # At this point the report file is not world readable. Make it happen. |
Ted Kremenek | 20161e9 | 2008-07-15 20:18:21 +0000 | [diff] [blame] | 375 | system ("chmod", "644", "$Dir/$FName"); |
Ted Kremenek | 684bb09 | 2008-04-18 15:18:20 +0000 | [diff] [blame] | 376 | |
| 377 | # Scan the report file for tags. |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 378 | open(IN, "$Dir/$FName") or DieDiag("Cannot open '$Dir/$FName'\n"); |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 379 | |
Ted Kremenek | a26ddab | 2009-01-27 01:53:39 +0000 | [diff] [blame] | 380 | my $BugType = ""; |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 381 | my $BugFile = ""; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 382 | my $BugCategory; |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 383 | my $BugPathLength = 1; |
| 384 | my $BugLine = 0; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 385 | my $found = 0; |
| 386 | |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 387 | while (<IN>) { |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 388 | |
| 389 | last if ($found == 5); |
| 390 | |
Ted Kremenek | a26ddab | 2009-01-27 01:53:39 +0000 | [diff] [blame] | 391 | if (/<!-- BUGTYPE (.*) -->$/) { |
| 392 | $BugType = $1; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 393 | ++$found; |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 394 | } |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 395 | elsif (/<!-- BUGFILE (.*) -->$/) { |
Ted Kremenek | 990c2f4 | 2008-12-03 19:19:23 +0000 | [diff] [blame] | 396 | $BugFile = abs_path($1); |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 397 | UpdatePrefix($BugFile); |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 398 | ++$found; |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 399 | } |
| 400 | elsif (/<!-- BUGPATHLENGTH (.*) -->$/) { |
| 401 | $BugPathLength = $1; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 402 | ++$found; |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 403 | } |
| 404 | elsif (/<!-- BUGLINE (.*) -->$/) { |
| 405 | $BugLine = $1; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 406 | ++$found; |
| 407 | } |
| 408 | elsif (/<!-- BUGCATEGORY (.*) -->$/) { |
| 409 | $BugCategory = $1; |
| 410 | ++$found; |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 411 | } |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 412 | } |
| 413 | |
| 414 | close(IN); |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 415 | |
| 416 | if (!defined $BugCategory) { |
| 417 | $BugCategory = "Other"; |
| 418 | } |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 419 | |
Ted Kremenek | a26ddab | 2009-01-27 01:53:39 +0000 | [diff] [blame] | 420 | push @$Index,[ $FName, $BugCategory, $BugType, $BugFile, $BugLine, |
Ted Kremenek | 8198311 | 2008-09-28 04:13:09 +0000 | [diff] [blame] | 421 | $BugPathLength ]; |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 422 | } |
| 423 | |
| 424 | ##----------------------------------------------------------------------------## |
Ted Kremenek | 3ce1207 | 2008-09-22 17:50:47 +0000 | [diff] [blame] | 425 | # CopyFiles - Copy resource files to target directory. |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 426 | ##----------------------------------------------------------------------------## |
| 427 | |
Ted Kremenek | 3ce1207 | 2008-09-22 17:50:47 +0000 | [diff] [blame] | 428 | sub CopyFiles { |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 429 | |
| 430 | my $Dir = shift; |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 431 | |
| 432 | my $JS = Cwd::realpath("$RealBin/sorttable.js"); |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 433 | |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 434 | DieDiag("Cannot find 'sorttable.js'.\n") |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 435 | if (! -r $JS); |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 436 | |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 437 | system ("cp", $JS, "$Dir"); |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 438 | |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 439 | DieDiag("Could not copy 'sorttable.js' to '$Dir'.\n") |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 440 | if (! -r "$Dir/sorttable.js"); |
Ted Kremenek | 3ce1207 | 2008-09-22 17:50:47 +0000 | [diff] [blame] | 441 | |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 442 | my $CSS = Cwd::realpath("$RealBin/scanview.css"); |
| 443 | |
Ted Kremenek | 3ce1207 | 2008-09-22 17:50:47 +0000 | [diff] [blame] | 444 | DieDiag("Cannot find 'scanview.css'.\n") |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 445 | if (! -r $CSS); |
Ted Kremenek | 3ce1207 | 2008-09-22 17:50:47 +0000 | [diff] [blame] | 446 | |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 447 | system ("cp", $CSS, "$Dir"); |
Ted Kremenek | 3ce1207 | 2008-09-22 17:50:47 +0000 | [diff] [blame] | 448 | |
| 449 | DieDiag("Could not copy 'scanview.css' to '$Dir'.\n") |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 450 | if (! -r $CSS); |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 451 | } |
| 452 | |
| 453 | ##----------------------------------------------------------------------------## |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 454 | # Postprocess - Postprocess the results of an analysis scan. |
| 455 | ##----------------------------------------------------------------------------## |
| 456 | |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 457 | sub Postprocess { |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 458 | |
| 459 | my $Dir = shift; |
Ted Kremenek | 684bb09 | 2008-04-18 15:18:20 +0000 | [diff] [blame] | 460 | my $BaseDir = shift; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 461 | |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 462 | die "No directory specified." if (!defined $Dir); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 463 | |
| 464 | if (! -d $Dir) { |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 465 | Diag("No bugs found.\n"); |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 466 | return 0; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 467 | } |
| 468 | |
| 469 | opendir(DIR, $Dir); |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 470 | my @files = grep { /^report-.*\.html$/ } readdir(DIR); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 471 | closedir(DIR); |
| 472 | |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 473 | if (scalar(@files) == 0 and ! -e "$Dir/failures") { |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 474 | Diag("Removing directory '$Dir' because it contains no reports.\n"); |
Ted Kremenek | 20161e9 | 2008-07-15 20:18:21 +0000 | [diff] [blame] | 475 | system ("rm", "-fR", $Dir); |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 476 | return 0; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 477 | } |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 478 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 479 | # Scan each report file and build an index. |
| 480 | my @Index; |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 481 | foreach my $file (@files) { ScanFile(\@Index, $Dir, $file); } |
| 482 | |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 483 | # Scan the failures directory and use the information in the .info files |
Ted Kremenek | d52e425 | 2008-08-25 20:45:07 +0000 | [diff] [blame] | 484 | # to update the common prefix directory. |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 485 | my @failures; |
| 486 | my @attributes_ignored; |
| 487 | if (-d "$Dir/failures") { |
| 488 | opendir(DIR, "$Dir/failures"); |
| 489 | @failures = grep { /[.]info.txt$/ && !/attribute_ignored/; } readdir(DIR); |
Ted Kremenek | d52e425 | 2008-08-25 20:45:07 +0000 | [diff] [blame] | 490 | closedir(DIR); |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 491 | opendir(DIR, "$Dir/failures"); |
| 492 | @attributes_ignored = grep { /^attribute_ignored/; } readdir(DIR); |
| 493 | closedir(DIR); |
| 494 | foreach my $file (@failures) { |
| 495 | open IN, "$Dir/failures/$file" or DieDiag("cannot open $file\n"); |
Ted Kremenek | d52e425 | 2008-08-25 20:45:07 +0000 | [diff] [blame] | 496 | my $Path = <IN>; |
| 497 | if (defined $Path) { UpdatePrefix($Path); } |
| 498 | close IN; |
| 499 | } |
| 500 | } |
| 501 | |
Ted Kremenek | 63c2017 | 2008-08-04 17:34:06 +0000 | [diff] [blame] | 502 | # Generate an index.html file. |
| 503 | my $FName = "$Dir/index.html"; |
| 504 | open(OUT, ">", $FName) or DieDiag("Cannot create file '$FName'\n"); |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 505 | |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 506 | # Print out the header. |
| 507 | |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 508 | print OUT <<ENDTEXT; |
| 509 | <html> |
| 510 | <head> |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 511 | <title>${HtmlTitle}</title> |
Ted Kremenek | f143545 | 2008-09-23 22:34:51 +0000 | [diff] [blame] | 512 | <link type="text/css" rel="stylesheet" href="scanview.css"/> |
Ted Kremenek | 22d6a63 | 2008-04-02 20:43:36 +0000 | [diff] [blame] | 513 | <script src="sorttable.js"></script> |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 514 | <script language='javascript' type="text/javascript"> |
| 515 | function SetDisplay(RowClass, DisplayVal) |
| 516 | { |
| 517 | var Rows = document.getElementsByTagName("tr"); |
| 518 | for ( var i = 0 ; i < Rows.length; ++i ) { |
| 519 | if (Rows[i].className == RowClass) { |
| 520 | Rows[i].style.display = DisplayVal; |
| 521 | } |
| 522 | } |
| 523 | } |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 524 | |
Ted Kremenek | 2350a46 | 2008-10-28 19:56:52 +0000 | [diff] [blame] | 525 | function CopyCheckedStateToCheckButtons(SummaryCheckButton) { |
| 526 | var Inputs = document.getElementsByTagName("input"); |
| 527 | for ( var i = 0 ; i < Inputs.length; ++i ) { |
| 528 | if (Inputs[i].type == "checkbox") { |
| 529 | if(Inputs[i] != SummaryCheckButton) { |
| 530 | Inputs[i].checked = SummaryCheckButton.checked; |
| 531 | Inputs[i].onclick(); |
| 532 | } |
| 533 | } |
| 534 | } |
| 535 | } |
| 536 | |
Ted Kremenek | 999e120 | 2008-10-28 20:09:57 +0000 | [diff] [blame] | 537 | function returnObjById( id ) { |
| 538 | if (document.getElementById) |
| 539 | var returnVar = document.getElementById(id); |
| 540 | else if (document.all) |
| 541 | var returnVar = document.all[id]; |
| 542 | else if (document.layers) |
| 543 | var returnVar = document.layers[id]; |
| 544 | return returnVar; |
| 545 | } |
| 546 | |
| 547 | var NumUnchecked = 0; |
| 548 | |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 549 | function ToggleDisplay(CheckButton, ClassName) { |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 550 | if (CheckButton.checked) { |
| 551 | SetDisplay(ClassName, ""); |
Ted Kremenek | 999e120 | 2008-10-28 20:09:57 +0000 | [diff] [blame] | 552 | if (--NumUnchecked == 0) { |
| 553 | returnObjById("AllBugsCheck").checked = true; |
| 554 | } |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 555 | } |
| 556 | else { |
| 557 | SetDisplay(ClassName, "none"); |
Ted Kremenek | 999e120 | 2008-10-28 20:09:57 +0000 | [diff] [blame] | 558 | NumUnchecked++; |
| 559 | returnObjById("AllBugsCheck").checked = false; |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 560 | } |
| 561 | } |
| 562 | </script> |
Ted Kremenek | 1d1abb1 | 2008-09-22 17:52:58 +0000 | [diff] [blame] | 563 | <!-- SUMMARYENDHEAD --> |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 564 | </head> |
| 565 | <body> |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 566 | <h1>${HtmlTitle}</h1> |
| 567 | |
| 568 | <table> |
| 569 | <tr><th>User:</th><td>${UserName}\@${HostName}</td></tr> |
| 570 | <tr><th>Working Directory:</th><td>${CurrentDir}</td></tr> |
| 571 | <tr><th>Command Line:</th><td>${CmdArgs}</td></tr> |
| 572 | <tr><th>Date:</th><td>${Date}</td></tr> |
| 573 | ENDTEXT |
| 574 | |
| 575 | print OUT "<tr><th>Version:</th><td>${BuildName} (${BuildDate})</td></tr>\n" |
| 576 | if (defined($BuildName) && defined($BuildDate)); |
| 577 | |
| 578 | print OUT <<ENDTEXT; |
| 579 | </table> |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 580 | ENDTEXT |
| 581 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 582 | if (scalar(@files)) { |
| 583 | # Print out the summary table. |
| 584 | my %Totals; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 585 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 586 | for my $row ( @Index ) { |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 587 | my $bug_type = ($row->[2]); |
| 588 | my $bug_category = ($row->[1]); |
| 589 | my $key = "$bug_category:$bug_type"; |
| 590 | |
| 591 | if (!defined $Totals{$key}) { $Totals{$key} = [1,$bug_category,$bug_type]; } |
| 592 | else { $Totals{$key}->[0]++; } |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 593 | } |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 594 | |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 595 | print OUT "<h2>Bug Summary</h2>"; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 596 | |
| 597 | if (defined $BuildName) { |
| 598 | print OUT "\n<p>Results in this analysis run are based on analyzer build <b>$BuildName</b>.</p>\n" |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 599 | } |
Ted Kremenek | f4cdf41 | 2008-05-23 18:17:05 +0000 | [diff] [blame] | 600 | |
Ted Kremenek | 2350a46 | 2008-10-28 19:56:52 +0000 | [diff] [blame] | 601 | my $TotalBugs = scalar(@Index); |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 602 | print OUT <<ENDTEXT; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 603 | <table> |
| 604 | <thead><tr><td>Bug Type</td><td>Quantity</td><td class="sorttable_nosort">Display?</td></tr></thead> |
Ted Kremenek | 999e120 | 2008-10-28 20:09:57 +0000 | [diff] [blame] | 605 | <tr style="font-weight:bold"><td class="SUMM_DESC">All Bugs</td><td class="Q">$TotalBugs</td><td><center><input type="checkbox" id="AllBugsCheck" onClick="CopyCheckedStateToCheckButtons(this);" checked/></center></td></tr> |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 606 | ENDTEXT |
| 607 | |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 608 | my $last_category; |
| 609 | |
| 610 | for my $key ( |
| 611 | sort { |
| 612 | my $x = $Totals{$a}; |
| 613 | my $y = $Totals{$b}; |
| 614 | my $res = $x->[1] cmp $y->[1]; |
| 615 | $res = $x->[2] cmp $y->[2] if ($res == 0); |
| 616 | $res |
| 617 | } keys %Totals ) |
| 618 | { |
| 619 | my $val = $Totals{$key}; |
| 620 | my $category = $val->[1]; |
| 621 | if (!defined $last_category or $last_category ne $category) { |
| 622 | $last_category = $category; |
| 623 | print OUT "<tr><th>$category</th><th colspan=2></th></tr>\n"; |
| 624 | } |
| 625 | my $x = lc $key; |
| 626 | $x =~ s/[ ,'":\/()]+/_/g; |
| 627 | print OUT "<tr><td class=\"SUMM_DESC\">"; |
| 628 | print OUT $val->[2]; |
Ted Kremenek | 2350a46 | 2008-10-28 19:56:52 +0000 | [diff] [blame] | 629 | print OUT "</td><td class=\"Q\">"; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 630 | print OUT $val->[0]; |
| 631 | print OUT "</td><td><center><input type=\"checkbox\" onClick=\"ToggleDisplay(this,'bt_$x');\" checked/></center></td></tr>\n"; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 632 | } |
Ted Kremenek | 6e6eff7 | 2008-04-15 20:47:02 +0000 | [diff] [blame] | 633 | |
| 634 | # Print out the table of errors. |
| 635 | |
| 636 | print OUT <<ENDTEXT; |
| 637 | </table> |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 638 | <h2>Reports</h2> |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 639 | |
| 640 | <table class="sortable" style="table-layout:automatic"> |
| 641 | <thead><tr> |
| 642 | <td>Bug Group</td> |
| 643 | <td class="sorttable_sorted">Bug Type<span id="sorttable_sortfwdind"> ▾</span></td> |
Ted Kremenek | bba1cf5 | 2008-04-03 05:50:51 +0000 | [diff] [blame] | 644 | <td>File</td> |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 645 | <td class="Q">Line</td> |
Ted Kremenek | 8198311 | 2008-09-28 04:13:09 +0000 | [diff] [blame] | 646 | <td class="Q">Path Length</td> |
Ted Kremenek | 2645c77 | 2008-07-07 16:58:44 +0000 | [diff] [blame] | 647 | <td class="sorttable_nosort"></td> |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 648 | <!-- REPORTBUGCOL --> |
| 649 | </tr></thead> |
| 650 | <tbody> |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 651 | ENDTEXT |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 652 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 653 | my $prefix = GetPrefix(); |
| 654 | my $regex; |
| 655 | my $InFileRegex; |
| 656 | my $InFilePrefix = "File:</td><td>"; |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 657 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 658 | if (defined $prefix) { |
| 659 | $regex = qr/^\Q$prefix\E/is; |
| 660 | $InFileRegex = qr/\Q$InFilePrefix$prefix\E/is; |
| 661 | } |
Ted Kremenek | 7a4648d | 2008-05-02 22:04:53 +0000 | [diff] [blame] | 662 | |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 663 | for my $row ( sort { $a->[2] cmp $b->[2] } @Index ) { |
| 664 | my $x = "$row->[1]:$row->[2]"; |
| 665 | $x = lc $x; |
| 666 | $x =~ s/[ ,'":\/()]+/_/g; |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 667 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 668 | my $ReportFile = $row->[0]; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 669 | |
| 670 | print OUT "<tr class=\"bt_$x\">"; |
| 671 | print OUT "<td class=\"DESC\">"; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 672 | print OUT $row->[1]; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 673 | print OUT "</td>"; |
| 674 | print OUT "<td class=\"DESC\">"; |
| 675 | print OUT $row->[2]; |
| 676 | print OUT "</td>"; |
| 677 | |
| 678 | # Update the file prefix. |
| 679 | my $fname = $row->[3]; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 680 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 681 | if (defined $regex) { |
| 682 | $fname =~ s/$regex//; |
| 683 | UpdateInFilePath("$Dir/$ReportFile", $InFileRegex, $InFilePrefix) |
| 684 | } |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 685 | |
Ted Kremenek | 91639ef | 2008-09-22 17:42:31 +0000 | [diff] [blame] | 686 | print OUT "<td>"; |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 687 | my @fname = split /\//,$fname; |
| 688 | if ($#fname > 0) { |
| 689 | while ($#fname >= 0) { |
| 690 | my $x = shift @fname; |
| 691 | print OUT $x; |
| 692 | if ($#fname >= 0) { |
| 693 | print OUT "<span class=\"W\"> </span>/"; |
| 694 | } |
| 695 | } |
| 696 | } |
| 697 | else { |
| 698 | print OUT $fname; |
Ted Kremenek | 91639ef | 2008-09-22 17:42:31 +0000 | [diff] [blame] | 699 | } |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 700 | print OUT "</td>"; |
| 701 | |
| 702 | # Print out the quantities. |
Ted Kremenek | 8198311 | 2008-09-28 04:13:09 +0000 | [diff] [blame] | 703 | for my $j ( 4 .. 5 ) { |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 704 | print OUT "<td class=\"Q\">$row->[$j]</td>"; |
| 705 | } |
| 706 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 707 | # Print the rest of the columns. |
Ted Kremenek | 8198311 | 2008-09-28 04:13:09 +0000 | [diff] [blame] | 708 | for (my $j = 6; $j <= $#{$row}; ++$j) { |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 709 | print OUT "<td>$row->[$j]</td>" |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 710 | } |
Ted Kremenek | 7f8a325 | 2008-04-02 18:42:49 +0000 | [diff] [blame] | 711 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 712 | # Emit the "View" link. |
Ted Kremenek | 68005dd | 2008-09-22 17:39:18 +0000 | [diff] [blame] | 713 | print OUT "<td><a href=\"$ReportFile#EndPath\">View Report</a></td>"; |
Ted Kremenek | 3cea9ee | 2008-07-30 17:58:08 +0000 | [diff] [blame] | 714 | |
Daniel Dunbar | e43038e | 2008-09-19 23:18:44 +0000 | [diff] [blame] | 715 | # Emit REPORTBUG markers. |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 716 | print OUT "\n<!-- REPORTBUG id=\"$ReportFile\" -->\n"; |
Daniel Dunbar | e43038e | 2008-09-19 23:18:44 +0000 | [diff] [blame] | 717 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 718 | # End the row. |
| 719 | print OUT "</tr>\n"; |
| 720 | } |
| 721 | |
Ted Kremenek | ebb7413 | 2008-09-21 06:58:09 +0000 | [diff] [blame] | 722 | print OUT "</tbody>\n</table>\n\n"; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 723 | } |
| 724 | |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 725 | if (scalar (@failures) || scalar(@attributes_ignored)) { |
| 726 | print OUT "<h2>Analyzer Failures</h2>\n"; |
| 727 | |
| 728 | if (scalar @attributes_ignored) { |
| 729 | print OUT "The analyzer's parser ignored the following attributes:<p>\n"; |
| 730 | print OUT "<table>\n"; |
| 731 | print OUT "<thead><tr><td>Attribute</td><td>Source File</td><td>Preprocessed File</td><td>STDERR Output</td></tr></thead>\n"; |
| 732 | foreach my $file (sort @attributes_ignored) { |
| 733 | die "cannot demangle attribute name\n" if (! ($file =~ /^attribute_ignored_(.+).txt/)); |
| 734 | my $attribute = $1; |
| 735 | # Open the attribute file to get the first file that failed. |
| 736 | next if (!open (ATTR, "$Dir/failures/$file")); |
| 737 | my $ppfile = <ATTR>; |
| 738 | chomp $ppfile; |
| 739 | close ATTR; |
| 740 | next if (! -e "$Dir/failures/$ppfile"); |
| 741 | # Open the info file and get the name of the source file. |
| 742 | open (INFO, "$Dir/failures/$ppfile.info.txt") or |
| 743 | die "Cannot open $Dir/failures/$ppfile.info.txt\n"; |
| 744 | my $srcfile = <INFO>; |
| 745 | chomp $srcfile; |
| 746 | close (INFO); |
| 747 | # Print the information in the table. |
| 748 | my $prefix = GetPrefix(); |
| 749 | if (defined $prefix) { $srcfile =~ s/^\Q$prefix//; } |
| 750 | print OUT "<tr><td>$attribute</td><td>$srcfile</td><td><a href=\"failures/$ppfile\">$ppfile</a></td><td><a href=\"failures/$ppfile.stderr.txt\">$ppfile.stderr.txt</a></td></tr>\n"; |
| 751 | my $ppfile_clang = $ppfile; |
| 752 | $ppfile_clang =~ s/[.](.+)$/.clang.$1/; |
| 753 | print OUT " <!-- REPORTPROBLEM src=\"$srcfile\" file=\"failures/$ppfile\" clangfile=\"failures/$ppfile_clang\" stderr=\"failures/$ppfile.stderr.txt\" info=\"failures/$ppfile.info.txt\" -->\n"; |
| 754 | } |
| 755 | print OUT "</table>\n"; |
| 756 | } |
| 757 | |
| 758 | if (scalar @failures) { |
| 759 | print OUT "<p>The analyzer had problems processing the following files:</p>\n"; |
| 760 | print OUT "<table>\n"; |
| 761 | print OUT "<thead><tr><td>Problem</td><td>Source File</td><td>Preprocessed File</td><td>STDERR Output</td></tr></thead>\n"; |
| 762 | foreach my $file (sort @failures) { |
Ted Kremenek | 82a1253 | 2008-09-25 00:25:16 +0000 | [diff] [blame] | 763 | $file =~ /(.+).info.txt$/; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 764 | # Get the preprocessed file. |
| 765 | my $ppfile = $1; |
| 766 | # Open the info file and get the name of the source file. |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 767 | open (INFO, "$Dir/failures/$file") or |
| 768 | die "Cannot open $Dir/failures/$file\n"; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 769 | my $srcfile = <INFO>; |
Ted Kremenek | 5d31f83 | 2008-08-18 18:38:29 +0000 | [diff] [blame] | 770 | chomp $srcfile; |
| 771 | my $problem = <INFO>; |
| 772 | chomp $problem; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 773 | close (INFO); |
| 774 | # Print the information in the table. |
Ted Kremenek | d52e425 | 2008-08-25 20:45:07 +0000 | [diff] [blame] | 775 | my $prefix = GetPrefix(); |
Ted Kremenek | 9f9b1fd | 2008-09-12 22:49:36 +0000 | [diff] [blame] | 776 | if (defined $prefix) { $srcfile =~ s/^\Q$prefix//; } |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 777 | print OUT "<tr><td>$problem</td><td>$srcfile</td><td><a href=\"failures/$ppfile\">$ppfile</a></td><td><a href=\"failures/$ppfile.stderr.txt\">$ppfile.stderr.txt</a></td></tr>\n"; |
Daniel Dunbar | ce723ce | 2008-09-25 01:10:50 +0000 | [diff] [blame] | 778 | my $ppfile_clang = $ppfile; |
| 779 | $ppfile_clang =~ s/[.](.+)$/.clang.$1/; |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 780 | print OUT " <!-- REPORTPROBLEM src=\"$srcfile\" file=\"failures/$ppfile\" clangfile=\"failures/$ppfile_clang\" stderr=\"failures/$ppfile.stderr.txt\" info=\"failures/$ppfile.info.txt\" -->\n"; |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 781 | } |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 782 | print OUT "</table>\n"; |
| 783 | } |
| 784 | print OUT "<p>Please consider submitting preprocessed files as <a href=\"http://clang.llvm.org/StaticAnalysisUsage.html#filingbugs\">bug reports</a>. <!-- REPORTCRASHES --> </p>\n"; |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 785 | } |
| 786 | |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 787 | print OUT "</body></html>\n"; |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 788 | close(OUT); |
Ted Kremenek | 3ce1207 | 2008-09-22 17:50:47 +0000 | [diff] [blame] | 789 | CopyFiles($Dir); |
Ted Kremenek | 20161e9 | 2008-07-15 20:18:21 +0000 | [diff] [blame] | 790 | |
| 791 | # Make sure $Dir and $BaseDir are world readable/executable. |
| 792 | system("chmod", "755", $Dir); |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 793 | if (defined $BaseDir) { system("chmod", "755", $BaseDir); } |
Ted Kremenek | 20161e9 | 2008-07-15 20:18:21 +0000 | [diff] [blame] | 794 | |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 795 | my $Num = scalar(@Index); |
Ted Kremenek | 150c212 | 2008-07-11 19:15:05 +0000 | [diff] [blame] | 796 | Diag("$Num bugs found.\n"); |
| 797 | if ($Num > 0 && -r "$Dir/index.html") { |
Ted Kremenek | 5950b3f | 2008-09-22 06:47:01 +0000 | [diff] [blame] | 798 | Diag("Run 'scan-view $Dir' to examine bug reports.\n"); |
Ted Kremenek | 150c212 | 2008-07-11 19:15:05 +0000 | [diff] [blame] | 799 | } |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 800 | |
Ted Kremenek | 938eef1 | 2009-02-17 23:31:05 +0000 | [diff] [blame] | 801 | DiagCrashes($Dir) if (scalar @failures || scalar @attributes_ignored); |
Ted Kremenek | 991c54b | 2008-08-08 20:46:42 +0000 | [diff] [blame] | 802 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 803 | return $Num; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 804 | } |
| 805 | |
| 806 | ##----------------------------------------------------------------------------## |
Ted Kremenek | dab1110 | 2008-04-02 04:43:42 +0000 | [diff] [blame] | 807 | # RunBuildCommand - Run the build command. |
| 808 | ##----------------------------------------------------------------------------## |
| 809 | |
Ted Kremenek | 6b62898 | 2008-04-30 23:47:12 +0000 | [diff] [blame] | 810 | sub AddIfNotPresent { |
| 811 | my $Args = shift; |
| 812 | my $Arg = shift; |
| 813 | my $found = 0; |
| 814 | |
| 815 | foreach my $k (@$Args) { |
| 816 | if ($k eq $Arg) { |
| 817 | $found = 1; |
| 818 | last; |
| 819 | } |
| 820 | } |
| 821 | |
| 822 | if ($found == 0) { |
| 823 | push @$Args, $Arg; |
| 824 | } |
| 825 | } |
| 826 | |
Ted Kremenek | dab1110 | 2008-04-02 04:43:42 +0000 | [diff] [blame] | 827 | sub RunBuildCommand { |
| 828 | |
| 829 | my $Args = shift; |
Ted Kremenek | 7442ca6 | 2008-04-02 16:04:51 +0000 | [diff] [blame] | 830 | my $IgnoreErrors = shift; |
Ted Kremenek | dab1110 | 2008-04-02 04:43:42 +0000 | [diff] [blame] | 831 | my $Cmd = $Args->[0]; |
Ted Kremenek | 6195c37 | 2008-06-02 21:52:47 +0000 | [diff] [blame] | 832 | my $CCAnalyzer = shift; |
Ted Kremenek | dab1110 | 2008-04-02 04:43:42 +0000 | [diff] [blame] | 833 | |
Ted Kremenek | 3301cb1 | 2008-06-30 18:18:16 +0000 | [diff] [blame] | 834 | # Get only the part of the command after the last '/'. |
| 835 | if ($Cmd =~ /\/([^\/]+)$/) { |
| 836 | $Cmd = $1; |
| 837 | } |
| 838 | |
Ted Kremenek | 92548fe | 2008-11-19 01:46:21 +0000 | [diff] [blame] | 839 | if ($Cmd =~ /(.*\/?gcc[^\/]*$)/ or |
| 840 | $Cmd =~ /(.*\/?cc[^\/]*$)/ or |
| 841 | $Cmd =~ /(.*\/?llvm-gcc[^\/]*$)/ or |
| 842 | $Cmd =~ /(.*\/?ccc-analyzer[^\/]*$)/) { |
| 843 | |
| 844 | if (!($Cmd =~ /ccc-analyzer/) and !defined $ENV{"CCC_CC"}) { |
| 845 | $ENV{"CCC_CC"} = $1; |
| 846 | } |
| 847 | |
Ted Kremenek | dab1110 | 2008-04-02 04:43:42 +0000 | [diff] [blame] | 848 | shift @$Args; |
Ted Kremenek | 6195c37 | 2008-06-02 21:52:47 +0000 | [diff] [blame] | 849 | unshift @$Args, $CCAnalyzer; |
Ted Kremenek | dab1110 | 2008-04-02 04:43:42 +0000 | [diff] [blame] | 850 | } |
Ted Kremenek | 7442ca6 | 2008-04-02 16:04:51 +0000 | [diff] [blame] | 851 | elsif ($IgnoreErrors) { |
| 852 | if ($Cmd eq "make" or $Cmd eq "gmake") { |
Ted Kremenek | 6b62898 | 2008-04-30 23:47:12 +0000 | [diff] [blame] | 853 | AddIfNotPresent($Args,"-k"); |
Ted Kremenek | 8912b54 | 2008-05-13 21:28:02 +0000 | [diff] [blame] | 854 | AddIfNotPresent($Args,"-i"); |
Ted Kremenek | 7442ca6 | 2008-04-02 16:04:51 +0000 | [diff] [blame] | 855 | } |
| 856 | elsif ($Cmd eq "xcodebuild") { |
Ted Kremenek | 6b62898 | 2008-04-30 23:47:12 +0000 | [diff] [blame] | 857 | AddIfNotPresent($Args,"-PBXBuildsContinueAfterErrors=YES"); |
Ted Kremenek | 7442ca6 | 2008-04-02 16:04:51 +0000 | [diff] [blame] | 858 | } |
Ted Kremenek | 6b62898 | 2008-04-30 23:47:12 +0000 | [diff] [blame] | 859 | } |
| 860 | |
Ted Kremenek | 6b62898 | 2008-04-30 23:47:12 +0000 | [diff] [blame] | 861 | if ($Cmd eq "xcodebuild") { |
Ted Kremenek | 87752b2 | 2009-05-15 21:14:16 +0000 | [diff] [blame] | 862 | # Check if using iPhone SDK 3.0 (simulator). If so the compiler being |
| 863 | # used should be gcc-4.2. |
| 864 | if (!defined $ENV{"CCC_CC"}) { |
| 865 | for (my $i = 0 ; $i < scalar(@$Args); ++$i) { |
| 866 | if ($Args->[$i] eq "-sdk" && $i + 1 < scalar(@$Args)) { |
| 867 | if (@$Args[$i+1] =~ /^iphonesimulator3/) { |
| 868 | $ENV{"CCC_CC"} = "gcc-4.2"; |
| 869 | } |
| 870 | } |
| 871 | } |
| 872 | } |
| 873 | |
Ted Kremenek | cfd4c7b | 2008-05-23 22:18:16 +0000 | [diff] [blame] | 874 | # Disable distributed builds for xcodebuild. |
Ted Kremenek | 6b62898 | 2008-04-30 23:47:12 +0000 | [diff] [blame] | 875 | AddIfNotPresent($Args,"-nodistribute"); |
Ted Kremenek | cfd4c7b | 2008-05-23 22:18:16 +0000 | [diff] [blame] | 876 | |
| 877 | # Disable PCH files until clang supports them. |
| 878 | AddIfNotPresent($Args,"GCC_PRECOMPILE_PREFIX_HEADER=NO"); |
Ted Kremenek | 915e972 | 2008-05-27 23:18:07 +0000 | [diff] [blame] | 879 | |
| 880 | # When 'CC' is set, xcodebuild uses it to do all linking, even if we are |
| 881 | # linking C++ object files. Set 'LDPLUSPLUS' so that xcodebuild uses 'g++' |
| 882 | # when linking such files. |
Ted Kremenek | 95aa105 | 2008-09-04 17:52:41 +0000 | [diff] [blame] | 883 | die if (!defined $CXX); |
| 884 | my $LDPLUSPLUS = `which $CXX`; |
Ted Kremenek | 915e972 | 2008-05-27 23:18:07 +0000 | [diff] [blame] | 885 | $LDPLUSPLUS =~ s/\015?\012//; # strip newlines |
| 886 | $ENV{'LDPLUSPLUS'} = $LDPLUSPLUS; |
Ted Kremenek | 6b62898 | 2008-04-30 23:47:12 +0000 | [diff] [blame] | 887 | } |
Ted Kremenek | dab1110 | 2008-04-02 04:43:42 +0000 | [diff] [blame] | 888 | |
Ted Kremenek | 5a4ddaf | 2008-08-25 20:10:45 +0000 | [diff] [blame] | 889 | return (system(@$Args) >> 8); |
Ted Kremenek | dab1110 | 2008-04-02 04:43:42 +0000 | [diff] [blame] | 890 | } |
| 891 | |
Ted Kremenek | dab1110 | 2008-04-02 04:43:42 +0000 | [diff] [blame] | 892 | ##----------------------------------------------------------------------------## |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 893 | # DisplayHelp - Utility function to display all help options. |
| 894 | ##----------------------------------------------------------------------------## |
| 895 | |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 896 | sub DisplayHelp { |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 897 | |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 898 | print <<ENDTEXT; |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 899 | USAGE: $Prog [options] <build command> [build options] |
Ted Kremenek | 2b74ab6 | 2008-04-01 21:22:03 +0000 | [diff] [blame] | 900 | |
Ted Kremenek | f4cdf41 | 2008-05-23 18:17:05 +0000 | [diff] [blame] | 901 | ENDTEXT |
| 902 | |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 903 | if (defined $BuildName) { |
Ted Kremenek | f4cdf41 | 2008-05-23 18:17:05 +0000 | [diff] [blame] | 904 | print "ANALYZER BUILD: $BuildName ($BuildDate)\n\n"; |
| 905 | } |
| 906 | |
| 907 | print <<ENDTEXT; |
Ted Kremenek | 2b74ab6 | 2008-04-01 21:22:03 +0000 | [diff] [blame] | 908 | OPTIONS: |
| 909 | |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 910 | -analyze-headers - Also analyze functions in #included files. |
| 911 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 912 | -o - Target directory for HTML report files. Subdirectories |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 913 | will be created as needed to represent separate "runs" of |
Ted Kremenek | 2b74ab6 | 2008-04-01 21:22:03 +0000 | [diff] [blame] | 914 | the analyzer. If this option is not specified, a directory |
Ted Kremenek | ffda0b4 | 2008-10-31 05:48:42 +0000 | [diff] [blame] | 915 | is created in /tmp (TMPDIR on Mac OS X) to store the reports. |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 916 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 917 | -h - Display this message. |
| 918 | --help |
Ted Kremenek | 1262fc4 | 2008-05-14 20:10:33 +0000 | [diff] [blame] | 919 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 920 | -k - Add a "keep on going" option to the specified build command. |
| 921 | --keep-going This option currently supports make and xcodebuild. |
Ted Kremenek | f02e8db | 2008-04-02 16:41:25 +0000 | [diff] [blame] | 922 | This is a convenience option; one can specify this |
| 923 | behavior directly using build options. |
Ted Kremenek | 2b74ab6 | 2008-04-01 21:22:03 +0000 | [diff] [blame] | 924 | |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 925 | --html-title [title] - Specify the title used on generated HTML pages. |
| 926 | --html-title=[title] If not specified, a default title will be used. |
| 927 | |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 928 | -plist - By default the output of scan-build is a set of HTML files. |
| 929 | This option outputs the results as a set of .plist files. |
| 930 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 931 | --status-bugs - By default, the exit status of $Prog is the same as the |
| 932 | executed build command. Specifying this option causes the |
| 933 | exit status of $Prog to be 1 if it found potential bugs |
| 934 | and 0 otherwise. |
Ted Kremenek | 2b74ab6 | 2008-04-01 21:22:03 +0000 | [diff] [blame] | 935 | |
Ted Kremenek | 386c693 | 2008-09-03 17:59:35 +0000 | [diff] [blame] | 936 | --use-cc [compiler path] - By default, $Prog uses 'gcc' to compile and link |
| 937 | --use-cc=[compiler path] your C and Objective-C code. Use this option |
| 938 | to specify an alternate compiler. |
| 939 | |
| 940 | --use-c++ [compiler path] - By default, $Prog uses 'g++' to compile and link |
| 941 | --use-c++=[compiler path] your C++ and Objective-C++ code. Use this option |
| 942 | to specify an alternate compiler. |
Ted Kremenek | f17ef3c | 2008-08-21 21:47:09 +0000 | [diff] [blame] | 943 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 944 | -v - Verbose output from $Prog and the analyzer. |
Ted Kremenek | 386c693 | 2008-09-03 17:59:35 +0000 | [diff] [blame] | 945 | A second and third '-v' increases verbosity. |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 946 | |
| 947 | -V - View analysis results in a web browser when the build |
| 948 | --view completes. |
Ted Kremenek | 7f8a325 | 2008-04-02 18:42:49 +0000 | [diff] [blame] | 949 | |
Ted Kremenek | be1fe1e | 2009-02-17 04:27:41 +0000 | [diff] [blame] | 950 | ADVANCED OPTIONS: |
| 951 | |
Ted Kremenek | 9f4ecb3 | 2009-02-20 21:49:22 +0000 | [diff] [blame] | 952 | -constraints [model] - Specify the contraint engine used by the analyzer. |
| 953 | By default the 'range' model is used. Specifying |
| 954 | 'basic' uses a simpler, less powerful constraint model |
Ted Kremenek | d4c7684 | 2009-02-21 04:46:41 +0000 | [diff] [blame] | 955 | used by checker-0.160 and earlier. |
Ted Kremenek | be1fe1e | 2009-02-17 04:27:41 +0000 | [diff] [blame] | 956 | |
| 957 | -store [model] - Specify the store model used by the analyzer. By default, |
| 958 | the 'basic' store model is used. 'region' specifies a field- |
| 959 | sensitive store model. Be warned that the 'region' model |
| 960 | is still in very early testing phase and may often crash. |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 961 | |
Ted Kremenek | 386c693 | 2008-09-03 17:59:35 +0000 | [diff] [blame] | 962 | AVAILABLE ANALYSES (multiple analyses may be specified): |
Ted Kremenek | d52e425 | 2008-08-25 20:45:07 +0000 | [diff] [blame] | 963 | |
| 964 | ENDTEXT |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 965 | |
| 966 | foreach my $Analysis (sort keys %AvailableAnalyses) { |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 967 | if (defined $AnalysesDefaultEnabled{$Analysis}) { |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 968 | print " (+)"; |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 969 | } |
| 970 | else { |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 971 | print " "; |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 972 | } |
| 973 | |
| 974 | print " $Analysis $AvailableAnalyses{$Analysis}\n"; |
| 975 | } |
| 976 | |
| 977 | print <<ENDTEXT |
| 978 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 979 | NOTE: "(+)" indicates that an analysis is enabled by default unless one |
| 980 | or more analysis options are specified |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 981 | |
Ted Kremenek | 2b74ab6 | 2008-04-01 21:22:03 +0000 | [diff] [blame] | 982 | BUILD OPTIONS |
| 983 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 984 | You can specify any build option acceptable to the build command. |
Ted Kremenek | 39eefde | 2008-04-02 16:47:27 +0000 | [diff] [blame] | 985 | |
Ted Kremenek | 5744dc2 | 2008-04-02 18:03:36 +0000 | [diff] [blame] | 986 | EXAMPLE |
Ted Kremenek | 2b74ab6 | 2008-04-01 21:22:03 +0000 | [diff] [blame] | 987 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 988 | $Prog -o /tmp/myhtmldir make -j4 |
Ted Kremenek | 2b74ab6 | 2008-04-01 21:22:03 +0000 | [diff] [blame] | 989 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 990 | The above example causes analysis reports to be deposited into |
| 991 | a subdirectory of "/tmp/myhtmldir" and to run "make" with the "-j4" option. |
| 992 | A different subdirectory is created each time $Prog analyzes a project. |
| 993 | The analyzer should support most parallel builds, but not distributed builds. |
Ted Kremenek | 2b74ab6 | 2008-04-01 21:22:03 +0000 | [diff] [blame] | 994 | |
| 995 | ENDTEXT |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 996 | } |
| 997 | |
| 998 | ##----------------------------------------------------------------------------## |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 999 | # HtmlEscape - HTML entity encode characters that are special in HTML |
| 1000 | ##----------------------------------------------------------------------------## |
| 1001 | |
| 1002 | sub HtmlEscape { |
| 1003 | # copy argument to new variable so we don't clobber the original |
| 1004 | my $arg = shift || ''; |
| 1005 | my $tmp = $arg; |
Ted Kremenek | 87f8de7 | 2008-11-03 07:44:16 +0000 | [diff] [blame] | 1006 | $tmp =~ s/&/&/g; |
| 1007 | $tmp =~ s/</</g; |
| 1008 | $tmp =~ s/>/>/g; |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 1009 | return $tmp; |
| 1010 | } |
| 1011 | |
| 1012 | ##----------------------------------------------------------------------------## |
| 1013 | # ShellEscape - backslash escape characters that are special to the shell |
| 1014 | ##----------------------------------------------------------------------------## |
| 1015 | |
| 1016 | sub ShellEscape { |
| 1017 | # copy argument to new variable so we don't clobber the original |
| 1018 | my $arg = shift || ''; |
Ted Kremenek | 87f8de7 | 2008-11-03 07:44:16 +0000 | [diff] [blame] | 1019 | if ($arg =~ /["\s]/) { return "'" . $arg . "'"; } |
| 1020 | return $arg; |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 1021 | } |
| 1022 | |
| 1023 | ##----------------------------------------------------------------------------## |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1024 | # Process command-line arguments. |
| 1025 | ##----------------------------------------------------------------------------## |
| 1026 | |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 1027 | my $AnalyzeHeaders = 0; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1028 | my $HtmlDir; # Parent directory to store HTML files. |
| 1029 | my $IgnoreErrors = 0; # Ignore build errors. |
Ted Kremenek | 7f8a325 | 2008-04-02 18:42:49 +0000 | [diff] [blame] | 1030 | my $ViewResults = 0; # View results when the build terminates. |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 1031 | my $ExitStatusFoundBugs = 0; # Exit status reflects whether bugs were found |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 1032 | my @AnalysesToRun; |
Zhongxing Xu | 07c3767 | 2008-10-27 14:26:32 +0000 | [diff] [blame] | 1033 | my $StoreModel; |
Ted Kremenek | be1fe1e | 2009-02-17 04:27:41 +0000 | [diff] [blame] | 1034 | my $ConstraintsModel; |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 1035 | my $OutputFormat; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1036 | |
| 1037 | if (!@ARGV) { |
| 1038 | DisplayHelp(); |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 1039 | exit 1; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1040 | } |
| 1041 | |
| 1042 | while (@ARGV) { |
| 1043 | |
| 1044 | # Scan for options we recognize. |
| 1045 | |
| 1046 | my $arg = $ARGV[0]; |
| 1047 | |
Sam Bishop | 2f2418e | 2008-04-03 14:29:47 +0000 | [diff] [blame] | 1048 | if ($arg eq "-h" or $arg eq "--help") { |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1049 | DisplayHelp(); |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 1050 | exit 0; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1051 | } |
| 1052 | |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 1053 | if ($arg eq '-analyze-headers') { |
| 1054 | shift @ARGV; |
| 1055 | $AnalyzeHeaders = 1; |
| 1056 | next; |
| 1057 | } |
| 1058 | |
Ted Kremenek | fc1d340 | 2008-08-04 18:15:26 +0000 | [diff] [blame] | 1059 | if (defined $AvailableAnalyses{$arg}) { |
Ted Kremenek | 1262fc4 | 2008-05-14 20:10:33 +0000 | [diff] [blame] | 1060 | shift @ARGV; |
Ted Kremenek | b7770c0 | 2008-07-15 17:06:13 +0000 | [diff] [blame] | 1061 | push @AnalysesToRun, $arg; |
Ted Kremenek | 1262fc4 | 2008-05-14 20:10:33 +0000 | [diff] [blame] | 1062 | next; |
| 1063 | } |
| 1064 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1065 | if ($arg eq "-o") { |
| 1066 | shift @ARGV; |
| 1067 | |
| 1068 | if (!@ARGV) { |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 1069 | DieDiag("'-o' option requires a target directory name.\n"); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1070 | } |
| 1071 | |
Ted Kremenek | db51a55 | 2009-03-11 18:20:33 +0000 | [diff] [blame] | 1072 | # Construct an absolute path. Uses the current working directory |
| 1073 | # as a base if the original path was not absolute. |
| 1074 | $HtmlDir = abs_path(shift @ARGV); |
| 1075 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1076 | next; |
| 1077 | } |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 1078 | |
| 1079 | if ($arg =~ /^--html-title(=(.+))?$/) { |
| 1080 | shift @ARGV; |
| 1081 | |
Ted Kremenek | 278a551 | 2009-05-12 18:04:43 +0000 | [diff] [blame] | 1082 | if (!defined $2 || $2 eq '') { |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 1083 | if (!@ARGV) { |
| 1084 | DieDiag("'--html-title' option requires a string.\n"); |
| 1085 | } |
| 1086 | |
| 1087 | $HtmlTitle = shift @ARGV; |
| 1088 | } else { |
| 1089 | $HtmlTitle = $2; |
| 1090 | } |
| 1091 | |
| 1092 | next; |
| 1093 | } |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1094 | |
Ted Kremenek | 2b74ab6 | 2008-04-01 21:22:03 +0000 | [diff] [blame] | 1095 | if ($arg eq "-k" or $arg eq "--keep-going") { |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1096 | shift @ARGV; |
| 1097 | $IgnoreErrors = 1; |
| 1098 | next; |
| 1099 | } |
| 1100 | |
Ted Kremenek | f17ef3c | 2008-08-21 21:47:09 +0000 | [diff] [blame] | 1101 | if ($arg =~ /^--use-cc(=(.+))?$/) { |
| 1102 | shift @ARGV; |
| 1103 | my $cc; |
| 1104 | |
Ted Kremenek | 278a551 | 2009-05-12 18:04:43 +0000 | [diff] [blame] | 1105 | if (!defined $2 || $2 eq "") { |
Ted Kremenek | f17ef3c | 2008-08-21 21:47:09 +0000 | [diff] [blame] | 1106 | if (!@ARGV) { |
| 1107 | DieDiag("'--use-cc' option requires a compiler executable name.\n"); |
| 1108 | } |
| 1109 | $cc = shift @ARGV; |
| 1110 | } |
| 1111 | else { |
| 1112 | $cc = $2; |
| 1113 | } |
| 1114 | |
| 1115 | $ENV{"CCC_CC"} = $cc; |
| 1116 | next; |
| 1117 | } |
| 1118 | |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 1119 | if ($arg =~ /^--use-c\+\+(=(.+))?$/) { |
Ted Kremenek | 386c693 | 2008-09-03 17:59:35 +0000 | [diff] [blame] | 1120 | shift @ARGV; |
| 1121 | |
Ted Kremenek | 278a551 | 2009-05-12 18:04:43 +0000 | [diff] [blame] | 1122 | if (!defined $2 || $2 eq "") { |
Ted Kremenek | 386c693 | 2008-09-03 17:59:35 +0000 | [diff] [blame] | 1123 | if (!@ARGV) { |
| 1124 | DieDiag("'--use-c++' option requires a compiler executable name.\n"); |
| 1125 | } |
| 1126 | $CXX = shift @ARGV; |
| 1127 | } |
| 1128 | else { |
| 1129 | $CXX = $2; |
| 1130 | } |
| 1131 | next; |
| 1132 | } |
| 1133 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1134 | if ($arg eq "-v") { |
| 1135 | shift @ARGV; |
| 1136 | $Verbose++; |
| 1137 | next; |
| 1138 | } |
| 1139 | |
Ted Kremenek | 7f8a325 | 2008-04-02 18:42:49 +0000 | [diff] [blame] | 1140 | if ($arg eq "-V" or $arg eq "--view") { |
| 1141 | shift @ARGV; |
| 1142 | $ViewResults = 1; |
| 1143 | next; |
| 1144 | } |
| 1145 | |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 1146 | if ($arg eq "--status-bugs") { |
| 1147 | shift @ARGV; |
| 1148 | $ExitStatusFoundBugs = 1; |
| 1149 | next; |
| 1150 | } |
Zhongxing Xu | 07c3767 | 2008-10-27 14:26:32 +0000 | [diff] [blame] | 1151 | |
| 1152 | if ($arg eq "-store") { |
| 1153 | shift @ARGV; |
Ted Kremenek | be1fe1e | 2009-02-17 04:27:41 +0000 | [diff] [blame] | 1154 | $StoreModel = shift @ARGV; |
| 1155 | next; |
| 1156 | } |
| 1157 | |
| 1158 | if ($arg eq "-constraints") { |
| 1159 | shift @ARGV; |
| 1160 | $ConstraintsModel = shift @ARGV; |
Zhongxing Xu | 07c3767 | 2008-10-27 14:26:32 +0000 | [diff] [blame] | 1161 | next; |
| 1162 | } |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 1163 | |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 1164 | if ($arg eq "-plist") { |
| 1165 | shift @ARGV; |
| 1166 | $OutputFormat = "plist"; |
| 1167 | next; |
| 1168 | } |
| 1169 | |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 1170 | DieDiag("unrecognized option '$arg'\n") if ($arg =~ /^-/); |
Ted Kremenek | 0062ad4 | 2008-04-02 16:35:01 +0000 | [diff] [blame] | 1171 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1172 | last; |
| 1173 | } |
| 1174 | |
| 1175 | if (!@ARGV) { |
Ted Kremenek | 23cfca3 | 2008-06-16 22:40:14 +0000 | [diff] [blame] | 1176 | Diag("No build command specified.\n\n"); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1177 | DisplayHelp(); |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 1178 | exit 1; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1179 | } |
| 1180 | |
Ted Kremenek | 7cba112 | 2008-09-22 01:35:58 +0000 | [diff] [blame] | 1181 | $CmdArgs = HtmlEscape(join(' ', map(ShellEscape($_), @ARGV))); |
| 1182 | $HtmlTitle = "${CurrentDirSuffix} - scan-build results" |
| 1183 | unless (defined($HtmlTitle)); |
Ted Kremenek | 386c693 | 2008-09-03 17:59:35 +0000 | [diff] [blame] | 1184 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1185 | # Determine the output directory for the HTML reports. |
Ted Kremenek | 684bb09 | 2008-04-18 15:18:20 +0000 | [diff] [blame] | 1186 | my $BaseDir = $HtmlDir; |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 1187 | $HtmlDir = GetHTMLRunDir($HtmlDir); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1188 | |
| 1189 | # Set the appropriate environment variables. |
Sam Bishop | a0e2266 | 2008-04-02 03:35:43 +0000 | [diff] [blame] | 1190 | SetHtmlEnv(\@ARGV, $HtmlDir); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1191 | |
Ted Kremenek | 91ea79d | 2009-03-24 05:30:14 +0000 | [diff] [blame] | 1192 | my $Cmd = Cwd::realpath("$RealBin/libexec/ccc-analyzer"); |
Ted Kremenek | ce87b92 | 2009-02-25 22:54:02 +0000 | [diff] [blame] | 1193 | if (!defined $Cmd || ! -x $Cmd) { |
| 1194 | $Cmd = Cwd::realpath("$RealBin/ccc-analyzer"); |
Ted Kremenek | 6b89636 | 2009-02-27 06:17:05 +0000 | [diff] [blame] | 1195 | DieDiag("Executable 'ccc-analyzer' does not exist at '$Cmd'\n") if(! -x $Cmd); |
Ted Kremenek | ce87b92 | 2009-02-25 22:54:02 +0000 | [diff] [blame] | 1196 | } |
Ted Kremenek | f22eacb | 2008-04-18 22:00:56 +0000 | [diff] [blame] | 1197 | |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 1198 | if (!defined $ClangCCSB || ! -x $ClangCCSB) { |
Ted Kremenek | 91ea79d | 2009-03-24 05:30:14 +0000 | [diff] [blame] | 1199 | Diag("'clang-cc' executable not found in '$RealBin/libexec'.\n"); |
Ted Kremenek | 318e6a6 | 2009-03-24 04:29:13 +0000 | [diff] [blame] | 1200 | Diag("Using 'clang-cc' from path.\n"); |
Ted Kremenek | f22eacb | 2008-04-18 22:00:56 +0000 | [diff] [blame] | 1201 | } |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 1202 | if (!defined $ClangSB || ! -x $ClangSB) { |
| 1203 | Diag("'clang' executable not found in '$RealBin/bin'.\n"); |
| 1204 | Diag("Using 'clang' from path.\n"); |
| 1205 | } |
Ted Kremenek | 0b6c153 | 2008-04-08 20:22:12 +0000 | [diff] [blame] | 1206 | |
Ted Kremenek | 95aa105 | 2008-09-04 17:52:41 +0000 | [diff] [blame] | 1207 | if (defined $CXX) { |
| 1208 | $ENV{'CXX'} = $CXX; |
| 1209 | } |
| 1210 | else { |
| 1211 | $CXX = 'g++'; # This variable is used by other parts of scan-build |
| 1212 | # that need to know a default C++ compiler to fall back to. |
| 1213 | } |
| 1214 | |
Ted Kremenek | 4f4b17d | 2008-04-03 20:08:18 +0000 | [diff] [blame] | 1215 | $ENV{'CC'} = $Cmd; |
Ted Kremenek | fd9df0e | 2009-05-09 19:19:28 +0000 | [diff] [blame] | 1216 | $ENV{'CLANG_CC'} = $ClangCC; |
Ted Kremenek | f22eacb | 2008-04-18 22:00:56 +0000 | [diff] [blame] | 1217 | $ENV{'CLANG'} = $Clang; |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1218 | |
| 1219 | if ($Verbose >= 2) { |
| 1220 | $ENV{'CCC_ANALYZER_VERBOSE'} = 1; |
| 1221 | } |
| 1222 | |
Ted Kremenek | a9525c9 | 2008-05-12 22:07:14 +0000 | [diff] [blame] | 1223 | if ($Verbose >= 3) { |
| 1224 | $ENV{'CCC_ANALYZER_LOG'} = 1; |
| 1225 | } |
| 1226 | |
Ted Kremenek | 9012599 | 2008-07-15 23:41:32 +0000 | [diff] [blame] | 1227 | if (scalar(@AnalysesToRun) == 0) { |
| 1228 | foreach my $key (keys %AnalysesDefaultEnabled) { |
| 1229 | push @AnalysesToRun,$key; |
| 1230 | } |
Ted Kremenek | 0100678 | 2008-07-02 23:16:10 +0000 | [diff] [blame] | 1231 | } |
Ted Kremenek | 1262fc4 | 2008-05-14 20:10:33 +0000 | [diff] [blame] | 1232 | |
Ted Kremenek | e15fa27 | 2008-10-13 21:46:42 +0000 | [diff] [blame] | 1233 | if ($AnalyzeHeaders) { |
| 1234 | push @AnalysesToRun,"-analyzer-opt-analyze-headers"; |
| 1235 | } |
| 1236 | |
Ted Kremenek | 9012599 | 2008-07-15 23:41:32 +0000 | [diff] [blame] | 1237 | $ENV{'CCC_ANALYZER_ANALYSIS'} = join ' ',@AnalysesToRun; |
| 1238 | |
Zhongxing Xu | 3cab2b1 | 2008-11-02 10:58:16 +0000 | [diff] [blame] | 1239 | if (defined $StoreModel) { |
Zhongxing Xu | 07c3767 | 2008-10-27 14:26:32 +0000 | [diff] [blame] | 1240 | $ENV{'CCC_ANALYZER_STORE_MODEL'} = $StoreModel; |
| 1241 | } |
| 1242 | |
Ted Kremenek | be1fe1e | 2009-02-17 04:27:41 +0000 | [diff] [blame] | 1243 | if (defined $ConstraintsModel) { |
| 1244 | $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'} = $ConstraintsModel; |
| 1245 | } |
| 1246 | |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 1247 | if (defined $OutputFormat) { |
| 1248 | $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'} = $OutputFormat; |
| 1249 | } |
| 1250 | |
| 1251 | |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1252 | # Run the build. |
Ted Kremenek | 5656a98 | 2008-07-15 17:09:28 +0000 | [diff] [blame] | 1253 | my $ExitStatus = RunBuildCommand(\@ARGV, $IgnoreErrors, $Cmd); |
Ted Kremenek | 9cc8c2c | 2008-04-01 20:47:38 +0000 | [diff] [blame] | 1254 | |
Ted Kremenek | 655aba7 | 2008-11-04 00:22:12 +0000 | [diff] [blame] | 1255 | if (defined $OutputFormat and $OutputFormat eq "plist") { |
Ted Kremenek | 50534dc | 2008-09-22 17:38:23 +0000 | [diff] [blame] | 1256 | Diag "Analysis run complete.\n"; |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 1257 | Diag "Analysis results (plist files) deposited in '$HtmlDir'\n"; |
Ted Kremenek | 7f8a325 | 2008-04-02 18:42:49 +0000 | [diff] [blame] | 1258 | } |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 1259 | else { |
| 1260 | # Postprocess the HTML directory. |
| 1261 | my $NumBugs = Postprocess($HtmlDir, $BaseDir); |
Ted Kremenek | 5656a98 | 2008-07-15 17:09:28 +0000 | [diff] [blame] | 1262 | |
Ted Kremenek | db4f5f2 | 2008-11-04 00:02:53 +0000 | [diff] [blame] | 1263 | if ($ViewResults and -r "$HtmlDir/index.html") { |
| 1264 | Diag "Analysis run complete.\n"; |
| 1265 | Diag "Viewing analysis results in '$HtmlDir' using scan-view.\n"; |
| 1266 | my $ScanView = Cwd::realpath("$RealBin/scan-view"); |
| 1267 | if (! -x $ScanView) { $ScanView = "scan-view"; } |
| 1268 | exec $ScanView, "$HtmlDir"; |
| 1269 | } |
| 1270 | |
| 1271 | if ($ExitStatusFoundBugs) { |
| 1272 | exit 1 if ($NumBugs > 0); |
| 1273 | exit 0; |
| 1274 | } |
Ted Kremenek | 363dc3f | 2008-07-15 22:03:09 +0000 | [diff] [blame] | 1275 | } |
| 1276 | |
Ted Kremenek | 5656a98 | 2008-07-15 17:09:28 +0000 | [diff] [blame] | 1277 | exit $ExitStatus; |
| 1278 | |