Add GPLV3 Header

safety_finder.rb

@@ -1,4 +1,23 @@
 #!/usr/bin/ruby
+#
+# stoat - LLVM Based Static Analysis Tool
+# Copyright (C) 2015 Mark McCurry
+#
+# This file is part of stoat.
+#
+# stoat is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# stoat is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with stoat.  If not, see <http://www.gnu.org/licenses/>.
+#
 require 'set'
 require 'yaml'
 require 'pp'
@@ -79,4 +98,4 @@
 
 symbols_known.each do |line|
     puts "#{line[0]} #{line[1]}"
-end
+end

src/llvm-passes.cpp

@@ -1,3 +1,23 @@
+//
+// stoat - LLVM Based Static Analysis Tool
+// Copyright (C) 2015 Mark McCurry
+//
+// This file is part of stoat.
+//
+// stoat is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+//
+// stoat is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+// GNU General Public License for more details.
+//
+// You should have received a copy of the GNU General Public License
+// along with stoat.  If not, see <http://www.gnu.org/licenses/>.
+//
+
 #include <llvm/Analysis/CallGraph.h>
 #include <llvm/Support/raw_ostream.h>
 #include <llvm/IR/Module.h>

stoat

@@ -1,4 +1,23 @@
 #!/usr/bin/ruby
+#
+# stoat - LLVM Based Static Analysis Tool
+# Copyright (C) 2015 Mark McCurry
+#
+# This file is part of stoat.
+#
+# stoat is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# stoat is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with stoat.  If not, see <http://www.gnu.org/licenses/>.
+#
 require 'optparse'
 require 'ostruct'
 require 'set'
@@ -734,4 +753,4 @@ if(error_count == 0)
     exit 0
 else
     exit(-1)
-end
+end

stoat-compile

@@ -1,4 +1,23 @@
 #!/usr/bin/ruby
+#
+# stoat - LLVM Based Static Analysis Tool
+# Copyright (C) 2015 Mark McCurry
+#
+# This file is part of stoat.
+#
+# stoat is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# stoat is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with stoat.  If not, see <http://www.gnu.org/licenses/>.
+#
 
 #Pretend to be clang
 NARGV = ARGV.collect {|x| x.gsub(/(?=\W)/, '\\')}
@@ -31,4 +50,4 @@ NARGV.each do |x|
 end
 if(do_compile && modified)
     `clang -emit-llvm #{new_args.join(' ')} 2>/dev/null`
-end
+end

stoat-compile++

@@ -1,4 +1,23 @@
 #!/usr/bin/ruby
+#
+# stoat - LLVM Based Static Analysis Tool
+# Copyright (C) 2015 Mark McCurry
+#
+# This file is part of stoat.
+#
+# stoat is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# stoat is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with stoat.  If not, see <http://www.gnu.org/licenses/>.
+#
 
 #Pretend to be clang
 NARGV = ARGV.collect {|x| x.gsub(/(?=\W)/, '\\')}
@@ -31,4 +50,4 @@ NARGV.each do |x|
 end
 if(do_compile && modified)
     `clang++ -emit-llvm #{new_args.join(' ')} 2>/dev/null`
-end
+end

test/run-test.rb

@@ -1,4 +1,23 @@
 #!/usr/bin/ruby
+#
+# stoat - LLVM Based Static Analysis Tool
+# Copyright (C) 2015 Mark McCurry
+#
+# This file is part of stoat.
+#
+# stoat is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# stoat is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with stoat.  If not, see <http://www.gnu.org/licenses/>.
+#
 # Argument:
 # 1      - path to run.rb
 # 2      - path to libfoo.so
@@ -48,4 +67,4 @@
     exit(0)
 else
     exit(-1)
-end
+end