ccc-analyzer revision 0895937d2ce1e73926b42e71f076be3071de68d9
1fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek#!/usr/bin/env perl 2b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek# 3b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek# The LLVM Compiler Infrastructure 4b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek# 5b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek# This file is distributed under the University of Illinois Open Source 6b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek# License. See LICENSE.TXT for details. 7b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek# 8b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek##===----------------------------------------------------------------------===## 9b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek# 10fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# A script designed to interpose between the build system and gcc. It invokes 11fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# both gcc and the static analyzer. 12b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek# 13b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek##===----------------------------------------------------------------------===## 14b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 15fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekuse strict; 16fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekuse warnings; 17b315a3940f804cf9fc67f4e3314aac6a44d623eeTed Kremenekuse Cwd qw/ getcwd abs_path /; 18991c54b9b7409656e5593364e065878b5210d556Ted Kremenekuse File::Temp qw/ tempfile /; 19991c54b9b7409656e5593364e065878b5210d556Ted Kremenekuse File::Path qw / mkpath /; 20ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenekuse File::Basename; 211df35e310d3402879857dd78f6fa9aaeb94b35c4Ted Kremenekuse Text::ParseWords; 222ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenek 232ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenekmy $CC = $ENV{'CCC_CC'}; 242ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenekif (!defined $CC) { $CC = "gcc"; } 25e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek 26e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenekmy $ReportFailures = $ENV{'CCC_REPORT_FAILURES'}; 27e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenekif (!defined $ReportFailures) { $ReportFailures = 1; } 28e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek 29ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenekmy $CleanupFile; 30ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenekmy $ResultFile; 31ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek 32ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek# Remove any stale files at exit. 33ddf32dabe71f00aa0943449f67201f587f0a04d6Ted KremenekEND { 34ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek if (defined $CleanupFile && -z $CleanupFile) { 35ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek `rm -f $CleanupFile`; 36ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek } 37ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek} 38ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek 39991c54b9b7409656e5593364e065878b5210d556Ted Kremenek##----------------------------------------------------------------------------## 40991c54b9b7409656e5593364e065878b5210d556Ted Kremenek# Process Clang Crashes. 41991c54b9b7409656e5593364e065878b5210d556Ted Kremenek##----------------------------------------------------------------------------## 42991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 43991c54b9b7409656e5593364e065878b5210d556Ted Kremeneksub GetPPExt { 44991c54b9b7409656e5593364e065878b5210d556Ted Kremenek my $Lang = shift; 45991c54b9b7409656e5593364e065878b5210d556Ted Kremenek if ($Lang =~ /objective-c/) { return ".mi"; } 46991c54b9b7409656e5593364e065878b5210d556Ted Kremenek return ".i"; 47991c54b9b7409656e5593364e065878b5210d556Ted Kremenek} 48991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 49a4d8cde6584aa6c1aee241faf671eb4bac93defbTed Kremenek# Set this to 1 if we want to include 'parser rejects' files. 50a4d8cde6584aa6c1aee241faf671eb4bac93defbTed Kremenekmy $IncludeParserRejects = 0; 515daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenekmy $ParserRejects = "Parser Rejects"; 52a4d8cde6584aa6c1aee241faf671eb4bac93defbTed Kremenek 53938eef139ad43345248235da31f78a759dd18f13Ted Kremenekmy $AttributeIgnored = "Attribute Ignored"; 545daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek 555d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremeneksub ProcessClangFailure { 56fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek my ($ClangCC, $Lang, $file, $Args, $HtmlDir, $ErrorType, $ofile) = @_; 57938eef139ad43345248235da31f78a759dd18f13Ted Kremenek my $Dir = "$HtmlDir/failures"; 58991c54b9b7409656e5593364e065878b5210d556Ted Kremenek mkpath $Dir; 595daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek 605daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek my $prefix = "clang_crash"; 61938eef139ad43345248235da31f78a759dd18f13Ted Kremenek if ($ErrorType eq $ParserRejects) { 62938eef139ad43345248235da31f78a759dd18f13Ted Kremenek $prefix = "clang_parser_rejects"; 63938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 64938eef139ad43345248235da31f78a759dd18f13Ted Kremenek elsif ($ErrorType eq $AttributeIgnored) { 65938eef139ad43345248235da31f78a759dd18f13Ted Kremenek $prefix = "clang_attribute_ignored"; 66938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 67c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek 683386c8a510abc6f55ce25ef5e22c72e5d0c47a70Ted Kremenek # Generate the preprocessed file with Clang. 695daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek my ($PPH, $PPFile) = tempfile( $prefix . "_XXXXXX", 705daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek SUFFIX => GetPPExt($Lang), 715daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek DIR => $Dir); 723386c8a510abc6f55ce25ef5e22c72e5d0c47a70Ted Kremenek system $ClangCC, @$Args, "-E", "-o", $PPFile; 73991c54b9b7409656e5593364e065878b5210d556Ted Kremenek close ($PPH); 74c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek 75c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek # Create the info file. 7682a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek open (OUT, ">", "$PPFile.info.txt") or die "Cannot open $PPFile.info.txt\n"; 775f2825f6fa24a792c11cf96accd76538a2fd951eTed Kremenek print OUT abs_path($file), "\n"; 785d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremenek print OUT "$ErrorType\n"; 792dd7ad13bbbd43cb940040725a30cb7789bd2774Ted Kremenek print OUT "@$Args\n"; 80991c54b9b7409656e5593364e065878b5210d556Ted Kremenek close OUT; 8182a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek `uname -a >> $PPFile.info.txt 2>&1`; 8282a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek `$CC -v >> $PPFile.info.txt 2>&1`; 839f9b1fded49acff77e61b3ed1afc8bbaaefe6f34Ted Kremenek system 'mv',$ofile,"$PPFile.stderr.txt"; 84938eef139ad43345248235da31f78a759dd18f13Ted Kremenek return (basename $PPFile); 85991c54b9b7409656e5593364e065878b5210d556Ted Kremenek} 86b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 87fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 88fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Running the analyzer. 89fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 90b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 91fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek# Determine what clang executable to use. 92fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenekmy $Clang = $ENV{'CLANG'}; 93fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenekif (!defined $Clang) { $Clang = 'clang'; } 94fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek 95fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremeneksub GetCCArgs { 96fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek my $Args = shift; 97fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek 98fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek pipe (FROM_CHILD, TO_PARENT); 99fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek my $pid = fork(); 100fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek if ($pid == 0) { 101fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek close FROM_CHILD; 102fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek open(STDOUT,">&", \*TO_PARENT); 103fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek open(STDERR,">&", \*TO_PARENT); 104fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek exec $Clang, "-###", "-fsyntax-only", @$Args; 105fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek } 106fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek close(TO_PARENT); 107fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek my $line; 108fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek while (<FROM_CHILD>) { 109fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek next if (!/clang-cc/); 110fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek $line = $_; 111fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek } 112fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek 113fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek waitpid($pid,0); 114fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek close(FROM_CHILD); 115fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek 116fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek die "could not find clang-cc line\n" if (!defined $line); 1171df35e310d3402879857dd78f6fa9aaeb94b35c4Ted Kremenek # Strip the newline and initial whitspace 1181df35e310d3402879857dd78f6fa9aaeb94b35c4Ted Kremenek chomp $line; 1191df35e310d3402879857dd78f6fa9aaeb94b35c4Ted Kremenek $line =~ s/^\s+//; 120fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek 121621cc4ebccad2426c383286dfbba6f1c5e45a0edTed Kremenek my @items = quotewords('\s+', 1, $line); 122621cc4ebccad2426c383286dfbba6f1c5e45a0edTed Kremenek for (my $i = 0 ; $ i < scalar(@items); ++$i) { 123621cc4ebccad2426c383286dfbba6f1c5e45a0edTed Kremenek $items[$i] =~ s/^\"//; 124621cc4ebccad2426c383286dfbba6f1c5e45a0edTed Kremenek $items[$i] =~ s/\"$//; 125621cc4ebccad2426c383286dfbba6f1c5e45a0edTed Kremenek } 126fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek my $cmd = shift @items; 127fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek die "cannot find 'clang-cc' in 'clang' command\n" if (!($cmd =~ /clang-cc/)); 128fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek return \@items; 129fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek} 130fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek 131fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremeneksub Analyze { 1329a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek my ($ClangCC, $Args, $AnalyzeArgs, $Lang, $Output, $Verbose, $HtmlDir, 1339a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek $file, $Analyses) = @_; 134efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenek 135fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek $Args = GetCCArgs($Args); 136d389465f426069115a35e857ef11f1fcc5a2f69cSeo Sanghyeon 137fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Skip anything related to C++. 138fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek return if ($Lang =~ /c[+][+]/); 1395d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremenek 140fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $RunAnalyzer = 0; 141fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Cmd; 142fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my @CmdArgs; 143991c54b9b7409656e5593364e065878b5210d556Ted Kremenek my @CmdArgsSansAnalyses; 144fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 145fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Lang =~ /header/) { 146fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek exit 0 if (!defined ($Output)); 147fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Cmd = 'cp'; 148fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,$file; 149fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Remove the PCH extension. 150fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Output =~ s/[.]gch$//; 151fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,$Output; 152991c54b9b7409656e5593364e065878b5210d556Ted Kremenek @CmdArgsSansAnalyses = @CmdArgs; 153fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 154fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek else { 155fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek $Cmd = $ClangCC; 156fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,'-DIBOutlet=__attribute__((iboutlet))'; 157fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,@$Args; 158991c54b9b7409656e5593364e065878b5210d556Ted Kremenek @CmdArgsSansAnalyses = @CmdArgs; 159938eef139ad43345248235da31f78a759dd18f13Ted Kremenek push @CmdArgs,'-analyze'; 160938eef139ad43345248235da31f78a759dd18f13Ted Kremenek push @CmdArgs,"-analyzer-display-progress"; 161a2bdaf53223eed00c4b33e2a8ef42ef64c4479aaTed Kremenek push @CmdArgs,"-analyzer-eagerly-assume"; 162991c54b9b7409656e5593364e065878b5210d556Ted Kremenek push @CmdArgs,(split /\s/,$Analyses); 163fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $RunAnalyzer = 1; 164fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 165fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 1669a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek # Add the analysis arguments passed down from scan-build. 1679a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek foreach my $Arg (@$AnalyzeArgs) { 1689a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek push @CmdArgs, $Arg; 1699a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek } 1709a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek 171fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my @PrintArgs; 172fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $dir; 17363fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek 17463fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek if ($RunAnalyzer) { 17563fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek if (defined $ResultFile) { 17663fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek push @CmdArgs,'-o'; 17763fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek push @CmdArgs, $ResultFile; 17863fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek } 17963fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek elsif (defined $HtmlDir) { 18063fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek push @CmdArgs,'-o'; 18163fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek push @CmdArgs, $HtmlDir; 18263fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek } 18363fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek } 18461cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 185fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Verbose) { 186fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $dir = getcwd(); 187fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "\n[LOCATION]: $dir\n"; 188fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @PrintArgs,"'$Cmd'"; 189fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek foreach my $arg (@CmdArgs) { push @PrintArgs,"\'$arg\'"; } 190fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 191fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 192fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Verbose == 1) { 19361cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek # We MUST print to stderr. Some clients use the stdout output of 19461cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek # gcc for various purposes. 195fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR join(' ',@PrintArgs); 196fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "\n"; 197fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 198fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Verbose == 2) { 199fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "#SHELL (cd '$dir' && @PrintArgs)\n"; 200fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 20161cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 202948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek if (defined $ENV{'CCC_UBI'}) { 203948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek push @CmdArgs,"--analyzer-viz-egraph-ubigraph"; 204948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek } 205fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek 2069a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Capture the STDERR of clang and send it to a temporary file. 2079a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Capture the STDOUT of clang and reroute it to ccc-analyzer's STDERR. 2089a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # We save the output file in the 'crashes' directory if clang encounters 2099a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # any problems with the file. 2101346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek pipe (FROM_CHILD, TO_PARENT); 2119a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek my $pid = fork(); 2129a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek if ($pid == 0) { 2131346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek close FROM_CHILD; 2141346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek open(STDOUT,">&", \*TO_PARENT); 2151346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek open(STDERR,">&", \*TO_PARENT); 2169a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek exec $Cmd, @CmdArgs; 2179a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek } 2181346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek 2191346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek close TO_PARENT; 2201346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek my ($ofh, $ofile) = tempfile("clang_output_XXXXXX", DIR => $HtmlDir); 2211346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek 2221346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek while (<FROM_CHILD>) { 2231346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek print $ofh $_; 2241346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek print STDERR $_; 2251346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek } 2261346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek 2271346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek waitpid($pid,0); 228fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek close(FROM_CHILD); 2299a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek my $Result = $?; 2309a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek 2319a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Did the command die because of a signal? 232e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek if ($ReportFailures) { 233e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek if ($Result & 127 and $Cmd eq $ClangCC and defined $HtmlDir) { 234e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek ProcessClangFailure($ClangCC, $Lang, $file, \@CmdArgsSansAnalyses, 235e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $HtmlDir, "Crash", $ofile); 2365de4092946373af0c8caca64a281e8080c9d8a34Ted Kremenek } 237e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek elsif ($Result) { 238e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek if ($IncludeParserRejects && !($file =~/conftest/)) { 239e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek ProcessClangFailure($ClangCC, $Lang, $file, \@CmdArgsSansAnalyses, 240e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $HtmlDir, $ParserRejects, $ofile); 241e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek } 242e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek } 243e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek else { 244e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Check if there were any unhandled attributes. 245e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek if (open(CHILD, $ofile)) { 246e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek my %attributes_not_handled; 24732e9464afc366badacad1101310f415a140b14f9Ted Kremenek 248e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Don't flag warnings about the following attributes that we 249e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # know are currently not supported by Clang. 250e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $attributes_not_handled{"cdecl"} = 1; 25132e9464afc366badacad1101310f415a140b14f9Ted Kremenek 252e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek my $ppfile; 253e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek while (<CHILD>) { 254e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek next if (! /warning: '([^\']+)' attribute ignored/); 255938eef139ad43345248235da31f78a759dd18f13Ted Kremenek 256e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Have we already spotted this unhandled attribute? 257e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek next if (defined $attributes_not_handled{$1}); 258e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $attributes_not_handled{$1} = 1; 259938eef139ad43345248235da31f78a759dd18f13Ted Kremenek 260e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Get the name of the attribute file. 261e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek my $dir = "$HtmlDir/failures"; 262e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek my $afile = "$dir/attribute_ignored_$1.txt"; 2637e5bd6f061c549dca0c1aeedfdd4009b853264eaTed Kremenek 264e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Only create another preprocessed file if the attribute file 265e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # doesn't exist yet. 266e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek next if (-e $afile); 2677e5bd6f061c549dca0c1aeedfdd4009b853264eaTed Kremenek 268e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Add this file to the list of files that contained this attribute. 269e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Generate a preprocessed file if we haven't already. 270e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek if (!(defined $ppfile)) { 271e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $ppfile = ProcessClangFailure($ClangCC, $Lang, $file, 272e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek \@CmdArgsSansAnalyses, 273e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $HtmlDir, $AttributeIgnored, $ofile); 274e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek } 275938eef139ad43345248235da31f78a759dd18f13Ted Kremenek 276e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek mkpath $dir; 277e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek open(AFILE, ">$afile"); 278e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek print AFILE "$ppfile\n"; 279e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek close(AFILE); 280e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek } 281e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek close CHILD; 282938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 283938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 284938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 2859a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek 286e3bf8a8ab4eecc2746e2f8a35d7bc365c88ff674Ted Kremenek unlink($ofile); 287fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 288fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 289fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 290fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Lookup tables. 291fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 292fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 293fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %CompileOptionMap = ( 294fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-nostdinc' => 0, 29506c58b191f969e2ae5308cc9b6540bad9511f4efAnders Carlsson '-fblocks' => 0, 296fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-fobjc-gc-only' => 0, 2976c4312d17015755213a8e1c1003517f94786dfa4Ted Kremenek '-fobjc-gc' => 0, 2986c4312d17015755213a8e1c1003517f94786dfa4Ted Kremenek '-ffreestanding' => 0, 299fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-include' => 1, 300fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-idirafter' => 1, 301fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iprefix' => 1, 302fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iquote' => 1, 303fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-isystem' => 1, 304fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iwithprefix' => 1, 305fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iwithprefixbefore' => 1 306fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 307fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 308fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %LinkerOptionMap = ( 309fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-framework' => 1 310fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 311fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 312fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %CompilerLinkerOptionMap = ( 313fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-isysroot' => 1, 314fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-arch' => 1, 315e4f6952831d2b42b99f4a28825e87012d93eb8c0Ted Kremenek '-v' => 0, 316b10362acd971b84d4525334b275fcbfb4e42cb85Ted Kremenek '-fpascal-strings' => 0, 3178d33cd77dc1086f70f1699ea012702d0df7eba1aDaniel Dunbar '-mmacosx-version-min' => 0, # This is really a 1 argument, but always has '=' 3188d33cd77dc1086f70f1699ea012702d0df7eba1aDaniel Dunbar '-miphoneos-version-min' => 0 # This is really a 1 argument, but always has '=' 319fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 320fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 321fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %IgnoredOptionMap = ( 322940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek '-MT' => 1, # Ignore these preprocessor options. 323940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek '-MF' => 1, 324940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek 325fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-fsyntax-only' => 0, 326fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-save-temps' => 0, 327fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-install_name' => 1, 328fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-exported_symbols_list' => 1, 329fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-current_version' => 1, 330fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-compatibility_version' => 1, 331fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-init' => 1, 332fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-e' => 1, 333fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-seg1addr' => 1, 334fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-bundle_loader' => 1, 335fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-multiply_defined' => 1, 336fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-sectorder' => 3, 337fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '--param' => 1, 338fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-u' => 1 339fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 340fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 341fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %LangMap = ( 342fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'c' => 'c', 343fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'cpp' => 'c++', 344fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'cc' => 'c++', 345fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'i' => 'c-cpp-output', 346fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'm' => 'objective-c', 347fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'mi' => 'objective-c-cpp-output' 348fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 349fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 350a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenekmy %UniqueOptions = ( 351a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek '-isysroot' => 0 352a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek); 353a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek 354efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenekmy %LangsAccepted = ( 355efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenek "objective-c" => 1, 356efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenek "c" => 1 357efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenek); 358efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenek 359fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 360fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Main Logic. 361fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 362fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 363fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Action = 'link'; 364fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @CompileOpts; 365fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @LinkOpts; 366fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @Files; 367fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Lang; 368fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Output; 369a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenekmy %Uniqued; 370fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 371fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Forward arguments to gcc. 372f17ef3caf19ebff18a4ee0e7984dfc6036f34b2eTed Kremenekmy $Status = system($CC,@ARGV); 373cb344d0f9b9f4b9114ab2b35a34017e89d8b0c17Ted Kremenekif ($Status) { exit($Status >> 8); } 374fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 375fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Get the analysis options. 376fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Analyses = $ENV{'CCC_ANALYZER_ANALYSIS'}; 377fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (!defined($Analyses)) { $Analyses = '-checker-cfref'; } 378fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 37907c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu# Get the store model. 38007c3767be59472e19183c7b51fae76481465cb51Zhongxing Xumy $StoreModel = $ENV{'CCC_ANALYZER_STORE_MODEL'}; 381be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenekif (!defined $StoreModel) { $StoreModel = "basic"; } 382be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek 383be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek# Get the constraints engine. 384be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenekmy $ConstraintsModel = $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'}; 3859f4ecb34d502f6aad7d635dd3aec24a373ef5c9bTed Kremenekif (!defined $ConstraintsModel) { $ConstraintsModel = "range"; } 38607c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu 387db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek# Get the output format. 388db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenekmy $OutputFormat = $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'}; 3893891a157cc1504b1e8558077ed852fa4a9fb6ebcTed Kremenekif (!defined $OutputFormat) { $OutputFormat = "html"; } 390db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek 391fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Determine the level of verbosity. 392fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Verbose = 0; 393fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (defined $ENV{CCC_ANALYZER_VERBOSE}) { $Verbose = 1; } 394fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (defined $ENV{CCC_ANALYZER_LOG}) { $Verbose = 2; } 395fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 396fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek# Determine what clang-cc executable to use. 397fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenekmy $ClangCC = $ENV{'CLANG_CC'}; 398fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenekif (!defined $ClangCC) { $ClangCC = 'clang-cc'; } 399fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 400fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Get the HTML output directory. 401fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $HtmlDir = $ENV{'CCC_ANALYZER_HTML'}; 402fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 4038459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenekmy %DisabledArchs = ('ppc' => 1, 'ppc64' => 1); 40427783eb8a030afd153280a15afdede29819d90d2Ted Kremenekmy %ArchsSeen; 4058459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenekmy $HadArch = 0; 406fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 407fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Process the arguments. 408fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekforeach (my $i = 0; $i < scalar(@ARGV); ++$i) { 40989c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Arg = $ARGV[$i]; 41089c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my ($ArgKey) = split /=/,$Arg,2; 41189c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek 412fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Modes ccc-analyzer supports 413d732a7b771f8ab758411881126a83b7ca4db34a9Ted Kremenek if ($Arg =~ /^-(E|MM?)$/) { $Action = 'preprocess'; } 414fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg eq '-c') { $Action = 'compile'; } 415fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg =~ /^-print-prog-name/) { exit 0; } 41627783eb8a030afd153280a15afdede29819d90d2Ted Kremenek 41727783eb8a030afd153280a15afdede29819d90d2Ted Kremenek # Specially handle duplicate cases of -arch 41827783eb8a030afd153280a15afdede29819d90d2Ted Kremenek if ($Arg eq "-arch") { 41927783eb8a030afd153280a15afdede29819d90d2Ted Kremenek my $arch = $ARGV[$i+1]; 4208459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek # We don't want to process 'ppc' because of Clang's lack of support 4218459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek # for Altivec (also some #defines won't likely be defined correctly, etc.) 4228459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek if (!(defined $DisabledArchs{$arch})) { $ArchsSeen{$arch} = 1; } 4238459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek $HadArch = 1; 42427783eb8a030afd153280a15afdede29819d90d2Ted Kremenek ++$i; 42527783eb8a030afd153280a15afdede29819d90d2Ted Kremenek next; 42627783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 42727783eb8a030afd153280a15afdede29819d90d2Ted Kremenek 428fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to compiler. 42989c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $CompileOptionMap{$ArgKey}) { 43089c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $CompileOptionMap{$ArgKey}; 431fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Arg; 432fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { ++$i; --$Cnt; push @CompileOpts, $ARGV[$i]; } 433fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 434fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 435fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 436fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to linker. 43789c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $LinkerOptionMap{$ArgKey}) { 43889c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $LinkerOptionMap{$ArgKey}; 439fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts,$Arg; 440fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { ++$i; --$Cnt; push @LinkOpts, $ARGV[$i]; } 441fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 442fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 443fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 444fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to both compiler 445fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # and the linker. 44689c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $CompilerLinkerOptionMap{$ArgKey}) { 44789c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $CompilerLinkerOptionMap{$ArgKey}; 44847fc25f0c18bb68d4f41789b7b52b34ec6d39d76Ted Kremenek 449a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek # Check if this is an option that should have a unique value, and if so 450a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek # determine if the value was checked before. 451a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek if ($UniqueOptions{$Arg}) { 452a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek if (defined $Uniqued{$Arg}) { 453a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek $i += $Cnt; 454a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek next; 455a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek } 456a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek $Uniqued{$Arg} = 1; 457a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek } 458a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek 45947fc25f0c18bb68d4f41789b7b52b34ec6d39d76Ted Kremenek push @CompileOpts,$Arg; 46047fc25f0c18bb68d4f41789b7b52b34ec6d39d76Ted Kremenek push @LinkOpts,$Arg; 46147fc25f0c18bb68d4f41789b7b52b34ec6d39d76Ted Kremenek 462fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { 463fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; --$Cnt; 464fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts, $ARGV[$i]; 465fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts, $ARGV[$i]; 466fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 467fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 468fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 46961cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 470fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Ignored options. 47189c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $IgnoredOptionMap{$ArgKey}) { 47289c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $IgnoredOptionMap{$ArgKey}; 473fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { 474fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; --$Cnt; 475fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 476fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 477fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 47861cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 479fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Compile mode flags. 480fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-[D,I,U](.*)$/) { 481fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Tmp = $Arg; 482fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($1 eq '') { 483fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Check if we are going off the end. 484fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 485fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Tmp = $Arg . $ARGV[$i]; 486fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 487fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Tmp; 488fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 489fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 490fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 491fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Language. 492fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-x') { 493fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Lang = $ARGV[$i+1]; 494fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; next; 495fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 496fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 497fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Output file. 498fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-o') { 499fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 500fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Output = $ARGV[$i]; 501fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 502fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 503fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 504fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Get the link mode. 505fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-[l,L,O]/) { 506fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-O') { push @LinkOpts,'-O1'; } 507fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg eq '-Os') { push @LinkOpts,'-O2'; } 508fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek else { push @LinkOpts,$Arg; } 509fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 510fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 511fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 512fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-std=/) { 513fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Arg; 514fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 515fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 516fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 517fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# if ($Arg =~ /^-f/) { 518fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# # FIXME: Not sure if the remaining -fxxxx options have no arguments. 519fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# push @CompileOpts,$Arg; 520fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# push @LinkOpts,$Arg; # FIXME: Not sure if these are link opts. 521fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# } 522fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 523fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Get the compiler/link mode. 524fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-F(.+)$/) { 525fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Tmp = $Arg; 526fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($1 eq '') { 527fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Check if we are going off the end. 528fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 529fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Tmp = $Arg . $ARGV[$i]; 530fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 531fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Tmp; 532fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts,$Tmp; 533fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 534fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 535fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 536fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Input files. 537fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-filelist') { 538fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Make sure we aren't walking off the end. 539fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek open(IN, $ARGV[$i+1]); 540fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while (<IN>) { s/\015?\012//; push @Files,$_; } 541fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek close(IN); 5420895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek ++$i; 5430895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek next; 544fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 545fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 5460895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek # Handle -Wno-. We don't care about extra warnings, but 5470895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek # we should suppress ones that we don't want to see. 5480895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek if ($Arg =~ /^-Wno-/) { 5490895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek push @CompileOpts, $Arg; 5500895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek next; 5510895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek } 5520895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek 553fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (!($Arg =~ /^-/)) { 5540895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek push @Files, $Arg; 5550895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek next; 556fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 557fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 558fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 559fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif ($Action eq 'compile' or $Action eq 'link') { 5608459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek my @Archs = keys %ArchsSeen; 5618459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek # Skip the file if we don't support the architectures specified. 5620e0eb8b051b2917aef85b24bb68297b8c234dbb5Ted Kremenek exit 0 if ($HadArch && scalar(@Archs) == 0); 5638459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek 564fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek foreach my $file (@Files) { 565fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Determine the language for the file. 566fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $FileLang = $Lang; 567fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 568fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (!defined($FileLang)) { 569fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Infer the language from the extension. 570fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($file =~ /[.]([^.]+)$/) { 571fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $FileLang = $LangMap{$1}; 572fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 573fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 57426681e8e3a18acebd347061e20e167a81c47a408Ted Kremenek 575fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next if (!defined $FileLang); 576efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenek next if (!defined $LangsAccepted{$FileLang}); 577fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 5789a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek my @CmdArgs; 5799a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek my @AnalyzeArgs; 580fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 581fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($FileLang ne 'unknown') { 5829a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek push @CmdArgs,'-x'; 5839a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek push @CmdArgs,$FileLang; 584fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 58561cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 58607c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu if (defined $StoreModel) { 587be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek push @AnalyzeArgs, "-analyzer-store=$StoreModel"; 58807c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu } 589be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek 590be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek if (defined $ConstraintsModel) { 591be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek push @AnalyzeArgs, "-analyzer-constraints=$ConstraintsModel"; 592be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek } 593be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek 594db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek if (defined $OutputFormat) { 595be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek push @AnalyzeArgs, "-analyzer-output=" . $OutputFormat; 5967753b352366778d01c5cda4117356f181d3dd468Ted Kremenek if ($OutputFormat =~ /plist/) { 597ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek # Change "Output" to be a file. 598ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek my ($h, $f) = tempfile("report-XXXXXX", SUFFIX => ".plist", 599ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek DIR => $HtmlDir); 600ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek $ResultFile = $f; 601ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek $CleanupFile = $f; 602ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek } 603db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek } 60407c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu 6059a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek push @CmdArgs,@CompileOpts; 6069a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek push @CmdArgs,$file; 60707c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu 60827783eb8a030afd153280a15afdede29819d90d2Ted Kremenek if (scalar @Archs) { 60927783eb8a030afd153280a15afdede29819d90d2Ted Kremenek foreach my $arch (@Archs) { 61027783eb8a030afd153280a15afdede29819d90d2Ted Kremenek my @NewArgs; 61127783eb8a030afd153280a15afdede29819d90d2Ted Kremenek push @NewArgs, '-arch'; 61227783eb8a030afd153280a15afdede29819d90d2Ted Kremenek push @NewArgs, $arch; 6139a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek push @NewArgs, @CmdArgs; 6149a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek Analyze($ClangCC, \@NewArgs, \@AnalyzeArgs, $FileLang, $Output, 61527783eb8a030afd153280a15afdede29819d90d2Ted Kremenek $Verbose, $HtmlDir, $file, $Analyses); 61627783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 61727783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 61827783eb8a030afd153280a15afdede29819d90d2Ted Kremenek else { 6199a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek Analyze($ClangCC, \@CmdArgs, \@AnalyzeArgs, $FileLang, $Output, 62027783eb8a030afd153280a15afdede29819d90d2Ted Kremenek $Verbose, $HtmlDir, $file, $Analyses); 62127783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 622fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 623fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 624b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 625948e06babdf81033517b54910fedda8079f29ff9Ted Kremenekexit($Status >> 8); 626948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek 627