adlint 1.0.0

data/bin/adlint_sma

@@ -0,0 +1,129 @@
+#! /usr/bin/env ruby
+#
+# Single 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 single module analyzer #{AdLint::VERSION}"
+
+USAGE = <<EOS
+Usage: adlint_sma [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 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.sma(fpaths, strip_num, output_dpath)
+
+exit 0

data/bin/adlintize

@@ -0,0 +1,286 @@
+#! /usr/bin/env ruby
+#
+# AdLint project generator.
+#
+# 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)
+
+$:.unshift($libdir.to_s)
+
+require "adlint"
+
+ADLINT_VERSION = "AdLint project generator #{AdLint::VERSION}"
+
+USAGE = <<EOS
+Usage: adlintize [options] [project-name]
+Options:
+  -t FILE, --traits FILE         Write traits to FILE
+                                 If omitted, `adlint_traits.yml' will be used
+  -p FILE, --pinit-hdr FILE      Write project initial header to FILE
+                                 If omitted, `adlint_pinit.h' will be used
+  -c FILE, --cinit-hdr FILE      Write compiler initial header to FILE
+                                 If omitted, `adlint_cinit.h' will be used
+  -l FILE, --list-file FILE      Write list file to FILE
+                                 If omitted, `adlint_files.txt' will be used
+  -m FILE, --makefile FILE       Write analysis procedure GNUmakefile to FILE
+                                 If omitted, `GNUmakefile' will be used
+  -s FILE, --sh-script FILE      Write analysis procedure sh script to FILE
+                                 If omitted, `adlint_all.sh' will be used
+  -b FILE, --bat-file FILE       Write analysis procedure bat file to FILE
+                                 If omitted, `adlint_all.bat' will be used
+  -o DIR, --output-dir DIR       Set output directory
+                                 If omitted, `.' will be used
+  -e ENV, --environment ENV      Assume ENV as target build environment
+  -L, --list-environment         List all preset build environments
+  -f, --force                    Force to overwrite existing files
+      --version                  Display version information
+      --copyright                Display copyright information
+      --prefix                   Display prefix directory of AdLint
+  -h, --help                     Display this message
+EOS
+
+def print_environments
+  Dir.entries(Pathname.new("conf.d").expand_path($etcdir)).each do |dirent|
+    case dirent
+    when ".", "..", "fallback", "noarch"
+      next
+    end
+
+    Dir.glob("#{$etcdir}/conf.d/#{dirent}/traits-*.erb").each do |traits_fpath|
+      basename = File.basename(traits_fpath, ".erb")
+      puts "#{dirent}-#{basename.sub(/\Atraits-/, "")}"
+    end
+  end
+end
+
+require "getoptlong"
+
+parser = GetoptLong.new(["--traits", "-t", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--pinit-hdr", "-p", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--cinit-hdr", "-c", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--list-file", "-l", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--makefile", "-m", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--sh-script", "-s", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--bat-file", "-b", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--output-dir", "-o", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--environment", "-e", GetoptLong::REQUIRED_ARGUMENT],
+                        ["--list-environment", "-L", GetoptLong::NO_ARGUMENT],
+                        ["--force", "-f", GetoptLong::NO_ARGUMENT],
+                        ["--version", GetoptLong::NO_ARGUMENT],
+                        ["--copyright", GetoptLong::NO_ARGUMENT],
+                        ["--prefix", GetoptLong::NO_ARGUMENT],
+                        ["--help", "-h", GetoptLong::NO_ARGUMENT])
+
+begin
+  traits_fpath = Pathname.new("adlint_traits.yml")
+  pinit_fpath = Pathname.new("adlint_pinit.h")
+  cinit_fpath = Pathname.new("adlint_cinit.h")
+  list_fpath = Pathname.new("adlint_files.txt")
+  make_fpath = Pathname.new("GNUmakefile")
+  sh_fpath = Pathname.new("adlint_all.sh")
+  bat_fpath = Pathname.new("adlint_all.bat")
+  output_dpath = Pathname.new(".")
+  environment = nil
+  force_overwrite = false
+
+  parser.each do |option, value|
+    case option
+    when "--traits"
+      traits_fpath = Pathname.new(value)
+    when "--pinit-hdr"
+      pinit_fpath = Pathname.new(value)
+    when "--cinit-hdr"
+      cinit_fpath = Pathname.new(value)
+    when "--list-file"
+      list_fpath = Pathname.new(value)
+    when "--makefile"
+      make_fpath = Pathname.new(value)
+    when "--sh-script"
+      sh_fpath = Pathname.new(value)
+    when "--bat-file"
+      bat_fpath = Pathname.new(value)
+    when "--output-dir"
+      output_dpath = Pathname.new(value)
+    when "--environment"
+      environment = value
+    when "--list-environment"
+      print_environments
+      exit 0
+    when "--force"
+      force_overwrite = 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
+
+project_name = ARGV.empty? ? Pathname.getwd.each_filename.to_a.last : ARGV[0]
+
+FileUtils.mkdir_p(output_dpath) if output_dpath && !Dir.exist?(output_dpath)
+
+traits_fpath = traits_fpath.expand_path(output_dpath)
+pinit_fpath = pinit_fpath.expand_path(output_dpath)
+cinit_fpath = cinit_fpath.expand_path(output_dpath)
+list_fpath = list_fpath.expand_path(output_dpath)
+make_fpath = make_fpath.expand_path(output_dpath)
+sh_fpath = sh_fpath.expand_path(output_dpath)
+bat_fpath = bat_fpath.expand_path(output_dpath)
+
+if environment
+  arch, os, compiler = environment.split("-")
+
+  cinit_templ_fpath =
+    Pathname.new("#{$etcdir}/conf.d/#{arch}-#{os}/cinit-#{compiler}.erb")
+  unless File.readable?(cinit_templ_fpath)
+    $stderr.puts "#{File.basename(__FILE__)}: no such preset build environment"
+    exit 1
+  end
+
+  traits_templ_fpath =
+    Pathname.new("#{$etcdir}/conf.d/#{arch}-#{os}/traits-#{compiler}.erb")
+  unless File.readable?(traits_templ_fpath)
+    $stderr.puts "#{File.basename(__FILE__)}: no such preset build environment"
+    exit 1
+  end
+else
+  cinit_templ_fpath = Pathname.new("#{$etcdir}/conf.d/fallback/cinit.erb")
+  traits_templ_fpath = Pathname.new("#{$etcdir}/conf.d/fallback/traits.erb")
+end
+
+pinit_templ_fpath = Pathname.new("#{$etcdir}/conf.d/noarch/pinit.erb")
+make_templ_fpath = Pathname.new("#{$etcdir}/conf.d/noarch/GNUmakefile.erb")
+sh_templ_fpath = Pathname.new("#{$etcdir}/conf.d/noarch/adlint_all_sh.erb")
+bat_templ_fpath = Pathname.new("#{$etcdir}/conf.d/noarch/adlint_all_bat.erb")
+
+require "erb"
+
+if ENV["LANG"] =~ /ja_JP/
+  lang = "ja_JP"
+else
+  case Encoding.default_external
+  when Encoding::Windows_31J
+    lang = "ja_JP"
+  else
+    lang = "en_US"
+  end
+end
+
+if !File.exist?(traits_fpath) || force_overwrite
+  File.open(traits_fpath, "w") do |io|
+    io.set_encoding(Encoding::UTF_8)
+    io.puts(ERB.new(File.read(traits_templ_fpath)).result(binding))
+  end
+else
+  $stderr.puts "#{File.basename(__FILE__)}: #{traits_fpath} already exists"
+  exit 1
+end
+
+if !File.exist?(pinit_fpath) || force_overwrite
+  File.open(pinit_fpath, "w") do |io|
+    io.set_encoding(Encoding::UTF_8)
+    io.puts(ERB.new(File.read(pinit_templ_fpath)).result(binding))
+  end
+else
+  $stderr.puts "#{File.basename(__FILE__)}: #{pinit_fpath} already exists"
+  exit 1
+end
+
+if !File.exist?(cinit_fpath) || force_overwrite
+  File.open(cinit_fpath, "w") do |io|
+    io.set_encoding(Encoding::UTF_8)
+    io.puts(ERB.new(File.read(cinit_templ_fpath)).result(binding))
+  end
+else
+  $stderr.puts "#{File.basename(__FILE__)}: #{cinit_fpath} already exists"
+  exit 1
+end
+
+vpath = Pathname.pwd.relative_path_from(Pathname.new(output_dpath).realpath)
+
+if !File.exist?(list_fpath) || force_overwrite
+  File.open(list_fpath, "w") do |io|
+    io.set_encoding(Encoding::UTF_8)
+    Dir.glob("**/*.c").each { |str| io.puts(vpath.join(Pathname.new(str))) }
+  end
+else
+  $stderr.puts "#{File.basename(__FILE__)}: #{list_fpath} already exists"
+  exit 1
+end
+
+if !File.exist?(make_fpath) || force_overwrite
+  File.open(make_fpath, "w") do |io|
+    io.set_encoding(Encoding::UTF_8)
+    io.puts(ERB.new(File.read(make_templ_fpath)).result(binding))
+  end
+else
+  $stderr.puts "#{File.basename(__FILE__)}: #{make_fpath} already exists"
+  exit 1
+end
+
+if !File.exist?(sh_fpath) || force_overwrite
+  File.open(sh_fpath, "w") do |io|
+    io.set_encoding(Encoding::UTF_8)
+    io.puts(ERB.new(File.read(sh_templ_fpath)).result(binding))
+  end
+else
+  $stderr.puts "#{File.basename(__FILE__)}: #{sh_fpath} already exists"
+  exit 1
+end
+
+if !File.exist?(bat_fpath) || force_overwrite
+  File.open(bat_fpath, "w") do |io|
+    io.set_encoding(Encoding::UTF_8)
+    io.puts(ERB.new(File.read(bat_templ_fpath)).result(binding))
+  end
+else
+  $stderr.puts "#{File.basename(__FILE__)}: #{bat_fpath} already exists"
+  exit 1
+end
+
+exit 0

data/etc/conf.d/fallback/cinit.erb

@@ -0,0 +1,11 @@
+/*     ___    ____  __    ___   _________
+ *    /   |  / _  |/ /   / / | / /__  __/          Source Code Static Analyzer
+ *   / /| | / / / / /   / /  |/ /  / /                  AdLint - Advanced Lint
+ *  / __  |/ /_/ / /___/ / /|  /  / /
+ * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+ *
+ * Compiler specific initial header file generated by adlintize <%= AdLint::SHORT_VERSION %>
+ * at <%= Time.now %>.
+ */
+
+/* Put compiler specific predefined macros and types here. */

data/etc/conf.d/fallback/traits.erb

@@ -0,0 +1,216 @@
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# Traits file generated by adlintize <%= AdLint::SHORT_VERSION %> at <%= Time.now %>.
+
+# Schema version of the traits file.
+# DO NOT EDIT MANUALLY!
+version: "<%= AdLint::SHORT_VERSION %>"
+
+#
+# Project specific traits section
+#
+project_traits:
+
+  # Project name.
+  project_name: "<%= project_name %>"
+
+  # Project specific additional include paths.
+  # Ex.
+  #   include_path:
+  #     - "include/foo"
+  #     - "../include/bar"
+  #     - "/opt/baz/include"
+  include_path:
+
+  # Pathname of the project specific initial header file.
+  # This header file is automatically included above the first line of the
+  # target source file.
+  initial_header: "<%= pinit_fpath.basename %>"
+
+  #
+  # Project specific coding style section
+  #
+  coding_style:
+
+    # Indent style which is a convention governing the identation of blocks.
+    # Select from "K&R", "Allman" and "GNU".
+    #
+    # The value "K&R" means...
+    #   int foo(int i)
+    #   {
+    #       if (i == 0) {
+    #           return 0;
+    #       }
+    #       return i;
+    #   }
+    #
+    # The value "Allman" means...
+    #   int foo(int i)
+    #   {
+    #       if (i == 0)
+    #       {
+    #           return 0;
+    #       }
+    #       return i;
+    #   }
+    #
+    # The value "GNU" means...
+    #   int
+    #   foo(int i)
+    #   {
+    #     if (i == 0)
+    #       {
+    #         return 0;
+    #       }
+    #     return i;
+    #   }
+    indent_style: "K&R"
+
+    # Appearance width of a TAB character.
+    tab_width: 8
+
+    # Appearance width of 1-level of the indentation.
+    indent_width: 4
+
+  # Encoding of source files.
+  file_encoding:
+
+#
+# Compiler specific traits section
+#
+compiler_traits:
+
+  # Pathname of the compiler specific initial header file.
+  # This header file is automatically included above the first line of the
+  # project specific initial header file.
+  initial_header: "<%= cinit_fpath.basename %>"
+
+  #
+  # Compiler specific standard type section
+  #
+  standard_type:
+
+    # Bit size of the `char' type family.
+    char_size: 8
+    # Bit size of the alignment of the `char' type family.
+    char_alignment: 8
+
+    # Bit size of the `short' type family.
+    short_size: 16
+    # Bit size of the alignment of the `short' type family.
+    short_alignment: 16
+
+    # Bit size of the `int' type family.
+    int_size: 32
+    # Bit size of the alignment of the `int' type family.
+    int_alignment: 32
+
+    # Bit size of the `long int' type family.
+    long_size: 32
+    # Bit size of the alignment of the `long int' type family.
+    long_alignment: 32
+
+    # Bit size of the `long long int' type family.
+    long_long_size: 64
+    # Bit size of the alignment of the `long long int' type family.
+    long_long_alignment: 64
+
+    # Bit size of the `float' type.
+    float_size: 32
+    # Bit size of the alignment of the `float' type.
+    float_alignment: 32
+
+    # Bit size of the `double' type.
+    double_size: 64
+    # Bit size of the alignment of the `double' type.
+    double_alignment: 64
+
+    # Bit size of the `long double' type.
+    long_double_size: 96
+    # Bit size of the alignment of the `long double' type.
+    long_double_alignment: 96
+
+    # Bit size of the pointer to functions.
+    code_ptr_size: 32
+    # Bit size of the alignment of the pointer to functions.
+    code_ptr_alignment: 32
+
+    # Bit size of the pointer to data.
+    data_ptr_size: 32
+    # Bit size of the alignment of the pointer to data.
+    data_ptr_alignment: 32
+
+    # Treat the `char' type as same as the `unsigned char' type?
+    char_as_unsigned_char: true
+
+  # Compiler specific include paths.
+  # Ex.
+  #   include_path:
+  #     - "/usr/include"
+  #     - "/usr/local/include"
+  include_path:
+
+  # Treat the `>>' operator as a logical shift, not an arithmetic shift?
+  arithmetic:
+    logical_right_shift: true
+
+  # Token substitution setting to warn the use of compiler specific extensions.
+  #
+  # If your compiler supports `__attribute__(...)' extension and you want to
+  # know the use of this extension, specify as below.
+  #   extension_substitution:
+  #     "__attribute__(__adlint__any)": ""
+  # The token sequence consists of `__attribute__', `(', any kind of tokens,
+  # `)' will be replaced with nothing (erased) after the preprocessing phase.
+  # And this substitution will be warned by the message W0061.
+  extension_substitution:
+
+  # Token substitution setting to silently ignore the use of compiler specific
+  # extensions.
+  #
+  # If your compiler supports `__asm__ volatile (...)' extension and you do not
+  # mind the use of this extension, specify as below.
+  #   arbitrary_substitution:
+  #     "__asm__ __adlint__any(__adlint__any)": ""
+  # The token sequence consists of `__asm__', any kind of tokens, `(', any kind
+  # of tokens, `)' will be replaced with nothing (erased) silently after the
+  # preprocessing phase.
+  arbitrary_substitution:
+    "typeof": "__typeof__"
+    "__typeof": "__typeof__"
+    "alignof": "__alignof__"
+    "__alignof": "__alignof__"
+
+  # Max length of all symbols can be identified by the compiler.
+  identifier_max: 128
+
+#
+# Linker specific traits section
+#
+linker_traits:
+
+  # Max length of external symbols can be identified by the linker.
+  identifier_max: 128
+
+  # Are external symbols identified without case by the linker?
+  identifier_ignore_case: false
+
+#
+# Message traits section
+#
+message_traits:
+
+  # Language of the message text.
+  # Currently, "en_US" and "ja_JP" are supported.
+  # Please help to translate the message catalog into your language.
+  language: "<%= lang %>"
+
+  # Message text replacement.
+  # Ex.
+  #   change_list:
+  #     W9999: "Your custom message for the warning of #9999."
+  change_list: