adlint-benchmark 1.0.0

data/INSTALL

@@ -0,0 +1,54 @@
+--
+     ___    ____  __    ___   _________
+    /   |  / _  |/ /   / / | / /__  __/            Source Code Static Analyzer
+   / /| | / / / / /   / /  |/ /  / /                    AdLint - Advanced Lint
+  / __  |/ /_/ / /___/ / /|  /  / /
+ /_/  |_|_____/_____/_/_/ |_/  /_/    Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+
+ This file is part of adlint-benchmark.
+
+ adlint-benchmark 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-benchmark 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-benchmark.  If not, see <http://www.gnu.org/licenses/>.
+
+++
+
+=== Requirements
+
+* \AdLint 2.6.10 or later [*mandatory*]
+
+
+=== Installation
+
+You can install adlint-benchmark by following command.
+
+If \AdLint 2.6.10 or later version has not been installed, it will be installed
+automatically before installing adlint-benchmark.
+
+ % gem install adlint-benchmark
+or
+ % sudo gem install adlint-benchmark
+
+
+=== Usage
+
+Run benchmark using Ruby's benchmark library.
+
+ % adlint_bm -p                            
+                                    user     system      total        real
+ screen-4.0.3/process.c.small  16.190000   0.040000  16.230000 ( 16.376713)
+   16.600s user, 0.060s system, 00:00:16.66 total
+
+Run benchmark using time(1).
+
+ % time adlint_bm
+ adlint_bm  0.54s user 0.04s system 99% cpu 0.584 total

data/MANIFEST

@@ -0,0 +1,15 @@
+AUTHORS
+COPYING
+ChangeLog
+INSTALL
+MANIFEST
+NEWS
+README
+Rakefile
+bin/adlint_bm
+lib/adlint/benchmark.rb
+lib/adlint/benchmark/driver.rb
+lib/adlint/benchmark/target.rb
+lib/adlint/benchmark/target/screen_4_0_3_process_c.rb
+lib/adlint/benchmark/target/screen_4_0_3_process_c_small.rb
+lib/adlint/benchmark/version.rb

data/NEWS

@@ -0,0 +1,31 @@
+--
+     ___    ____  __    ___   _________
+    /   |  / _  |/ /   / / | / /__  __/            Source Code Static Analyzer
+   / /| | / / / / /   / /  |/ /  / /                    AdLint - Advanced Lint
+  / __  |/ /_/ / /___/ / /|  /  / /
+ /_/  |_|_____/_____/_/_/ |_/  /_/    Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+
+ This file is part of adlint-benchmark.
+
+ adlint-benchmark 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-benchmark 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-benchmark.  If not, see <http://www.gnu.org/licenses/>.
+
+++
+
+=== 1.0.0 is released (2012-11-27)
+
+This is the initial GA release of adlint-benchmark.
+
+==== Implemented features
+
+* \Benchmark for \AdLint's single module analysis of `screen-4.0.3/process.c'

data/README

@@ -0,0 +1,57 @@
+--
+     ___    ____  __    ___   _________
+    /   |  / _  |/ /   / / | / /__  __/            Source Code Static Analyzer
+   / /| | / / / / /   / /  |/ /  / /                    AdLint - Advanced Lint
+  / __  |/ /_/ / /___/ / /|  /  / /
+ /_/  |_|_____/_____/_/_/ |_/  /_/    Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+
+ This file is part of adlint-benchmark.
+
+ adlint-benchmark 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-benchmark 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-benchmark.  If not, see <http://www.gnu.org/licenses/>.
+
+++
+
+== What is
+
+adlint-benchmark is a simple benchmark of \AdLint.
+
+== News
+
+:include:NEWS
+
+== How to Install
+
+:include:INSTALL
+
+== License
+
+Copyright (C) 2010-2012, {OGIS-RI}[http://www.ogis-ri.co.jp/] Co.,Ltd.
+
+adlint-postfilter 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-postfilter 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-postfilter.  If not, see
+<{http\://www.gnu.org/licenses/}[http://www.gnu.org/licenses/]>.
+
+== Authors
+
+:include:AUTHORS

data/Rakefile

@@ -0,0 +1,84 @@
+#--
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of adlint-benchmark.
+#
+# adlint-benchmark 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-benchmark 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-benchmark.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+
+require "rubygems/package_task"
+require "rdoc/task"
+
+$: << File.expand_path("lib", File.dirname(__FILE__))
+require "adlint/benchmark/version"
+
+task :default => [:gem]
+task :clobber => [:clobber_package, :clobber_rdoc]
+
+gemspec = Gem::Specification.new do |s|
+  s.name        = "adlint-benchmark"
+  s.version     = AdLint::Benchmark::SHORT_VERSION
+  s.date        = AdLint::Benchmark::RELEASE_DATE
+  s.homepage    = "http://adlint-goodies.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     = "Simple benchmark of AdLint"
+  s.description = "Simple benchmark of AdLint"
+
+  s.required_ruby_version = Gem::Requirement.new(">= 1.9.3")
+
+  s.executables   = %w(adlint_bm)
+  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.add_dependency("adlint", ">= 2.6.10")
+end
+
+Gem::PackageTask.new(gemspec) do |pkg|
+  pkg.need_zip = true
+  pkg.need_tar_bz2 = true
+end
+
+RDoc::Task.new(:rdoc) do |rd|
+  rd.rdoc_dir = "rdoc"
+  rd.title = "adlint-benchmark #{AdLint::Benchmark::SHORT_VERSION}"
+  rd.main = "README"
+  rd.rdoc_files.include("README")
+  rd.rdoc_files.include("bin/*")
+  rd.rdoc_files.include("lib/**/*.rb")
+  rd.options << "--charset=utf-8" << "--all"
+end
+
+desc "Remove package products and RDoc HTML files"
+task :clobber
+
+desc "Generate tags file"
+task :tags do
+  ctags *Dir["bin/*", "lib/**/*.rb"]
+end
+
+def ctags(*files)
+  sh "ctags " + files.join(" ")
+end

data/bin/adlint_bm

@@ -0,0 +1,99 @@
+#! /usr/bin/env ruby
+# coding: utf-8
+#
+# Simple benchmark of AdLint.
+#
+# 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-benchmark.
+#
+# adlint-benchmark 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-benchmark 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
+# adlnt-benchmark.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+
+require "pathname"
+
+BENCHMARK_BINDIR = Pathname.new(__FILE__).realpath.dirname
+BENCHMARK_PREFIX = Pathname.new("..").expand_path(BENCHMARK_BINDIR)
+BENCHMARK_LIBDIR = Pathname.new("lib").expand_path(BENCHMARK_PREFIX)
+
+$:.unshift(BENCHMARK_LIBDIR.to_s)
+
+require "adlint/benchmark"
+
+BENCHMARK_VERSION = "adlint-benchmark #{AdLint::Benchmark::VERSION}"
+
+USAGE = <<EOS
+Usage: adlint_bm [options]
+
+Benchmark Options:
+  -t, --target [NAME]       Analysis target name (screen-4.0.3/process.c.small)
+  -p, --print-time          Display elapsed time
+
+Other Options:
+      --version             Display version information
+      --copyright           Display copyright information
+      --prefix              Display prefix directory of adlint-benchmark
+  -h, --help                Display this message
+EOS
+
+require "getoptlong"
+
+parser = GetoptLong.new(["--target", "-t", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--print-time", "-p", GetoptLong::NO_ARGUMENT],
+                        ["--version", GetoptLong::NO_ARGUMENT],
+                        ["--copyright", GetoptLong::NO_ARGUMENT],
+                        ["--prefix", GetoptLong::NO_ARGUMENT],
+                        ["--help", "-h", GetoptLong::NO_ARGUMENT])
+
+begin
+  target_name = "screen-4.0.3/process.c.small"
+  print_time = false
+  parser.each_option do |optname, optarg|
+    case optname
+    when "--target"
+      target_name = optarg
+    when "--print-time"
+      print_time = true
+    when "--version"
+      puts BENCHMARK_VERSION, AdLint::Benchmark::AUTHOR
+      exit 0
+    when "--copyright"
+      puts AdLint::Benchmark::COPYRIGHT
+      exit 0
+    when "--prefix"
+      puts BENCHMARK_PREFIX
+      exit 0
+    when "--help"
+      puts USAGE
+      exit 0
+    end
+  end
+rescue
+end
+
+AdLint::Benchmark.run(target_name, print_time)
+
+exit 0

data/lib/adlint/benchmark/driver.rb

@@ -0,0 +1,71 @@
+# Benchmark driver.
+#
+# 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-benchmark.
+#
+# adlint-benchmark 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-benchmark 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
+# adlnt-benchmark.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+
+module AdLint #:nodoc:
+
+  module Benchmark
+    def run(target_name, print_time = false)
+      if print_time
+        require "benchmark"
+        ::Benchmark.bm(target_name.length) do |x|
+          x.report(target_name) { _run(target_name) }
+        end
+      else
+        _run(target_name)
+      end
+    end
+    module_function :run
+
+    def _run(target_name)
+      if target = AnalysisTarget.load(target_name)
+        _nullify_console_output { target.analyze }
+      else
+        raise "no such target `#{target_name}'"
+      end
+    end
+    module_function :_run
+
+    def _nullify_console_output(&block)
+      orig_stdout = $stdout.dup
+      orig_stderr = $stderr.dup
+      dev_null = File.open(File::NULL, "w")
+      $stdout.reopen(dev_null)
+      $stderr.reopen(dev_null)
+      yield
+    ensure
+      $stdout.reopen(orig_stdout)
+      $stderr.reopen(orig_stderr)
+    end
+    module_function :_nullify_console_output
+  end
+
+end