blob: 5835628d59ba7435b7249a6b87515f26ee70b22a [file] [log] [blame]
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001#!/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
15use strict;
16use warnings;
Ted Kremenek22d6a632008-04-02 20:43:36 +000017use FindBin qw($RealBin);
Ted Kremeneka6e24812008-04-19 18:05:48 +000018use Digest::MD5;
Ted Kremenek7a4648d2008-05-02 22:04:53 +000019use File::Basename;
Ted Kremenek23cfca32008-06-16 22:40:14 +000020use Term::ANSIColor;
21use Term::ANSIColor qw(:constants);
Ted Kremenekcd25c132008-12-03 19:50:37 +000022use Cwd qw/ getcwd abs_path /;
Ted Kremenek7cba1122008-09-22 01:35:58 +000023use Sys::Hostname;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +000024
25my $Verbose = 0; # Verbose output from this script.
26my $Prog = "scan-build";
Ted Kremenekf4cdf412008-05-23 18:17:05 +000027my $BuildName;
28my $BuildDate;
Ted Kremenek95aa1052008-09-04 17:52:41 +000029my $CXX; # Leave undefined initially.
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +000030
Ted Kremenek0e689382008-09-11 18:17:51 +000031my $TERM = $ENV{'TERM'};
32my $UseColor = (defined $TERM and $TERM eq 'xterm-color' and -t STDOUT
33 and defined $ENV{'SCAN_BUILD_COLOR'});
Ted Kremenek23cfca32008-06-16 22:40:14 +000034
Ted Kremenek7cba1122008-09-22 01:35:58 +000035my $UserName = HtmlEscape(getpwuid($<) || 'unknown');
36my $HostName = HtmlEscape(hostname() || 'unknown');
37my $CurrentDir = HtmlEscape(getcwd());
38my $CurrentDirSuffix = basename($CurrentDir);
39
40my $CmdArgs;
41
42my $HtmlTitle;
43
44my $Date = localtime();
45
Ted Kremenekb7770c02008-07-15 17:06:13 +000046##----------------------------------------------------------------------------##
47# Diagnostics
48##----------------------------------------------------------------------------##
49
Ted Kremenek23cfca32008-06-16 22:40:14 +000050sub Diag {
51 if ($UseColor) {
52 print BOLD, MAGENTA "$Prog: @_";
53 print RESET;
54 }
55 else {
56 print "$Prog: @_";
57 }
58}
59
Ted Kremenek991c54b2008-08-08 20:46:42 +000060sub DiagCrashes {
61 my $Dir = shift;
Ted Kremenek938eef12009-02-17 23:31:05 +000062 Diag ("The analyzer encountered problems on some source files.\n");
63 Diag ("Preprocessed versions of these sources were deposited in '$Dir/failures'.\n");
Ted Kremenek991c54b2008-08-08 20:46:42 +000064 Diag ("Please consider submitting a bug report using these files:\n");
65 Diag (" http://clang.llvm.org/StaticAnalysisUsage.html#filingbugs\n")
66}
67
Ted Kremenek23cfca32008-06-16 22:40:14 +000068sub 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 Kremenek9cc8c2c2008-04-01 20:47:38 +000080##----------------------------------------------------------------------------##
Ted Kremenekb7770c02008-07-15 17:06:13 +000081# Some initial preprocessing of Clang options.
82##----------------------------------------------------------------------------##
83
Ted Kremenek833da022009-03-29 00:31:32 +000084# First, look for 'clang-cc' in libexec.
Ted Kremenekfd9df0e2009-05-09 19:19:28 +000085my $ClangCCSB = Cwd::realpath("$RealBin/libexec/clang-cc");
Ted Kremenek833da022009-03-29 00:31:32 +000086# Second, look for 'clang-cc' in the same directory as scan-build.
Ted Kremenekfd9df0e2009-05-09 19:19:28 +000087if (!defined $ClangCCSB || ! -x $ClangCCSB) {
88 $ClangCCSB = Cwd::realpath("$RealBin/clang-cc");
Ted Kremenek43b7bd32009-03-09 23:14:38 +000089}
Ted Kremenek833da022009-03-29 00:31:32 +000090# Third, look for 'clang-cc' in ../libexec
Ted Kremenekfd9df0e2009-05-09 19:19:28 +000091if (!defined $ClangCCSB || ! -x $ClangCCSB) {
92 $ClangCCSB = Cwd::realpath("$RealBin/../libexec/clang-cc");
93}
94# Finally, default to looking for 'clang-cc' in the path.
95if (!defined $ClangCCSB || ! -x $ClangCCSB) {
96 $ClangCCSB = "clang-cc";
97}
98my $ClangCC = $ClangCCSB;
99
100# Now find 'clang'
101my $ClangSB = Cwd::realpath("$RealBin/bin/clang");
Ted Kremenek8d10cdd2009-02-20 04:34:29 +0000102if (!defined $ClangSB || ! -x $ClangSB) {
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000103 $ClangSB = Cwd::realpath("$RealBin/clang");
104}
105# Third, look for 'clang' in ../bin
106if (!defined $ClangSB || ! -x $ClangSB) {
107 $ClangSB = Cwd::realpath("$RealBin/../bin/clang");
Ted Kremenekb7770c02008-07-15 17:06:13 +0000108}
Ted Kremenek833da022009-03-29 00:31:32 +0000109# Finally, default to looking for 'clang-cc' in the path.
110if (!defined $ClangSB || ! -x $ClangSB) {
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000111 $ClangSB = "clang";
Ted Kremenek833da022009-03-29 00:31:32 +0000112}
113my $Clang = $ClangSB;
Ted Kremenekb7770c02008-07-15 17:06:13 +0000114
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000115
Ted Kremenekb7770c02008-07-15 17:06:13 +0000116my %AvailableAnalyses;
117
118# Query clang for analysis options.
Ted Kremenekfd9df0e2009-05-09 19:19:28 +0000119open(PIPE, "-|", $ClangCC, "--help") or
120 DieDiag("Cannot execute '$ClangCC'\n");
Ted Kremenek63c20172008-08-04 17:34:06 +0000121
Ted Kremenekb7770c02008-07-15 17:06:13 +0000122my $FoundAnalysis = 0;
123
124while(<PIPE>) {
125 if ($FoundAnalysis == 0) {
Ted Kremenek938eef12009-02-17 23:31:05 +0000126 if (/Checks and Analyses/) {
Ted Kremenekb7770c02008-07-15 17:06:13 +0000127 $FoundAnalysis = 1;
128 }
Ted Kremenekb7770c02008-07-15 17:06:13 +0000129 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 Kremenek938eef12009-02-17 23:31:05 +0000138 }
Ted Kremenekb7770c02008-07-15 17:06:13 +0000139 last;
140}
141
142close (PIPE);
143
144my %AnalysesDefaultEnabled = (
145 '-warn-dead-stores' => 1,
146 '-checker-cfref' => 1,
Ted Kremenek90125992008-07-15 23:41:32 +0000147 '-warn-objc-methodsigs' => 1,
Ted Kremenekd76c6a32009-02-25 21:08:30 +0000148 # Do not enable the missing -dealloc check by default.
149 # '-warn-objc-missing-dealloc' => 1,
Ted Kremenek5d443492008-09-18 06:34:16 +0000150 '-warn-objc-unused-ivars' => 1,
Ted Kremenekb7770c02008-07-15 17:06:13 +0000151);
152
153##----------------------------------------------------------------------------##
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000154# GetHTMLRunDir - Construct an HTML directory name for the current sub-run.
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000155##----------------------------------------------------------------------------##
156
Sam Bishopa0e22662008-04-02 03:35:43 +0000157sub GetHTMLRunDir {
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000158
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000159 die "Not enough arguments." if (@_ == 0);
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000160 my $Dir = shift @_;
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000161
162 my $TmpMode = 0;
163 if (!defined $Dir) {
Ted Kremenekffda0b42008-10-31 05:48:42 +0000164 if (`uname` =~ /Darwin/) {
165 $Dir = $ENV{'TMPDIR'};
166 if (!defined $Dir) { $Dir = "/tmp"; }
167 }
168 else {
169 $Dir = "/tmp";
170 }
171
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000172 $TmpMode = 1;
173 }
Ted Kremenekbf762c92009-02-24 02:38:02 +0000174
175 # Chop off any trailing '/' characters.
176 while ($Dir =~ /\/$/) { chop $Dir; }
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000177
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000178 # 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 Kremenek9d7405f2008-05-14 17:23:56 +0000186 my $DateString = sprintf("%d-%02d-%02d", $year, $month, $day);
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000187
188 # Determine the run number.
189
190 my $RunNumber;
191
192 if (-d $Dir) {
193
194 if (! -r $Dir) {
Ted Kremenek23cfca32008-06-16 22:40:14 +0000195 DieDiag("directory '$Dir' exists but is not readable.\n");
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000196 }
197
198 # Iterate over all files in the specified directory.
199
200 my $max = 0;
201
202 opendir(DIR, $Dir);
Ted Kremenek29da6c52008-08-07 17:57:34 +0000203 my @FILES = grep { -d "$Dir/$_" } readdir(DIR);
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000204 closedir(DIR);
205
206 foreach my $f (@FILES) {
207
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000208 # 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 Kremenekebb74132008-09-21 06:58:09 +0000214
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000215 my @x = split/-/, $f;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000216 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 Kremenek23cfca32008-06-16 22:40:14 +0000231 DieDiag("'$Dir' exists but is not a directory.\n");
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000232 }
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000233
234 if ($TmpMode) {
Ted Kremenek445fa772008-10-10 00:17:08 +0000235 DieDiag("The directory '/tmp' does not exist or cannot be accessed.\n");
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000236 }
237
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000238 # $Dir does not exist. It will be automatically created by the
239 # clang driver. Set the run number to 1.
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000240
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000241 $RunNumber = 1;
242 }
243
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000244 die "RunNumber must be defined!" if (!defined $RunNumber);
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000245
246 # Append the run number.
Ted Kremenekfc0898a2008-09-04 23:56:36 +0000247 my $NewDir;
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000248 if ($TmpMode) {
Ted Kremenekfc0898a2008-09-04 23:56:36 +0000249 $NewDir = "$Dir/$Prog-$DateString-$RunNumber";
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000250 }
251 else {
Ted Kremenekfc0898a2008-09-04 23:56:36 +0000252 $NewDir = "$Dir/$DateString-$RunNumber";
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000253 }
Ted Kremenekfc0898a2008-09-04 23:56:36 +0000254 system 'mkdir','-p',$NewDir;
255 return $NewDir;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000256}
257
Sam Bishopa0e22662008-04-02 03:35:43 +0000258sub SetHtmlEnv {
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000259
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 Kremenek23cfca32008-06-16 22:40:14 +0000274 Diag("Emitting reports for this run to '$Dir'.\n");
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000275 }
276
277 $ENV{'CCC_ANALYZER_HTML'} = $Dir;
278}
279
280##----------------------------------------------------------------------------##
Ted Kremenek57cf4462008-04-18 15:09:30 +0000281# ComputeDigest - Compute a digest of the specified file.
282##----------------------------------------------------------------------------##
283
284sub ComputeDigest {
285 my $FName = shift;
Ted Kremenek23cfca32008-06-16 22:40:14 +0000286 DieDiag("Cannot read $FName to compute Digest.\n") if (! -r $FName);
Ted Kremeneka6e24812008-04-19 18:05:48 +0000287
288 # Use Digest::MD5. We don't have to be cryptographically secure. We're
Ted Kremenek7ea02e62008-04-19 18:07:44 +0000289 # 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 Kremenek63c20172008-08-04 17:34:06 +0000291 # come bundled on most systems.
Ted Kremenek23cfca32008-06-16 22:40:14 +0000292 open(FILE, $FName) or DieDiag("Cannot open $FName when computing Digest.\n");
Ted Kremeneka6e24812008-04-19 18:05:48 +0000293 binmode FILE;
294 my $Result = Digest::MD5->new->addfile(*FILE)->hexdigest;
295 close(FILE);
296
Ted Kremenek63c20172008-08-04 17:34:06 +0000297 # Return the digest.
Ted Kremeneka6e24812008-04-19 18:05:48 +0000298 return $Result;
Ted Kremenek57cf4462008-04-18 15:09:30 +0000299}
300
301##----------------------------------------------------------------------------##
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000302# UpdatePrefix - Compute the common prefix of files.
303##----------------------------------------------------------------------------##
304
305my $Prefix;
306
307sub UpdatePrefix {
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000308 my $x = shift;
309 my $y = basename($x);
310 $x =~ s/\Q$y\E$//;
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000311
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000312 if (!defined $Prefix) {
313 $Prefix = $x;
314 return;
315 }
316
Ted Kremenek20b2bae2008-09-11 21:15:10 +0000317 chop $Prefix while (!($x =~ /^\Q$Prefix/));
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000318}
319
320sub GetPrefix {
321 return $Prefix;
322}
323
324##----------------------------------------------------------------------------##
325# UpdateInFilePath - Update the path in the report file.
326##----------------------------------------------------------------------------##
327
328sub UpdateInFilePath {
329 my $fname = shift;
330 my $regex = shift;
331 my $newtext = shift;
Ted Kremenek63c20172008-08-04 17:34:06 +0000332
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000333 open (RIN, $fname) or die "cannot open $fname";
Ted Kremenek63c20172008-08-04 17:34:06 +0000334 open (ROUT, ">", "$fname.tmp") or die "cannot open $fname.tmp";
335
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000336 while (<RIN>) {
337 s/$regex/$newtext/;
338 print ROUT $_;
339 }
Ted Kremenek63c20172008-08-04 17:34:06 +0000340
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000341 close (ROUT);
342 close (RIN);
Ted Kremenek20161e92008-07-15 20:18:21 +0000343 system("mv", "$fname.tmp", $fname);
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000344}
345
346##----------------------------------------------------------------------------##
Ted Kremenek5744dc22008-04-02 18:03:36 +0000347# ScanFile - Scan a report file for various identifying attributes.
348##----------------------------------------------------------------------------##
349
Ted Kremenek57cf4462008-04-18 15:09:30 +0000350# 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
353my %AlreadyScanned;
354
Ted Kremenek5744dc22008-04-02 18:03:36 +0000355sub ScanFile {
356
357 my $Index = shift;
358 my $Dir = shift;
359 my $FName = shift;
360
Ted Kremenek57cf4462008-04-18 15:09:30 +0000361 # 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 Kremenekfc1d3402008-08-04 18:15:26 +0000366 if (defined $AlreadyScanned{$digest}) {
Ted Kremenek57cf4462008-04-18 15:09:30 +0000367 # Redundant file. Remove it.
Ted Kremenek20161e92008-07-15 20:18:21 +0000368 system ("rm", "-f", "$Dir/$FName");
Ted Kremenek57cf4462008-04-18 15:09:30 +0000369 return;
370 }
371
372 $AlreadyScanned{$digest} = 1;
373
Ted Kremenek809709f2008-04-18 16:58:34 +0000374 # At this point the report file is not world readable. Make it happen.
Ted Kremenek20161e92008-07-15 20:18:21 +0000375 system ("chmod", "644", "$Dir/$FName");
Ted Kremenek684bb092008-04-18 15:18:20 +0000376
377 # Scan the report file for tags.
Ted Kremenek23cfca32008-06-16 22:40:14 +0000378 open(IN, "$Dir/$FName") or DieDiag("Cannot open '$Dir/$FName'\n");
Ted Kremenek5744dc22008-04-02 18:03:36 +0000379
Ted Kremeneka26ddab2009-01-27 01:53:39 +0000380 my $BugType = "";
Ted Kremenek22d6a632008-04-02 20:43:36 +0000381 my $BugFile = "";
Ted Kremenekebb74132008-09-21 06:58:09 +0000382 my $BugCategory;
Ted Kremenek22d6a632008-04-02 20:43:36 +0000383 my $BugPathLength = 1;
384 my $BugLine = 0;
Ted Kremenekebb74132008-09-21 06:58:09 +0000385 my $found = 0;
386
Ted Kremenek5744dc22008-04-02 18:03:36 +0000387 while (<IN>) {
Ted Kremenekebb74132008-09-21 06:58:09 +0000388
389 last if ($found == 5);
390
Ted Kremeneka26ddab2009-01-27 01:53:39 +0000391 if (/<!-- BUGTYPE (.*) -->$/) {
392 $BugType = $1;
Ted Kremenekebb74132008-09-21 06:58:09 +0000393 ++$found;
Ted Kremenek5744dc22008-04-02 18:03:36 +0000394 }
Ted Kremenek22d6a632008-04-02 20:43:36 +0000395 elsif (/<!-- BUGFILE (.*) -->$/) {
Ted Kremenek990c2f42008-12-03 19:19:23 +0000396 $BugFile = abs_path($1);
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000397 UpdatePrefix($BugFile);
Ted Kremenekebb74132008-09-21 06:58:09 +0000398 ++$found;
Ted Kremenek22d6a632008-04-02 20:43:36 +0000399 }
400 elsif (/<!-- BUGPATHLENGTH (.*) -->$/) {
401 $BugPathLength = $1;
Ted Kremenekebb74132008-09-21 06:58:09 +0000402 ++$found;
Ted Kremenek22d6a632008-04-02 20:43:36 +0000403 }
404 elsif (/<!-- BUGLINE (.*) -->$/) {
405 $BugLine = $1;
Ted Kremenekebb74132008-09-21 06:58:09 +0000406 ++$found;
407 }
408 elsif (/<!-- BUGCATEGORY (.*) -->$/) {
409 $BugCategory = $1;
410 ++$found;
Ted Kremenek22d6a632008-04-02 20:43:36 +0000411 }
Ted Kremenek5744dc22008-04-02 18:03:36 +0000412 }
413
414 close(IN);
Ted Kremenekebb74132008-09-21 06:58:09 +0000415
416 if (!defined $BugCategory) {
417 $BugCategory = "Other";
418 }
Ted Kremenek5744dc22008-04-02 18:03:36 +0000419
Ted Kremeneka26ddab2009-01-27 01:53:39 +0000420 push @$Index,[ $FName, $BugCategory, $BugType, $BugFile, $BugLine,
Ted Kremenek81983112008-09-28 04:13:09 +0000421 $BugPathLength ];
Ted Kremenek22d6a632008-04-02 20:43:36 +0000422}
423
424##----------------------------------------------------------------------------##
Ted Kremenek3ce12072008-09-22 17:50:47 +0000425# CopyFiles - Copy resource files to target directory.
Ted Kremenek22d6a632008-04-02 20:43:36 +0000426##----------------------------------------------------------------------------##
427
Ted Kremenek3ce12072008-09-22 17:50:47 +0000428sub CopyFiles {
Ted Kremenek22d6a632008-04-02 20:43:36 +0000429
430 my $Dir = shift;
Ted Kremeneke15fa272008-10-13 21:46:42 +0000431
432 my $JS = Cwd::realpath("$RealBin/sorttable.js");
Ted Kremenek22d6a632008-04-02 20:43:36 +0000433
Ted Kremenek23cfca32008-06-16 22:40:14 +0000434 DieDiag("Cannot find 'sorttable.js'.\n")
Ted Kremeneke15fa272008-10-13 21:46:42 +0000435 if (! -r $JS);
Ted Kremenek22d6a632008-04-02 20:43:36 +0000436
Ted Kremeneke15fa272008-10-13 21:46:42 +0000437 system ("cp", $JS, "$Dir");
Ted Kremenek22d6a632008-04-02 20:43:36 +0000438
Ted Kremenek23cfca32008-06-16 22:40:14 +0000439 DieDiag("Could not copy 'sorttable.js' to '$Dir'.\n")
Ted Kremenek22d6a632008-04-02 20:43:36 +0000440 if (! -r "$Dir/sorttable.js");
Ted Kremenek3ce12072008-09-22 17:50:47 +0000441
Ted Kremeneke15fa272008-10-13 21:46:42 +0000442 my $CSS = Cwd::realpath("$RealBin/scanview.css");
443
Ted Kremenek3ce12072008-09-22 17:50:47 +0000444 DieDiag("Cannot find 'scanview.css'.\n")
Ted Kremeneke15fa272008-10-13 21:46:42 +0000445 if (! -r $CSS);
Ted Kremenek3ce12072008-09-22 17:50:47 +0000446
Ted Kremeneke15fa272008-10-13 21:46:42 +0000447 system ("cp", $CSS, "$Dir");
Ted Kremenek3ce12072008-09-22 17:50:47 +0000448
449 DieDiag("Could not copy 'scanview.css' to '$Dir'.\n")
Ted Kremeneke15fa272008-10-13 21:46:42 +0000450 if (! -r $CSS);
Ted Kremenek5744dc22008-04-02 18:03:36 +0000451}
452
453##----------------------------------------------------------------------------##
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000454# Postprocess - Postprocess the results of an analysis scan.
455##----------------------------------------------------------------------------##
456
Sam Bishopa0e22662008-04-02 03:35:43 +0000457sub Postprocess {
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000458
459 my $Dir = shift;
Ted Kremenek684bb092008-04-18 15:18:20 +0000460 my $BaseDir = shift;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000461
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000462 die "No directory specified." if (!defined $Dir);
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000463
464 if (! -d $Dir) {
Ted Kremenek23cfca32008-06-16 22:40:14 +0000465 Diag("No bugs found.\n");
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000466 return 0;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000467 }
468
469 opendir(DIR, $Dir);
Ted Kremenek938eef12009-02-17 23:31:05 +0000470 my @files = grep { /^report-.*\.html$/ } readdir(DIR);
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000471 closedir(DIR);
472
Ted Kremenek938eef12009-02-17 23:31:05 +0000473 if (scalar(@files) == 0 and ! -e "$Dir/failures") {
Ted Kremenek23cfca32008-06-16 22:40:14 +0000474 Diag("Removing directory '$Dir' because it contains no reports.\n");
Ted Kremenek20161e92008-07-15 20:18:21 +0000475 system ("rm", "-fR", $Dir);
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000476 return 0;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000477 }
Ted Kremenek5744dc22008-04-02 18:03:36 +0000478
Ted Kremenek991c54b2008-08-08 20:46:42 +0000479 # Scan each report file and build an index.
480 my @Index;
Ted Kremenek5744dc22008-04-02 18:03:36 +0000481 foreach my $file (@files) { ScanFile(\@Index, $Dir, $file); }
482
Ted Kremenek938eef12009-02-17 23:31:05 +0000483 # Scan the failures directory and use the information in the .info files
Ted Kremenekd52e4252008-08-25 20:45:07 +0000484 # to update the common prefix directory.
Ted Kremenek938eef12009-02-17 23:31:05 +0000485 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 Kremenekd52e4252008-08-25 20:45:07 +0000490 closedir(DIR);
Ted Kremenek938eef12009-02-17 23:31:05 +0000491 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 Kremenekd52e4252008-08-25 20:45:07 +0000496 my $Path = <IN>;
497 if (defined $Path) { UpdatePrefix($Path); }
498 close IN;
499 }
500 }
501
Ted Kremenek63c20172008-08-04 17:34:06 +0000502 # Generate an index.html file.
503 my $FName = "$Dir/index.html";
504 open(OUT, ">", $FName) or DieDiag("Cannot create file '$FName'\n");
Ted Kremenek5744dc22008-04-02 18:03:36 +0000505
Ted Kremenek6e6eff72008-04-15 20:47:02 +0000506 # Print out the header.
507
Ted Kremenek5744dc22008-04-02 18:03:36 +0000508print OUT <<ENDTEXT;
509<html>
510<head>
Ted Kremenek7cba1122008-09-22 01:35:58 +0000511<title>${HtmlTitle}</title>
Ted Kremenekf1435452008-09-23 22:34:51 +0000512<link type="text/css" rel="stylesheet" href="scanview.css"/>
Ted Kremenek22d6a632008-04-02 20:43:36 +0000513<script src="sorttable.js"></script>
Ted Kremenek6e6eff72008-04-15 20:47:02 +0000514<script language='javascript' type="text/javascript">
515function 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 Kremenekebb74132008-09-21 06:58:09 +0000524
Ted Kremenek2350a462008-10-28 19:56:52 +0000525function 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 Kremenek999e1202008-10-28 20:09:57 +0000537function 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
547var NumUnchecked = 0;
548
Ted Kremenek6e6eff72008-04-15 20:47:02 +0000549function ToggleDisplay(CheckButton, ClassName) {
Ted Kremenek6e6eff72008-04-15 20:47:02 +0000550 if (CheckButton.checked) {
551 SetDisplay(ClassName, "");
Ted Kremenek999e1202008-10-28 20:09:57 +0000552 if (--NumUnchecked == 0) {
553 returnObjById("AllBugsCheck").checked = true;
554 }
Ted Kremenek6e6eff72008-04-15 20:47:02 +0000555 }
556 else {
557 SetDisplay(ClassName, "none");
Ted Kremenek999e1202008-10-28 20:09:57 +0000558 NumUnchecked++;
559 returnObjById("AllBugsCheck").checked = false;
Ted Kremenek6e6eff72008-04-15 20:47:02 +0000560 }
561}
562</script>
Ted Kremenek1d1abb12008-09-22 17:52:58 +0000563<!-- SUMMARYENDHEAD -->
Ted Kremenek6e6eff72008-04-15 20:47:02 +0000564</head>
565<body>
Ted Kremenek7cba1122008-09-22 01:35:58 +0000566<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>
573ENDTEXT
574
575print OUT "<tr><th>Version:</th><td>${BuildName} (${BuildDate})</td></tr>\n"
576 if (defined($BuildName) && defined($BuildDate));
577
578print OUT <<ENDTEXT;
579</table>
Ted Kremenek6e6eff72008-04-15 20:47:02 +0000580ENDTEXT
581
Ted Kremenek991c54b2008-08-08 20:46:42 +0000582 if (scalar(@files)) {
583 # Print out the summary table.
584 my %Totals;
Ted Kremenekebb74132008-09-21 06:58:09 +0000585
Ted Kremenek991c54b2008-08-08 20:46:42 +0000586 for my $row ( @Index ) {
Ted Kremenekebb74132008-09-21 06:58:09 +0000587 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 Kremenek6e6eff72008-04-15 20:47:02 +0000593 }
Ted Kremenek991c54b2008-08-08 20:46:42 +0000594
Ted Kremenek7cba1122008-09-22 01:35:58 +0000595 print OUT "<h2>Bug Summary</h2>";
Ted Kremenek991c54b2008-08-08 20:46:42 +0000596
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 Kremenek6e6eff72008-04-15 20:47:02 +0000599 }
Ted Kremenekf4cdf412008-05-23 18:17:05 +0000600
Ted Kremenek2350a462008-10-28 19:56:52 +0000601 my $TotalBugs = scalar(@Index);
Ted Kremenek6e6eff72008-04-15 20:47:02 +0000602print OUT <<ENDTEXT;
Ted Kremenekebb74132008-09-21 06:58:09 +0000603<table>
604<thead><tr><td>Bug Type</td><td>Quantity</td><td class="sorttable_nosort">Display?</td></tr></thead>
Ted Kremenek999e1202008-10-28 20:09:57 +0000605<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 Kremenek6e6eff72008-04-15 20:47:02 +0000606ENDTEXT
607
Ted Kremenekebb74132008-09-21 06:58:09 +0000608 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 Kremenek2350a462008-10-28 19:56:52 +0000629 print OUT "</td><td class=\"Q\">";
Ted Kremenekebb74132008-09-21 06:58:09 +0000630 print OUT $val->[0];
631 print OUT "</td><td><center><input type=\"checkbox\" onClick=\"ToggleDisplay(this,'bt_$x');\" checked/></center></td></tr>\n";
Ted Kremenek991c54b2008-08-08 20:46:42 +0000632 }
Ted Kremenek6e6eff72008-04-15 20:47:02 +0000633
634 # Print out the table of errors.
635
636print OUT <<ENDTEXT;
637</table>
Ted Kremenek7cba1122008-09-22 01:35:58 +0000638<h2>Reports</h2>
Ted Kremenekebb74132008-09-21 06:58:09 +0000639
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">&nbsp;&#x25BE;</span></td>
Ted Kremenekbba1cf52008-04-03 05:50:51 +0000644 <td>File</td>
Ted Kremenekebb74132008-09-21 06:58:09 +0000645 <td class="Q">Line</td>
Ted Kremenek81983112008-09-28 04:13:09 +0000646 <td class="Q">Path Length</td>
Ted Kremenek2645c772008-07-07 16:58:44 +0000647 <td class="sorttable_nosort"></td>
Ted Kremenekebb74132008-09-21 06:58:09 +0000648 <!-- REPORTBUGCOL -->
649</tr></thead>
650<tbody>
Ted Kremenek5744dc22008-04-02 18:03:36 +0000651ENDTEXT
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000652
Ted Kremenek991c54b2008-08-08 20:46:42 +0000653 my $prefix = GetPrefix();
654 my $regex;
655 my $InFileRegex;
656 my $InFilePrefix = "File:</td><td>";
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000657
Ted Kremenek991c54b2008-08-08 20:46:42 +0000658 if (defined $prefix) {
659 $regex = qr/^\Q$prefix\E/is;
660 $InFileRegex = qr/\Q$InFilePrefix$prefix\E/is;
661 }
Ted Kremenek7a4648d2008-05-02 22:04:53 +0000662
Ted Kremenekebb74132008-09-21 06:58:09 +0000663 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 Kremenek5744dc22008-04-02 18:03:36 +0000667
Ted Kremenek991c54b2008-08-08 20:46:42 +0000668 my $ReportFile = $row->[0];
Ted Kremenekebb74132008-09-21 06:58:09 +0000669
670 print OUT "<tr class=\"bt_$x\">";
671 print OUT "<td class=\"DESC\">";
Ted Kremenek991c54b2008-08-08 20:46:42 +0000672 print OUT $row->[1];
Ted Kremenekebb74132008-09-21 06:58:09 +0000673 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 Kremenekebb74132008-09-21 06:58:09 +0000680
Ted Kremenek991c54b2008-08-08 20:46:42 +0000681 if (defined $regex) {
682 $fname =~ s/$regex//;
683 UpdateInFilePath("$Dir/$ReportFile", $InFileRegex, $InFilePrefix)
684 }
Ted Kremenekebb74132008-09-21 06:58:09 +0000685
Ted Kremenek91639ef2008-09-22 17:42:31 +0000686 print OUT "<td>";
Ted Kremenekebb74132008-09-21 06:58:09 +0000687 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 Kremenek91639ef2008-09-22 17:42:31 +0000699 }
Ted Kremenekebb74132008-09-21 06:58:09 +0000700 print OUT "</td>";
701
702 # Print out the quantities.
Ted Kremenek81983112008-09-28 04:13:09 +0000703 for my $j ( 4 .. 5 ) {
Ted Kremenekebb74132008-09-21 06:58:09 +0000704 print OUT "<td class=\"Q\">$row->[$j]</td>";
705 }
706
Ted Kremenek991c54b2008-08-08 20:46:42 +0000707 # Print the rest of the columns.
Ted Kremenek81983112008-09-28 04:13:09 +0000708 for (my $j = 6; $j <= $#{$row}; ++$j) {
Ted Kremenekebb74132008-09-21 06:58:09 +0000709 print OUT "<td>$row->[$j]</td>"
Ted Kremenek991c54b2008-08-08 20:46:42 +0000710 }
Ted Kremenek7f8a3252008-04-02 18:42:49 +0000711
Ted Kremenek991c54b2008-08-08 20:46:42 +0000712 # Emit the "View" link.
Ted Kremenek68005dd2008-09-22 17:39:18 +0000713 print OUT "<td><a href=\"$ReportFile#EndPath\">View Report</a></td>";
Ted Kremenek3cea9ee2008-07-30 17:58:08 +0000714
Daniel Dunbare43038e2008-09-19 23:18:44 +0000715 # Emit REPORTBUG markers.
Ted Kremenekebb74132008-09-21 06:58:09 +0000716 print OUT "\n<!-- REPORTBUG id=\"$ReportFile\" -->\n";
Daniel Dunbare43038e2008-09-19 23:18:44 +0000717
Ted Kremenek991c54b2008-08-08 20:46:42 +0000718 # End the row.
719 print OUT "</tr>\n";
720 }
721
Ted Kremenekebb74132008-09-21 06:58:09 +0000722 print OUT "</tbody>\n</table>\n\n";
Ted Kremenek991c54b2008-08-08 20:46:42 +0000723 }
724
Ted Kremenek938eef12009-02-17 23:31:05 +0000725 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 Kremenek82a12532008-09-25 00:25:16 +0000763 $file =~ /(.+).info.txt$/;
Ted Kremenek991c54b2008-08-08 20:46:42 +0000764 # Get the preprocessed file.
765 my $ppfile = $1;
766 # Open the info file and get the name of the source file.
Ted Kremenek938eef12009-02-17 23:31:05 +0000767 open (INFO, "$Dir/failures/$file") or
768 die "Cannot open $Dir/failures/$file\n";
Ted Kremenek991c54b2008-08-08 20:46:42 +0000769 my $srcfile = <INFO>;
Ted Kremenek5d31f832008-08-18 18:38:29 +0000770 chomp $srcfile;
771 my $problem = <INFO>;
772 chomp $problem;
Ted Kremenek991c54b2008-08-08 20:46:42 +0000773 close (INFO);
774 # Print the information in the table.
Ted Kremenekd52e4252008-08-25 20:45:07 +0000775 my $prefix = GetPrefix();
Ted Kremenek9f9b1fd2008-09-12 22:49:36 +0000776 if (defined $prefix) { $srcfile =~ s/^\Q$prefix//; }
Ted Kremenek938eef12009-02-17 23:31:05 +0000777 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 Dunbarce723ce2008-09-25 01:10:50 +0000778 my $ppfile_clang = $ppfile;
779 $ppfile_clang =~ s/[.](.+)$/.clang.$1/;
Ted Kremenek938eef12009-02-17 23:31:05 +0000780 print OUT " <!-- REPORTPROBLEM src=\"$srcfile\" file=\"failures/$ppfile\" clangfile=\"failures/$ppfile_clang\" stderr=\"failures/$ppfile.stderr.txt\" info=\"failures/$ppfile.info.txt\" -->\n";
Ted Kremenek991c54b2008-08-08 20:46:42 +0000781 }
Ted Kremenek938eef12009-02-17 23:31:05 +0000782 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 Kremenek5744dc22008-04-02 18:03:36 +0000785 }
786
Ted Kremenek991c54b2008-08-08 20:46:42 +0000787 print OUT "</body></html>\n";
Ted Kremenek5744dc22008-04-02 18:03:36 +0000788 close(OUT);
Ted Kremenek3ce12072008-09-22 17:50:47 +0000789 CopyFiles($Dir);
Ted Kremenek20161e92008-07-15 20:18:21 +0000790
791 # Make sure $Dir and $BaseDir are world readable/executable.
792 system("chmod", "755", $Dir);
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000793 if (defined $BaseDir) { system("chmod", "755", $BaseDir); }
Ted Kremenek20161e92008-07-15 20:18:21 +0000794
Ted Kremenek23cfca32008-06-16 22:40:14 +0000795 my $Num = scalar(@Index);
Ted Kremenek150c2122008-07-11 19:15:05 +0000796 Diag("$Num bugs found.\n");
797 if ($Num > 0 && -r "$Dir/index.html") {
Ted Kremenek5950b3f2008-09-22 06:47:01 +0000798 Diag("Run 'scan-view $Dir' to examine bug reports.\n");
Ted Kremenek150c2122008-07-11 19:15:05 +0000799 }
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000800
Ted Kremenek938eef12009-02-17 23:31:05 +0000801 DiagCrashes($Dir) if (scalar @failures || scalar @attributes_ignored);
Ted Kremenek991c54b2008-08-08 20:46:42 +0000802
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000803 return $Num;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000804}
805
806##----------------------------------------------------------------------------##
Ted Kremenekdab11102008-04-02 04:43:42 +0000807# RunBuildCommand - Run the build command.
808##----------------------------------------------------------------------------##
809
Ted Kremenek6b628982008-04-30 23:47:12 +0000810sub 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 Kremenekdab11102008-04-02 04:43:42 +0000827sub RunBuildCommand {
828
829 my $Args = shift;
Ted Kremenek7442ca62008-04-02 16:04:51 +0000830 my $IgnoreErrors = shift;
Ted Kremenekdab11102008-04-02 04:43:42 +0000831 my $Cmd = $Args->[0];
Ted Kremenek6195c372008-06-02 21:52:47 +0000832 my $CCAnalyzer = shift;
Ted Kremenekdab11102008-04-02 04:43:42 +0000833
Ted Kremenek3301cb12008-06-30 18:18:16 +0000834 # Get only the part of the command after the last '/'.
835 if ($Cmd =~ /\/([^\/]+)$/) {
836 $Cmd = $1;
837 }
838
Ted Kremenek92548fe2008-11-19 01:46:21 +0000839 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 Kremenekdab11102008-04-02 04:43:42 +0000848 shift @$Args;
Ted Kremenek6195c372008-06-02 21:52:47 +0000849 unshift @$Args, $CCAnalyzer;
Ted Kremenekdab11102008-04-02 04:43:42 +0000850 }
Ted Kremenek7442ca62008-04-02 16:04:51 +0000851 elsif ($IgnoreErrors) {
852 if ($Cmd eq "make" or $Cmd eq "gmake") {
Ted Kremenek6b628982008-04-30 23:47:12 +0000853 AddIfNotPresent($Args,"-k");
Ted Kremenek8912b542008-05-13 21:28:02 +0000854 AddIfNotPresent($Args,"-i");
Ted Kremenek7442ca62008-04-02 16:04:51 +0000855 }
856 elsif ($Cmd eq "xcodebuild") {
Ted Kremenek6b628982008-04-30 23:47:12 +0000857 AddIfNotPresent($Args,"-PBXBuildsContinueAfterErrors=YES");
Ted Kremenek7442ca62008-04-02 16:04:51 +0000858 }
Ted Kremenek6b628982008-04-30 23:47:12 +0000859 }
860
Ted Kremenek6b628982008-04-30 23:47:12 +0000861 if ($Cmd eq "xcodebuild") {
Ted Kremenek87752b22009-05-15 21:14:16 +0000862 # 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 Kremenekcfd4c7b2008-05-23 22:18:16 +0000874 # Disable distributed builds for xcodebuild.
Ted Kremenek6b628982008-04-30 23:47:12 +0000875 AddIfNotPresent($Args,"-nodistribute");
Ted Kremenekcfd4c7b2008-05-23 22:18:16 +0000876
877 # Disable PCH files until clang supports them.
878 AddIfNotPresent($Args,"GCC_PRECOMPILE_PREFIX_HEADER=NO");
Ted Kremenek915e9722008-05-27 23:18:07 +0000879
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 Kremenek95aa1052008-09-04 17:52:41 +0000883 die if (!defined $CXX);
884 my $LDPLUSPLUS = `which $CXX`;
Ted Kremenek915e9722008-05-27 23:18:07 +0000885 $LDPLUSPLUS =~ s/\015?\012//; # strip newlines
886 $ENV{'LDPLUSPLUS'} = $LDPLUSPLUS;
Ted Kremenek6b628982008-04-30 23:47:12 +0000887 }
Ted Kremenekdab11102008-04-02 04:43:42 +0000888
Ted Kremenek5a4ddaf2008-08-25 20:10:45 +0000889 return (system(@$Args) >> 8);
Ted Kremenekdab11102008-04-02 04:43:42 +0000890}
891
Ted Kremenekdab11102008-04-02 04:43:42 +0000892##----------------------------------------------------------------------------##
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000893# DisplayHelp - Utility function to display all help options.
894##----------------------------------------------------------------------------##
895
Sam Bishopa0e22662008-04-02 03:35:43 +0000896sub DisplayHelp {
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000897
Ted Kremenek5744dc22008-04-02 18:03:36 +0000898print <<ENDTEXT;
Sam Bishopa0e22662008-04-02 03:35:43 +0000899USAGE: $Prog [options] <build command> [build options]
Ted Kremenek2b74ab62008-04-01 21:22:03 +0000900
Ted Kremenekf4cdf412008-05-23 18:17:05 +0000901ENDTEXT
902
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000903 if (defined $BuildName) {
Ted Kremenekf4cdf412008-05-23 18:17:05 +0000904 print "ANALYZER BUILD: $BuildName ($BuildDate)\n\n";
905 }
906
907print <<ENDTEXT;
Ted Kremenek2b74ab62008-04-01 21:22:03 +0000908OPTIONS:
909
Ted Kremeneke15fa272008-10-13 21:46:42 +0000910 -analyze-headers - Also analyze functions in #included files.
911
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000912 -o - Target directory for HTML report files. Subdirectories
Sam Bishopa0e22662008-04-02 03:35:43 +0000913 will be created as needed to represent separate "runs" of
Ted Kremenek2b74ab62008-04-01 21:22:03 +0000914 the analyzer. If this option is not specified, a directory
Ted Kremenekffda0b42008-10-31 05:48:42 +0000915 is created in /tmp (TMPDIR on Mac OS X) to store the reports.
Ted Kremenekdb4f5f22008-11-04 00:02:53 +0000916
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000917 -h - Display this message.
918 --help
Ted Kremenek1262fc42008-05-14 20:10:33 +0000919
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000920 -k - Add a "keep on going" option to the specified build command.
921 --keep-going This option currently supports make and xcodebuild.
Ted Kremenekf02e8db2008-04-02 16:41:25 +0000922 This is a convenience option; one can specify this
923 behavior directly using build options.
Ted Kremenek2b74ab62008-04-01 21:22:03 +0000924
Ted Kremenek7cba1122008-09-22 01:35:58 +0000925 --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 Kremenekdb4f5f22008-11-04 00:02:53 +0000928 -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 Kremenek363dc3f2008-07-15 22:03:09 +0000931 --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 Kremenek2b74ab62008-04-01 21:22:03 +0000935
Ted Kremenek386c6932008-09-03 17:59:35 +0000936 --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 Kremenekf17ef3c2008-08-21 21:47:09 +0000943
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000944 -v - Verbose output from $Prog and the analyzer.
Ted Kremenek386c6932008-09-03 17:59:35 +0000945 A second and third '-v' increases verbosity.
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000946
947 -V - View analysis results in a web browser when the build
948 --view completes.
Ted Kremenek7f8a3252008-04-02 18:42:49 +0000949
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000950ADVANCED OPTIONS:
951
Ted Kremenek9f4ecb32009-02-20 21:49:22 +0000952 -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 Kremenekd4c76842009-02-21 04:46:41 +0000955 used by checker-0.160 and earlier.
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +0000956
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 Kremenekb7770c02008-07-15 17:06:13 +0000961
Ted Kremenek386c6932008-09-03 17:59:35 +0000962AVAILABLE ANALYSES (multiple analyses may be specified):
Ted Kremenekd52e4252008-08-25 20:45:07 +0000963
964ENDTEXT
Ted Kremenekb7770c02008-07-15 17:06:13 +0000965
966 foreach my $Analysis (sort keys %AvailableAnalyses) {
Ted Kremenekfc1d3402008-08-04 18:15:26 +0000967 if (defined $AnalysesDefaultEnabled{$Analysis}) {
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000968 print " (+)";
Ted Kremenekb7770c02008-07-15 17:06:13 +0000969 }
970 else {
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000971 print " ";
Ted Kremenekb7770c02008-07-15 17:06:13 +0000972 }
973
974 print " $Analysis $AvailableAnalyses{$Analysis}\n";
975 }
976
977print <<ENDTEXT
978
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000979 NOTE: "(+)" indicates that an analysis is enabled by default unless one
980 or more analysis options are specified
Ted Kremenekb7770c02008-07-15 17:06:13 +0000981
Ted Kremenek2b74ab62008-04-01 21:22:03 +0000982BUILD OPTIONS
983
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000984 You can specify any build option acceptable to the build command.
Ted Kremenek39eefde2008-04-02 16:47:27 +0000985
Ted Kremenek5744dc22008-04-02 18:03:36 +0000986EXAMPLE
Ted Kremenek2b74ab62008-04-01 21:22:03 +0000987
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000988 $Prog -o /tmp/myhtmldir make -j4
Ted Kremenek2b74ab62008-04-01 21:22:03 +0000989
Ted Kremenek363dc3f2008-07-15 22:03:09 +0000990 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 Kremenek2b74ab62008-04-01 21:22:03 +0000994
995ENDTEXT
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +0000996}
997
998##----------------------------------------------------------------------------##
Ted Kremenek7cba1122008-09-22 01:35:58 +0000999# HtmlEscape - HTML entity encode characters that are special in HTML
1000##----------------------------------------------------------------------------##
1001
1002sub HtmlEscape {
1003 # copy argument to new variable so we don't clobber the original
1004 my $arg = shift || '';
1005 my $tmp = $arg;
Ted Kremenek87f8de72008-11-03 07:44:16 +00001006 $tmp =~ s/&/&amp;/g;
1007 $tmp =~ s/</&lt;/g;
1008 $tmp =~ s/>/&gt;/g;
Ted Kremenek7cba1122008-09-22 01:35:58 +00001009 return $tmp;
1010}
1011
1012##----------------------------------------------------------------------------##
1013# ShellEscape - backslash escape characters that are special to the shell
1014##----------------------------------------------------------------------------##
1015
1016sub ShellEscape {
1017 # copy argument to new variable so we don't clobber the original
1018 my $arg = shift || '';
Ted Kremenek87f8de72008-11-03 07:44:16 +00001019 if ($arg =~ /["\s]/) { return "'" . $arg . "'"; }
1020 return $arg;
Ted Kremenek7cba1122008-09-22 01:35:58 +00001021}
1022
1023##----------------------------------------------------------------------------##
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001024# Process command-line arguments.
1025##----------------------------------------------------------------------------##
1026
Ted Kremeneke15fa272008-10-13 21:46:42 +00001027my $AnalyzeHeaders = 0;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001028my $HtmlDir; # Parent directory to store HTML files.
1029my $IgnoreErrors = 0; # Ignore build errors.
Ted Kremenek7f8a3252008-04-02 18:42:49 +00001030my $ViewResults = 0; # View results when the build terminates.
Ted Kremenek363dc3f2008-07-15 22:03:09 +00001031my $ExitStatusFoundBugs = 0; # Exit status reflects whether bugs were found
Ted Kremenekb7770c02008-07-15 17:06:13 +00001032my @AnalysesToRun;
Zhongxing Xu07c37672008-10-27 14:26:32 +00001033my $StoreModel;
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +00001034my $ConstraintsModel;
Ted Kremenekdb4f5f22008-11-04 00:02:53 +00001035my $OutputFormat;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001036
1037if (!@ARGV) {
1038 DisplayHelp();
Sam Bishopa0e22662008-04-02 03:35:43 +00001039 exit 1;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001040}
1041
1042while (@ARGV) {
1043
1044 # Scan for options we recognize.
1045
1046 my $arg = $ARGV[0];
1047
Sam Bishop2f2418e2008-04-03 14:29:47 +00001048 if ($arg eq "-h" or $arg eq "--help") {
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001049 DisplayHelp();
Sam Bishopa0e22662008-04-02 03:35:43 +00001050 exit 0;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001051 }
1052
Ted Kremeneke15fa272008-10-13 21:46:42 +00001053 if ($arg eq '-analyze-headers') {
1054 shift @ARGV;
1055 $AnalyzeHeaders = 1;
1056 next;
1057 }
1058
Ted Kremenekfc1d3402008-08-04 18:15:26 +00001059 if (defined $AvailableAnalyses{$arg}) {
Ted Kremenek1262fc42008-05-14 20:10:33 +00001060 shift @ARGV;
Ted Kremenekb7770c02008-07-15 17:06:13 +00001061 push @AnalysesToRun, $arg;
Ted Kremenek1262fc42008-05-14 20:10:33 +00001062 next;
1063 }
1064
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001065 if ($arg eq "-o") {
1066 shift @ARGV;
1067
1068 if (!@ARGV) {
Ted Kremenek23cfca32008-06-16 22:40:14 +00001069 DieDiag("'-o' option requires a target directory name.\n");
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001070 }
1071
Ted Kremenekdb51a552009-03-11 18:20:33 +00001072 # 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 Kremenek9cc8c2c2008-04-01 20:47:38 +00001076 next;
1077 }
Ted Kremenek7cba1122008-09-22 01:35:58 +00001078
1079 if ($arg =~ /^--html-title(=(.+))?$/) {
1080 shift @ARGV;
1081
Ted Kremenek278a5512009-05-12 18:04:43 +00001082 if (!defined $2 || $2 eq '') {
Ted Kremenek7cba1122008-09-22 01:35:58 +00001083 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 Kremenek9cc8c2c2008-04-01 20:47:38 +00001094
Ted Kremenek2b74ab62008-04-01 21:22:03 +00001095 if ($arg eq "-k" or $arg eq "--keep-going") {
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001096 shift @ARGV;
1097 $IgnoreErrors = 1;
1098 next;
1099 }
1100
Ted Kremenekf17ef3c2008-08-21 21:47:09 +00001101 if ($arg =~ /^--use-cc(=(.+))?$/) {
1102 shift @ARGV;
1103 my $cc;
1104
Ted Kremenek278a5512009-05-12 18:04:43 +00001105 if (!defined $2 || $2 eq "") {
Ted Kremenekf17ef3c2008-08-21 21:47:09 +00001106 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 Kremenek7cba1122008-09-22 01:35:58 +00001119 if ($arg =~ /^--use-c\+\+(=(.+))?$/) {
Ted Kremenek386c6932008-09-03 17:59:35 +00001120 shift @ARGV;
1121
Ted Kremenek278a5512009-05-12 18:04:43 +00001122 if (!defined $2 || $2 eq "") {
Ted Kremenek386c6932008-09-03 17:59:35 +00001123 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 Kremenek9cc8c2c2008-04-01 20:47:38 +00001134 if ($arg eq "-v") {
1135 shift @ARGV;
1136 $Verbose++;
1137 next;
1138 }
1139
Ted Kremenek7f8a3252008-04-02 18:42:49 +00001140 if ($arg eq "-V" or $arg eq "--view") {
1141 shift @ARGV;
1142 $ViewResults = 1;
1143 next;
1144 }
1145
Ted Kremenek363dc3f2008-07-15 22:03:09 +00001146 if ($arg eq "--status-bugs") {
1147 shift @ARGV;
1148 $ExitStatusFoundBugs = 1;
1149 next;
1150 }
Zhongxing Xu07c37672008-10-27 14:26:32 +00001151
1152 if ($arg eq "-store") {
1153 shift @ARGV;
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +00001154 $StoreModel = shift @ARGV;
1155 next;
1156 }
1157
1158 if ($arg eq "-constraints") {
1159 shift @ARGV;
1160 $ConstraintsModel = shift @ARGV;
Zhongxing Xu07c37672008-10-27 14:26:32 +00001161 next;
1162 }
Ted Kremenek363dc3f2008-07-15 22:03:09 +00001163
Ted Kremenekdb4f5f22008-11-04 00:02:53 +00001164 if ($arg eq "-plist") {
1165 shift @ARGV;
1166 $OutputFormat = "plist";
1167 next;
1168 }
1169
Ted Kremenek23cfca32008-06-16 22:40:14 +00001170 DieDiag("unrecognized option '$arg'\n") if ($arg =~ /^-/);
Ted Kremenek0062ad42008-04-02 16:35:01 +00001171
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001172 last;
1173}
1174
1175if (!@ARGV) {
Ted Kremenek23cfca32008-06-16 22:40:14 +00001176 Diag("No build command specified.\n\n");
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001177 DisplayHelp();
Sam Bishopa0e22662008-04-02 03:35:43 +00001178 exit 1;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001179}
1180
Ted Kremenek7cba1122008-09-22 01:35:58 +00001181$CmdArgs = HtmlEscape(join(' ', map(ShellEscape($_), @ARGV)));
1182$HtmlTitle = "${CurrentDirSuffix} - scan-build results"
1183 unless (defined($HtmlTitle));
Ted Kremenek386c6932008-09-03 17:59:35 +00001184
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001185# Determine the output directory for the HTML reports.
Ted Kremenek684bb092008-04-18 15:18:20 +00001186my $BaseDir = $HtmlDir;
Sam Bishopa0e22662008-04-02 03:35:43 +00001187$HtmlDir = GetHTMLRunDir($HtmlDir);
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001188
1189# Set the appropriate environment variables.
Sam Bishopa0e22662008-04-02 03:35:43 +00001190SetHtmlEnv(\@ARGV, $HtmlDir);
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001191
Ted Kremenek91ea79d2009-03-24 05:30:14 +00001192my $Cmd = Cwd::realpath("$RealBin/libexec/ccc-analyzer");
Ted Kremenekce87b922009-02-25 22:54:02 +00001193if (!defined $Cmd || ! -x $Cmd) {
1194 $Cmd = Cwd::realpath("$RealBin/ccc-analyzer");
Ted Kremenek6b896362009-02-27 06:17:05 +00001195 DieDiag("Executable 'ccc-analyzer' does not exist at '$Cmd'\n") if(! -x $Cmd);
Ted Kremenekce87b922009-02-25 22:54:02 +00001196}
Ted Kremenekf22eacb2008-04-18 22:00:56 +00001197
Ted Kremenekfd9df0e2009-05-09 19:19:28 +00001198if (!defined $ClangCCSB || ! -x $ClangCCSB) {
Ted Kremenek91ea79d2009-03-24 05:30:14 +00001199 Diag("'clang-cc' executable not found in '$RealBin/libexec'.\n");
Ted Kremenek318e6a62009-03-24 04:29:13 +00001200 Diag("Using 'clang-cc' from path.\n");
Ted Kremenekf22eacb2008-04-18 22:00:56 +00001201}
Ted Kremenekfd9df0e2009-05-09 19:19:28 +00001202if (!defined $ClangSB || ! -x $ClangSB) {
1203 Diag("'clang' executable not found in '$RealBin/bin'.\n");
1204 Diag("Using 'clang' from path.\n");
1205}
Ted Kremenek0b6c1532008-04-08 20:22:12 +00001206
Ted Kremenek95aa1052008-09-04 17:52:41 +00001207if (defined $CXX) {
1208 $ENV{'CXX'} = $CXX;
1209}
1210else {
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 Kremenek4f4b17d2008-04-03 20:08:18 +00001215$ENV{'CC'} = $Cmd;
Ted Kremenekfd9df0e2009-05-09 19:19:28 +00001216$ENV{'CLANG_CC'} = $ClangCC;
Ted Kremenekf22eacb2008-04-18 22:00:56 +00001217$ENV{'CLANG'} = $Clang;
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001218
1219if ($Verbose >= 2) {
1220 $ENV{'CCC_ANALYZER_VERBOSE'} = 1;
1221}
1222
Ted Kremeneka9525c92008-05-12 22:07:14 +00001223if ($Verbose >= 3) {
1224 $ENV{'CCC_ANALYZER_LOG'} = 1;
1225}
1226
Ted Kremenek90125992008-07-15 23:41:32 +00001227if (scalar(@AnalysesToRun) == 0) {
1228 foreach my $key (keys %AnalysesDefaultEnabled) {
1229 push @AnalysesToRun,$key;
1230 }
Ted Kremenek01006782008-07-02 23:16:10 +00001231}
Ted Kremenek1262fc42008-05-14 20:10:33 +00001232
Ted Kremeneke15fa272008-10-13 21:46:42 +00001233if ($AnalyzeHeaders) {
1234 push @AnalysesToRun,"-analyzer-opt-analyze-headers";
1235}
1236
Ted Kremenek90125992008-07-15 23:41:32 +00001237$ENV{'CCC_ANALYZER_ANALYSIS'} = join ' ',@AnalysesToRun;
1238
Zhongxing Xu3cab2b12008-11-02 10:58:16 +00001239if (defined $StoreModel) {
Zhongxing Xu07c37672008-10-27 14:26:32 +00001240 $ENV{'CCC_ANALYZER_STORE_MODEL'} = $StoreModel;
1241}
1242
Ted Kremenekbe1fe1e2009-02-17 04:27:41 +00001243if (defined $ConstraintsModel) {
1244 $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'} = $ConstraintsModel;
1245}
1246
Ted Kremenekdb4f5f22008-11-04 00:02:53 +00001247if (defined $OutputFormat) {
1248 $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'} = $OutputFormat;
1249}
1250
1251
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001252# Run the build.
Ted Kremenek5656a982008-07-15 17:09:28 +00001253my $ExitStatus = RunBuildCommand(\@ARGV, $IgnoreErrors, $Cmd);
Ted Kremenek9cc8c2c2008-04-01 20:47:38 +00001254
Ted Kremenek655aba72008-11-04 00:22:12 +00001255if (defined $OutputFormat and $OutputFormat eq "plist") {
Ted Kremenek50534dc2008-09-22 17:38:23 +00001256 Diag "Analysis run complete.\n";
Ted Kremenekdb4f5f22008-11-04 00:02:53 +00001257 Diag "Analysis results (plist files) deposited in '$HtmlDir'\n";
Ted Kremenek7f8a3252008-04-02 18:42:49 +00001258}
Ted Kremenekdb4f5f22008-11-04 00:02:53 +00001259else {
1260 # Postprocess the HTML directory.
1261 my $NumBugs = Postprocess($HtmlDir, $BaseDir);
Ted Kremenek5656a982008-07-15 17:09:28 +00001262
Ted Kremenekdb4f5f22008-11-04 00:02:53 +00001263 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 Kremenek363dc3f2008-07-15 22:03:09 +00001275}
1276
Ted Kremenek5656a982008-07-15 17:09:28 +00001277exit $ExitStatus;
1278