adlint-exam-c_staging 0.2.0

data/features/support/env.rb

@@ -0,0 +1,182 @@
+NOARCH_TRAITS = <<EOF
+version: "2.4.0"
+
+exam_packages:
+  - "c_staging"
+
+project_traits:
+  project_name: "features"
+  project_root: "."
+  include_path:
+  initial_header: "empty_pinit.h"
+  coding_style:
+    indent_style: "K&R"
+    tab_width: 8
+    indent_width: 4
+  file_encoding:
+
+compiler_traits:
+  initial_header: "empty_cinit.h"
+  standard_type:
+    char_size: 8
+    char_alignment: 8
+    short_size: 16
+    short_alignment: 16
+    int_size: 32
+    int_alignment: 32
+    long_size: 32
+    long_alignment: 32
+    long_long_size: 64
+    long_long_alignment: 64
+    float_size: 32
+    float_alignment: 32
+    double_size: 64
+    double_alignment: 64
+    long_double_size: 96
+    long_double_alignment: 96
+    code_ptr_size: 32
+    code_ptr_alignment: 32
+    data_ptr_size: 32
+    data_ptr_alignment: 32
+    char_as_unsigned_char: true
+  include_path:
+    - "."
+  arithmetic:
+    logical_right_shift: true
+  extension_substitution:
+    "pascal": ""
+    "__pascal": ""
+    "fortran": ""
+    "__fortran": ""
+    "cdecl": ""
+    "__cdecl": ""
+    "near": ""
+    "__near": ""
+    "far": ""
+    "__far": ""
+    "huge": ""
+    "__huge": ""
+    "__extension__": ""
+    "__attribute__(__adlint__any)": ""
+  arbitrary_substitution:
+    "typeof": "__typeof__"
+    "__typeof": "__typeof__"
+    "alignof": "__alignof__"
+    "__alignof": "__alignof__"
+  identifier_max: 128
+
+linker_traits:
+  identifier_max: 128
+  identifier_ignore_case: false
+
+message_traits:
+  language: "ja_JP"
+  message_with_class: false
+  warn_files_in:
+    - "."
+  warn_files_not_in:
+  individual_selection: true
+  exclusion:
+  inclusion:
+  change_list:
+EOF
+
+DUMMY_STDIO_H = <<EOF
+#if !defined(DUMMY_STDIO_H)
+#define DUMMY_STDIO_H
+
+extern int printf(const char *, ...);
+extern int scanf(const char *, ...);
+
+typedef int FILE;
+extern FILE *stdin;
+extern FILE *stdout;
+extern FILE *stderr;
+
+extern int fprintf(FILE *, const char *, ...);
+extern int fscanf(FILE *, const char *, ...);
+
+#endif
+EOF
+
+DUMMY_MATH_H = <<EOF
+#if !defined(DUMMY_MATH_H)
+#define DUMMY_MATH_H
+#endif
+EOF
+
+DUMMY_ASSERT_H = <<EOF
+#if !defined(DUMMY_ASSERT_H)
+#define DUMMY_ASSERT_H
+
+#define assert(expr) (0)
+
+#endif
+EOF
+
+require "pathname"
+
+if ENV["ADLINT_COV"] =~ /1|on|true/
+  require "simplecov"
+  require "simplecov-html"
+  SimpleCov.start
+end
+
+$envdir = Pathname.new(__FILE__).realpath.dirname
+$prefix = Pathname.new("../..").expand_path($envdir)
+$bindir = Pathname.new("bin").expand_path($prefix)
+$libdir = Pathname.new("lib").expand_path($prefix)
+$tmpdir = Pathname.new("cucumber-tmp").expand_path($prefix)
+
+module Kernel
+  def exit(status)
+    # NOTE: To avoid terminating cucumber process.
+  end
+end
+
+def run_adlint(cmd, *args)
+  create_adlint_files
+  cd_to_tmpdir do
+    $all_output = exec(cmd, *args).each_line.map { |line|
+      if line =~ /_pinit\.h|_cinit\.h|stdio\.h|math\.h|assert\.h/
+        nil
+      else
+        line.chomp
+      end
+    }.compact.join("\n")
+  end
+end
+
+def cd_to_tmpdir(&block)
+  orig_wd = Dir.getwd
+  Dir.mkdir($tmpdir) unless Dir.exist?($tmpdir)
+  Dir.chdir($tmpdir)
+  yield
+ensure
+  Dir.chdir(orig_wd)
+end
+
+def exec(cmd, *args)
+  ENV["RUBYLIB"] = "#{$libdir}:#{ENV["RUBYLIB"]}"
+  system "#{cmd} #{args.join(" ")} 2>&1 >all_output"
+  File.read("all_output")
+end
+
+def create_src_file(fpath, content)
+  cd_to_tmpdir { create_file(fpath, content) }
+end
+
+def create_adlint_files
+  cd_to_tmpdir do
+    create_file("noarch_traits.yml", NOARCH_TRAITS)
+    create_file("empty_pinit.h")
+    create_file("empty_cinit.h")
+    create_file("stdio.h", DUMMY_STDIO_H)
+    create_file("math.h", DUMMY_MATH_H)
+    create_file("assert.h", DUMMY_ASSERT_H)
+  end
+end
+
+def create_file(fname, content = "")
+  File.open(fname, "wb") { |io| io.puts content }
+end

data/lib/adlint/exam/c_staging/cpp_check.rb

@@ -0,0 +1,78 @@
+# Code checkings (cpp-phase) of adlint-exam-c_staging package.
+#
+# 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/>.
+#
+#++
+
+module AdLint #:nodoc:
+module Exam #:nodoc:
+module CStaging #:nodoc:
+
+  class W2001 < PassiveCodeCheck
+    def_registrant_phase Cpp::Prepare2Phase
+
+    def initialize(context)
+      super
+      interp = context[:cpp_interpreter]
+      interp.on_user_header_included += method(:check)
+      interp.on_system_header_included += method(:check)
+    end
+
+    private
+    def check(include_line, *)
+      header_name = include_line.header_name
+      if Pathname.new(header_name.value.gsub(/["<>]/, "")).absolute?
+        W(:W2001, include_line.location, include_line.fpath)
+      end
+    end
+  end
+
+  class W2002 < PassiveCodeCheck
+    def_registrant_phase Cpp::Prepare2Phase
+
+    def initialize(context)
+      super
+      interp = context[:cpp_interpreter]
+      interp.on_system_header_included += method(:check)
+      @project_root = Traits.instance.of_project.project_root.realpath
+    end
+
+    private
+    def check(include_line, *)
+      include_line.fpath.realpath.descend do |path|
+        if path == @project_root
+          W(:W2002, include_line.location, include_line.fpath)
+          break
+        end
+      end
+    end
+  end
+
+end
+end
+end

data/lib/adlint/exam/c_staging.rb

@@ -0,0 +1,56 @@
+# Examination loader of adlint-exam-c_staging package.
+#
+# 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 "adlint"
+
+require "adlint/exam/c_staging/cpp_check"
+
+module AdLint #:nodoc:
+module Exam #:nodoc:
+module CStaging #:nodoc:
+
+  Catalog = ExaminationCatalog.new(__FILE__) do |cat|
+    cat.name = "c_staging"
+
+    cat.major_version = 0
+    cat.minor_version = 2
+    cat.patch_version = 0
+    cat.release_date  = "2012-09-21"
+
+    cat.examination_classes = [
+      W2001,
+      W2002
+    ]
+  end
+
+end
+end
+end

metadata

@@ -0,0 +1,85 @@
+--- !ruby/object:Gem::Specification
+name: adlint-exam-c_staging
+version: !ruby/object:Gem::Version
+  version: 0.2.0
+  prerelease: 
+platform: ruby
+authors:
+- Yutaka Yanoh
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2012-09-21 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: adlint
+  requirement: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: 2.3.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: 2.3.0
+description: ! 'Experimental C language code examination package for AdLint
+
+'
+email: yanoh@users.sourceforge.net
+executables: []
+extensions: []
+extra_rdoc_files:
+- README
+files:
+- AUTHORS
+- COPYING
+- ChangeLog
+- INSTALL
+- MANIFEST
+- NEWS
+- README
+- Rakefile
+- TODO
+- etc/mesg.d/c_staging/en_US/messages.yml
+- etc/mesg.d/c_staging/ja_JP/messages.yml
+- features/code_check/W2001.feature
+- features/code_check/W2002.feature
+- features/step_definitions/code_check_steps.rb
+- features/support/env.rb
+- lib/adlint/exam/c_staging.rb
+- lib/adlint/exam/c_staging/cpp_check.rb
+homepage: http://adlint.sourceforge.net/
+licenses:
+- ! 'GPLv3+: GNU General Public License version 3 or later'
+post_install_message: 
+rdoc_options:
+- --main
+- README
+- --charset
+- utf-8
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: 1.9.3
+required_rubygems_version: !ruby/object:Gem::Requirement
+  none: false
+  requirements:
+  - - ! '>='
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 1.8.24
+signing_key: 
+specification_version: 3
+summary: Experimental C language code examination package for AdLint
+test_files: []