ccc-analyzer revision 82a1253077cd0832e4d347062b911cd305ab62d1
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 /; 202ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenek 212ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenekmy $CC = $ENV{'CCC_CC'}; 222ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenekif (!defined $CC) { $CC = "gcc"; } 23991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 24991c54b9b7409656e5593364e065878b5210d556Ted Kremenek##----------------------------------------------------------------------------## 25991c54b9b7409656e5593364e065878b5210d556Ted Kremenek# Process Clang Crashes. 26991c54b9b7409656e5593364e065878b5210d556Ted Kremenek##----------------------------------------------------------------------------## 27991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 28991c54b9b7409656e5593364e065878b5210d556Ted Kremeneksub GetPPExt { 29991c54b9b7409656e5593364e065878b5210d556Ted Kremenek my $Lang = shift; 30991c54b9b7409656e5593364e065878b5210d556Ted Kremenek if ($Lang =~ /objective-c/) { return ".mi"; } 31991c54b9b7409656e5593364e065878b5210d556Ted Kremenek return ".i"; 32991c54b9b7409656e5593364e065878b5210d556Ted Kremenek} 33991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 345d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremeneksub ProcessClangFailure { 359a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek my ($Lang, $file, $Args, $HtmlDir, $ErrorType, $ofile) = @_; 36991c54b9b7409656e5593364e065878b5210d556Ted Kremenek my $Dir = "$HtmlDir/crashes"; 37991c54b9b7409656e5593364e065878b5210d556Ted Kremenek mkpath $Dir; 38991c54b9b7409656e5593364e065878b5210d556Ted Kremenek my ($PPH, $PPFile) = tempfile("clang_crash_XXXXXX", 39991c54b9b7409656e5593364e065878b5210d556Ted Kremenek SUFFIX => GetPPExt($Lang), 40991c54b9b7409656e5593364e065878b5210d556Ted Kremenek DIR => $Dir); 41991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 422ec5cd553542ec54652fb2ae2395e46795b1af84Ted Kremenek system $CC, @$Args, "-E", "-o", $PPFile; 43991c54b9b7409656e5593364e065878b5210d556Ted Kremenek close ($PPH); 4482a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek open (OUT, ">", "$PPFile.info.txt") or die "Cannot open $PPFile.info.txt\n"; 455f2825f6fa24a792c11cf96accd76538a2fd951eTed Kremenek print OUT abs_path($file), "\n"; 465d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremenek print OUT "$ErrorType\n"; 472dd7ad13bbbd43cb940040725a30cb7789bd2774Ted Kremenek print OUT "@$Args\n"; 48991c54b9b7409656e5593364e065878b5210d556Ted Kremenek close OUT; 4982a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek `uname -a >> $PPFile.info.txt 2>&1`; 5082a1253077cd0832e4d347062b911cd305ab62d1Ted Kremenek `$CC -v >> $PPFile.info.txt 2>&1`; 519f9b1fded49acff77e61b3ed1afc8bbaaefe6f34Ted Kremenek system 'mv',$ofile,"$PPFile.stderr.txt"; 52991c54b9b7409656e5593364e065878b5210d556Ted Kremenek} 53b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 54fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 55fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Running the analyzer. 56fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 57b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 58fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremeneksub Analyze { 59fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my ($Clang, $Args, $Lang, $Output, $Verbose, $HtmlDir, $file, $Analyses) = @_; 60d389465f426069115a35e857ef11f1fcc5a2f69cSeo Sanghyeon 61fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Skip anything related to C++. 62fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek return if ($Lang =~ /c[+][+]/); 635d31f83bbe990aeb070ce6c8d919d229d4eb5052Ted Kremenek 64fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $RunAnalyzer = 0; 65fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Cmd; 66fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my @CmdArgs; 67991c54b9b7409656e5593364e065878b5210d556Ted Kremenek my @CmdArgsSansAnalyses; 68fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 69fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Lang =~ /header/) { 70fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek exit 0 if (!defined ($Output)); 71fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Cmd = 'cp'; 72fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,$file; 73fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Remove the PCH extension. 74fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Output =~ s/[.]gch$//; 75fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,$Output; 76991c54b9b7409656e5593364e065878b5210d556Ted Kremenek @CmdArgsSansAnalyses = @CmdArgs; 77fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 78fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek else { 79fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Cmd = $Clang; 80fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,'-DIBOutlet=__attribute__((iboutlet))'; 81fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,@$Args; 82991c54b9b7409656e5593364e065878b5210d556Ted Kremenek @CmdArgsSansAnalyses = @CmdArgs; 83991c54b9b7409656e5593364e065878b5210d556Ted Kremenek push @CmdArgs,(split /\s/,$Analyses); 84fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $RunAnalyzer = 1; 85fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 86fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 87fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my @PrintArgs; 88fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $dir; 8961cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 90fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Verbose) { 91fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $dir = getcwd(); 92fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "\n[LOCATION]: $dir\n"; 93fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @PrintArgs,"'$Cmd'"; 94fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek foreach my $arg (@CmdArgs) { push @PrintArgs,"\'$arg\'"; } 95fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 96fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 97fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Verbose == 1) { 9861cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek # We MUST print to stderr. Some clients use the stdout output of 9961cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek # gcc for various purposes. 100fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR join(' ',@PrintArgs); 101fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "\n"; 102fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 103fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Verbose == 2) { 104fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek print STDERR "#SHELL (cd '$dir' && @PrintArgs)\n"; 105fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 10661cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 107fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($RunAnalyzer and defined($HtmlDir)) { 108fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,'-o'; 109fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CmdArgs,$HtmlDir; 110fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 111948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek 112948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek if (defined $ENV{'CCC_UBI'}) { 113948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek push @CmdArgs,"--analyzer-viz-egraph-ubigraph"; 114948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek } 115991c54b9b7409656e5593364e065878b5210d556Ted Kremenek 1169a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Capture the STDERR of clang and send it to a temporary file. 1179a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Capture the STDOUT of clang and reroute it to ccc-analyzer's STDERR. 1189a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # We save the output file in the 'crashes' directory if clang encounters 1199a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # any problems with the file. 1201346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek pipe (FROM_CHILD, TO_PARENT); 1219a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek my $pid = fork(); 1229a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek if ($pid == 0) { 1231346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek close FROM_CHILD; 1241346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek open(STDOUT,">&", \*TO_PARENT); 1251346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek open(STDERR,">&", \*TO_PARENT); 1269a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek exec $Cmd, @CmdArgs; 1279a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek } 1281346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek 1291346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek close TO_PARENT; 1301346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek my ($ofh, $ofile) = tempfile("clang_output_XXXXXX", DIR => $HtmlDir); 1311346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek 1321346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek while (<FROM_CHILD>) { 1331346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek print $ofh $_; 1341346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek print STDERR $_; 1351346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek } 1361346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek 1371346268d7f44551ab63e25dbbf5e3ae9402708c5Ted Kremenek waitpid($pid,0); 1389a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek my $Result = $?; 1399a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek 1409a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek # Did the command die because of a signal? 1419a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek if ($Result & 127 and $Cmd eq $Clang and defined $HtmlDir) { 1429a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek ProcessClangFailure($Lang, $file, \@CmdArgsSansAnalyses, $HtmlDir, 1439a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek "Crash", $ofile); 1449a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek } 1459a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek elsif ($Result) { 1469a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek ProcessClangFailure($Lang, $file, \@CmdArgsSansAnalyses, $HtmlDir, 1479a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek "Parser Rejects", $ofile); 1489a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek } 1499a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek 1509a3c7dae00402a60a9dbe918e310214c92c5baebTed Kremenek `rm -f $ofile`; 151fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 152fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 153fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 154fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Lookup tables. 155fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 156fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 157fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %CompileOptionMap = ( 158fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-nostdinc' => 0, 159fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-fobjc-gc-only' => 0, 160fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-fobjc-gc' => 0, 161fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-include' => 1, 162fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-idirafter' => 1, 163fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iprefix' => 1, 164fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iquote' => 1, 165fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-isystem' => 1, 166fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iwithprefix' => 1, 167fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-iwithprefixbefore' => 1 168fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 169fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 170fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %LinkerOptionMap = ( 171fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-framework' => 1 172fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 173fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 174fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %CompilerLinkerOptionMap = ( 175fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-isysroot' => 1, 176fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-arch' => 1, 177fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-v' => 0 178fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 179fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 180fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %IgnoredOptionMap = ( 181940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek '-MT' => 1, # Ignore these preprocessor options. 182940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek '-MF' => 1, 183940260996dfae2b6acd0466c1519b8e5083bed83Ted Kremenek 184fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-fsyntax-only' => 0, 185fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-save-temps' => 0, 186fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-install_name' => 1, 187fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-exported_symbols_list' => 1, 188fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-current_version' => 1, 189fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-compatibility_version' => 1, 190fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-init' => 1, 191fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-e' => 1, 192fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-seg1addr' => 1, 193fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-bundle_loader' => 1, 194fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-multiply_defined' => 1, 195fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-sectorder' => 3, 196fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '--param' => 1, 197fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek '-u' => 1 198fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 199fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 200fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy %LangMap = ( 201fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'c' => 'c', 202fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'cpp' => 'c++', 203fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'cc' => 'c++', 204fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'i' => 'c-cpp-output', 205fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'm' => 'objective-c', 206fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 'mi' => 'objective-c-cpp-output' 207fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek); 208fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 209fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 210fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Main Logic. 211fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek##----------------------------------------------------------------------------## 212fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 213fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Action = 'link'; 214fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @CompileOpts; 215fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @LinkOpts; 216fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy @Files; 217fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Lang; 218fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Output; 219fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 220fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Forward arguments to gcc. 221f17ef3caf19ebff18a4ee0e7984dfc6036f34b2eTed Kremenekmy $Status = system($CC,@ARGV); 222cb344d0f9b9f4b9114ab2b35a34017e89d8b0c17Ted Kremenekif ($Status) { exit($Status >> 8); } 223fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 224fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Get the analysis options. 225fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Analyses = $ENV{'CCC_ANALYZER_ANALYSIS'}; 226fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (!defined($Analyses)) { $Analyses = '-checker-cfref'; } 227fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 228fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Determine the level of verbosity. 229fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Verbose = 0; 230fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (defined $ENV{CCC_ANALYZER_VERBOSE}) { $Verbose = 1; } 231fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (defined $ENV{CCC_ANALYZER_LOG}) { $Verbose = 2; } 232fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 233fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Determine what clang executable to use. 234fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $Clang = $ENV{'CLANG'}; 235fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif (!defined $Clang) { $Clang = 'clang'; } 236fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 237fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Get the HTML output directory. 238fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekmy $HtmlDir = $ENV{'CCC_ANALYZER_HTML'}; 239fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 240fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 241fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# Process the arguments. 242fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekforeach (my $i = 0; $i < scalar(@ARGV); ++$i) { 243fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Arg = $ARGV[$i]; 24461cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 245fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Modes ccc-analyzer supports 246fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-E') { $Action = 'preprocess'; } 247fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg eq '-c') { $Action = 'compile'; } 248fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg =~ /^-print-prog-name/) { exit 0; } 24909c2ad63c3069c08efa1b4cdbc8beafcb7f1a221Ted Kremenek 250fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to compiler. 251fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (defined $CompileOptionMap{$Arg}) { 252fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Cnt = $CompileOptionMap{$Arg}; 253fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Arg; 254fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { ++$i; --$Cnt; push @CompileOpts, $ARGV[$i]; } 255fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 256fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 257fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 258fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to linker. 259fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (defined $LinkerOptionMap{$Arg}) { 260fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Cnt = $LinkerOptionMap{$Arg}; 261fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts,$Arg; 262fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { ++$i; --$Cnt; push @LinkOpts, $ARGV[$i]; } 263fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 264fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 265fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 266fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Options with possible arguments that should pass through to both compiler 267fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # and the linker. 268fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (defined $CompilerLinkerOptionMap{$Arg}) { 269fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Cnt = $CompilerLinkerOptionMap{$Arg}; 270fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Arg; 271fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts,$Arg; 272fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { 273fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; --$Cnt; 274fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts, $ARGV[$i]; 275fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts, $ARGV[$i]; 276fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 277fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 278fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 27961cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 280fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Ignored options. 281fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (defined $IgnoredOptionMap{$Arg}) { 282fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Cnt = $IgnoredOptionMap{$Arg}; 283fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while ($Cnt > 0) { 284fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; --$Cnt; 285fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 286fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 287fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 28861cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 289fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Compile mode flags. 290fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-[D,I,U](.*)$/) { 291fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Tmp = $Arg; 292fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($1 eq '') { 293fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Check if we are going off the end. 294fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 295fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Tmp = $Arg . $ARGV[$i]; 296fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 297fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Tmp; 298fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 299fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 300fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 301fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Language. 302fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-x') { 303fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Lang = $ARGV[$i+1]; 304fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; next; 305fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 306fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 307fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Output file. 308fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-o') { 309fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 310fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Output = $ARGV[$i]; 311fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 312fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 313fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 314fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Get the link mode. 315fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-[l,L,O]/) { 316fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-O') { push @LinkOpts,'-O1'; } 317fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek elsif ($Arg eq '-Os') { push @LinkOpts,'-O2'; } 318fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek else { push @LinkOpts,$Arg; } 319fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 320fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 321fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 322fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-std=/) { 323fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Arg; 324fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 325fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 326fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 327fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# if ($Arg =~ /^-f/) { 328fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# # FIXME: Not sure if the remaining -fxxxx options have no arguments. 329fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# push @CompileOpts,$Arg; 330fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# push @LinkOpts,$Arg; # FIXME: Not sure if these are link opts. 331fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek# } 332fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 333fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Get the compiler/link mode. 334fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg =~ /^-F(.+)$/) { 335fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $Tmp = $Arg; 336fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($1 eq '') { 337fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Check if we are going off the end. 338fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; 339fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Tmp = $Arg . $ARGV[$i]; 340fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 341fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @CompileOpts,$Tmp; 342fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @LinkOpts,$Tmp; 343fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next; 344fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 345fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 346fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Input files. 347fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($Arg eq '-filelist') { 348fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # FIXME: Make sure we aren't walking off the end. 349fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek open(IN, $ARGV[$i+1]); 350fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek while (<IN>) { s/\015?\012//; push @Files,$_; } 351fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek close(IN); 352fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek ++$i; next; 353fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 354fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 355fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (!($Arg =~ /^-/)) { 356fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @Files,$Arg; next; 357fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 358fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 359fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 360fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenekif ($Action eq 'compile' or $Action eq 'link') { 361fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek foreach my $file (@Files) { 362fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Determine the language for the file. 363fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my $FileLang = $Lang; 364fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 365fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if (!defined($FileLang)) { 366fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek # Infer the language from the extension. 367fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($file =~ /[.]([^.]+)$/) { 368fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $FileLang = $LangMap{$1}; 369fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 370fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 37126681e8e3a18acebd347061e20e167a81c47a408Ted Kremenek 372fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek next if (!defined $FileLang); 373fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 374fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek my @AnalyzeArgs; 375fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 376fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek if ($FileLang ne 'unknown') { 377fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @AnalyzeArgs,'-x'; 378fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @AnalyzeArgs,$FileLang; 379fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 38061cd988a7eaadd4b81c63a18a4733bf31399b66cTed Kremenek 381fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @AnalyzeArgs,@CompileOpts; 382fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek push @AnalyzeArgs,$file; 383fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek 384fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek Analyze($Clang, \@AnalyzeArgs, $FileLang, $Output, 385fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek $Verbose, $HtmlDir, $file, $Analyses); 386fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek } 387fbeeca84dd1993d2656e9a259f5d7ee54fe3b162Ted Kremenek} 388b0982880c09a07147b5a9ad275393fedff13aad0Ted Kremenek 389948e06babdf81033517b54910fedda8079f29ff9Ted Kremenekexit($Status >> 8); 390948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek 391948e06babdf81033517b54910fedda8079f29ff9Ted Kremenek 392