Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line | 
|---|---|---|---|
| 14 | pmbaty | 1 | #!/usr/bin/env perl | 
| 2 | # | ||
| 3 | # Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. | ||
| 4 | # See https://llvm.org/LICENSE.txt for license information. | ||
| 5 | # SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | ||
| 6 | # | ||
| 7 | ##===----------------------------------------------------------------------===## | ||
| 8 | # | ||
| 9 | # A script designed to interpose between the build system and gcc. It invokes | ||
| 10 | # both gcc and the static analyzer. | ||
| 11 | # | ||
| 12 | ##===----------------------------------------------------------------------===## | ||
| 13 | |||
| 14 | use strict; | ||
| 15 | use warnings; | ||
| 16 | use FindBin; | ||
| 17 | use Cwd qw/ getcwd abs_path /; | ||
| 18 | use File::Temp qw/ tempfile /; | ||
| 19 | use File::Path qw / mkpath /; | ||
| 20 | use File::Basename; | ||
| 21 | use Text::ParseWords; | ||
| 22 | |||
| 23 | ##===----------------------------------------------------------------------===## | ||
| 24 | # List form 'system' with STDOUT and STDERR captured. | ||
| 25 | ##===----------------------------------------------------------------------===## | ||
| 26 | |||
| 27 | sub silent_system { | ||
| 28 | my $HtmlDir = shift; | ||
| 29 | my $Command = shift; | ||
| 30 | |||
| 31 | # Save STDOUT and STDERR and redirect to a temporary file. | ||
| 32 | open OLDOUT, ">&", \*STDOUT; | ||
| 33 | open OLDERR, ">&", \*STDERR; | ||
| 34 |   my ($TmpFH, $TmpFile) = tempfile("temp_buf_XXXXXX", | ||
| 35 | DIR => $HtmlDir, | ||
| 36 | UNLINK => 1); | ||
| 37 | open(STDOUT, ">$TmpFile"); | ||
| 38 | open(STDERR, ">&", \*STDOUT); | ||
| 39 | |||
| 40 | # Invoke 'system', STDOUT and STDERR are output to a temporary file. | ||
| 41 | system $Command, @_; | ||
| 42 | |||
| 43 | # Restore STDOUT and STDERR. | ||
| 44 | open STDOUT, ">&", \*OLDOUT; | ||
| 45 | open STDERR, ">&", \*OLDERR; | ||
| 46 | |||
| 47 | return $TmpFH; | ||
| 48 | } | ||
| 49 | |||
| 50 | ##===----------------------------------------------------------------------===## | ||
| 51 | # Compiler command setup. | ||
| 52 | ##===----------------------------------------------------------------------===## | ||
| 53 | |||
| 54 | # Search in the PATH if the compiler exists | ||
| 55 | sub SearchInPath { | ||
| 56 | my $file = shift; | ||
| 57 |     foreach my $dir (split (':', $ENV{PATH})) { | ||
| 58 |         if (-x "$dir/$file") { | ||
| 59 | return 1; | ||
| 60 | } | ||
| 61 | } | ||
| 62 | return 0; | ||
| 63 | } | ||
| 64 | |||
| 65 | my $Compiler; | ||
| 66 | my $Clang; | ||
| 67 | my $DefaultCCompiler; | ||
| 68 | my $DefaultCXXCompiler; | ||
| 69 | my $IsCXX; | ||
| 70 | my $AnalyzerTarget; | ||
| 71 | |||
| 72 | # If on OSX, use xcrun to determine the SDK root. | ||
| 73 | my $UseXCRUN = 0; | ||
| 74 | |||
| 75 | if (`uname -s` =~ m/Darwin/) { | ||
| 76 | $DefaultCCompiler = 'clang'; | ||
| 77 | $DefaultCXXCompiler = 'clang++'; | ||
| 78 | # Older versions of OSX do not have xcrun to | ||
| 79 | # query the SDK location. | ||
| 80 |   if (-x "/usr/bin/xcrun") { | ||
| 81 | $UseXCRUN = 1; | ||
| 82 | } | ||
| 83 | } elsif (`uname -s` =~ m/(FreeBSD|OpenBSD)/) { | ||
| 84 | $DefaultCCompiler = 'cc'; | ||
| 85 | $DefaultCXXCompiler = 'c++'; | ||
| 86 | } else { | ||
| 87 | $DefaultCCompiler = 'gcc'; | ||
| 88 | $DefaultCXXCompiler = 'g++'; | ||
| 89 | } | ||
| 90 | |||
| 91 | if ($FindBin::Script =~ /c\+\+-analyzer/) { | ||
| 92 |   $Compiler = $ENV{'CCC_CXX'}; | ||
| 93 |   if (!defined $Compiler || (! -x $Compiler && ! SearchInPath($Compiler))) { $Compiler = $DefaultCXXCompiler; } | ||
| 94 | |||
| 95 |   $Clang = $ENV{'CLANG_CXX'}; | ||
| 96 |   if (!defined $Clang || ! -x $Clang) { $Clang = 'clang++'; } | ||
| 97 | |||
| 98 | $IsCXX = 1 | ||
| 99 | } | ||
| 100 | else { | ||
| 101 |   $Compiler = $ENV{'CCC_CC'}; | ||
| 102 |   if (!defined $Compiler || (! -x $Compiler && ! SearchInPath($Compiler))) { $Compiler = $DefaultCCompiler; } | ||
| 103 | |||
| 104 |   $Clang = $ENV{'CLANG'}; | ||
| 105 |   if (!defined $Clang || ! -x $Clang) { $Clang = 'clang'; } | ||
| 106 | |||
| 107 | $IsCXX = 0 | ||
| 108 | } | ||
| 109 | |||
| 110 | $AnalyzerTarget = $ENV{'CLANG_ANALYZER_TARGET'}; | ||
| 111 | |||
| 112 | ##===----------------------------------------------------------------------===## | ||
| 113 | # Cleanup. | ||
| 114 | ##===----------------------------------------------------------------------===## | ||
| 115 | |||
| 116 | my $ReportFailures = $ENV{'CCC_REPORT_FAILURES'}; | ||
| 117 | if (!defined $ReportFailures) { $ReportFailures = 1; } | ||
| 118 | |||
| 119 | my $CleanupFile; | ||
| 120 | my $ResultFile; | ||
| 121 | |||
| 122 | # Remove any stale files at exit. | ||
| 123 | END { | ||
| 124 |   if (defined $ResultFile && -z $ResultFile) { | ||
| 125 | unlink($ResultFile); | ||
| 126 | } | ||
| 127 |   if (defined $CleanupFile) { | ||
| 128 | unlink($CleanupFile); | ||
| 129 | } | ||
| 130 | } | ||
| 131 | |||
| 132 | ##----------------------------------------------------------------------------## | ||
| 133 | # Process Clang Crashes. | ||
| 134 | ##----------------------------------------------------------------------------## | ||
| 135 | |||
| 136 | sub GetPPExt { | ||
| 137 | my $Lang = shift; | ||
| 138 |   if ($Lang =~ /objective-c\+\+/) { return ".mii" }; | ||
| 139 |   if ($Lang =~ /objective-c/) { return ".mi"; } | ||
| 140 |   if ($Lang =~ /c\+\+/) { return ".ii"; } | ||
| 141 | return ".i"; | ||
| 142 | } | ||
| 143 | |||
| 144 | # Set this to 1 if we want to include 'parser rejects' files. | ||
| 145 | my $IncludeParserRejects = 0; | ||
| 146 | my $ParserRejects = "Parser Rejects"; | ||
| 147 | my $AttributeIgnored = "Attribute Ignored"; | ||
| 148 | my $OtherError = "Other Error"; | ||
| 149 | |||
| 150 | sub ProcessClangFailure { | ||
| 151 | my ($Clang, $Lang, $file, $Args, $HtmlDir, $ErrorType, $ofile) = @_; | ||
| 152 | my $Dir = "$HtmlDir/failures"; | ||
| 153 | mkpath $Dir; | ||
| 154 | |||
| 155 | my $prefix = "clang_crash"; | ||
| 156 |   if ($ErrorType eq $ParserRejects) { | ||
| 157 | $prefix = "clang_parser_rejects"; | ||
| 158 | } | ||
| 159 |   elsif ($ErrorType eq $AttributeIgnored) { | ||
| 160 | $prefix = "clang_attribute_ignored"; | ||
| 161 | } | ||
| 162 |   elsif ($ErrorType eq $OtherError) { | ||
| 163 | $prefix = "clang_other_error"; | ||
| 164 | } | ||
| 165 | |||
| 166 | # Generate the preprocessed file with Clang. | ||
| 167 | my ($PPH, $PPFile) = tempfile( $prefix . "_XXXXXX", | ||
| 168 | SUFFIX => GetPPExt($Lang), | ||
| 169 | DIR => $Dir); | ||
| 170 | close ($PPH); | ||
| 171 | system $Clang, @$Args, "-E", "-o", $PPFile; | ||
| 172 | |||
| 173 | # Create the info file. | ||
| 174 | open (OUT, ">", "$PPFile.info.txt") or die "Cannot open $PPFile.info.txt\n"; | ||
| 175 | print OUT abs_path($file), "\n"; | ||
| 176 | print OUT "$ErrorType\n"; | ||
| 177 | print OUT "@$Args\n"; | ||
| 178 | close OUT; | ||
| 179 | `uname -a >> $PPFile.info.txt 2>&1`; | ||
| 180 | `"$Compiler" -v >> $PPFile.info.txt 2>&1`; | ||
| 181 | rename($ofile, "$PPFile.stderr.txt"); | ||
| 182 | return (basename $PPFile); | ||
| 183 | } | ||
| 184 | |||
| 185 | ##----------------------------------------------------------------------------## | ||
| 186 | # Running the analyzer. | ||
| 187 | ##----------------------------------------------------------------------------## | ||
| 188 | |||
| 189 | sub GetCCArgs { | ||
| 190 | my $HtmlDir = shift; | ||
| 191 | my $mode = shift; | ||
| 192 | my $Args = shift; | ||
| 193 | my $line; | ||
| 194 | my $OutputStream = silent_system($HtmlDir, $Clang, "-###", $mode, @$Args); | ||
| 195 |   while (<$OutputStream>) { | ||
| 196 | next if (!/\s"?-cc1"?\s/); | ||
| 197 | $line = $_; | ||
| 198 | } | ||
| 199 | die "could not find clang line\n" if (!defined $line); | ||
| 200 | # Strip leading and trailing whitespace characters. | ||
| 201 | $line =~ s/^\s+|\s+$//g; | ||
| 202 |   my @items = quotewords('\s+', 0, $line); | ||
| 203 | my $cmd = shift @items; | ||
| 204 | die "cannot find 'clang' in 'clang' command\n" if (!($cmd =~ /clang/)); | ||
| 205 | return \@items; | ||
| 206 | } | ||
| 207 | |||
| 208 | sub Analyze { | ||
| 209 | my ($Clang, $OriginalArgs, $AnalyzeArgs, $Lang, $Output, $Verbose, $HtmlDir, | ||
| 210 | $file) = @_; | ||
| 211 | |||
| 212 | my @Args = @$OriginalArgs; | ||
| 213 | my $Cmd; | ||
| 214 | my @CmdArgs; | ||
| 215 | my @CmdArgsSansAnalyses; | ||
| 216 | |||
| 217 |   if ($Lang =~ /header/) { | ||
| 218 | exit 0 if (!defined ($Output)); | ||
| 219 | $Cmd = 'cp'; | ||
| 220 | push @CmdArgs, $file; | ||
| 221 | # Remove the PCH extension. | ||
| 222 | $Output =~ s/[.]gch$//; | ||
| 223 | push @CmdArgs, $Output; | ||
| 224 | @CmdArgsSansAnalyses = @CmdArgs; | ||
| 225 | } | ||
| 226 |   else { | ||
| 227 | $Cmd = $Clang; | ||
| 228 | |||
| 229 | # Create arguments for doing regular parsing. | ||
| 230 | my $SyntaxArgs = GetCCArgs($HtmlDir, "-fsyntax-only", \@Args); | ||
| 231 | @CmdArgsSansAnalyses = @$SyntaxArgs; | ||
| 232 | |||
| 233 | # Create arguments for doing static analysis. | ||
| 234 |     if (defined $ResultFile) { | ||
| 235 | push @Args, '-o', $ResultFile; | ||
| 236 | } | ||
| 237 |     elsif (defined $HtmlDir) { | ||
| 238 | push @Args, '-o', $HtmlDir; | ||
| 239 | } | ||
| 240 |     if ($Verbose) { | ||
| 241 | push @Args, "-Xclang", "-analyzer-display-progress"; | ||
| 242 | } | ||
| 243 | |||
| 244 |     foreach my $arg (@$AnalyzeArgs) { | ||
| 245 | push @Args, "-Xclang", $arg; | ||
| 246 | } | ||
| 247 | |||
| 248 |     if (defined $AnalyzerTarget) { | ||
| 249 | push @Args, "-target", $AnalyzerTarget; | ||
| 250 | } | ||
| 251 | |||
| 252 | my $AnalysisArgs = GetCCArgs($HtmlDir, "--analyze", \@Args); | ||
| 253 | @CmdArgs = @$AnalysisArgs; | ||
| 254 | } | ||
| 255 | |||
| 256 | my @PrintArgs; | ||
| 257 | my $dir; | ||
| 258 | |||
| 259 |   if ($Verbose) { | ||
| 260 | $dir = getcwd(); | ||
| 261 | print STDERR "\n[LOCATION]: $dir\n"; | ||
| 262 | push @PrintArgs,"'$Cmd'"; | ||
| 263 |     foreach my $arg (@CmdArgs) { | ||
| 264 | push @PrintArgs,"\'$arg\'"; | ||
| 265 | } | ||
| 266 | } | ||
| 267 |   if ($Verbose == 1) { | ||
| 268 | # We MUST print to stderr. Some clients use the stdout output of | ||
| 269 | # gcc for various purposes. | ||
| 270 |     print STDERR join(' ', @PrintArgs); | ||
| 271 | print STDERR "\n"; | ||
| 272 | } | ||
| 273 |   elsif ($Verbose == 2) { | ||
| 274 | print STDERR "#SHELL (cd '$dir' && @PrintArgs)\n"; | ||
| 275 | } | ||
| 276 | |||
| 277 | # Save STDOUT and STDERR of clang to a temporary file and reroute | ||
| 278 | # all clang output to ccc-analyzer's STDERR. | ||
| 279 | # We save the output file in the 'crashes' directory if clang encounters | ||
| 280 | # any problems with the file. | ||
| 281 |   my ($ofh, $ofile) = tempfile("clang_output_XXXXXX", DIR => $HtmlDir); | ||
| 282 | |||
| 283 | my $OutputStream = silent_system($HtmlDir, $Cmd, @CmdArgs); | ||
| 284 |   while ( <$OutputStream> ) { | ||
| 285 | print $ofh $_; | ||
| 286 | print STDERR $_; | ||
| 287 | } | ||
| 288 | my $Result = $?; | ||
| 289 | close $ofh; | ||
| 290 | |||
| 291 | # Did the command die because of a signal? | ||
| 292 |   if ($ReportFailures) { | ||
| 293 |     if ($Result & 127 and $Cmd eq $Clang and defined $HtmlDir) { | ||
| 294 | ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, | ||
| 295 | $HtmlDir, "Crash", $ofile); | ||
| 296 | } | ||
| 297 |     elsif ($Result) { | ||
| 298 |       if ($IncludeParserRejects && !($file =~/conftest/)) { | ||
| 299 | ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, | ||
| 300 | $HtmlDir, $ParserRejects, $ofile); | ||
| 301 |       } else { | ||
| 302 | ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, | ||
| 303 | $HtmlDir, $OtherError, $ofile); | ||
| 304 | } | ||
| 305 | } | ||
| 306 |     else { | ||
| 307 | # Check if there were any unhandled attributes. | ||
| 308 |       if (open(CHILD, $ofile)) { | ||
| 309 | my %attributes_not_handled; | ||
| 310 | |||
| 311 | # Don't flag warnings about the following attributes that we | ||
| 312 | # know are currently not supported by Clang. | ||
| 313 |         $attributes_not_handled{"cdecl"} = 1; | ||
| 314 | |||
| 315 | my $ppfile; | ||
| 316 |         while (<CHILD>) { | ||
| 317 | next if (! /warning: '([^\']+)' attribute ignored/); | ||
| 318 | |||
| 319 | # Have we already spotted this unhandled attribute? | ||
| 320 |           next if (defined $attributes_not_handled{$1}); | ||
| 321 |           $attributes_not_handled{$1} = 1; | ||
| 322 | |||
| 323 | # Get the name of the attribute file. | ||
| 324 | my $dir = "$HtmlDir/failures"; | ||
| 325 | my $afile = "$dir/attribute_ignored_$1.txt"; | ||
| 326 | |||
| 327 | # Only create another preprocessed file if the attribute file | ||
| 328 | # doesn't exist yet. | ||
| 329 | next if (-e $afile); | ||
| 330 | |||
| 331 | # Add this file to the list of files that contained this attribute. | ||
| 332 | # Generate a preprocessed file if we haven't already. | ||
| 333 |           if (!(defined $ppfile)) { | ||
| 334 | $ppfile = ProcessClangFailure($Clang, $Lang, $file, | ||
| 335 | \@CmdArgsSansAnalyses, | ||
| 336 | $HtmlDir, $AttributeIgnored, $ofile); | ||
| 337 | } | ||
| 338 | |||
| 339 | mkpath $dir; | ||
| 340 | open(AFILE, ">$afile"); | ||
| 341 | print AFILE "$ppfile\n"; | ||
| 342 | close(AFILE); | ||
| 343 | } | ||
| 344 | close CHILD; | ||
| 345 | } | ||
| 346 | } | ||
| 347 | } | ||
| 348 | |||
| 349 | unlink($ofile); | ||
| 350 | } | ||
| 351 | |||
| 352 | ##----------------------------------------------------------------------------## | ||
| 353 | # Lookup tables. | ||
| 354 | ##----------------------------------------------------------------------------## | ||
| 355 | |||
| 356 | my %CompileOptionMap = ( | ||
| 357 | '-nostdinc' => 0, | ||
| 358 | '-include' => 1, | ||
| 359 | '-idirafter' => 1, | ||
| 360 | '-imacros' => 1, | ||
| 361 | '-iprefix' => 1, | ||
| 362 | '-iquote' => 1, | ||
| 363 | '-iwithprefix' => 1, | ||
| 364 | '-iwithprefixbefore' => 1 | ||
| 365 | ); | ||
| 366 | |||
| 367 | my %LinkerOptionMap = ( | ||
| 368 | '-framework' => 1, | ||
| 369 | '-fobjc-link-runtime' => 0 | ||
| 370 | ); | ||
| 371 | |||
| 372 | my %CompilerLinkerOptionMap = ( | ||
| 373 | '-Wwrite-strings' => 0, | ||
| 374 | '-ftrapv-handler' => 1, # specifically call out separated -f flag | ||
| 375 | '-mios-simulator-version-min' => 0, # This really has 1 argument, but always has '=' | ||
| 376 | '-isysroot' => 1, | ||
| 377 | '-arch' => 1, | ||
| 378 | '-m32' => 0, | ||
| 379 | '-m64' => 0, | ||
| 380 | '-stdlib' => 0, # This is really a 1 argument, but always has '=' | ||
| 381 | '--sysroot' => 1, | ||
| 382 | '-target' => 1, | ||
| 383 | '-v' => 0, | ||
| 384 | '-mmacosx-version-min' => 0, # This is really a 1 argument, but always has '=' | ||
| 385 | '-miphoneos-version-min' => 0, # This is really a 1 argument, but always has '=' | ||
| 386 | '--target' => 0 | ||
| 387 | ); | ||
| 388 | |||
| 389 | my %IgnoredOptionMap = ( | ||
| 390 | '-MT' => 1, # Ignore these preprocessor options. | ||
| 391 | '-MF' => 1, | ||
| 392 | |||
| 393 | '-fsyntax-only' => 0, | ||
| 394 | '-save-temps' => 0, | ||
| 395 | '-install_name' => 1, | ||
| 396 | '-exported_symbols_list' => 1, | ||
| 397 | '-current_version' => 1, | ||
| 398 | '-compatibility_version' => 1, | ||
| 399 | '-init' => 1, | ||
| 400 | '-e' => 1, | ||
| 401 | '-seg1addr' => 1, | ||
| 402 | '-bundle_loader' => 1, | ||
| 403 | '-multiply_defined' => 1, | ||
| 404 | '-sectorder' => 3, | ||
| 405 | '--param' => 1, | ||
| 406 | '-u' => 1, | ||
| 407 | '--serialize-diagnostics' => 1 | ||
| 408 | ); | ||
| 409 | |||
| 410 | my %LangMap = ( | ||
| 411 | 'c' => $IsCXX ? 'c++' : 'c', | ||
| 412 | 'cp' => 'c++', | ||
| 413 | 'cpp' => 'c++', | ||
| 414 | 'cxx' => 'c++', | ||
| 415 | 'txx' => 'c++', | ||
| 416 | 'cc' => 'c++', | ||
| 417 | 'C' => 'c++', | ||
| 418 | 'ii' => 'c++-cpp-output', | ||
| 419 | 'i' => $IsCXX ? 'c++-cpp-output' : 'cpp-output', | ||
| 420 | 'm' => 'objective-c', | ||
| 421 | 'mi' => 'objective-c-cpp-output', | ||
| 422 | 'mm' => 'objective-c++', | ||
| 423 | 'mii' => 'objective-c++-cpp-output', | ||
| 424 | ); | ||
| 425 | |||
| 426 | my %UniqueOptions = ( | ||
| 427 | '-isysroot' => 0 | ||
| 428 | ); | ||
| 429 | |||
| 430 | ##----------------------------------------------------------------------------## | ||
| 431 | # Languages accepted. | ||
| 432 | ##----------------------------------------------------------------------------## | ||
| 433 | |||
| 434 | my %LangsAccepted = ( | ||
| 435 | "objective-c" => 1, | ||
| 436 | "c" => 1, | ||
| 437 | "c++" => 1, | ||
| 438 | "objective-c++" => 1, | ||
| 439 | "cpp-output" => 1, | ||
| 440 | "objective-c-cpp-output" => 1, | ||
| 441 | "c++-cpp-output" => 1 | ||
| 442 | ); | ||
| 443 | |||
| 444 | ##----------------------------------------------------------------------------## | ||
| 445 | # Main Logic. | ||
| 446 | ##----------------------------------------------------------------------------## | ||
| 447 | |||
| 448 | my $Action = 'link'; | ||
| 449 | my @CompileOpts; | ||
| 450 | my @LinkOpts; | ||
| 451 | my @Files; | ||
| 452 | my $Lang; | ||
| 453 | my $Output; | ||
| 454 | my %Uniqued; | ||
| 455 | |||
| 456 | # Forward arguments to gcc. | ||
| 457 | my $Status = system($Compiler,@ARGV); | ||
| 458 | if (defined $ENV{'CCC_ANALYZER_LOG'}) { | ||
| 459 | print STDERR "$Compiler @ARGV\n"; | ||
| 460 | } | ||
| 461 | if ($Status) { exit($Status >> 8); } | ||
| 462 | |||
| 463 | # Get the analysis options. | ||
| 464 | my $Analyses = $ENV{'CCC_ANALYZER_ANALYSIS'}; | ||
| 465 | |||
| 466 | # Get the plugins to load. | ||
| 467 | my $Plugins = $ENV{'CCC_ANALYZER_PLUGINS'}; | ||
| 468 | |||
| 469 | # Get the constraints engine. | ||
| 470 | my $ConstraintsModel = $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'}; | ||
| 471 | |||
| 472 | #Get the internal stats setting. | ||
| 473 | my $InternalStats = $ENV{'CCC_ANALYZER_INTERNAL_STATS'}; | ||
| 474 | |||
| 475 | # Get the output format. | ||
| 476 | my $OutputFormat = $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'}; | ||
| 477 | if (!defined $OutputFormat) { $OutputFormat = "html"; } | ||
| 478 | |||
| 479 | # Get the config options. | ||
| 480 | my $ConfigOptions = $ENV{'CCC_ANALYZER_CONFIG'}; | ||
| 481 | |||
| 482 | # Determine the level of verbosity. | ||
| 483 | my $Verbose = 0; | ||
| 484 | if (defined $ENV{'CCC_ANALYZER_VERBOSE'}) { $Verbose = 1; } | ||
| 485 | if (defined $ENV{'CCC_ANALYZER_LOG'}) { $Verbose = 2; } | ||
| 486 | |||
| 487 | # Get the HTML output directory. | ||
| 488 | my $HtmlDir = $ENV{'CCC_ANALYZER_HTML'}; | ||
| 489 | |||
| 490 | # Get force-analyze-debug-code option. | ||
| 491 | my $ForceAnalyzeDebugCode = $ENV{'CCC_ANALYZER_FORCE_ANALYZE_DEBUG_CODE'}; | ||
| 492 | |||
| 493 | my %DisabledArchs = ('ppc' => 1, 'ppc64' => 1); | ||
| 494 | my %ArchsSeen; | ||
| 495 | my $HadArch = 0; | ||
| 496 | my $HasSDK = 0; | ||
| 497 | |||
| 498 | # Process the arguments. | ||
| 499 | foreach (my $i = 0; $i < scalar(@ARGV); ++$i) { | ||
| 500 | my $Arg = $ARGV[$i]; | ||
| 501 | my @ArgParts = split /=/,$Arg,2; | ||
| 502 | my $ArgKey = $ArgParts[0]; | ||
| 503 | |||
| 504 | # Be friendly to "" in the argument list. | ||
| 505 |   if (!defined($ArgKey)) { | ||
| 506 | next; | ||
| 507 | } | ||
| 508 | |||
| 509 | # Modes ccc-analyzer supports | ||
| 510 |   if ($Arg =~ /^-(E|MM?)$/) { $Action = 'preprocess'; } | ||
| 511 |   elsif ($Arg eq '-c') { $Action = 'compile'; } | ||
| 512 |   elsif ($Arg =~ /^-print-prog-name/) { exit 0; } | ||
| 513 | |||
| 514 | # Specially handle duplicate cases of -arch | ||
| 515 |   if ($Arg eq "-arch") { | ||
| 516 | my $arch = $ARGV[$i+1]; | ||
| 517 | # We don't want to process 'ppc' because of Clang's lack of support | ||
| 518 | # for Altivec (also some #defines won't likely be defined correctly, etc.) | ||
| 519 |     if (!(defined $DisabledArchs{$arch})) { $ArchsSeen{$arch} = 1; } | ||
| 520 | $HadArch = 1; | ||
| 521 | ++$i; | ||
| 522 | next; | ||
| 523 | } | ||
| 524 | |||
| 525 | # On OSX/iOS, record if an SDK path was specified. This | ||
| 526 | # is innocuous for other platforms, so the check just happens. | ||
| 527 |   if ($Arg =~ /^-isysroot/) { | ||
| 528 | $HasSDK = 1; | ||
| 529 | } | ||
| 530 | |||
| 531 | # Options with possible arguments that should pass through to compiler. | ||
| 532 |   if (defined $CompileOptionMap{$ArgKey}) { | ||
| 533 |     my $Cnt = $CompileOptionMap{$ArgKey}; | ||
| 534 | push @CompileOpts,$Arg; | ||
| 535 |     while ($Cnt > 0) { ++$i; --$Cnt; push @CompileOpts, $ARGV[$i]; } | ||
| 536 | next; | ||
| 537 | } | ||
| 538 | # Handle the case where there isn't a space after -iquote | ||
| 539 |   if ($Arg =~ /^-iquote.*/) { | ||
| 540 | push @CompileOpts,$Arg; | ||
| 541 | next; | ||
| 542 | } | ||
| 543 | |||
| 544 | # Options with possible arguments that should pass through to linker. | ||
| 545 |   if (defined $LinkerOptionMap{$ArgKey}) { | ||
| 546 |     my $Cnt = $LinkerOptionMap{$ArgKey}; | ||
| 547 | push @LinkOpts,$Arg; | ||
| 548 |     while ($Cnt > 0) { ++$i; --$Cnt; push @LinkOpts, $ARGV[$i]; } | ||
| 549 | next; | ||
| 550 | } | ||
| 551 | |||
| 552 | # Options with possible arguments that should pass through to both compiler | ||
| 553 | # and the linker. | ||
| 554 |   if (defined $CompilerLinkerOptionMap{$ArgKey}) { | ||
| 555 |     my $Cnt = $CompilerLinkerOptionMap{$ArgKey}; | ||
| 556 | |||
| 557 | # Check if this is an option that should have a unique value, and if so | ||
| 558 | # determine if the value was checked before. | ||
| 559 |     if ($UniqueOptions{$Arg}) { | ||
| 560 |       if (defined $Uniqued{$Arg}) { | ||
| 561 | $i += $Cnt; | ||
| 562 | next; | ||
| 563 | } | ||
| 564 |       $Uniqued{$Arg} = 1; | ||
| 565 | } | ||
| 566 | |||
| 567 | push @CompileOpts,$Arg; | ||
| 568 | push @LinkOpts,$Arg; | ||
| 569 | |||
| 570 |     if (scalar @ArgParts == 1) { | ||
| 571 |       while ($Cnt > 0) { | ||
| 572 | ++$i; --$Cnt; | ||
| 573 | push @CompileOpts, $ARGV[$i]; | ||
| 574 | push @LinkOpts, $ARGV[$i]; | ||
| 575 | } | ||
| 576 | } | ||
| 577 | next; | ||
| 578 | } | ||
| 579 | |||
| 580 | # Ignored options. | ||
| 581 |   if (defined $IgnoredOptionMap{$ArgKey}) { | ||
| 582 |     my $Cnt = $IgnoredOptionMap{$ArgKey}; | ||
| 583 |     while ($Cnt > 0) { | ||
| 584 | ++$i; --$Cnt; | ||
| 585 | } | ||
| 586 | next; | ||
| 587 | } | ||
| 588 | |||
| 589 | # Compile mode flags. | ||
| 590 |   if ($Arg =~ /^-(?:[DIU]|isystem)(.*)$/) { | ||
| 591 | my $Tmp = $Arg; | ||
| 592 |     if ($1 eq '') { | ||
| 593 | # FIXME: Check if we are going off the end. | ||
| 594 | ++$i; | ||
| 595 | $Tmp = $Arg . $ARGV[$i]; | ||
| 596 | } | ||
| 597 | push @CompileOpts,$Tmp; | ||
| 598 | next; | ||
| 599 | } | ||
| 600 | |||
| 601 |   if ($Arg =~ /^-m.*/) { | ||
| 602 | push @CompileOpts,$Arg; | ||
| 603 | next; | ||
| 604 | } | ||
| 605 | |||
| 606 | # Language. | ||
| 607 |   if ($Arg eq '-x') { | ||
| 608 | $Lang = $ARGV[$i+1]; | ||
| 609 | ++$i; next; | ||
| 610 | } | ||
| 611 | |||
| 612 | # Output file. | ||
| 613 |   if ($Arg eq '-o') { | ||
| 614 | ++$i; | ||
| 615 | $Output = $ARGV[$i]; | ||
| 616 | next; | ||
| 617 | } | ||
| 618 | |||
| 619 | # Get the link mode. | ||
| 620 |   if ($Arg =~ /^-[l,L,O]/) { | ||
| 621 |     if ($Arg eq '-O') { push @LinkOpts,'-O1'; } | ||
| 622 |     elsif ($Arg eq '-Os') { push @LinkOpts,'-O2'; } | ||
| 623 |     else { push @LinkOpts,$Arg; } | ||
| 624 | |||
| 625 | # Must pass this along for the __OPTIMIZE__ macro | ||
| 626 |     if ($Arg =~ /^-O/) { push @CompileOpts,$Arg; } | ||
| 627 | next; | ||
| 628 | } | ||
| 629 | |||
| 630 |   if ($Arg =~ /^-std=/) { | ||
| 631 | push @CompileOpts,$Arg; | ||
| 632 | next; | ||
| 633 | } | ||
| 634 | |||
| 635 | # Get the compiler/link mode. | ||
| 636 |   if ($Arg =~ /^-F(.+)$/) { | ||
| 637 | my $Tmp = $Arg; | ||
| 638 |     if ($1 eq '') { | ||
| 639 | # FIXME: Check if we are going off the end. | ||
| 640 | ++$i; | ||
| 641 | $Tmp = $Arg . $ARGV[$i]; | ||
| 642 | } | ||
| 643 | push @CompileOpts,$Tmp; | ||
| 644 | push @LinkOpts,$Tmp; | ||
| 645 | next; | ||
| 646 | } | ||
| 647 | |||
| 648 | # Input files. | ||
| 649 |   if ($Arg eq '-filelist') { | ||
| 650 | # FIXME: Make sure we aren't walking off the end. | ||
| 651 | open(IN, $ARGV[$i+1]); | ||
| 652 |     while (<IN>) { s/\015?\012//; push @Files,$_; } | ||
| 653 | close(IN); | ||
| 654 | ++$i; | ||
| 655 | next; | ||
| 656 | } | ||
| 657 | |||
| 658 |   if ($Arg =~ /^-f/) { | ||
| 659 | push @CompileOpts,$Arg; | ||
| 660 | push @LinkOpts,$Arg; | ||
| 661 | next; | ||
| 662 | } | ||
| 663 | |||
| 664 | # Handle -Wno-. We don't care about extra warnings, but | ||
| 665 | # we should suppress ones that we don't want to see. | ||
| 666 |   if ($Arg =~ /^-Wno-/) { | ||
| 667 | push @CompileOpts, $Arg; | ||
| 668 | next; | ||
| 669 | } | ||
| 670 | |||
| 671 | # Handle -Xclang some-arg. Add both arguments to the compiler options. | ||
| 672 |   if ($Arg =~ /^-Xclang$/) { | ||
| 673 | # FIXME: Check if we are going off the end. | ||
| 674 | ++$i; | ||
| 675 | push @CompileOpts, $Arg; | ||
| 676 | push @CompileOpts, $ARGV[$i]; | ||
| 677 | next; | ||
| 678 | } | ||
| 679 | |||
| 680 |   if (!($Arg =~ /^-/)) { | ||
| 681 | push @Files, $Arg; | ||
| 682 | next; | ||
| 683 | } | ||
| 684 | } | ||
| 685 | |||
| 686 | # Forcedly enable debugging if requested by user. | ||
| 687 | if ($ForceAnalyzeDebugCode) { | ||
| 688 | push @CompileOpts, '-UNDEBUG'; | ||
| 689 | } | ||
| 690 | |||
| 691 | # If we are on OSX and have an installation where the | ||
| 692 | # default SDK is inferred by xcrun use xcrun to infer | ||
| 693 | # the SDK. | ||
| 694 | if (not $HasSDK and $UseXCRUN) { | ||
| 695 | my $sdk = `/usr/bin/xcrun --show-sdk-path -sdk macosx`; | ||
| 696 | chomp $sdk; | ||
| 697 | push @CompileOpts, "-isysroot", $sdk; | ||
| 698 | } | ||
| 699 | |||
| 700 | if ($Action eq 'compile' or $Action eq 'link') { | ||
| 701 | my @Archs = keys %ArchsSeen; | ||
| 702 | # Skip the file if we don't support the architectures specified. | ||
| 703 | exit 0 if ($HadArch && scalar(@Archs) == 0); | ||
| 704 | |||
| 705 |   foreach my $file (@Files) { | ||
| 706 | # Determine the language for the file. | ||
| 707 | my $FileLang = $Lang; | ||
| 708 | |||
| 709 |     if (!defined($FileLang)) { | ||
| 710 | # Infer the language from the extension. | ||
| 711 |       if ($file =~ /[.]([^.]+)$/) { | ||
| 712 |         $FileLang = $LangMap{$1}; | ||
| 713 | } | ||
| 714 | } | ||
| 715 | |||
| 716 | # FileLang still not defined? Skip the file. | ||
| 717 | next if (!defined $FileLang); | ||
| 718 | |||
| 719 | # Language not accepted? | ||
| 720 |     next if (!defined $LangsAccepted{$FileLang}); | ||
| 721 | |||
| 722 | my @CmdArgs; | ||
| 723 | my @AnalyzeArgs; | ||
| 724 | |||
| 725 |     if ($FileLang ne 'unknown') { | ||
| 726 | push @CmdArgs, '-x', $FileLang; | ||
| 727 | } | ||
| 728 | |||
| 729 |     if (defined $ConstraintsModel) { | ||
| 730 | push @AnalyzeArgs, "-analyzer-constraints=$ConstraintsModel"; | ||
| 731 | } | ||
| 732 | |||
| 733 |     if (defined $InternalStats) { | ||
| 734 | push @AnalyzeArgs, "-analyzer-stats"; | ||
| 735 | } | ||
| 736 | |||
| 737 |     if (defined $Analyses) { | ||
| 738 | push @AnalyzeArgs, split '\s+', $Analyses; | ||
| 739 | } | ||
| 740 | |||
| 741 |     if (defined $Plugins) { | ||
| 742 | push @AnalyzeArgs, split '\s+', $Plugins; | ||
| 743 | } | ||
| 744 | |||
| 745 |     if (defined $OutputFormat) { | ||
| 746 | push @AnalyzeArgs, "-analyzer-output=" . $OutputFormat; | ||
| 747 |       if ($OutputFormat =~ /plist/ || $OutputFormat =~ /sarif/) { | ||
| 748 | # Change "Output" to be a file. | ||
| 749 | my $Suffix = $OutputFormat =~ /plist/ ? ".plist" : ".sarif"; | ||
| 750 |         my ($h, $f) = tempfile("report-XXXXXX", SUFFIX => $Suffix, | ||
| 751 | DIR => $HtmlDir); | ||
| 752 | $ResultFile = $f; | ||
| 753 | # If the HtmlDir is not set, we should clean up the plist files. | ||
| 754 |         if (!defined $HtmlDir || $HtmlDir eq "") { | ||
| 755 | $CleanupFile = $f; | ||
| 756 | } | ||
| 757 | } | ||
| 758 | } | ||
| 759 |     if (defined $ConfigOptions) { | ||
| 760 | push @AnalyzeArgs, split '\s+', $ConfigOptions; | ||
| 761 | } | ||
| 762 | |||
| 763 | push @CmdArgs, @CompileOpts; | ||
| 764 | push @CmdArgs, $file; | ||
| 765 | |||
| 766 |     if (scalar @Archs) { | ||
| 767 |       foreach my $arch (@Archs) { | ||
| 768 | my @NewArgs; | ||
| 769 | push @NewArgs, '-arch', $arch; | ||
| 770 | push @NewArgs, @CmdArgs; | ||
| 771 | Analyze($Clang, \@NewArgs, \@AnalyzeArgs, $FileLang, $Output, | ||
| 772 | $Verbose, $HtmlDir, $file); | ||
| 773 | } | ||
| 774 | } | ||
| 775 |     else { | ||
| 776 | Analyze($Clang, \@CmdArgs, \@AnalyzeArgs, $FileLang, $Output, | ||
| 777 | $Verbose, $HtmlDir, $file); | ||
| 778 | } | ||
| 779 | } | ||
| 780 | } |