adlint 1.18.6 → 2.0.0

data/features/{message_detection → code_check}/W0010.feature

@@ -3,14 +3,14 @@ Feature: W0010
   W0010 detects that a side-effect may occur in the conditional-expression.
 
   Scenario: postfix-increment-expression and postfix-decrement-expression
-    Given a target source named "W0010.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(int a, int b)
       {
           return (a > 0) ? b++ : b--; /* W0010 */
       }
       """
-    When I successfully run `adlint W0010.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -20,14 +20,14 @@ Feature: W0010
       | W0628 | 1    | 12     |
 
   Scenario: object-specifier and postfix-decrement-expression
-    Given a target source named "W0010.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(int a, int b)
       {
           return (a > 0) ? b : b--; /* W0010 */
       }
       """
-    When I successfully run `adlint W0010.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -38,14 +38,14 @@ Feature: W0010
       | W0628 | 1    | 12     |
 
   Scenario: function-call-expression and constant-specifier
-    Given a target source named "W0010.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(int a, int b)
       {
           return (a > 0) ? foo(1, b) : 0; /* W0010 */
       }
       """
-    When I successfully run `adlint W0010.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
@@ -57,14 +57,14 @@ Feature: W0010
       | W0555 | 1    | 12     |
 
   Scenario: additive-expression and multiplicative-expression
-    Given a target source named "W0010.c" with:
+    Given a target source named "fixture.c" with:
       """
       static int foo(int a, int b)
       {
           return (a > 0) ? b / a : a + b; /* OK */
       }
       """
-    When I successfully run `adlint W0010.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |

data/features/{message_detection → code_check}/W0013.feature

@@ -3,7 +3,7 @@ Feature: W0013
   W0013 detects that a continue-statement is used in iteration-statement.
 
   Scenario: a continue-statement in for-statement
-    Given a target source named "W0013.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void foo(void)
       {
@@ -18,7 +18,7 @@ Feature: W0013
           }
       }
       """
-    When I successfully run `adlint W0013.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -28,7 +28,7 @@ Feature: W0013
       | W0628 | 1    | 13     |
 
   Scenario: a continue-statement in c99-for-statement
-    Given a target source named "W0013.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void foo(void)
       {
@@ -42,7 +42,7 @@ Feature: W0013
           }
       }
       """
-    When I successfully run `adlint W0013.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -51,7 +51,7 @@ Feature: W0013
       | W0628 | 1    | 13     |
 
   Scenario: a continue-statement in while-statement
-    Given a target source named "W0013.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void foo(void)
       {
@@ -67,7 +67,7 @@ Feature: W0013
           }
       }
       """
-    When I successfully run `adlint W0013.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -76,7 +76,7 @@ Feature: W0013
       | W0628 | 1    | 13     |
 
   Scenario: a continue-statement in do-statement
-    Given a target source named "W0013.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void foo(void)
       {
@@ -92,7 +92,7 @@ Feature: W0013
           } while (i < 20);
       }
       """
-    When I successfully run `adlint W0013.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -101,7 +101,7 @@ Feature: W0013
       | W0628 | 1    | 13     |
 
   Scenario: no continue-statement in for-statement
-    Given a target source named "W0013.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void foo(void)
       {
@@ -116,7 +116,7 @@ Feature: W0013
           }
       }
       """
-    When I successfully run `adlint W0013.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -125,7 +125,7 @@ Feature: W0013
       | W0628 | 1    | 13     |
 
   Scenario: no continue-statement in c99-for-statement
-    Given a target source named "W0013.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void foo(void)
       {
@@ -139,7 +139,7 @@ Feature: W0013
           }
       }
       """
-    When I successfully run `adlint W0013.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -147,7 +147,7 @@ Feature: W0013
       | W0628 | 1    | 13     |
 
   Scenario: no continue-statement in while-statement
-    Given a target source named "W0013.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void foo(void)
       {
@@ -163,7 +163,7 @@ Feature: W0013
           }
       }
       """
-    When I successfully run `adlint W0013.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |
@@ -171,7 +171,7 @@ Feature: W0013
       | W0628 | 1    | 13     |
 
   Scenario: no continue-statement in do-statement
-    Given a target source named "W0013.c" with:
+    Given a target source named "fixture.c" with:
       """
       static void foo(void)
       {
@@ -187,7 +187,7 @@ Feature: W0013
           } while (i < 20);
       }
       """
-    When I successfully run `adlint W0013.c` on noarch
+    When I successfully run `adlint fixture.c` on noarch
     Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 13     |

data/features/code_check/W0016.feature

@@ -0,0 +1,200 @@
+Feature: W0016
+
+  W0016 detects that field-width of the conversion-specifier in `*printf'
+  function call is greater than 509.
+
+  Scenario: field-width of `%d' conversion-specifier in `printf' function call
+            is greater than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int i)
+      {
+          return printf("%512d", i); /* W0016 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0016 | 5    | 19     |
+      | W0104 | 3    | 13     |
+      | W0947 | 5    | 19     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `printf' function call
+            is equal to 510
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int i)
+      {
+          return printf("%510d", i); /* W0016 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0016 | 5    | 19     |
+      | W0104 | 3    | 13     |
+      | W0947 | 5    | 19     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `printf' function call
+            is equal to 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int i)
+      {
+          return printf("%509d", i); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 13     |
+      | W0947 | 5    | 19     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `printf' function call
+            is less than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int i)
+      {
+          return printf("%500d", i); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 13     |
+      | W0947 | 5    | 19     |
+      | W0628 | 3    | 5      |
+
+  Scenario: no field-width of `%d' conversion-specifier in `printf' function
+            call
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int i)
+      {
+          return printf("%d", i); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 13     |
+      | W0947 | 5    | 19     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `fprintf' function call
+            is greater than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int i)
+      {
+          return fprintf(stdout, "%512d", i); /* W0016 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0016 | 5    | 28     |
+      | W0104 | 3    | 13     |
+      | W0947 | 5    | 28     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `fprintf' function call
+            is equal to 510
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int i)
+      {
+          return fprintf(stdout, "%510d", i); /* W0016 */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0016 | 5    | 28     |
+      | W0104 | 3    | 13     |
+      | W0947 | 5    | 28     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `fprintf' function call
+            is equal to 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int i)
+      {
+          return fprintf(stdout, "%509d", i); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 13     |
+      | W0947 | 5    | 28     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `fprintf' function call
+            is less than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int i)
+      {
+          return fprintf(stdout, "%500d", i); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 13     |
+      | W0947 | 5    | 28     |
+      | W0628 | 3    | 5      |
+
+  Scenario: no field-width of `%d' conversion-specifier in `fprintf' function
+            call
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int i)
+      {
+          return fprintf(stdout, "%d", i); /* OK */
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 13     |
+      | W0947 | 5    | 28     |
+      | W0628 | 3    | 5      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/code_check/W0017.feature

@@ -0,0 +1,270 @@
+Feature: W0017
+
+  W0017 detects that field-width of the conversion-specifier in `*scanf'
+  function call is greater than 509.
+
+  Scenario: field-width of `%d' conversion-specifier in `scanf' function call
+            is greater than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int *p)
+      {
+          if (p != NULL) {
+              *p = 0;
+              return scanf("%512d", p); /* W0017 */
+          }
+          else {
+              return -1;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0017 | 7    | 22     |
+      | W0104 | 3    | 14     |
+      | W1071 | 3    | 5      |
+      | W0947 | 7    | 22     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `scanf' function call
+            is equal to 510
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int *p)
+      {
+          if (p != NULL) {
+              *p = 0;
+              return scanf("%510d", p); /* W0017 */
+          }
+          else {
+              return -1;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0017 | 7    | 22     |
+      | W0104 | 3    | 14     |
+      | W1071 | 3    | 5      |
+      | W0947 | 7    | 22     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `scanf' function call
+            is equal to 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int *p)
+      {
+          if (p != NULL) {
+              *p = 0;
+              return scanf("%509d", p); /* OK */
+          }
+          else {
+              return -1;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 14     |
+      | W1071 | 3    | 5      |
+      | W0947 | 7    | 22     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `scanf' function call
+            is less than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int *p)
+      {
+          if (p != NULL) {
+              *p = 0;
+              return scanf("%500d", p); /* OK */
+          }
+          else {
+              return -1;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 14     |
+      | W1071 | 3    | 5      |
+      | W0947 | 7    | 22     |
+      | W0628 | 3    | 5      |
+
+  Scenario: no field-width of `%d' conversion-specifier in `scanf' function
+            call
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int *p)
+      {
+          if (p != NULL) {
+              *p = 0;
+              return scanf("%d", p); /* OK */
+          }
+          else {
+              return -1;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 14     |
+      | W1071 | 3    | 5      |
+      | W0947 | 7    | 22     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `fscanf' function call
+            is greater than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int *p)
+      {
+          if (p != NULL) {
+              *p = 0;
+              return fscanf(stdin, "%512d", p); /* W0017 */
+          }
+          else {
+              return -1;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0017 | 7    | 30     |
+      | W0104 | 3    | 14     |
+      | W1071 | 3    | 5      |
+      | W0947 | 7    | 30     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `fscanf' function call
+            is equal to 510
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int *p)
+      {
+          if (p != NULL) {
+              *p = 0;
+              return fscanf(stdin, "%510d", p); /* W0017 */
+          }
+          else {
+              return -1;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0017 | 7    | 30     |
+      | W0104 | 3    | 14     |
+      | W1071 | 3    | 5      |
+      | W0947 | 7    | 30     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `fscanf' function call
+            is equal to 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int *p)
+      {
+          if (p != NULL) {
+              *p = 0;
+              return fscanf(stdin, "%509d", p); /* OK */
+          }
+          else {
+              return -1;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 14     |
+      | W1071 | 3    | 5      |
+      | W0947 | 7    | 30     |
+      | W0628 | 3    | 5      |
+
+  Scenario: field-width of `%d' conversion-specifier in `fscanf' function call
+            is less than 509
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int *p)
+      {
+          if (p != NULL) {
+              *p = 0;
+              return fscanf(stdin, "%500d", p); /* OK */
+          }
+          else {
+              return -1;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 14     |
+      | W1071 | 3    | 5      |
+      | W0947 | 7    | 30     |
+      | W0628 | 3    | 5      |
+
+  Scenario: no field-width of `%d' conversion-specifier in `fscanf' function
+            call
+    Given a target source named "fixture.c" with:
+      """
+      #include <stdio.h>
+
+      int foo(int *p)
+      {
+          if (p != NULL) {
+              *p = 0;
+              return fscanf(stdin, "%d", p); /* OK */
+          }
+          else {
+              return -1;
+          }
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 5      |
+      | W0104 | 3    | 14     |
+      | W1071 | 3    | 5      |
+      | W0947 | 7    | 30     |
+      | W0628 | 3    | 5      |
+
+# vim:ts=2:sw=2:sts=2:et: