diff --git a/safety_finder.rb b/safety_finder.rb index c0909b8..6112fba 100644 --- a/safety_finder.rb +++ b/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 . +# require 'set' require 'yaml' require 'pp' @@ -79,4 +98,4 @@ symbols_known.each do |line| puts "#{line[0]} #{line[1]}" -end +end \ No newline at end of file diff --git a/src/llvm-passes.cpp b/src/llvm-passes.cpp index e970e55..7a2dae8 100644 --- a/src/llvm-passes.cpp +++ b/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 . +// + #include #include #include diff --git a/stoat b/stoat index be75bb6..04f28e6 100755 --- a/stoat +++ b/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 . +# require 'optparse' require 'ostruct' require 'set' @@ -734,4 +753,4 @@ if(error_count == 0) exit 0 else exit(-1) -end +end \ No newline at end of file diff --git a/stoat-compile b/stoat-compile index 59339d8..249914c 100755 --- a/stoat-compile +++ b/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 . +# #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 \ No newline at end of file diff --git a/stoat-compile++ b/stoat-compile++ index a3f8d63..7ccefa3 100755 --- a/stoat-compile++ +++ b/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 . +# #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 \ No newline at end of file diff --git a/test/run-test.rb b/test/run-test.rb index 0779d54..6eb7fae 100644 --- a/test/run-test.rb +++ b/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 . +# # Argument: # 1 - path to run.rb # 2 - path to libfoo.so @@ -48,4 +67,4 @@ exit(0) else exit(-1) -end +end \ No newline at end of file