ccc-analyzer revision 938eef139ad43345248235da31f78a759dd18f13
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; 212ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenek 222ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenekmy $CC = $ENV{'CCC_CC'}; 232ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenekif (!defined $CC) { $CC = "gcc"; } 24ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenekmy $CleanupFile; 25ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenekmy $ResultFile; 26ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek 27ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek# Remove any stale files at exit. 28ddf32dabe71f00aa0943449f67201f587f0a04d6Ted KremenekEND { 29ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek if (defined $CleanupFile && -z $CleanupFile) { 30ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek `rm -f $CleanupFile`; 31ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek } 32ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek} 33ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek 34991c54b9b7409656e5593364e065878b5210d556Ted Kremenek##----------------------------------------------------------------------------## 35991c54b9b7409656e5593364e065878b5210d556Ted Kremenek# Process Clang Crashes. 36991c54b9b7409656e5593364e065878b5210d556Ted Kremenek##----------------------------------------------------------------------------## 37991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 38991c54b9b7409656e5593364e065878b5210d556Ted Kremeneksub GetPPExt { 39991c54b9b7409656e5593364e065878b5210d556Ted Kremenek my $Lang = shift; 40991c54b9b7409656e5593364e065878b5210d556Ted Kremenek if ($Lang =~ /objective-c/) { return ".mi"; } 41991c54b9b7409656e5593364e065878b5210d556Ted Kremenek return ".i"; 42991c54b9b7409656e5593364e065878b5210d556Ted Kremenek} 43991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 445daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenekmy $ParserRejects = "Parser Rejects"; 45938eef139ad43345248235da31f78a759dd18f13Ted Kremenekmy $AttributeIgnored = "Attribute Ignored"; 465daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek 475d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremeneksub ProcessClangFailure { 48c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek my ($Clang, $Lang, $file, $Args, $HtmlDir, $ErrorType, $ofile) = @_; 49938eef139ad43345248235da31f78a759dd18f13Ted Kremenek my $Dir = "$HtmlDir/failures"; 50991c54b9b7409656e5593364e065878b5210d556Ted Kremenek mkpath $Dir; 515daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek 525daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek my $prefix = "clang_crash"; 53938eef139ad43345248235da31f78a759dd18f13Ted Kremenek if ($ErrorType eq $ParserRejects) { 54938eef139ad43345248235da31f78a759dd18f13Ted Kremenek $prefix = "clang_parser_rejects"; 55938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 56938eef139ad43345248235da31f78a759dd18f13Ted Kremenek elsif ($ErrorType eq $AttributeIgnored) { 57938eef139ad43345248235da31f78a759dd18f13Ted Kremenek $prefix = "clang_attribute_ignored"; 58938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 59c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek 60c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek # Generate the preprocessed file with cc (i.e., gcc). 615daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek my ($PPH, $PPFile) = tempfile( $prefix . "_XXXXXX", 625daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek SUFFIX => GetPPExt($Lang), 635daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek DIR => $Dir); 64991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 652ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenek system $CC, @$Args, "-E", "-o", $PPFile; 66991c54b9b7409656e5593364e065878b5210d556Ted Kremenek close ($PPH); 67c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek 68c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek # Generate the preprocessed file with clang. 69c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek my $PPFile_Clang = $PPFile; 70c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek $PPFile_Clang =~ s/[.](.+)$/.clang.$1/; 71c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek system $Clang, @$Args, "-E", "-o", "$PPFile_Clang"; 72c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek 73c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek # Create the info file. 7482a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek open (OUT, ">", "$PPFile.info.txt") or die "Cannot open $PPFile.info.txt\n"; 755f2825f6fa24a792c11cf96accd76538a2fd951eTed Kremenek print OUT abs_path($file), "\n"; 765d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremenek print OUT "$ErrorType\n"; 772dd7ad13bbbd43cb940040725a30cb7789bd2774Ted Kremenek print OUT "@$Args\n"; 78991c54b9b7409656e5593364e065878b5210d556Ted Kremenek close OUT; 7982a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek `uname -a >> $PPFile.info.txt 2>&1`; 8082a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek `$CC -v >> $PPFile.info.txt 2>&1`; 819f9b1fded49acff77e61b3ed1afc8bbaaefe6f34Ted Kremenek system 'mv',$ofile,"$PPFile.stderr.txt"; 82938eef139ad43345248235da31f78a759dd18f13Ted Kremenek return (basename $PPFile); 83991c54b9b7409656e5593364e065878b5210d556Ted Kremenek} 84b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 85fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 86fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Running the analyzer. 87fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 88b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 89fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremeneksub Analyze { 90fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my ($Clang, $Args, $Lang, $Output, $Verbose, $HtmlDir, $file, $Analyses) = @_; 91d389465f426069115a35e857ef11f1fcc5a2f69cSeo Sanghyeon 92fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Skip anything related to C++. 93fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek return if ($Lang =~ /c[+][+]/); 945d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremenek 95fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $RunAnalyzer = 0; 96fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Cmd; 97fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my @CmdArgs; 98991c54b9b7409656e5593364e065878b5210d556Ted Kremenek my @CmdArgsSansAnalyses; 99fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 100fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Lang =~ /header/) { 101fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek exit 0 if (!defined ($Output)); 102fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Cmd = 'cp'; 103fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,$file; 104fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Remove the PCH extension. 105fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Output =~ s/[.]gch$//; 106fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,$Output; 107991c54b9b7409656e5593364e065878b5210d556Ted Kremenek @CmdArgsSansAnalyses = @CmdArgs; 108fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 109fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek else { 110fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Cmd = $Clang; 111fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,'-DIBOutlet=__attribute__((iboutlet))'; 112fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,@$Args; 113991c54b9b7409656e5593364e065878b5210d556Ted Kremenek @CmdArgsSansAnalyses = @CmdArgs; 114938eef139ad43345248235da31f78a759dd18f13Ted Kremenek push @CmdArgs,'-analyze'; 115938eef139ad43345248235da31f78a759dd18f13Ted Kremenek push @CmdArgs,"-analyzer-display-progress"; 116938eef139ad43345248235da31f78a759dd18f13Ted Kremenek push @CmdArgs,"-disable-free"; 117991c54b9b7409656e5593364e065878b5210d556Ted Kremenek push @CmdArgs,(split /\s/,$Analyses); 118fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $RunAnalyzer = 1; 119fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 120fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 121fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my @PrintArgs; 122fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $dir; 12361cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 124fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Verbose) { 125fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $dir = getcwd(); 126fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "\n[LOCATION]: $dir\n"; 127fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @PrintArgs,"'$Cmd'"; 128fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek foreach my $arg (@CmdArgs) { push @PrintArgs,"\'$arg\'"; } 129fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 130fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 131fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Verbose == 1) { 13261cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek # We MUST print to stderr. Some clients use the stdout output of 13361cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek # gcc for various purposes. 134fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR join(' ',@PrintArgs); 135fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "\n"; 136fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 137fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Verbose == 2) { 138fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "#SHELL (cd '$dir' && @PrintArgs)\n"; 139fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 14061cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 141ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek if ($RunAnalyzer) { 142ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek if (defined $ResultFile) { 143ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek push @CmdArgs,'-o'; 144ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek push @CmdArgs, $ResultFile; 145ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek } 146ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek elsif (defined $HtmlDir) { 147ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek push @CmdArgs,'-o'; 148ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek push @CmdArgs, $HtmlDir; 149ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek } 150fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 151948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek 152948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek if (defined $ENV{'CCC_UBI'}) { 153948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek push @CmdArgs,"--analyzer-viz-egraph-ubigraph"; 154948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek } 155991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 1569a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Capture the STDERR of clang and send it to a temporary file. 1579a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Capture the STDOUT of clang and reroute it to ccc-analyzer's STDERR. 1589a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # We save the output file in the 'crashes' directory if clang encounters 1599a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # any problems with the file. 1601346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek pipe (FROM_CHILD, TO_PARENT); 1619a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek my $pid = fork(); 1629a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek if ($pid == 0) { 1631346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek close FROM_CHILD; 1641346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek open(STDOUT,">&", \*TO_PARENT); 1651346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek open(STDERR,">&", \*TO_PARENT); 1669a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek exec $Cmd, @CmdArgs; 1679a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek } 1681346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek 1691346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek close TO_PARENT; 1701346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek my ($ofh, $ofile) = tempfile("clang_output_XXXXXX", DIR => $HtmlDir); 1711346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek 1721346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek while (<FROM_CHILD>) { 1731346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek print $ofh $_; 1741346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek print STDERR $_; 1751346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek } 1761346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek 1771346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek waitpid($pid,0); 1789a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek my $Result = $?; 1799a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek 1809a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Did the command die because of a signal? 1819a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek if ($Result & 127 and $Cmd eq $Clang and defined $HtmlDir) { 182c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, $HtmlDir, 1839a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek "Crash", $ofile); 1849a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek } 1859a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek elsif ($Result) { 186c3998fa64e254b13669e8cf3a0cf23eb4f73b88bTed Kremenek ProcessClangFailure($Clang, $Lang, $file, \@CmdArgsSansAnalyses, $HtmlDir, 1875daa3be1bf9db399aa7510bbcf2bfc8c7701b6daTed Kremenek $ParserRejects, $ofile); 1889a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek } 189938eef139ad43345248235da31f78a759dd18f13Ted Kremenek else { 190938eef139ad43345248235da31f78a759dd18f13Ted Kremenek # Check if there were any unhandled attributes. 191938eef139ad43345248235da31f78a759dd18f13Ted Kremenek if (open(CHILD, $ofile)) { 192938eef139ad43345248235da31f78a759dd18f13Ted Kremenek my %attributes_not_handled; 193938eef139ad43345248235da31f78a759dd18f13Ted Kremenek my $ppfile; 194938eef139ad43345248235da31f78a759dd18f13Ted Kremenek while (<CHILD>) { 195938eef139ad43345248235da31f78a759dd18f13Ted Kremenek next if (! /warning: '([^\']+)' attribute ignored/); 196938eef139ad43345248235da31f78a759dd18f13Ted Kremenek 197938eef139ad43345248235da31f78a759dd18f13Ted Kremenek # Have we already spotted this unhandled attribute? 198938eef139ad43345248235da31f78a759dd18f13Ted Kremenek next if (defined $attributes_not_handled{$1}); 199938eef139ad43345248235da31f78a759dd18f13Ted Kremenek $attributes_not_handled{$1} = 1; 200938eef139ad43345248235da31f78a759dd18f13Ted Kremenek 201938eef139ad43345248235da31f78a759dd18f13Ted Kremenek # Add this file to the list of files that contained this attribute. 202938eef139ad43345248235da31f78a759dd18f13Ted Kremenek # Generate a preprocessed file if we haven't already. 203938eef139ad43345248235da31f78a759dd18f13Ted Kremenek if (!(defined $ppfile)) { 204938eef139ad43345248235da31f78a759dd18f13Ted Kremenek $ppfile = ProcessClangFailure($Clang, $Lang, $file, 205938eef139ad43345248235da31f78a759dd18f13Ted Kremenek \@CmdArgsSansAnalyses, 206938eef139ad43345248235da31f78a759dd18f13Ted Kremenek $HtmlDir, $AttributeIgnored, $ofile); 207938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 208938eef139ad43345248235da31f78a759dd18f13Ted Kremenek 209938eef139ad43345248235da31f78a759dd18f13Ted Kremenek my $dir = "$HtmlDir/failures"; 210938eef139ad43345248235da31f78a759dd18f13Ted Kremenek mkpath $dir; 211938eef139ad43345248235da31f78a759dd18f13Ted Kremenek my $afile = "$dir/attribute_ignored_$1.txt"; 212938eef139ad43345248235da31f78a759dd18f13Ted Kremenek open(AFILE, ">>$afile"); 213938eef139ad43345248235da31f78a759dd18f13Ted Kremenek print AFILE "$ppfile\n"; 214938eef139ad43345248235da31f78a759dd18f13Ted Kremenek close(AFILE); 215938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 216938eef139ad43345248235da31f78a759dd18f13Ted Kremenek close CHILD; 217938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 218938eef139ad43345248235da31f78a759dd18f13Ted Kremenek } 2199a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek 2209a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek `rm -f $ofile`; 221fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 222fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 223fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 224fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Lookup tables. 225fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 226fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 227fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %CompileOptionMap = ( 228fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-nostdinc' => 0, 22906c58b191f969e2ae5308cc9b6540bad9511f4efAnders Carlsson '-fblocks' => 0, 230fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-fobjc-gc-only' => 0, 231fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-fobjc-gc' => 0, 232fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-include' => 1, 233fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-idirafter' => 1, 234fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iprefix' => 1, 235fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iquote' => 1, 236fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-isystem' => 1, 237fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iwithprefix' => 1, 238fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iwithprefixbefore' => 1 239fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 240fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 241fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %LinkerOptionMap = ( 242fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-framework' => 1 243fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 244fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 245fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %CompilerLinkerOptionMap = ( 246fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-isysroot' => 1, 247fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-arch' => 1, 248e4f6952831d2b42b99f4a28825e87012d93eb8c0Ted Kremenek '-v' => 0, 249b10362acd971b84d4525334b275fcbfb4e42cb85Ted Kremenek '-fpascal-strings' => 0, 250b10362acd971b84d4525334b275fcbfb4e42cb85Ted Kremenek '-mmacosx-version-min' => 0 # This is really a 1 argument, but always has '=' 251fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 252fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 253fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %IgnoredOptionMap = ( 254940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek '-MT' => 1, # Ignore these preprocessor options. 255940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek '-MF' => 1, 256940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek 257fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-fsyntax-only' => 0, 258fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-save-temps' => 0, 259fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-install_name' => 1, 260fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-exported_symbols_list' => 1, 261fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-current_version' => 1, 262fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-compatibility_version' => 1, 263fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-init' => 1, 264fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-e' => 1, 265fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-seg1addr' => 1, 266fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-bundle_loader' => 1, 267fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-multiply_defined' => 1, 268fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-sectorder' => 3, 269fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '--param' => 1, 270fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-u' => 1 271fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 272fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 273fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %LangMap = ( 274fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'c' => 'c', 275fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'cpp' => 'c++', 276fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'cc' => 'c++', 277fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'i' => 'c-cpp-output', 278fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'm' => 'objective-c', 279fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'mi' => 'objective-c-cpp-output' 280fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 281fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 282a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenekmy %UniqueOptions = ( 283a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek '-isysroot' => 0 284a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek); 285a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek 286fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 287fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Main Logic. 288fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 289fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 290fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Action = 'link'; 291fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @CompileOpts; 292fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @LinkOpts; 293fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @Files; 294fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Lang; 295fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Output; 296a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenekmy %Uniqued; 297fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 298fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Forward arguments to gcc. 299f17ef3caf19ebff18a4ee0e7984dfc6036f34b2eTed Kremenekmy $Status = system($CC,@ARGV); 300cb344d0f9b9f4b9114ab2b35a34017e89d8b0c17Ted Kremenekif ($Status) { exit($Status >> 8); } 301fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 302fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Get the analysis options. 303fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Analyses = $ENV{'CCC_ANALYZER_ANALYSIS'}; 304fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (!defined($Analyses)) { $Analyses = '-checker-cfref'; } 305fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 30607c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu# Get the store model. 30707c3767be59472e19183c7b51fae76481465cb51Zhongxing Xumy $StoreModel = $ENV{'CCC_ANALYZER_STORE_MODEL'}; 308be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenekif (!defined $StoreModel) { $StoreModel = "basic"; } 309be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek 310be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek# Get the constraints engine. 311be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenekmy $ConstraintsModel = $ENV{'CCC_ANALYZER_CONSTRAINTS_MODEL'}; 312be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenekif (!defined $ConstraintsModel) { $ConstraintsModel = "basic"; } 31307c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu 314db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek# Get the output format. 315db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenekmy $OutputFormat = $ENV{'CCC_ANALYZER_OUTPUT_FORMAT'}; 3163891a157cc1504b1e8558077ed852fa4a9fb6ebcTed Kremenekif (!defined $OutputFormat) { $OutputFormat = "html"; } 317db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek 318fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Determine the level of verbosity. 319fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Verbose = 0; 320fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (defined $ENV{CCC_ANALYZER_VERBOSE}) { $Verbose = 1; } 321fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (defined $ENV{CCC_ANALYZER_LOG}) { $Verbose = 2; } 322fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 323fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Determine what clang executable to use. 324fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Clang = $ENV{'CLANG'}; 325fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (!defined $Clang) { $Clang = 'clang'; } 326fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 327fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Get the HTML output directory. 328fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $HtmlDir = $ENV{'CCC_ANALYZER_HTML'}; 329fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 33027783eb8a030afd153280a15afdede29819d90d2Ted Kremenekmy %ArchsSeen; 331fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 332fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Process the arguments. 333fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekforeach (my $i = 0; $i < scalar(@ARGV); ++$i) { 33489c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Arg = $ARGV[$i]; 33589c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my ($ArgKey) = split /=/,$Arg,2; 33689c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek 337fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Modes ccc-analyzer supports 338fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-E') { $Action = 'preprocess'; } 339fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg eq '-c') { $Action = 'compile'; } 340fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg =~ /^-print-prog-name/) { exit 0; } 34127783eb8a030afd153280a15afdede29819d90d2Ted Kremenek 34227783eb8a030afd153280a15afdede29819d90d2Ted Kremenek # Specially handle duplicate cases of -arch 34327783eb8a030afd153280a15afdede29819d90d2Ted Kremenek if ($Arg eq "-arch") { 34427783eb8a030afd153280a15afdede29819d90d2Ted Kremenek my $arch = $ARGV[$i+1]; 34527783eb8a030afd153280a15afdede29819d90d2Ted Kremenek $ArchsSeen{$arch} = 1; 34627783eb8a030afd153280a15afdede29819d90d2Ted Kremenek ++$i; 34727783eb8a030afd153280a15afdede29819d90d2Ted Kremenek next; 34827783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 34927783eb8a030afd153280a15afdede29819d90d2Ted Kremenek 350fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to compiler. 35189c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $CompileOptionMap{$ArgKey}) { 35289c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $CompileOptionMap{$ArgKey}; 353fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Arg; 354fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { ++$i; --$Cnt; push @CompileOpts, $ARGV[$i]; } 355fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 356fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 357fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 358fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to linker. 35989c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $LinkerOptionMap{$ArgKey}) { 36089c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $LinkerOptionMap{$ArgKey}; 361fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts,$Arg; 362fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { ++$i; --$Cnt; push @LinkOpts, $ARGV[$i]; } 363fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 364fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 365fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 366fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to both compiler 367fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # and the linker. 36889c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $CompilerLinkerOptionMap{$ArgKey}) { 36989c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $CompilerLinkerOptionMap{$ArgKey}; 37047fc25f0c18bb68d4f41789b7b52b34ec6d39d76Ted Kremenek 371a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek # Check if this is an option that should have a unique value, and if so 372a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek # determine if the value was checked before. 373a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek if ($UniqueOptions{$Arg}) { 374a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek if (defined $Uniqued{$Arg}) { 375a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek $i += $Cnt; 376a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek next; 377a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek } 378a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek $Uniqued{$Arg} = 1; 379a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek } 380a30730e5cd1aac279bf901050f8f0b6f22516010Ted Kremenek 38147fc25f0c18bb68d4f41789b7b52b34ec6d39d76Ted Kremenek push @CompileOpts,$Arg; 38247fc25f0c18bb68d4f41789b7b52b34ec6d39d76Ted Kremenek push @LinkOpts,$Arg; 38347fc25f0c18bb68d4f41789b7b52b34ec6d39d76Ted Kremenek 384fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { 385fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; --$Cnt; 386fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts, $ARGV[$i]; 387fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts, $ARGV[$i]; 388fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 389fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 390fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 39161cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 392fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Ignored options. 39389c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek if (defined $IgnoredOptionMap{$ArgKey}) { 39489c4fcfd056e65a47d713798bcd22d0273162c8aTed Kremenek my $Cnt = $IgnoredOptionMap{$ArgKey}; 395fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { 396fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; --$Cnt; 397fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 398fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 399fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 40061cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 401fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Compile mode flags. 402fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-[D,I,U](.*)$/) { 403fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Tmp = $Arg; 404fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($1 eq '') { 405fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Check if we are going off the end. 406fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 407fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Tmp = $Arg . $ARGV[$i]; 408fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 409fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Tmp; 410fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 411fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 412fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 413fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Language. 414fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-x') { 415fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Lang = $ARGV[$i+1]; 416fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; next; 417fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 418fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 419fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Output file. 420fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-o') { 421fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 422fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Output = $ARGV[$i]; 423fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 424fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 425fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 426fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Get the link mode. 427fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-[l,L,O]/) { 428fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-O') { push @LinkOpts,'-O1'; } 429fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg eq '-Os') { push @LinkOpts,'-O2'; } 430fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek else { push @LinkOpts,$Arg; } 431fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 432fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 433fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 434fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-std=/) { 435fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Arg; 436fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 437fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 438fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 439fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# if ($Arg =~ /^-f/) { 440fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# # FIXME: Not sure if the remaining -fxxxx options have no arguments. 441fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# push @CompileOpts,$Arg; 442fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# push @LinkOpts,$Arg; # FIXME: Not sure if these are link opts. 443fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# } 444fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 445fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Get the compiler/link mode. 446fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-F(.+)$/) { 447fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Tmp = $Arg; 448fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($1 eq '') { 449fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Check if we are going off the end. 450fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 451fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Tmp = $Arg . $ARGV[$i]; 452fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 453fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Tmp; 454fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts,$Tmp; 455fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 456fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 457fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 458fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Input files. 459fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-filelist') { 460fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Make sure we aren't walking off the end. 461fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek open(IN, $ARGV[$i+1]); 462fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while (<IN>) { s/\015?\012//; push @Files,$_; } 463fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek close(IN); 464fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; next; 465fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 466fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 467fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (!($Arg =~ /^-/)) { 468fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @Files,$Arg; next; 469fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 470fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 471fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 472fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif ($Action eq 'compile' or $Action eq 'link') { 473fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek foreach my $file (@Files) { 474fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Determine the language for the file. 475fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $FileLang = $Lang; 476fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 477fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (!defined($FileLang)) { 478fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Infer the language from the extension. 479fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($file =~ /[.]([^.]+)$/) { 480fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $FileLang = $LangMap{$1}; 481fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 482fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 48326681e8e3a18acebd347061e20e167a81c47a408Ted Kremenek 484fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next if (!defined $FileLang); 485fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 486fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my @AnalyzeArgs; 487fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 488fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($FileLang ne 'unknown') { 489fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @AnalyzeArgs,'-x'; 490fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @AnalyzeArgs,$FileLang; 491fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 49261cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 49307c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu if (defined $StoreModel) { 494be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek push @AnalyzeArgs, "-analyzer-store=$StoreModel"; 49507c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu } 496be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek 497be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek if (defined $ConstraintsModel) { 498be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek push @AnalyzeArgs, "-analyzer-constraints=$ConstraintsModel"; 499be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek } 500be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek 501db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek if (defined $OutputFormat) { 502be1fe1eb12a1cb91c8e3a9fcc2db4dfe989def6cTed Kremenek push @AnalyzeArgs, "-analyzer-output=" . $OutputFormat; 503ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek if ($OutputFormat eq "plist") { 504ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek # Change "Output" to be a file. 505ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek my ($h, $f) = tempfile("report-XXXXXX", SUFFIX => ".plist", 506ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek DIR => $HtmlDir); 507ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek $ResultFile = $f; 508ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek $CleanupFile = $f; 509ddf32dabe71f00aa0943449f67201f587f0a04d6Ted Kremenek } 510db4f5f26182c522e659af655e2582cc5ea35a971Ted Kremenek } 51107c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu 512fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @AnalyzeArgs,@CompileOpts; 513fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @AnalyzeArgs,$file; 51407c3767be59472e19183c7b51fae76481465cb51Zhongxing Xu 51527783eb8a030afd153280a15afdede29819d90d2Ted Kremenek my @Archs = keys %ArchsSeen; 51627783eb8a030afd153280a15afdede29819d90d2Ted Kremenek if (scalar @Archs) { 51727783eb8a030afd153280a15afdede29819d90d2Ted Kremenek foreach my $arch (@Archs) { 51827783eb8a030afd153280a15afdede29819d90d2Ted Kremenek my @NewArgs; 51927783eb8a030afd153280a15afdede29819d90d2Ted Kremenek push @NewArgs, '-arch'; 52027783eb8a030afd153280a15afdede29819d90d2Ted Kremenek push @NewArgs, $arch; 52127783eb8a030afd153280a15afdede29819d90d2Ted Kremenek push @NewArgs, @AnalyzeArgs; 52227783eb8a030afd153280a15afdede29819d90d2Ted Kremenek Analyze($Clang, \@NewArgs, $FileLang, $Output, 52327783eb8a030afd153280a15afdede29819d90d2Ted Kremenek $Verbose, $HtmlDir, $file, $Analyses); 52427783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 52527783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 52627783eb8a030afd153280a15afdede29819d90d2Ted Kremenek else { 52727783eb8a030afd153280a15afdede29819d90d2Ted Kremenek Analyze($Clang, \@AnalyzeArgs, $FileLang, $Output, 52827783eb8a030afd153280a15afdede29819d90d2Ted Kremenek $Verbose, $HtmlDir, $file, $Analyses); 52927783eb8a030afd153280a15afdede29819d90d2Ted Kremenek } 530fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 531fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 532b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 533948e06babdf81033517b54910fedda8079f29ff9Ted Kremenekexit($Status >> 8); 534948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek 535