adlint 2.6.14 → 3.0.0

data/etc/conf.d/i686-mingw/cinit-gcc_4.6.1.erb

@@ -2,7 +2,7 @@
  *    /   |  / _  |/ /   / / | / /__  __/          Source Code Static Analyzer
  *   / /| | / / / / /   / /  |/ /  / /                  AdLint - Advanced Lint
  *  / __  |/ /_/ / /___/ / /|  /  / /
- * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+ * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
  *
  * Initial header for GCC 4.6.1 on MinGW generated by adlintize <%= AdLint::SHORT_VERSION %>
  * at <%= Time.now %>.

data/etc/conf.d/i686-mingw/traits-gcc_4.6.1.erb

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # Traits file generated by adlintize <%= AdLint::SHORT_VERSION %> at <%= Time.now %>.
 
@@ -29,19 +29,32 @@ project_traits:
   # Project root directory.
   project_root: "<%= vpath %>"
 
-  # Project specific additional include paths.
+  # Analysys target selection.
   # Ex.
-  #   include_path:
-  #     - "include/foo"
-  #     - "../include/bar"
-  #     - "/opt/baz/include"
-  include_path:
+  #   target_files:
+  #     inclusion_paths:
+  #       - "../foo"
+  #       - "../bar"
+  #     exclusion_paths:
+  #       - "../bar/baz"
+  target_files:
+    inclusion_paths:
+      - "<%= vpath %>"
+    exclusion_paths:
 
   # 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 additional include paths.
+  # Ex.
+  #   file_search_paths:
+  #     - "include/foo"
+  #     - "../include/bar"
+  #     - "/opt/baz/include"
+  file_search_paths:
+
   #
   # Project specific coding style section
   #
@@ -100,10 +113,20 @@ compiler_traits:
   # project specific initial header file.
   initial_header: "<%= cinit_fpath.basename %>"
 
+  # Compiler specific include paths.
+  # Ex.
+  #   file_search_paths:
+  #     - "/usr/include"
+  #     - "/usr/local/include"
+  file_search_paths:
+    - "/mingw/lib/gcc/mingw32/4.6.1/include"
+    - "/mingw/include"
+    - "/mingw/lib/gcc/mingw32/4.6.1/include-fixed"
+
   #
   # Compiler specific standard type section
   #
-  standard_type:
+  standard_types:
 
     # Bit size of the `char' type family.
     char_size: 8
@@ -158,30 +181,23 @@ compiler_traits:
     # 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:
-    - "/mingw/lib/gcc/mingw32/4.6.1/include"
-    - "/mingw/include"
-    - "/mingw/lib/gcc/mingw32/4.6.1/include-fixed"
-
   # Treat the `>>' operator as a logical shift, not an arithmetic shift?
   arithmetic:
     logical_right_shift: true
 
+  # Max length of all symbols can be identified by the compiler.
+  identifier_max: 128
+
   # 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:
+  #   extension_substitutions:
   #     "__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:
+  extension_substitutions:
     "__extension__": ""
     "__attribute__(__adlint__any)": ""
     "__cdecl": ""
@@ -195,20 +211,17 @@ compiler_traits:
   #
   # If your compiler supports `__asm__ volatile (...)' extension and you do not
   # mind the use of this extension, specify as below.
-  #   arbitrary_substitution:
+  #   arbitrary_substitutions:
   #     "__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:
+  arbitrary_substitutions:
     "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
 #
@@ -230,21 +243,8 @@ message_traits:
   # Please help to translate the message catalog into your language.
   language: "<%= lang %>"
 
-  # Output messages with category and severity information?
-  message_with_class: false
-
-  # Warn only files in the specified directory.
-  # If omitted, all files including system headers will be warned.
-  warn_files_in:
-    - "<%= vpath %>"
-
-  # Don't warn files in the specified directory.
-  # You can specify 3rd-party library header directories imported in the
-  # project to suppress warnings about unconcerned headers.
-  warn_files_not_in:
-
-  # Enable translation-unit specific code check selection?
-  individual_selection: true
+  # Enable inline annotation based message suppression?
+  individual_suppression: true
 
   # Project-wide code check exclusion settings.
   # Ex.

data/etc/conf.d/noarch/GNUmakefile.erb

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # GNUmakefile generated by adlintize <%= AdLint::SHORT_VERSION %> at <%= Time.now %>.
 #

data/etc/conf.d/noarch/adlint_all_bat.erb

@@ -2,7 +2,7 @@
 :    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 :   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 :  / __  |/ /_/ / /___/ / /|  /  / /
-: /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+: /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 :
 : MS-Windows BAT file generated by adlintize <%= AdLint::SHORT_VERSION %> at <%= Time.now %>
 

data/etc/conf.d/noarch/adlint_all_sh.erb

@@ -3,7 +3,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # Shell script generated by adlintize <%= AdLint::SHORT_VERSION %> at <%= Time.now %>
 

data/etc/conf.d/noarch/pinit.erb

@@ -2,7 +2,7 @@
  *    /   |  / _  |/ /   / / | / /__  __/          Source Code Static Analyzer
  *   / /| | / / / / /   / /  |/ /  / /                  AdLint - Advanced Lint
  *  / __  |/ /_/ / /___/ / /|  /  / /
- * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+ * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
  *
  * Project specific initial header file generated by adlintize <%= AdLint::SHORT_VERSION %>
  * at <%= Time.now %>.

data/etc/conf.d/x86_64-ubuntu_12.04/cinit-gcc_4.6.3.erb

@@ -2,7 +2,7 @@
  *    /   |  / _  |/ /   / / | / /__  __/          Source Code Static Analyzer
  *   / /| | / / / / /   / /  |/ /  / /                  AdLint - Advanced Lint
  *  / __  |/ /_/ / /___/ / /|  /  / /
- * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+ * /_/  |_|_____/_____/_/_/ |_/  /_/  Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
  *
  * Initial header for GCC 4.6.3 on Ubuntu 12.04 LTS (64bit) generated by adlintize <%= AdLint::SHORT_VERSION %>
  */

data/etc/conf.d/x86_64-ubuntu_12.04/traits-gcc_4.6.3.erb

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # Traits file generated by adlintize <%= AdLint::SHORT_VERSION %> at <%= Time.now %>.
 
@@ -29,19 +29,32 @@ project_traits:
   # Project root directory.
   project_root: "<%= vpath %>"
 
-  # Project specific additional include paths.
+  # Analysys target selection.
   # Ex.
-  #   include_path:
-  #     - "include/foo"
-  #     - "../include/bar"
-  #     - "/opt/baz/include"
-  include_path:
+  #   target_files:
+  #     inclusion_paths:
+  #       - "../foo"
+  #       - "../bar"
+  #     exclusion_paths:
+  #       - "../bar/baz"
+  target_files:
+    inclusion_paths:
+      - "<%= vpath %>"
+    exclusion_paths:
 
   # 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 additional include paths.
+  # Ex.
+  #   file_search_paths:
+  #     - "include/foo"
+  #     - "../include/bar"
+  #     - "/opt/baz/include"
+  file_search_paths:
+
   #
   # Project specific coding style section
   #
@@ -100,10 +113,22 @@ compiler_traits:
   # project specific initial header file.
   initial_header: "<%= cinit_fpath.basename %>"
 
+  # Compiler specific include paths.
+  # Ex.
+  #   file_search_paths:
+  #     - "/usr/include"
+  #     - "/usr/local/include"
+  file_search_paths:
+    - "/usr/lib/gcc/x86_64-linux-gnu/4.6/include"
+    - "/usr/local/include"
+    - "/usr/lib/gcc/x86_64-linux-gnu/4.6/include-fixed"
+    - "/usr/include/x86_64-linux-gnu"
+    - "/usr/include"
+
   #
   # Compiler specific standard type section
   #
-  standard_type:
+  standard_types:
 
     # Bit size of the `char' type family.
     char_size: 8
@@ -158,32 +183,23 @@ compiler_traits:
     # 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:
-    - "/usr/lib/gcc/x86_64-linux-gnu/4.6/include"
-    - "/usr/local/include"
-    - "/usr/lib/gcc/x86_64-linux-gnu/4.6/include-fixed"
-    - "/usr/include/x86_64-linux-gnu"
-    - "/usr/include"
-
   # Treat the `>>' operator as a logical shift, not an arithmetic shift?
   arithmetic:
     logical_right_shift: true
 
+  # Max length of all symbols can be identified by the compiler.
+  identifier_max: 128
+
   # 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:
+  #   extension_substitutions:
   #     "__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:
+  extension_substitutions:
     "__extension__": ""
     "__attribute__(__adlint__any)": ""
     "__asm__ __adlint__any(__adlint__any)": ""
@@ -199,20 +215,17 @@ compiler_traits:
   #
   # If your compiler supports `__asm__ volatile (...)' extension and you do not
   # mind the use of this extension, specify as below.
-  #   arbitrary_substitution:
+  #   arbitrary_substitutions:
   #     "__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:
+  arbitrary_substitutions:
     "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
 #
@@ -234,21 +247,8 @@ message_traits:
   # Please help to translate the message catalog into your language.
   language: "<%= lang %>"
 
-  # Output messages with category and severity information?
-  message_with_class: false
-
-  # Warn only files in the specified directory.
-  # If omitted, all files including system headers will be warned.
-  warn_files_in:
-    - "<%= vpath %>"
-
-  # Don't warn files in the specified directory.
-  # You can specify 3rd-party library header directories imported in the
-  # project to suppress warnings about unconcerned headers.
-  warn_files_not_in:
-
-  # Enable translation-unit specific code check selection?
-  individual_selection: true
+  # Enable inline annotation based message suppression?
+  individual_suppression: true
 
   # Project-wide code check exclusion settings.
   # Ex.

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

@@ -2,7 +2,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "2.6.14"
+version: "3.0.0"
 
 message_definition:
   W0001:
@@ -119,7 +119,7 @@ message_definition:
   W0028:
     classes:
       - "UNC:X99"
-    format: "Indirect referencing is being made by NULL pointer."
+    format: "Dereferencing a pointer constant of NULL."
   W0030:
     classes:
       - "UNC:X99"
@@ -271,7 +271,7 @@ message_definition:
   W0076:
     classes:
       - "UNC:X99"
-    format: "This hexadecimal literal doesn't contained within suffix `U' or `u'."
+    format: "Hexadecimal constant without `U' or `u' suffix."
   W0077:
     classes:
       - "UNC:X99"
@@ -319,7 +319,7 @@ message_definition:
   W0093:
     classes:
       - "UNC:X99"
-    format: "It divided by a value which possibly zero."
+    format: "This expression may cause division-by-zero."
   W0094:
     classes:
       - "UNC:X99"
@@ -331,7 +331,7 @@ message_definition:
   W0097:
     classes:
       - "UNC:X99"
-    format: "It divided by zero."
+    format: "This expression must cause division-by-zero."
   W0100:
     classes:
       - "UNC:X99"
@@ -363,7 +363,7 @@ message_definition:
   W0108:
     classes:
       - "UNC:X99"
-    format: "Assignment operator is used in logical operation expression."
+    format: "An assignment-expression appears in the logical expression."
   W0109:
     classes:
       - "UNC:X99"
@@ -391,11 +391,11 @@ message_definition:
   W0117:
     classes:
       - "UNC:X99"
-    format: "The definition of `%s' has an external coupling, but the declaration doesn't find before its definition."
+    format: "`%s' has external-linkage without any prototype declarations."
   W0118:
     classes:
       - "UNC:X99"
-    format: "The definition of `%s' which has external coupling doesn't find in header file."
+    format: "`%s' has external-linkage, but no prototype declaration is in header files."
   W0119:
     classes:
       - "UNC:X99"
@@ -583,7 +583,7 @@ message_definition:
   W0165:
     classes:
       - "UNC:X99"
-    format: "An implicit type conversion from signed int to unsigned char."
+    format: "Implicit conversion from `signed int' to `unsigned char'."
   W0166:
     classes:
       - "UNC:X99"
@@ -591,7 +591,7 @@ message_definition:
   W0167:
     classes:
       - "UNC:X99"
-    format: "An implicit type conversion from signed int to unsigned int."
+    format: "Implicit conversion from `signed int' to `unsigned int'."
   W0168:
     classes:
       - "UNC:X99"
@@ -907,7 +907,7 @@ message_definition:
   W0246:
     classes:
       - "UNC:X99"
-    format: "An implicit type conversion from unsigned char to signed int."
+    format: "Implicit conversion from `unsigned char' to `signed int'."
   W0247:
     classes:
       - "UNC:X99"
@@ -1575,15 +1575,15 @@ message_definition:
   W0414:
     classes:
       - "UNC:X99"
-    format: "The body of control statement is in a line. It unenclosed by curly brace`{}' block."
+    format: "Body of the controlling statement in a line is not enclosed by `{}'."
   W0421:
     classes:
       - "UNC:X99"
-    format: "Indirect reference is being made to the pointer which its value will be NULL."
+    format: "Value of the dereferencing pointer must be NULL."
   W0422:
     classes:
       - "UNC:X99"
-    format: "Indirect reference is being made to the pointer which its value might be NULL."
+    format: "Value of the dereferencing pointer may be NULL."
   W0423:
     classes:
       - "UNC:X99"
@@ -1755,7 +1755,7 @@ message_definition:
   W0502:
     classes:
       - "UNC:X99"
-    format: "A binary operator except '+', '-', '*', '/', '%%' is used with the different priority of binary operator. It had better clear the coupling by using `()'."
+    format: "A binary operator other than `+', `-', `*', `/' and `%%' appears with binary operator which has different precedence without expression grouping."
   W0508:
     classes:
       - "UNC:X99"
@@ -1899,7 +1899,7 @@ message_definition:
   W0570:
     classes:
       - "UNC:X99"
-    format: "The result of left shift operation against the signed expression value might be undefined."
+    format: "This signed left shift operation may make undefined value."
   W0571:
     classes:
       - "UNC:X99"
@@ -1907,7 +1907,7 @@ message_definition:
   W0572:
     classes:
       - "UNC:X99"
-    format: "The result of bit operation against the signed data is defined by implementation."
+    format: "Bitwise operation of signed value causes implementation-defined behavior."
   W0573:
     classes:
       - "UNC:X99"
@@ -1995,7 +1995,7 @@ message_definition:
   W0605:
     classes:
       - "UNC:X99"
-    format: "A 'break' statement is used more than once to finish the repetition statement."
+    format: "Multiple break-statements appear to break the same iteration."
   W0606:
     classes:
       - "UNC:X99"
@@ -2011,11 +2011,11 @@ message_definition:
   W0609:
     classes:
       - "UNC:X99"
-    format: "The result of this logical operation is always true."
+    format: "This logical expression always makes true."
   W0610:
     classes:
       - "UNC:X99"
-    format: "The result of this logical operation is always false."
+    format: "This logical expression always makes false."
   W0611:
     classes:
       - "UNC:X99"
@@ -2027,7 +2027,7 @@ message_definition:
   W0613:
     classes:
       - "UNC:X99"
-    format: "The value of this control expression is always false."
+    format: "This controlling expression always makes false."
   W0614:
     classes:
       - "UNC:X99"
@@ -2063,7 +2063,7 @@ message_definition:
   W0629:
     classes:
       - "UNC:X99"
-    format: "A static function `%s()' is not used in this translation unit."
+    format: "`%s()' has internal-linkage, but it is never called in this translation-unit."
   W0632:
     classes:
       - "UNC:X99"
@@ -2335,11 +2335,11 @@ message_definition:
   W0705:
     classes:
       - "UNC:X99"
-    format: "An array's index might be out of range."
+    format: "This non-constant array subscript may cause out-of-range access."
   W0707:
     classes:
       - "UNC:X99"
-    format: "An array's index is out of range."
+    format: "This constant array subscript must cause out-of-range access."
   W0708:
     classes:
       - "UNC:X99"
@@ -2479,7 +2479,7 @@ message_definition:
   W0745:
     classes:
       - "UNC:X99"
-    format: "The array's index points out of domain."
+    format: "This non-constant array subscript must cause out-of-range access."
   W0747:
     classes:
       - "UNC:X99"
@@ -2659,7 +2659,7 @@ message_definition:
   W0794:
     classes:
       - "UNC:X99"
-    format: "Left shift operation to signed operand."
+    format: "Left shift operation of signed value causes implementation-defined behavior."
   W0795:
     classes:
       - "UNC:X99"
@@ -2763,11 +2763,11 @@ message_definition:
   W0947:
     classes:
       - "UNC:X99"
-    format: "A string literal is used directly."
+    format: "String literal is specified directly."
   W0948:
     classes:
       - "UNC:X99"
-    format: "A character constant `%s' is used directly."
+    format: "Character constant %s is specified directly."
   W0949:
     classes:
       - "UNC:X99"
@@ -2775,7 +2775,7 @@ message_definition:
   W0950:
     classes:
       - "UNC:X99"
-    format: "A value `%s' is used directly for size definition of the array."
+    format: "Integer constant `%s' is specified directly as an array size."
   W1026:
     classes:
       - "UNC:X99"
@@ -2963,7 +2963,7 @@ message_definition:
   W1073:
     classes:
       - "UNC:X99"
-    format: "A return value of function `%s' is not used."
+    format: "Return value of the function `%s' is discarded."
   W1074:
     classes:
       - "UNC:X99"
@@ -2975,7 +2975,7 @@ message_definition:
   W1076:
     classes:
       - "UNC:X99"
-    format: "`%s' is defined as internal-linkage, but it has no forward declaration."
+    format: "`%s' has internal-linkage without any prototype declarations."
   W1077:
     classes:
       - "UNC:X99"
@@ -2983,7 +2983,7 @@ message_definition:
   W9001:
     classes:
       - "UNC:X99"
-    format: "This statement doesn't reach the control."
+    format: "Control never reaches to this statement."
   W9002:
     classes:
       - "UNC:X99"