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; 1751365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenekuse FindBin; 18b315a3940f804cf9fc67f4e3314aac6a44d623eeTed Kremenekuse Cwd qw/ getcwd abs_path /; 19991c54b9b7409656e5593364e065878b5210d556Ted Kremenekuse File::Temp qw/ tempfile /; 20991c54b9b7409656e5593364e065878b5210d556Ted Kremenekuse File::Path qw / mkpath /; 21ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenekuse File::Basename; 221df35e310d3402879857dd78f6fa9aaeb94b35c4Ted Kremenekuse Text::ParseWords; 232ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenek 2451365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek##===----------------------------------------------------------------------===## 2551365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek# Compiler command setup. 2651365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek##===----------------------------------------------------------------------===## 2751365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek 2851365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenekmy $Compiler; 2951365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenekmy $Clang; 30dd40b84040b0cf43f94f4c25014ccda379d8610bAnna Zaksmy $DefaultCCompiler; 31dd40b84040b0cf43f94f4c25014ccda379d8610bAnna Zaksmy $DefaultCXXCompiler; 32651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesmy $IsCXX; 33dd40b84040b0cf43f94f4c25014ccda379d8610bAnna Zaks 34651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesif (`uname -a` =~ m/Darwin/) { 352cbdd7d21e3902e568ce2a51a7459ab5a4fc236cJordan Rose $DefaultCCompiler = 'clang'; 362cbdd7d21e3902e568ce2a51a7459ab5a4fc236cJordan Rose $DefaultCXXCompiler = 'clang++'; 37dd40b84040b0cf43f94f4c25014ccda379d8610bAnna Zaks} else { 382cbdd7d21e3902e568ce2a51a7459ab5a4fc236cJordan Rose $DefaultCCompiler = 'gcc'; 392cbdd7d21e3902e568ce2a51a7459ab5a4fc236cJordan Rose $DefaultCXXCompiler = 'g++'; 40dd40b84040b0cf43f94f4c25014ccda379d8610bAnna Zaks} 4151365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek 4251365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenekif ($FindBin::Script =~ /c\+\+-analyzer/) { 4351365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek $Compiler = $ENV{'CCC_CXX'}; 44651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (!defined $Compiler || ! -x $Compiler) { $Compiler = $DefaultCXXCompiler; } 45651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 4651365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek $Clang = $ENV{'CLANG_CXX'}; 47651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (!defined $Clang || ! -x $Clang) { $Clang = 'clang++'; } 48651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 49651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines $IsCXX = 1 5051365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek} 5151365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenekelse { 5251365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek $Compiler = $ENV{'CCC_CC'}; 53651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (!defined $Compiler || ! -x $Compiler) { $Compiler = $DefaultCCompiler; } 5451365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek 5551365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek $Clang = $ENV{'CLANG'}; 56651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (!defined $Clang || ! -x $Clang) { $Clang = 'clang'; } 57651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 58651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines $IsCXX = 0 5951365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek} 6051365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek 6151365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek##===----------------------------------------------------------------------===## 6251365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek# Cleanup. 6351365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek##===----------------------------------------------------------------------===## 64e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek 65e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenekmy $ReportFailures = $ENV{'CCC_REPORT_FAILURES'}; 66e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenekif (!defined $ReportFailures) { $ReportFailures = 1; } 67e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek 68ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenekmy $CleanupFile; 69ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenekmy $ResultFile; 70ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek 71ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek# Remove any stale files at exit. 72651f13cea278ec967336033dd032faef0e9fc2ecStephen HinesEND { 739134294114c15b938f2ff954995d9f00f63dd9d8Anna Zaks if (defined $ResultFile && -z $ResultFile) { 746bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines unlink($ResultFile); 759134294114c15b938f2ff954995d9f00f63dd9d8Anna Zaks } 769134294114c15b938f2ff954995d9f00f63dd9d8Anna Zaks if (defined $CleanupFile) { 776bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines unlink($CleanupFile); 78ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek } 79ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek} 80ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek 81991c54b9b7409656e5593364e065878b5210d556Ted Kremenek##----------------------------------------------------------------------------## 82991c54b9b7409656e5593364e065878b5210d556Ted Kremenek# Process Clang Crashes. 83991c54b9b7409656e5593364e065878b5210d556Ted Kremenek##----------------------------------------------------------------------------## 84991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 85991c54b9b7409656e5593364e065878b5210d556Ted Kremeneksub GetPPExt { 86991c54b9b7409656e5593364e065878b5210d556Ted Kremenek my $Lang = shift; 8779433b59915859126a774fcd09fa32d7d5a1a3efTed Kremenek if ($Lang =~ /objective-c\+\+/) { return ".mii" }; 88991c54b9b7409656e5593364e065878b5210d556Ted Kremenek if ($Lang =~ /objective-c/) { return ".mi"; } 8951b939fe14b833d920c294e8343845003d7a856cTed Kremenek if ($Lang =~ /c\+\+/) { return ".ii"; } 90991c54b9b7409656e5593364e065878b5210d556Ted Kremenek return ".i"; 91991c54b9b7409656e5593364e065878b5210d556Ted Kremenek} 92991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 93a4d8cde6584aa6c1aee241faf671eb4bac93defbTed Kremenek# Set this to 1 if we want to include 'parser rejects' files. 94a4d8cde6584aa6c1aee241faf671eb4bac93defbTed Kremenekmy $IncludeParserRejects = 0; 955daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenekmy $ParserRejects = "Parser Rejects"; 96938eef139ad43345248235da31f78a759dd18f13Ted Kremenekmy $AttributeIgnored = "Attribute Ignored"; 971a8a8cbea639d0519f06285e12f64904d1158305Anna Zaksmy $OtherError = "Other Error"; 985daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek 995d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremeneksub ProcessClangFailure { 1002a3a8b9f47b0a8f3fdd57bc4fbd08684feb4fa85Ted Kremenek my ($Clang, $Lang, $file, $Args, $HtmlDir, $ErrorType, $ofile) = @_; 101938eef139ad43345248235da31f78a759dd18f13Ted Kremenek my $Dir = "$HtmlDir/failures"; 102991c54b9b7409656e5593364e065878b5210d556Ted Kremenek mkpath $Dir; 103651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 1045daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek my $prefix = "clang_crash"; 105938eef139ad43345248235da31f78a759dd18f13Ted Kremenek if ($ErrorType eq $ParserRejects) { 106938eef139ad43345248235da31f78a759dd18f13Ted Kremenek $prefix = "clang_parser_rejects"; 107938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 108938eef139ad43345248235da31f78a759dd18f13Ted Kremenek elsif ($ErrorType eq $AttributeIgnored) { 109938eef139ad43345248235da31f78a759dd18f13Ted Kremenek $prefix = "clang_attribute_ignored"; 110938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 1111a8a8cbea639d0519f06285e12f64904d1158305Anna Zaks elsif ($ErrorType eq $OtherError) { 1121a8a8cbea639d0519f06285e12f64904d1158305Anna Zaks $prefix = "clang_other_error"; 1131a8a8cbea639d0519f06285e12f64904d1158305Anna Zaks } 114c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek 1153386c8a510abc6f55ce25ef5e22c72e5d0c47a70Ted Kremenek # Generate the preprocessed file with Clang. 1165daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek my ($PPH, $PPFile) = tempfile( $prefix . "_XXXXXX", 1175daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek SUFFIX => GetPPExt($Lang), 1185daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek DIR => $Dir); 1192a3a8b9f47b0a8f3fdd57bc4fbd08684feb4fa85Ted Kremenek system $Clang, @$Args, "-E", "-o", $PPFile; 120991c54b9b7409656e5593364e065878b5210d556Ted Kremenek close ($PPH); 121651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 122c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek # Create the info file. 12382a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek open (OUT, ">", "$PPFile.info.txt") or die "Cannot open $PPFile.info.txt\n"; 1245f2825f6fa24a792c11cf96accd76538a2fd951eTed Kremenek print OUT abs_path($file), "\n"; 1255d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremenek print OUT "$ErrorType\n"; 1262dd7ad13bbbd43cb940040725a30cb7789bd2774Ted Kremenek print OUT "@$Args\n"; 127991c54b9b7409656e5593364e065878b5210d556Ted Kremenek close OUT; 12882a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek `uname -a >> $PPFile.info.txt 2>&1`; 12951365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenek `$Compiler -v >> $PPFile.info.txt 2>&1`; 1306bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines rename($ofile, "$PPFile.stderr.txt"); 131938eef139ad43345248235da31f78a759dd18f13Ted Kremenek return (basename $PPFile); 132991c54b9b7409656e5593364e065878b5210d556Ted Kremenek} 133b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 134fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 135fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Running the analyzer. 136fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 137b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 138fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremeneksub GetCCArgs { 1397fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek my $mode = shift; 140fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek my $Args = shift; 141651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 142fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek pipe (FROM_CHILD, TO_PARENT); 143fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek my $pid = fork(); 144fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek if ($pid == 0) { 145fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek close FROM_CHILD; 146fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek open(STDOUT,">&", \*TO_PARENT); 147fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek open(STDERR,">&", \*TO_PARENT); 1487fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek exec $Clang, "-###", $mode, @$Args; 149651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 150fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek close(TO_PARENT); 151fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek my $line; 152fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek while (<FROM_CHILD>) { 153651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines next if (!/\s"?-cc1"?\s/); 154fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek $line = $_; 155fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek } 156fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek 157fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek waitpid($pid,0); 158fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek close(FROM_CHILD); 159651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 16032317b214f58001b2fd4aa9ec140b85c80db33a5Ted Kremenek die "could not find clang line\n" if (!defined $line); 161651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines # Strip leading and trailing whitespace characters. 162651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines $line =~ s/^\s+|\s+$//g; 1632aefcb2e8b8b37529807945b3ecedda76e75c831Ted Kremenek my @items = quotewords('\s+', 0, $line); 164fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek my $cmd = shift @items; 16532317b214f58001b2fd4aa9ec140b85c80db33a5Ted Kremenek die "cannot find 'clang' in 'clang' command\n" if (!($cmd =~ /clang/)); 166fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek return \@items; 167fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek} 168fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek 169fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremeneksub Analyze { 17027871ea66fa9b1f5622bef542c422d2ab5969e13Ted Kremenek my ($Clang, $OriginalArgs, $AnalyzeArgs, $Lang, $Output, $Verbose, $HtmlDir, 1717fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek $file) = @_; 172d389465f426069115a35e857ef11f1fcc5a2f69cSeo Sanghyeon 17327871ea66fa9b1f5622bef542c422d2ab5969e13Ted Kremenek my @Args = @$OriginalArgs; 174fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Cmd; 175fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my @CmdArgs; 176991c54b9b7409656e5593364e065878b5210d556Ted Kremenek my @CmdArgsSansAnalyses; 1777fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek 178fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Lang =~ /header/) { 179fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek exit 0 if (!defined ($Output)); 180fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Cmd = 'cp'; 1817fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek push @CmdArgs, $file; 182fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Remove the PCH extension. 183fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Output =~ s/[.]gch$//; 1847fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek push @CmdArgs, $Output; 1857fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek @CmdArgsSansAnalyses = @CmdArgs; 186fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 187fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek else { 1882a3a8b9f47b0a8f3fdd57bc4fbd08684feb4fa85Ted Kremenek $Cmd = $Clang; 18963fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek 1907fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek # Create arguments for doing regular parsing. 19127871ea66fa9b1f5622bef542c422d2ab5969e13Ted Kremenek my $SyntaxArgs = GetCCArgs("-fsyntax-only", \@Args); 19227871ea66fa9b1f5622bef542c422d2ab5969e13Ted Kremenek @CmdArgsSansAnalyses = @$SyntaxArgs; 19327871ea66fa9b1f5622bef542c422d2ab5969e13Ted Kremenek 1947fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek # Create arguments for doing static analysis. 19563fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek if (defined $ResultFile) { 1965e48bcfa7f43a48a7265583bd4adb29506001933Ted Kremenek push @Args, '-o', $ResultFile; 19763fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek } 19863fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek elsif (defined $HtmlDir) { 1995e48bcfa7f43a48a7265583bd4adb29506001933Ted Kremenek push @Args, '-o', $HtmlDir; 2007fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek } 201b26fbc13829212c1788272e9c880bbaa8055c55fTed Kremenek if ($Verbose) { 202b26fbc13829212c1788272e9c880bbaa8055c55fTed Kremenek push @Args, "-Xclang", "-analyzer-display-progress"; 203b26fbc13829212c1788272e9c880bbaa8055c55fTed Kremenek } 2047fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek 2057fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek foreach my $arg (@$AnalyzeArgs) { 2065e48bcfa7f43a48a7265583bd4adb29506001933Ted Kremenek push @Args, "-Xclang", $arg; 20763fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek } 2085e48bcfa7f43a48a7265583bd4adb29506001933Ted Kremenek 2097fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek # Display Ubiviz graph? 210651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (defined $ENV{'CCC_UBI'}) { 2115e48bcfa7f43a48a7265583bd4adb29506001933Ted Kremenek push @Args, "-Xclang", "-analyzer-viz-egraph-ubigraph"; 2127fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek } 2137fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek 21427871ea66fa9b1f5622bef542c422d2ab5969e13Ted Kremenek my $AnalysisArgs = GetCCArgs("--analyze", \@Args); 21527871ea66fa9b1f5622bef542c422d2ab5969e13Ted Kremenek @CmdArgs = @$AnalysisArgs; 21663fe5ecfd158d77b04498a6ef1956877ebf0e455Ted Kremenek } 2177fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek 2187fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek my @PrintArgs; 2197fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek my $dir; 2207fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek 221fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Verbose) { 222fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $dir = getcwd(); 223fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "\n[LOCATION]: $dir\n"; 224fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @PrintArgs,"'$Cmd'"; 2257fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek foreach my $arg (@CmdArgs) { 2267fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek push @PrintArgs,"\'$arg\'"; 2277fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek } 228fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 229fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Verbose == 1) { 23061cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek # We MUST print to stderr. Some clients use the stdout output of 231651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines # gcc for various purposes. 23227871ea66fa9b1f5622bef542c422d2ab5969e13Ted Kremenek print STDERR join(' ', @PrintArgs); 233fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "\n"; 234fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 235fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Verbose == 2) { 236fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "#SHELL (cd '$dir' && @PrintArgs)\n"; 237fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 2387fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek 2399a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Capture the STDERR of clang and send it to a temporary file. 2409a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Capture the STDOUT of clang and reroute it to ccc-analyzer's STDERR. 2419a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # We save the output file in the 'crashes' directory if clang encounters 242651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines # any problems with the file. 2431346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek pipe (FROM_CHILD, TO_PARENT); 2449a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek my $pid = fork(); 2459a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek if ($pid == 0) { 2461346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek close FROM_CHILD; 2471346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek open(STDOUT,">&", \*TO_PARENT); 2481346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek open(STDERR,">&", \*TO_PARENT); 2499a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek exec $Cmd, @CmdArgs; 2509a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek } 2517fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek 2521346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek close TO_PARENT; 2531346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek my ($ofh, $ofile) = tempfile("clang_output_XXXXXX", DIR => $HtmlDir); 254651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 2551346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek while (<FROM_CHILD>) { 2561346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek print $ofh $_; 2577fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek print STDERR $_; 2581346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek } 2592cbdd7d21e3902e568ce2a51a7459ab5a4fc236cJordan Rose close $ofh; 2601346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek 2611346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek waitpid($pid,0); 262fd9df0eddd7d2b190f740f33a3d08f611c0be3f0Ted Kremenek close(FROM_CHILD); 2639a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek my $Result = $?; 2649a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek 2659a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Did the command die because of a signal? 266e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek if ($ReportFailures) { 2672a3a8b9f47b0a8f3fdd57bc4fbd08684feb4fa85Ted Kremenek if ($Result & 127 and $Cmd eq $Clang and defined $HtmlDir) { 2682a3a8b9f47b0a8f3fdd57bc4fbd08684feb4fa85Ted Kremenek ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, 269e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $HtmlDir, "Crash", $ofile); 2705de4092946373af0c8caca64a281e8080c9d8a34Ted Kremenek } 271e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek elsif ($Result) { 272e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek if ($IncludeParserRejects && !($file =~/conftest/)) { 2732a3a8b9f47b0a8f3fdd57bc4fbd08684feb4fa85Ted Kremenek ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, 274e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $HtmlDir, $ParserRejects, $ofile); 2751a8a8cbea639d0519f06285e12f64904d1158305Anna Zaks } else { 2761a8a8cbea639d0519f06285e12f64904d1158305Anna Zaks ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, 2772cbdd7d21e3902e568ce2a51a7459ab5a4fc236cJordan Rose $HtmlDir, $OtherError, $ofile); 278e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek } 279e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek } 280e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek else { 281e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Check if there were any unhandled attributes. 282e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek if (open(CHILD, $ofile)) { 283e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek my %attributes_not_handled; 2847fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek 285e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Don't flag warnings about the following attributes that we 286e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # know are currently not supported by Clang. 287e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $attributes_not_handled{"cdecl"} = 1; 2887fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek 289e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek my $ppfile; 290e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek while (<CHILD>) { 291e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek next if (! /warning: '([^\']+)' attribute ignored/); 292938eef139ad43345248235da31f78a759dd18f13Ted Kremenek 293e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Have we already spotted this unhandled attribute? 294e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek next if (defined $attributes_not_handled{$1}); 295e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $attributes_not_handled{$1} = 1; 296651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 297e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Get the name of the attribute file. 298e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek my $dir = "$HtmlDir/failures"; 299e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek my $afile = "$dir/attribute_ignored_$1.txt"; 300651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 301e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Only create another preprocessed file if the attribute file 302e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # doesn't exist yet. 303e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek next if (-e $afile); 304651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 305e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Add this file to the list of files that contained this attribute. 306e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek # Generate a preprocessed file if we haven't already. 307e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek if (!(defined $ppfile)) { 3082a3a8b9f47b0a8f3fdd57bc4fbd08684feb4fa85Ted Kremenek $ppfile = ProcessClangFailure($Clang, $Lang, $file, 309e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek \@CmdArgsSansAnalyses, 310e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek $HtmlDir, $AttributeIgnored, $ofile); 311e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek } 312938eef139ad43345248235da31f78a759dd18f13Ted Kremenek 313e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek mkpath $dir; 314e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek open(AFILE, ">$afile"); 315e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek print AFILE "$ppfile\n"; 316e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek close(AFILE); 317e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek } 318e600bedcfea91622a0003fdb5f66c500b2f9f17dTed Kremenek close CHILD; 319938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 320938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 321938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 322651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 323e3bf8a8ab4eecc2746e2f8a35d7bc365c88ff674Ted Kremenek unlink($ofile); 324fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 325fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 326fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 327fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Lookup tables. 328fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 329fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 330fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %CompileOptionMap = ( 331fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-nostdinc' => 0, 332fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-include' => 1, 333fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-idirafter' => 1, 33455d7d36f48b9b113e30de1721e83a639d14094b0Ted Kremenek '-imacros' => 1, 335fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iprefix' => 1, 336fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iquote' => 1, 337fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-isystem' => 1, 338fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iwithprefix' => 1, 339fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iwithprefixbefore' => 1 340fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 341fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 342fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %LinkerOptionMap = ( 3431a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek '-framework' => 1, 3441a45a5ff5d495cb6cd9a3d4d06317af79c0f634dTed Kremenek '-fobjc-link-runtime' => 0 345fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 346fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 347fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %CompilerLinkerOptionMap = ( 348de1860de533a02e43dfcff3d4006ea46762cf184Jordan Rose '-Wwrite-strings' => 0, 3494aaedf03f5828c6fec07b28e723871ec7ef3ff5aJordan Rose '-ftrapv-handler' => 1, # specifically call out separated -f flag 3506e53137f447a455ccddc2cae5aa000d56fe4b50bTed Kremenek '-mios-simulator-version-min' => 0, # This really has 1 argument, but always has '=' 351fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-isysroot' => 1, 352fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-arch' => 1, 353a1359ba1a50d833d55a680ccdc8128d16b399052Charles Davis '-m32' => 0, 354a1359ba1a50d833d55a680ccdc8128d16b399052Charles Davis '-m64' => 0, 35590b0bc6f41bc68ec7fb59b60a0fd8a61530e1d9dBenjamin Kramer '-stdlib' => 0, # This is really a 1 argument, but always has '=' 3566bcf27bb9a4b5c3f79cb44c0e4654a6d7619ad89Stephen Hines '--sysroot' => 1, 357ce4aa85993963b98f58aa31f17119721e4fccecaJordan Rose '-target' => 1, 358e4f6952831d2b42b99f4a28825e87012d93eb8c0Ted Kremenek '-v' => 0, 3598d33cd77dc1086f70f1699ea012702d0df7eba1aDaniel Dunbar '-mmacosx-version-min' => 0, # This is really a 1 argument, but always has '=' 3608d33cd77dc1086f70f1699ea012702d0df7eba1aDaniel Dunbar '-miphoneos-version-min' => 0 # This is really a 1 argument, but always has '=' 361fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 362fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 363fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %IgnoredOptionMap = ( 364940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek '-MT' => 1, # Ignore these preprocessor options. 365940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek '-MF' => 1, 366940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek 367fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-fsyntax-only' => 0, 368fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-save-temps' => 0, 369fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-install_name' => 1, 370fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-exported_symbols_list' => 1, 371fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-current_version' => 1, 372fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-compatibility_version' => 1, 373fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-init' => 1, 374fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-e' => 1, 375fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-seg1addr' => 1, 376fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-bundle_loader' => 1, 377fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-multiply_defined' => 1, 378fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-sectorder' => 3, 379fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '--param' => 1, 380f5c5f89a10eb42297d1be6f4438a9136e8e4cadaAnna Zaks '-u' => 1, 381f5c5f89a10eb42297d1be6f4438a9136e8e4cadaAnna Zaks '--serialize-diagnostics' => 1 382fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 383fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 384fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %LangMap = ( 385651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 'c' => $IsCXX ? 'c++' : 'c', 386d9d97265f9f34b20f174591d88a11a97502c9dbeShantonu Sen 'cp' => 'c++', 387fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'cpp' => 'c++', 388f4dd85835bc79aaa0ebdc08244ee0fc7f687285cAnna Zaks 'cxx' => 'c++', 389f4dd85835bc79aaa0ebdc08244ee0fc7f687285cAnna Zaks 'txx' => 'c++', 390fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'cc' => 'c++', 391501be138462d9d6fe1b55ea92c3a14a2d7501c5fJordan Rose 'C' => 'c++', 392651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 'ii' => 'c++-cpp-output', 393651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 'i' => $IsCXX ? 'c++-cpp-output' : 'c-cpp-output', 394fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'm' => 'objective-c', 39571f11d6a393c185b8896d3f6a4089ef93d340d00Anna Zaks 'mi' => 'objective-c-cpp-output', 396651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 'mm' => 'objective-c++', 397651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 'mii' => 'objective-c++-cpp-output', 398fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 399fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 400a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenekmy %UniqueOptions = ( 401651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines '-isysroot' => 0 402a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek); 403a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek 404f6f8d5a47c314ee9ffeca744250f3430540bdf36Ted Kremenek##----------------------------------------------------------------------------## 405f6f8d5a47c314ee9ffeca744250f3430540bdf36Ted Kremenek# Languages accepted. 406f6f8d5a47c314ee9ffeca744250f3430540bdf36Ted Kremenek##----------------------------------------------------------------------------## 407f6f8d5a47c314ee9ffeca744250f3430540bdf36Ted Kremenek 408efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenekmy %LangsAccepted = ( 409efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenek "objective-c" => 1, 4100a208183841082057343def56fcf8f2dc4da7eddTed Kremenek "c" => 1, 4110a208183841082057343def56fcf8f2dc4da7eddTed Kremenek "c++" => 1, 412651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines "objective-c++" => 1, 413651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines "c-cpp-output" => 1, 414651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines "objective-c-cpp-output" => 1, 415651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines "c++-cpp-output" => 1 416efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenek); 417efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenek 418fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 419fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Main Logic. 420fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 421fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 422fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Action = 'link'; 423fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @CompileOpts; 424fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @LinkOpts; 425fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @Files; 426fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Lang; 427fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Output; 428a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenekmy %Uniqued; 429fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 430fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Forward arguments to gcc. 43151365b5f74977c13c4902991c076dff8fddc96b7Ted Kremenekmy $Status = system($Compiler,@ARGV); 43298137aa8c5c95356454610d88cae079602ca2becJordan Roseif (defined $ENV{'CCC_ANALYZER_LOG'}) { 43398137aa8c5c95356454610d88cae079602ca2becJordan Rose print STDERR "$Compiler @ARGV\n"; 434a716f639a6fd4cdadd33853918f1115b3be37cfeTom Care} 435cb344d0f9b9f4b9114ab2b35a34017e89d8b0c17Ted Kremenekif ($Status) { exit($Status >> 8); } 436fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 437fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Get the analysis options. 438fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Analyses = $ENV{'CCC_ANALYZER_ANALYSIS'}; 439fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 440f8e8a3eeff891d1c056c96b6d6be404533741ba7Anna Zaks# Get the plugins to load. 441f8e8a3eeff891d1c056c96b6d6be404533741ba7Anna Zaksmy $Plugins = $ENV{'CCC_ANALYZER_PLUGINS'}; 442f8e8a3eeff891d1c056c96b6d6be404533741ba7Anna Zaks 44307c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu# Get the store model. 44407c3767be59472e19183c7b51fae76481465cb51Zhongxing Xumy $StoreModel = $ENV{'CCC_ANALYZER_STORE_MODEL'}; 445be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek 446be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek# Get the constraints engine. 447be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenekmy $ConstraintsModel = $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'}; 44807c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu 4491e548f12f7cd6631a3e688a9580ede92898d9e69Anna Zaks#Get the internal stats setting. 4501e548f12f7cd6631a3e688a9580ede92898d9e69Anna Zaksmy $InternalStats = $ENV{'CCC_ANALYZER_INTERNAL_STATS'}; 4511e548f12f7cd6631a3e688a9580ede92898d9e69Anna Zaks 452db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek# Get the output format. 453db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenekmy $OutputFormat = $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'}; 4543891a157cc1504b1e8558077ed852fa4a9fb6ebcTed Kremenekif (!defined $OutputFormat) { $OutputFormat = "html"; } 455db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek 456651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines# Get the config options. 457651f13cea278ec967336033dd032faef0e9fc2ecStephen Hinesmy $ConfigOptions = $ENV{'CCC_ANALYZER_CONFIG'}; 458651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 459fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Determine the level of verbosity. 460fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Verbose = 0; 46198137aa8c5c95356454610d88cae079602ca2becJordan Roseif (defined $ENV{'CCC_ANALYZER_VERBOSE'}) { $Verbose = 1; } 46298137aa8c5c95356454610d88cae079602ca2becJordan Roseif (defined $ENV{'CCC_ANALYZER_LOG'}) { $Verbose = 2; } 463fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 464fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Get the HTML output directory. 465fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $HtmlDir = $ENV{'CCC_ANALYZER_HTML'}; 466fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 4678459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenekmy %DisabledArchs = ('ppc' => 1, 'ppc64' => 1); 46827783eb8a030afd153280a15afdede29819d90d2Ted Kremenekmy %ArchsSeen; 4698459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenekmy $HadArch = 0; 470fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 471fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Process the arguments. 472fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekforeach (my $i = 0; $i < scalar(@ARGV); ++$i) { 473651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines my $Arg = $ARGV[$i]; 47489c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my ($ArgKey) = split /=/,$Arg,2; 47589c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek 476fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Modes ccc-analyzer supports 477d732a7b771f8ab758411881126a83b7ca4db34a9Ted Kremenek if ($Arg =~ /^-(E|MM?)$/) { $Action = 'preprocess'; } 478fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg eq '-c') { $Action = 'compile'; } 479fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg =~ /^-print-prog-name/) { exit 0; } 48027783eb8a030afd153280a15afdede29819d90d2Ted Kremenek 48127783eb8a030afd153280a15afdede29819d90d2Ted Kremenek # Specially handle duplicate cases of -arch 48227783eb8a030afd153280a15afdede29819d90d2Ted Kremenek if ($Arg eq "-arch") { 48327783eb8a030afd153280a15afdede29819d90d2Ted Kremenek my $arch = $ARGV[$i+1]; 4848459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek # We don't want to process 'ppc' because of Clang's lack of support 4858459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek # for Altivec (also some #defines won't likely be defined correctly, etc.) 4868459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek if (!(defined $DisabledArchs{$arch})) { $ArchsSeen{$arch} = 1; } 4878459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek $HadArch = 1; 48827783eb8a030afd153280a15afdede29819d90d2Ted Kremenek ++$i; 48927783eb8a030afd153280a15afdede29819d90d2Ted Kremenek next; 49027783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 49127783eb8a030afd153280a15afdede29819d90d2Ted Kremenek 492fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to compiler. 49389c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $CompileOptionMap{$ArgKey}) { 49489c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $CompileOptionMap{$ArgKey}; 495fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Arg; 496fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { ++$i; --$Cnt; push @CompileOpts, $ARGV[$i]; } 497fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 498fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 499544450e449c2fa1af63199b047b2d378be1760ecTed Kremenek # Handle the case where there isn't a space after -iquote 500651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if ($Arg =~ /^-iquote.*/) { 501544450e449c2fa1af63199b047b2d378be1760ecTed Kremenek push @CompileOpts,$Arg; 502544450e449c2fa1af63199b047b2d378be1760ecTed Kremenek next; 503544450e449c2fa1af63199b047b2d378be1760ecTed Kremenek } 504fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 505fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to linker. 50689c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $LinkerOptionMap{$ArgKey}) { 50789c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $LinkerOptionMap{$ArgKey}; 508fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts,$Arg; 509fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { ++$i; --$Cnt; push @LinkOpts, $ARGV[$i]; } 510fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 511fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 512fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 513fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to both compiler 514fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # and the linker. 51589c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $CompilerLinkerOptionMap{$ArgKey}) { 51689c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $CompilerLinkerOptionMap{$ArgKey}; 517651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 518a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek # Check if this is an option that should have a unique value, and if so 519a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek # determine if the value was checked before. 520a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek if ($UniqueOptions{$Arg}) { 521a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek if (defined $Uniqued{$Arg}) { 522a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek $i += $Cnt; 523a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek next; 524a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek } 525a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek $Uniqued{$Arg} = 1; 526a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek } 527651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 528651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines push @CompileOpts,$Arg; 52947fc25f0c18bb68d4f41789b7b52b34ec6d39d76Ted Kremenek push @LinkOpts,$Arg; 53047fc25f0c18bb68d4f41789b7b52b34ec6d39d76Ted Kremenek 531fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { 532fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; --$Cnt; 533fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts, $ARGV[$i]; 534fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts, $ARGV[$i]; 535fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 536fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 537fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 538651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 539fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Ignored options. 54089c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $IgnoredOptionMap{$ArgKey}) { 54189c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $IgnoredOptionMap{$ArgKey}; 542fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { 543fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; --$Cnt; 544fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 545fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 546fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 547651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 548fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Compile mode flags. 549fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-[D,I,U](.*)$/) { 550651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines my $Tmp = $Arg; 551fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($1 eq '') { 552fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Check if we are going off the end. 553fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 554fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Tmp = $Arg . $ARGV[$i]; 555fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 556fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Tmp; 557fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 558fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 559651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 560651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if ($Arg =~ /^-m.*/) { 561e233eea67cc5fa62d890d0eea910b56bbc5d2723Jordan Rose push @CompileOpts,$Arg; 562e233eea67cc5fa62d890d0eea910b56bbc5d2723Jordan Rose next; 563e233eea67cc5fa62d890d0eea910b56bbc5d2723Jordan Rose } 564651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 565fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Language. 566fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-x') { 567fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Lang = $ARGV[$i+1]; 568fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; next; 569fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 570fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 571fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Output file. 572fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-o') { 573fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 574fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Output = $ARGV[$i]; 575fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 576fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 577651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 578fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Get the link mode. 579fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-[l,L,O]/) { 580fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-O') { push @LinkOpts,'-O1'; } 581fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg eq '-Os') { push @LinkOpts,'-O2'; } 582fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek else { push @LinkOpts,$Arg; } 5834aaedf03f5828c6fec07b28e723871ec7ef3ff5aJordan Rose 5844aaedf03f5828c6fec07b28e723871ec7ef3ff5aJordan Rose # Must pass this along for the __OPTIMIZE__ macro 5854aaedf03f5828c6fec07b28e723871ec7ef3ff5aJordan Rose if ($Arg =~ /^-O/) { push @CompileOpts,$Arg; } 586fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 587fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 588651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 589fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-std=/) { 590fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Arg; 591fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 592fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 593651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 594fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Get the compiler/link mode. 595fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-F(.+)$/) { 596fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Tmp = $Arg; 597fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($1 eq '') { 598fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Check if we are going off the end. 599fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 600fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Tmp = $Arg . $ARGV[$i]; 601fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 602fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Tmp; 603fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts,$Tmp; 604fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 605fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 606fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 607fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Input files. 608fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-filelist') { 609fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Make sure we aren't walking off the end. 610fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek open(IN, $ARGV[$i+1]); 611fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while (<IN>) { s/\015?\012//; push @Files,$_; } 612fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek close(IN); 6130895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek ++$i; 6140895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek next; 615fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 616651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 6174aaedf03f5828c6fec07b28e723871ec7ef3ff5aJordan Rose if ($Arg =~ /^-f/) { 6184aaedf03f5828c6fec07b28e723871ec7ef3ff5aJordan Rose push @CompileOpts,$Arg; 6194aaedf03f5828c6fec07b28e723871ec7ef3ff5aJordan Rose push @LinkOpts,$Arg; 6204aaedf03f5828c6fec07b28e723871ec7ef3ff5aJordan Rose next; 6214aaedf03f5828c6fec07b28e723871ec7ef3ff5aJordan Rose } 622651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 6230895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek # Handle -Wno-. We don't care about extra warnings, but 6240895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek # we should suppress ones that we don't want to see. 6250895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek if ($Arg =~ /^-Wno-/) { 6260895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek push @CompileOpts, $Arg; 6270895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek next; 6280895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek } 6290895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek 630fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (!($Arg =~ /^-/)) { 6310895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek push @Files, $Arg; 6320895937d2ce1e73926b42e71f076be3071de68d9Ted Kremenek next; 633fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 634fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 635fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 636fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif ($Action eq 'compile' or $Action eq 'link') { 6378459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek my @Archs = keys %ArchsSeen; 6388459132b0302cde7eb2a21eb2c6ffca9e66e3aeaTed Kremenek # Skip the file if we don't support the architectures specified. 6390e0eb8b051b2917aef85b24bb68297b8c234dbb5Ted Kremenek exit 0 if ($HadArch && scalar(@Archs) == 0); 6402cbdd7d21e3902e568ce2a51a7459ab5a4fc236cJordan Rose 641fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek foreach my $file (@Files) { 642fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Determine the language for the file. 643fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $FileLang = $Lang; 644fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 645fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (!defined($FileLang)) { 646fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Infer the language from the extension. 647fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($file =~ /[.]([^.]+)$/) { 648fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $FileLang = $LangMap{$1}; 649fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 650fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 651651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 6521d81ed94386198ffe6ba4493aacf198deccd3a18Ted Kremenek # FileLang still not defined? Skip the file. 653fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next if (!defined $FileLang); 6541d81ed94386198ffe6ba4493aacf198deccd3a18Ted Kremenek 6551d81ed94386198ffe6ba4493aacf198deccd3a18Ted Kremenek # Language not accepted? 656efaf1915d5734efa957f47f025fe81f76d9dbb82Ted Kremenek next if (!defined $LangsAccepted{$FileLang}); 6571d81ed94386198ffe6ba4493aacf198deccd3a18Ted Kremenek 6589a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek my @CmdArgs; 659651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines my @AnalyzeArgs; 660651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 661fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($FileLang ne 'unknown') { 6625e48bcfa7f43a48a7265583bd4adb29506001933Ted Kremenek push @CmdArgs, '-x', $FileLang; 663fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 66461cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 66507c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu if (defined $StoreModel) { 666be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek push @AnalyzeArgs, "-analyzer-store=$StoreModel"; 66707c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu } 668be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek 669be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek if (defined $ConstraintsModel) { 670be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek push @AnalyzeArgs, "-analyzer-constraints=$ConstraintsModel"; 671be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek } 6721e548f12f7cd6631a3e688a9580ede92898d9e69Anna Zaks 6731e548f12f7cd6631a3e688a9580ede92898d9e69Anna Zaks if (defined $InternalStats) { 6741e548f12f7cd6631a3e688a9580ede92898d9e69Anna Zaks push @AnalyzeArgs, "-analyzer-stats"; 6751e548f12f7cd6631a3e688a9580ede92898d9e69Anna Zaks } 676651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines 67771f11d6a393c185b8896d3f6a4089ef93d340d00Anna Zaks if (defined $Analyses) { 67871f11d6a393c185b8896d3f6a4089ef93d340d00Anna Zaks push @AnalyzeArgs, split '\s+', $Analyses; 67971f11d6a393c185b8896d3f6a4089ef93d340d00Anna Zaks } 680be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek 681f8e8a3eeff891d1c056c96b6d6be404533741ba7Anna Zaks if (defined $Plugins) { 682f8e8a3eeff891d1c056c96b6d6be404533741ba7Anna Zaks push @AnalyzeArgs, split '\s+', $Plugins; 683f8e8a3eeff891d1c056c96b6d6be404533741ba7Anna Zaks } 684f8e8a3eeff891d1c056c96b6d6be404533741ba7Anna Zaks 685db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek if (defined $OutputFormat) { 686be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek push @AnalyzeArgs, "-analyzer-output=" . $OutputFormat; 6877753b352366778d01c5cda4117356f181d3dd468Ted Kremenek if ($OutputFormat =~ /plist/) { 688ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek # Change "Output" to be a file. 689ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek my ($h, $f) = tempfile("report-XXXXXX", SUFFIX => ".plist", 690ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek DIR => $HtmlDir); 691ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek $ResultFile = $f; 692651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines # If the HtmlDir is not set, we should clean up the plist files. 6939134294114c15b938f2ff954995d9f00f63dd9d8Anna Zaks if (!defined $HtmlDir || -z $HtmlDir) { 6942cbdd7d21e3902e568ce2a51a7459ab5a4fc236cJordan Rose $CleanupFile = $f; 6959134294114c15b938f2ff954995d9f00f63dd9d8Anna Zaks } 696ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek } 697db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek } 698651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines if (defined $ConfigOptions) { 699651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines push @AnalyzeArgs, split '\s+', $ConfigOptions; 700651f13cea278ec967336033dd032faef0e9fc2ecStephen Hines } 70107c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu 7027fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek push @CmdArgs, @CompileOpts; 7037fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek push @CmdArgs, $file; 70407c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu 70527783eb8a030afd153280a15afdede29819d90d2Ted Kremenek if (scalar @Archs) { 70627783eb8a030afd153280a15afdede29819d90d2Ted Kremenek foreach my $arch (@Archs) { 70727783eb8a030afd153280a15afdede29819d90d2Ted Kremenek my @NewArgs; 7085e48bcfa7f43a48a7265583bd4adb29506001933Ted Kremenek push @NewArgs, '-arch', $arch; 7099a9e0d41e228c72f719757bc1c988f3e2b65a52eTed Kremenek push @NewArgs, @CmdArgs; 7102a3a8b9f47b0a8f3fdd57bc4fbd08684feb4fa85Ted Kremenek Analyze($Clang, \@NewArgs, \@AnalyzeArgs, $FileLang, $Output, 7117fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek $Verbose, $HtmlDir, $file); 71227783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 71327783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 71427783eb8a030afd153280a15afdede29819d90d2Ted Kremenek else { 7152a3a8b9f47b0a8f3fdd57bc4fbd08684feb4fa85Ted Kremenek Analyze($Clang, \@CmdArgs, \@AnalyzeArgs, $FileLang, $Output, 7167fe679f300bd063d7edf7071d14c7f3823ef8cceTed Kremenek $Verbose, $HtmlDir, $file); 71727783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 718fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 719fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 720b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 721948e06babdf81033517b54910fedda8079f29ff9Ted Kremenekexit($Status >> 8); 722