adlint 2.0.2 → 2.0.6

data/ChangeLog

@@ -1,3 +1,35 @@
+Thu Aug 30 09:56:15 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.ga : 2.0.6
+	  - Fix huge memory consumption problem when a multi-dimensional
+	    variable length array is defined without fully narrowed length.
+	  - Revise variable cross-reference extraction in order to output only
+	    about the outmost-variable when its element or member is accessed.
+
+Wed Aug 29 17:36:59 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 2.0.5
+	  - Revise variable cross-reference extraction in order to output only
+	    about the outmost-variable when its element or member is accessed.
+
+Wed Aug 29 17:26:26 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/exam/c_builtin/c_code.rb : Revise variable cross-reference
+	  extraction in order to output only about the outmost-variable when
+	  its element or member is accessed.
+
+Wed Aug 29 13:02:43 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 2.0.3
+	  - Fix huge memory consumption problem when a multi-dimensional
+	    variable length array is defined without fully narrowed length.
+
+Wed Aug 29 11:45:48 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/c/value.rb : Revise value sampling behavior of the value
+	  domain.
+	* lib/adlint/c/type.rb : Fix array size evaluation not to fall below 0.
+
 Tue Aug 28 10:28:41 2012  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 2.0.2

data/INSTALL

@@ -41,7 +41,7 @@ or
 Tiny sample C language projects are bundled with \AdLint gem.
 You can evaluate \AdLint by following instructions.
 
-First, copy `intro_demo' project into your workspace.  "+adlint+ +--prefix+"
+First, copy \`intro_demo' project into your workspace.  "+adlint+ +--prefix+"
 command prints the prefix pathname of the \AdLint installation directory.
 
  % cp -r `adlint --prefix`/share/demo/intro_demo .
@@ -77,5 +77,5 @@ Following files will be generated.
 * [+intro_demo.met.csv+]   Cross module metric information.
 * [+intro_demo.msg.csv+]   Cross module warning messages.
 
-`+intro_demo.c.msg.csv+' will tell you that the control will never reach to
-some statements and that division by zero will occur in `+intro_demo.c+'.
+\`+intro_demo.c.msg.csv+' will tell you that the control will never reach to
+some statements and that division by zero will occur in \`+intro_demo.c+'.

data/NEWS

@@ -21,6 +21,19 @@
 
 ++
 
+=== \AdLint 2.0.6 is released (2012-08-30)
+
+==== Changes since the 2.0.2 release
+
+* Fix huge memory consumption problem when a multi-dimensional variable length
+  array is defined without fully narrowed length
+* Revise variable cross-reference extraction in order to output only about the
+  outmost-variable when its element or member is accessed
+
+See the file
+{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
+for more details.
+
 === \AdLint 2.0.2 is released (2012-08-28)
 
 ==== Changes since the 2.0.0 release
@@ -29,10 +42,6 @@
   inclusion directive is commented out in the skipping group
 * Add templates for gcc 4.6.3-1ubuntu5 on Ubuntu 12.04 LTS (64bit)
 
-See the file
-{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
-for more details.
-
 === \AdLint 2.0.0 is released (2012-08-22)
 
 ==== Changes since the 1.18.6 release
@@ -85,13 +94,14 @@ for more details.
 * Fix W0705 and W0745 detections to warn about not only
   array-subscript-expressions but also indirection-expressions only when the
   subscript is constant
-* Revise expression evaluation not to give up when a operand is typed as `void'
-* Revise arithmetic type resolution not to abort when one type is `void'
+* Revise expression evaluation not to give up when a operand is typed as
+  \`void'
+* Revise arithmetic type resolution not to abort when one type is \`void'
 * Fix declarator evaluation in order to construct a function object which
   returns a function pointer correctly when the function-definition written
   without typedefed function pointer
 * Implement missing semantics of union object initialization
-* Revise function-like macro replacement in order to evaluate `#' operator
+* Revise function-like macro replacement in order to evaluate \`#' operator
   makes an empty string-literal when the parameter corresponding to the operand
   has no argument
 * Fix bad sequence-point timing of logical-and-expression and
@@ -144,7 +154,7 @@ for more details.
 * Add W1070 detection
 * Add W1072 detection
 * Fix W0104 detection not to warn when the unchanged parameter is typed with
-  `const volatile' qualifiers
+  \`const volatile' qualifiers
 * Add W0104, W0645, W0697, W0700, W1066, W1067, W1068, W1069, W1070 and W1072
   functional specifications
 
@@ -180,7 +190,7 @@ for more details.
 * Fix W0501 detection not to duplicate warnings about a conditional-expression
 * Fix W0582, W0583 and W0584 detections in order to consider type
   convertibility correctly
-* Fix W1031 detection not to warn when the declaration with `static' and
+* Fix W1031 detection not to warn when the declaration with \`static' and
   definition without storage-class-specifier
 * Fix lack of sequence-point notification of controlling expressions
 * Add unit specification of C type models
@@ -206,8 +216,8 @@ for more details.
   saved
 * Fix W0828 detection not to warn when the member variable is a type of char
   array and the corresponding initializer is a string-literal-specifier
-* Fix W0635 detection not to warn when the `void *' argument passed as the `%p'
-  conversion specifier
+* Fix W0635 detection not to warn when the \`void *' argument passed as the
+  \`%p' conversion specifier
 * Fix degraded W0118 detection not to warn when the object declaration is in
   the header file and the same declaration is in the source file, too
 * Fix bad value domain multiplication logic in order to correctly detect W0723

data/etc/mesg.d/c_builtin/en_US/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "2.0.2"
+version: "2.0.6"
 
 message_definition:
   W0001:

data/etc/mesg.d/c_builtin/ja_JP/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "2.0.2"
+version: "2.0.6"
 
 message_definition:
   W0001:

data/etc/mesg.d/core/en_US/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "2.0.2"
+version: "2.0.6"
 
 message_definition:
   X0001:

data/etc/mesg.d/core/ja_JP/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "2.0.2"
+version: "2.0.6"
 
 message_definition:
   X0001:

data/lib/adlint/c/type.rb

@@ -7632,14 +7632,16 @@ module C #:nodoc:
         if object.variable? && object.value.scalar?
           size = object.value.unique_sample
         end
-        size ||= 0
+        # NOTE: Size of an array should be greater than 0.
+        size = 1 if size.nil? || size <= 0
       else
         if size_expression.object_specifiers.empty?
           object = Interpreter.new(@type_table).execute(size_expression)
           if object.variable? && object.value.scalar?
             size = object.value.unique_sample
           end
-          size ||= 0
+          # NOTE: Size of an array should be greater than 0.
+          size = 1 if size.nil? || size <= 0
         else
           size = nil
         end

data/lib/adlint/c/value.rb

@@ -39,7 +39,7 @@ module C #:nodoc:
     def unique_sample
       # NOTE: A value may have multiple sample values.
       #       So, callers of this method have potential bugs!
-      to_enum.first
+      to_enum.to_a.min
     end
   end
 

data/lib/adlint/exam/c_builtin/c_code.rb

@@ -372,6 +372,10 @@ module CBuiltin #:nodoc:
 
     def extract_variable_read(expression, variable)
       if @accessor && variable.scope.global? && variable.named?
+        # NOTE: When a value of the inner-variable of array or composite object
+        #       is referred, dependency record of only outmost-variable access
+        #       should be output.
+        variable = variable.owner while variable.inner?
         XREF_VAR(expression.location,
                  FunctionIdentifier.new(@accessor.name,
                                         @accessor.signature.to_s),
@@ -381,10 +385,16 @@ module CBuiltin #:nodoc:
 
     def extract_variable_write(expression, variable)
       if @accessor && variable.scope.global? && variable.named?
-        XREF_VAR(expression.location,
-                 FunctionIdentifier.new(@accessor.name,
-                                        @accessor.signature.to_s),
-                 "W", variable.name)
+        unless variable.inner?
+          # NOTE: When a value of the inner-variable of array or composite
+          #       object is updated, dependency record of the inner-variable
+          #       access should not be output and the outer variable's value
+          #       will also be notified later.
+          XREF_VAR(expression.location,
+                   FunctionIdentifier.new(@accessor.name,
+                                          @accessor.signature.to_s),
+                   "W", variable.name)
+        end
       end
     end
 

data/lib/adlint/version.rb

@@ -33,8 +33,8 @@ module AdLint #:nodoc:
 
   MAJOR_VERSION = 2
   MINOR_VERSION = 0
-  PATCH_VERSION = 2
-  RELEASE_DATE  = "2012-08-28"
+  PATCH_VERSION = 6
+  RELEASE_DATE  = "2012-08-30"
 
   TRAITS_SCHEMA_VERSION = "2.0.0"
 

data/share/doc/developers_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 2.0.2 開発者ガイド</title>
+<title>AdLint 2.0.6 開発者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 2.0.2 開発者ガイド">
+<meta name="description" content="AdLint 2.0.6 開発者ガイド">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 2.0.2 開発者ガイド</h1>
+<h1 class="settitle">AdLint 2.0.6 開発者ガイド</h1>
 <div class="contents">
 <h2>Table of Contents</h2>
 <ul>

data/share/doc/developers_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename developers_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 2.0.2 開発者ガイド
+@settitle AdLint 2.0.6 開発者ガイド
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

data/share/doc/samples/adlint_traits.yml

@@ -21,7 +21,15 @@
 
 # Schema version of the traits file.
 # DO NOT EDIT MANUALLY!
-version: "1.0.0"
+version: "2.0.0"
+
+# List of names of source code examination packages.
+#
+# "c_builtin" is a builtin source code examination package for C language.
+# You can install optional examination packages and append (or replace) this
+# list to specify which examination packages are to be run.
+exam_packages:
+  - "c_builtin"
 
 #
 # Project specific traits section
@@ -231,8 +239,53 @@ message_traits:
   # Please help to translate the message catalog into your language.
   language: "ja_JP"
 
+  # Output messages with category and severity information?
+  message_with_class: false
+
+  # Warn only files in the specified directory.  If omitted, all files (such as
+  # system headers or 3rd-party library headers) will be warned.
+  warn_only_files_in: ".."
+
+  # Enable translation-unit specific code check selection?
+  individual_selection: true
+
+  # Project-wide code check exclusion settings.
+  # Ex.
+  #   exclusion:
+  #     categories:
+  #       - "REL"
+  #       - "PRT"
+  #     severities: "[ABC][5-9][0-9]"
+  #     messages:
+  #       W0001: "c_builtin"
+  #       W0002: "c_ansi"
+  exclusion:
+
+  # Project-wide code check inclusion settings.
+  # Ex.
+  #   inclusion:
+  #     messages:
+  #       W0001: "c_builtin"
+  #       W0002: "c_ansi"
+  inclusion:
+
   # Message text replacement.
   # Ex.
   #   change_list:
-  #     W9999: "Your custom message for the warning of #9999."
+  #     W9999:
+  #       package: "c_builtin"
+  #       classes:
+  #         - "REL:A10"
+  #         - "PRT:B20"
+  #       format: "Your custom message for the warning of W9999."
+  #     X9999:
+  #       package: "core"
+  #       classes:
+  #         - "ERR:X99"
+  #       format: "Your custom message for the warning of X9999."
+  #     E9999:
+  #       package: "core"
+  #       classes:
+  #         - "ERR:X99"
+  #       format: "Your custom message for the warning of E9999."
   change_list:

data/share/doc/users_guide_en.html

@@ -1,8 +1,8 @@
 <html lang="en">
 <head>
-<title>AdLint 2.0.2 User's Guide</title>
+<title>AdLint 2.0.6 User's Guide</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 2.0.2 User's Guide">
+<meta name="description" content="AdLint 2.0.6 User's Guide">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 2.0.2 User's Guide</h1>
+<h1 class="settitle">AdLint 2.0.6 User's Guide</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -42776,7 +42776,15 @@ It will be able to check easily the code quality during development.
 
 # Schema version of the traits file.
 # DO NOT EDIT MANUALLY!
-version: "1.0.0"
+version: "2.0.0"
+
+# List of names of source code examination packages.
+#
+# "c_builtin" is a builtin source code examination package for C language.
+# You can install optional examination packages and append (or replace) this
+# list to specify which examination packages are to be run.
+exam_packages:
+  - "c_builtin"
 
 #
 # Project specific traits section
@@ -42986,10 +42994,55 @@ message_traits:
   # Please help to translate the message catalog into your language.
   language: "ja_JP"
 
+  # Output messages with category and severity information?
+  message_with_class: false
+
+  # Warn only files in the specified directory.  If omitted, all files (such as
+  # system headers or 3rd-party library headers) will be warned.
+  warn_only_files_in: ".."
+
+  # Enable translation-unit specific code check selection?
+  individual_selection: true
+
+  # Project-wide code check exclusion settings.
+  # Ex.
+  #   exclusion:
+  #     categories:
+  #       - "REL"
+  #       - "PRT"
+  #     severities: "[ABC][5-9][0-9]"
+  #     messages:
+  #       W0001: "c_builtin"
+  #       W0002: "c_ansi"
+  exclusion:
+
+  # Project-wide code check inclusion settings.
+  # Ex.
+  #   inclusion:
+  #     messages:
+  #       W0001: "c_builtin"
+  #       W0002: "c_ansi"
+  inclusion:
+
   # Message text replacement.
   # Ex.
   #   change_list:
-  #     W9999: "Your custom message for the warning of #9999."
+  #     W9999:
+  #       package: "c_builtin"
+  #       classes:
+  #         - "REL:A10"
+  #         - "PRT:B20"
+  #       format: "Your custom message for the warning of W9999."
+  #     X9999:
+  #       package: "core"
+  #       classes:
+  #         - "ERR:X99"
+  #       format: "Your custom message for the warning of X9999."
+  #     E9999:
+  #       package: "core"
+  #       classes:
+  #         - "ERR:X99"
+  #       format: "Your custom message for the warning of E9999."
   change_list:
 </pre>
 <a name="GNUmakefile-Sample"></a>

data/share/doc/users_guide_en.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_en.info
 @documentlanguage en
 @documentencoding utf-8
-@settitle AdLint 2.0.2 User's Guide
+@settitle AdLint 2.0.6 User's Guide
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

data/share/doc/users_guide_ja.html

@@ -1,8 +1,8 @@
 <html lang="ja">
 <head>
-<title>AdLint 2.0.2 利用者ガイド</title>
+<title>AdLint 2.0.6 利用者ガイド</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
-<meta name="description" content="AdLint 2.0.2 利用者ガイド">
+<meta name="description" content="AdLint 2.0.6 利用者ガイド">
 <meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
@@ -44,7 +44,7 @@ td { border: 1px solid black; }
 --></style>
 </head>
 <body>
-<h1 class="settitle">AdLint 2.0.2 利用者ガイド</h1>
+<h1 class="settitle">AdLint 2.0.6 利用者ガイド</h1>
 <div class="node">
 <a name="Top"></a>
 <p><hr>
@@ -43236,7 +43236,15 @@ Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
 
 # Schema version of the traits file.
 # DO NOT EDIT MANUALLY!
-version: "1.0.0"
+version: "2.0.0"
+
+# List of names of source code examination packages.
+#
+# "c_builtin" is a builtin source code examination package for C language.
+# You can install optional examination packages and append (or replace) this
+# list to specify which examination packages are to be run.
+exam_packages:
+  - "c_builtin"
 
 #
 # Project specific traits section
@@ -43446,10 +43454,55 @@ message_traits:
   # Please help to translate the message catalog into your language.
   language: "ja_JP"
 
+  # Output messages with category and severity information?
+  message_with_class: false
+
+  # Warn only files in the specified directory.  If omitted, all files (such as
+  # system headers or 3rd-party library headers) will be warned.
+  warn_only_files_in: ".."
+
+  # Enable translation-unit specific code check selection?
+  individual_selection: true
+
+  # Project-wide code check exclusion settings.
+  # Ex.
+  #   exclusion:
+  #     categories:
+  #       - "REL"
+  #       - "PRT"
+  #     severities: "[ABC][5-9][0-9]"
+  #     messages:
+  #       W0001: "c_builtin"
+  #       W0002: "c_ansi"
+  exclusion:
+
+  # Project-wide code check inclusion settings.
+  # Ex.
+  #   inclusion:
+  #     messages:
+  #       W0001: "c_builtin"
+  #       W0002: "c_ansi"
+  inclusion:
+
   # Message text replacement.
   # Ex.
   #   change_list:
-  #     W9999: "Your custom message for the warning of #9999."
+  #     W9999:
+  #       package: "c_builtin"
+  #       classes:
+  #         - "REL:A10"
+  #         - "PRT:B20"
+  #       format: "Your custom message for the warning of W9999."
+  #     X9999:
+  #       package: "core"
+  #       classes:
+  #         - "ERR:X99"
+  #       format: "Your custom message for the warning of X9999."
+  #     E9999:
+  #       package: "core"
+  #       classes:
+  #         - "ERR:X99"
+  #       format: "Your custom message for the warning of E9999."
   change_list:
 </pre>
 <a name="GNUmakefile-Sample"></a>

data/share/doc/users_guide_ja.texi

@@ -2,7 +2,7 @@
 @setfilename users_guide_ja.info
 @documentlanguage ja
 @documentencoding utf-8
-@settitle AdLint 2.0.2 利用者ガイド
+@settitle AdLint 2.0.6 利用者ガイド
 
 @copying
 Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: adlint
 version: !ruby/object:Gem::Version
-  version: 2.0.2
+  version: 2.0.6
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2012-08-28 00:00:00.000000000 Z
+date: 2012-08-30 00:00:00.000000000 Z
 dependencies: []
 description: ! 'AdLint is a source code static analyzer.