adlint 1.0.0

data/Rakefile

@@ -0,0 +1,167 @@
+#--
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint 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.
+#
+# AdLint 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
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+
+require "rubygems/package_task"
+require "rdoc/task"
+
+$: << File.expand_path("lib", File.dirname(__FILE__))
+require "adlint/version"
+
+task :default => [:gem]
+task :gem => [:parser, :doc]
+task :package => [:parser, :doc]
+
+gemspec = Gem::Specification.new do |s|
+  s.name        = "adlint"
+  s.version     = AdLint::SHORT_VERSION
+  s.date        = AdLint::RELEASE_DATE
+  s.homepage    = "http://adlint.sourceforge.net/"
+  s.licenses    = ["GPLv3+: GNU General Public License version 3 or later"]
+  s.author      = "Yutaka Yanoh"
+  s.email       = "yanoh@users.sourceforge.net"
+  s.summary     = <<EOS
+AdLint :: Advanced Lint - An open source and free source code static analyzer
+EOS
+  s.description = <<EOS
+AdLint is a source code static analyzer.
+It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code.
+It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99.
+EOS
+
+  s.required_ruby_version = Gem::Requirement.new(">= 1.9.3")
+
+  s.executables   = %w(adlint adlint_sma adlint_cma adlint_chk adlintize)
+  s.require_paths = %w(lib)
+  manifest_fpath  = File.expand_path("MANIFEST", File.dirname(__FILE__))
+  s.files         = File.readlines(manifest_fpath).map { |str| str.chomp }
+
+  s.has_rdoc         = true
+  s.extra_rdoc_files = %w(README)
+  s.rdoc_options     = ["--main", "README", "--charset", "utf-8"]
+
+  s.post_install_message = <<EOS
+-------------------------------------------------------------------------------
+     ___    ____  __    ___   _________
+    /   |  / _  |/ /   / / | / /__  __/            Source Code Static Analyzer
+   / /| | / / / / /   / /  |/ /  / /                    AdLint - Advanced Lint
+  / __  |/ /_/ / /___/ / /|  /  / /
+ /_/  |_|_____/_____/_/_/ |_/  /_/    Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+
+                         Thanks for installing AdLint!
+     Please visit our project homepage at <http://adlint.sourceforge.net/>.
+
+-------------------------------------------------------------------------------
+EOS
+end
+
+Gem::PackageTask.new(gemspec) do |pkg|
+  pkg.need_zip = true
+  pkg.need_tar_bz2 = true
+end
+
+desc "Generate all parsers"
+task :parser do
+  chdir "lib/adlint/cpp" do
+    racc Dir["*.y"]
+  end
+  chdir "lib/adlint/c" do
+    racc Dir["*.y"]
+  end
+end
+
+desc "Build Texinfo HTML files"
+task :doc do
+  chdir "share/doc" do
+    make "all"
+  end
+end
+
+RDoc::Task.new(:rdoc) do |rd|
+  rd.rdoc_dir = "rdoc"
+  rd.title = "AdLint #{AdLint::SHORT_VERSION} Documentation"
+  rd.main = "README"
+  rd.rdoc_files.include("README")
+  rd.rdoc_files.include("bin/*")
+  rd.rdoc_files.include("lib/**/*.{rb,y}")
+  rd.rdoc_files.exclude("lib/adlint/cpp/constexpr.rb")
+  rd.rdoc_files.exclude("lib/adlint/c/parser.rb")
+  rd.options << "--charset=utf-8" << "--all"
+end
+
+desc "Generate tags file"
+task :tags do
+  ctags *Dir["bin/*", "lib/**/*.rb"]
+end
+
+desc "Remove all temporary products"
+task :clean do
+  chdir "lib/adlint/cpp" do
+    rm_f Dir["*.output"]
+  end
+  chdir "lib/adlint/c" do
+    rm_f Dir["*.output"]
+  end
+end
+
+desc "Remove all generated products"
+task :clobber => :clean do
+  chdir "lib/adlint/cpp" do
+    rm_f Dir["*.y"].map { |f| "#{File.basename(f, '.y')}.rb" }
+  end
+  chdir "lib/adlint/c" do
+    rm_f Dir["*.y"].map { |f| "#{File.basename(f, '.y')}.rb" }
+  end
+  rm_f Dir["share/doc/*.html"]
+  rm_rf ["rdoc", "pkg"]
+  rm_f "tags"
+end
+
+def racc(files)
+  files.each do |file|
+    sh "racc #{file} -o #{File.basename(file, ".y")}.rb"
+    racced_src = File.open("#{File.basename(file, ".y")}.rb") { |io| io.read }
+    File.open("#{File.basename(file, ".y")}.rb", "w") do |io|
+      beautify_racced_source(racced_src).each { |line| io.puts(line) }
+    end
+  end
+end
+
+def beautify_racced_source(src)
+  end_count = 0
+  src.each_line.reverse_each.map { |line|
+    line.chomp!
+    if end_count < 3 && line =~ /\A\s*(end\b.*)\z/
+      line = "  " * end_count + $1
+      end_count += 1
+    end
+    line
+  }.reverse
+end
+
+def make(*targets)
+  sh "make " + targets.join(" ")
+end
+
+def ctags(*files)
+  sh "ctags " + files.join(" ")
+end

data/TODO

@@ -0,0 +1,29 @@
+--
+     ___    ____  __    ___   _________
+    /   |  / _  |/ /   / / | / /__  __/            Source Code Static Analyzer
+   / /| | / / / / /   / /  |/ /  / /                    AdLint - Advanced Lint
+  / __  |/ /_/ / /___/ / /|  /  / /
+ /_/  |_|_____/_____/_/_/ |_/  /_/    Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+
+ This file is part of AdLint.
+
+ AdLint 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.
+
+ AdLint 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
+ AdLint.  If not, see <http://www.gnu.org/licenses/>.
+
+++
+
+* Write unit and functional tests with RSpec
+* Support many more preset build environments
+* Implement automatic traits files generator
+* Improve performance
+
+Any contributions are welcome!

data/bin/adlint

@@ -0,0 +1,141 @@
+#! /usr/bin/env ruby
+#
+# All in one analyzer.
+#
+# Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# License::   GPLv3+: GNU General Public License version 3 or later
+#
+# Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+
+#--
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint 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.
+#
+# AdLint 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
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+
+require "pathname"
+
+$bindir = Pathname.new(__FILE__).realpath.dirname
+$prefix = Pathname.new("..").expand_path($bindir)
+$libdir = Pathname.new("lib").expand_path($prefix)
+$etcdir = Pathname.new("etc").expand_path($prefix)
+
+$stdout.set_encoding(Encoding.default_external)
+$stderr.set_encoding(Encoding.default_external)
+
+$:.unshift($libdir.to_s)
+
+require "adlint"
+
+ADLINT_VERSION = "AdLint all in one analyzer #{AdLint::VERSION}"
+
+USAGE = <<EOS
+Usage: adlint [options] [source-file...]
+Options:
+  -t FILE, --traits FILE         Use FILE as traits file (mandatory)
+  -l FILE, --list-file FILE      Use FILE as list file
+  -o DIR, --output-dir DIR       Output result files to DIR
+  -p NUM, --strip NUM            Use source file names from which stripped NUM
+                                 leading components as the base name of output
+                                 files
+  -v, --verbose                  Increase verbosity but suppress message output
+      --version                  Display version information
+      --copyright                Display copyright information
+      --prefix                   Display prefix directory of AdLint
+  -h, --help                     Display this message
+EOS
+
+require "getoptlong"
+
+parser = GetoptLong.new(["--traits", "-t", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--list-file", "-l", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--output-dir", "-o", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--strip", "-p", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--verbose", "-v", GetoptLong::NO_ARGUMENT],
+                        ["--version", GetoptLong::NO_ARGUMENT],
+                        ["--copyright", GetoptLong::NO_ARGUMENT],
+                        ["--prefix", GetoptLong::NO_ARGUMENT],
+                        ["--help", "-h", GetoptLong::NO_ARGUMENT])
+
+begin
+  traits_fpath = nil
+  list_fpath = nil
+  output_dpath = nil
+  strip_num = 0
+  verbose = false
+
+  parser.each do |option, value|
+    case option
+    when "--traits"
+      traits_fpath = Pathname.new(value)
+    when "--list-file"
+      list_fpath = Pathname.new(value)
+    when "--output-dir"
+      output_dpath = Pathname.new(value)
+    when "--strip"
+      strip_num = value.to_i
+    when "--verbose"
+      verbose = true
+    when "--version"
+      puts ADLINT_VERSION, AdLint::AUTHOR
+      exit 0
+    when "--copyright"
+      puts AdLint::COPYRIGHT
+      exit 0
+    when "--prefix"
+      puts $prefix
+      exit 0
+    when "--help"
+      puts USAGE
+      exit 0
+    end
+  end
+rescue
+  $stderr.puts USAGE
+  exit 1
+end
+
+if list_fpath
+  fpaths = File.readlines(list_fpath).map { |line| Pathname.new(line.chomp) }
+else
+  fpaths = ARGV.map { |str| Pathname.new(str) }
+end
+
+if fpaths.empty?
+  $stderr.puts "#{File.basename(__FILE__)}: no input files"
+  $stderr.puts USAGE
+  exit 1
+end
+
+unless traits_fpath
+  $stderr.puts "#{File.basename(__FILE__)}: no traits file"
+  $stderr.puts USAGE
+  exit 1
+end
+
+AdLint.setup(File.basename(__FILE__), traits_fpath, verbose)
+
+AdLint.sma(fpaths, strip_num, output_dpath)
+
+sma_met_fpaths = AdLint.sma_met_fpaths(fpaths, strip_num, output_dpath)
+AdLint.cma(sma_met_fpaths, output_dpath)
+
+exit 0

data/bin/adlint_chk

@@ -0,0 +1,129 @@
+#! /usr/bin/env ruby
+#
+# Configuration validator.
+#
+# Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# License::   GPLv3+: GNU General Public License version 3 or later
+#
+# Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+
+#--
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint 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.
+#
+# AdLint 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
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+
+require "pathname"
+
+$bindir = Pathname.new(__FILE__).realpath.dirname
+$prefix = Pathname.new("..").expand_path($bindir)
+$libdir = Pathname.new("lib").expand_path($prefix)
+$etcdir = Pathname.new("etc").expand_path($prefix)
+
+$stdout.set_encoding(Encoding.default_external)
+$stderr.set_encoding(Encoding.default_external)
+
+$:.unshift($libdir.to_s)
+
+require "adlint"
+
+VERSION = "AdLint configuration validator #{AdLint::VERSION}"
+
+USAGE = <<EOS
+Usage: adlint_chk [options] source-file...
+Options:
+  -t FILE, --traits FILE         Use FILE as traits file (mandatory)
+  -o DIR, --output-dir DIR       Output result files to DIR
+  -p NUM, --strip NUM            Use source file names from which stripped NUM
+                                 leading components as the base name of output
+                                 files
+  -v, --verbose                  Increase verbosity but suppress message output
+      --version                  Display version information
+      --copyright                Display copyright information
+      --prefix                   Display prefix directory of AdLint
+  -h, --help                     Display this message
+EOS
+
+require "getoptlong"
+
+parser = GetoptLong.new(["--traits", "-t", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--output-dir", "-o", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--strip", "-p", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--verbose", "-v", GetoptLong::NO_ARGUMENT],
+                        ["--version", GetoptLong::NO_ARGUMENT],
+                        ["--copyright", GetoptLong::NO_ARGUMENT],
+                        ["--prefix", GetoptLong::NO_ARGUMENT],
+                        ["--help", "-h", GetoptLong::NO_ARGUMENT])
+
+begin
+  traits_fpath = nil
+  output_dpath = nil
+  strip_num = 0
+  verbose = false
+
+  parser.each_option do |option, value|
+    case option
+    when "--traits"
+      traits_fpath = Pathname.new(value)
+    when "--output-dir"
+      output_dpath = Pathname.new(value)
+    when "--strip"
+      strip_num = value.to_i
+    when "--verbose"
+      verbose = true
+    when "--version"
+      puts VERSION, AdLint::AUTHOR
+      exit 0
+    when "--copyright"
+      puts AdLint::COPYRIGHT
+      exit 0
+    when "--prefix"
+      puts $prefix
+      exit 0
+    when "--help"
+      puts USAGE
+      exit 0
+    end
+  end
+rescue
+  $stderr.puts USAGE
+  exit 1
+end
+
+fpaths = ARGV.map { |str| Pathname.new(str) }
+
+if fpaths.empty?
+  $stderr.puts "#{File.basename(__FILE__)}: no input files"
+  $stderr.puts USAGE
+  exit 1
+end
+
+unless traits_fpath
+  $stderr.puts "#{File.basename(__FILE__)}: no traits file"
+  $stderr.puts USAGE
+  exit 1
+end
+
+AdLint.setup(File.basename(__FILE__), traits_fpath, verbose)
+
+AdLint.chk(fpaths, strip_num, output_dpath)
+
+exit 0

data/bin/adlint_cma

@@ -0,0 +1,122 @@
+#! /usr/bin/env ruby
+#
+# Cross module analyzer.
+#
+# Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# License::   GPLv3+: GNU General Public License version 3 or later
+#
+# Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+
+#--
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint 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.
+#
+# AdLint 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
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+
+require "pathname"
+
+$bindir = Pathname.new(__FILE__).realpath.dirname
+$prefix = Pathname.new("..").expand_path($bindir)
+$libdir = Pathname.new("lib").expand_path($prefix)
+$etcdir = Pathname.new("etc").expand_path($prefix)
+
+$stdout.set_encoding(Encoding.default_external)
+$stderr.set_encoding(Encoding.default_external)
+
+$:.unshift($libdir.to_s)
+
+require "adlint"
+
+ADLINT_VERSION = "AdLint cross module analyzer #{AdLint::VERSION}"
+
+USAGE = <<EOS
+Usage: adlint_cma [options] sma-metric-file...
+Options:
+  -t FILE, --traits FILE         Use FILE as traits file (mandatory)
+  -o DIR, --output-dir DIR       Output result files to DIR
+  -v, --verbose                  Increase verbosity but suppress message output
+      --version                  Display version information
+      --copyright                Display copyright information
+      --prefix                   Display prefix directory of AdLint
+  -h, --help                     Display this message
+EOS
+
+require "getoptlong"
+
+parser = GetoptLong.new(["--traits", "-t", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--output-dir", "-o", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--verbose", "-v", GetoptLong::NO_ARGUMENT],
+                        ["--version", GetoptLong::NO_ARGUMENT],
+                        ["--copyright", GetoptLong::NO_ARGUMENT],
+                        ["--prefix", GetoptLong::NO_ARGUMENT],
+                        ["--help", "-h", GetoptLong::NO_ARGUMENT])
+
+begin
+  traits_fpath = nil
+  output_dpath = nil
+  verbose = false
+
+  parser.each_option do |option, value|
+    case option
+    when "--traits"
+      traits_fpath = Pathname.new(value)
+    when "--output-dir"
+      output_dpath = Pathname.new(value)
+    when "--verbose"
+      verbose = true
+    when "--version"
+      puts ADLINT_VERSION, AdLint::AUTHOR
+      exit 0
+    when "--copyright"
+      puts AdLint::COPYRIGHT
+      exit 0
+    when "--prefix"
+      puts $prefix
+      exit 0
+    when "--help"
+      puts USAGE
+      exit 0
+    end
+  end
+rescue
+  $stderr.puts USAGE
+  exit 1
+end
+
+fpaths = ARGV.map { |str| Pathname.new(str) }
+
+if fpaths.empty?
+  $stderr.puts "#{File.basename(__FILE__)}: no input files"
+  $stderr.puts USAGE
+  exit 1
+end
+
+unless traits_fpath
+  $stderr.puts "#{File.basename(__FILE__)}: no traits file"
+  $stderr.puts USAGE
+  exit 1
+end
+
+AdLint.setup(File.basename(__FILE__), traits_fpath, verbose)
+
+AdLint.cma(fpaths, output_dpath)
+
+exit 0