adlint 1.16.0 → 1.18.0

data/features/message_detection/W1026.feature

@@ -0,0 +1,105 @@
+Feature: W1026
+
+  W1026 detects that type of an argument is incomplete.
+
+  Scenario: incomplete struct type as an argument
+    Given a target source named "W1026.c" with:
+      """
+      extern struct st s;
+      extern void foo(struct st);
+
+      void bar(void)
+      {
+          foo(s); /* W1026 */
+      }
+      """
+    When I successfully run `adlint W1026.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 18     |
+      | W0118 | 2    | 13     |
+      | W0117 | 4    | 6      |
+      | W0493 | 6    | 8      |
+      | W1026 | 6    | 9      |
+      | W0628 | 4    | 6      |
+
+  Scenario: incomplete typedef-ed struct type as an argument
+    Given a target source named "W1026.c" with:
+      """
+      typedef struct st st_t;
+
+      extern st_t s;
+      extern void foo(st_t);
+
+      void bar(void)
+      {
+          foo(s); /* W1026 */
+      }
+      """
+    When I successfully run `adlint W1026.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 3    | 13     |
+      | W0625 | 1    | 19     |
+      | W0118 | 4    | 13     |
+      | W0117 | 6    | 6      |
+      | W0493 | 8    | 8      |
+      | W1026 | 8    | 9      |
+      | W0628 | 6    | 6      |
+
+  Scenario: complete struct type as an argument
+    Given a target source named "W1026.c" with:
+      """
+      typedef struct {
+          int i;
+      } st_t;
+
+      extern st_t s;
+      extern void foo(st_t);
+
+      void bar(void)
+      {
+          foo(s); /* OK */
+      }
+      """
+    When I successfully run `adlint W1026.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 5    | 13     |
+      | W0625 | 3    | 3      |
+      | W0118 | 6    | 13     |
+      | W0117 | 8    | 6      |
+      | W0493 | 10   | 8      |
+      | W0628 | 8    | 6      |
+
+  Scenario: multiple incomplete typed arguments
+    Given a target source named "W1026.c" with:
+      """
+      typedef struct st st_t;
+      typedef enum en en_t;
+
+      extern st_t s;
+      extern en_t e;
+      extern void foo(st_t, int, en_t);
+
+      void bar(void)
+      {
+          foo(s, 0, e); /* two W1026 */
+      }
+      """
+    When I successfully run `adlint W1026.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 4    | 13     |
+      | W0625 | 1    | 19     |
+      | W0118 | 5    | 13     |
+      | W0625 | 2    | 17     |
+      | W0737 | 5    | 13     |
+      | W0118 | 6    | 13     |
+      | W0117 | 8    | 6      |
+      | W0493 | 10   | 8      |
+      | W1026 | 10   | 9      |
+      | W1026 | 10   | 15     |
+      | W0628 | 8    | 6      |
+
+# vim:ts=2:sw=2:sts=2:et:

data/features/message_detection/W1031.feature

@@ -14,8 +14,7 @@ Feature: W1031
       }
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should not match with /3:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W1075 | 3    | 5      |
       | W0104 | 3    | 14     |
@@ -33,8 +32,7 @@ Feature: W1031
       }
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should not match with /3:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
       | W0104 | 3    | 14     |
@@ -51,8 +49,7 @@ Feature: W1031
       }
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should not match with /3:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 5      |
       | W0104 | 3    | 14     |
@@ -87,8 +84,7 @@ Feature: W1031
       }
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should not match with /3:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 5      |
       | W0104 | 3    | 21     |
@@ -105,8 +101,7 @@ Feature: W1031
       }
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should match with /3:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W1031 | 3    | 12     |
       | W1075 | 3    | 12     |
@@ -125,8 +120,7 @@ Feature: W1031
       }
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should match with /3:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
       | W1031 | 3    | 12     |
@@ -141,8 +135,7 @@ Feature: W1031
       int i = 0; /* OK */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should not match with /2:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
 
@@ -154,8 +147,7 @@ Feature: W1031
       extern int i; /* OK */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should not match with /2:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
       | W0118 | 2    | 12     |
@@ -168,8 +160,7 @@ Feature: W1031
       extern int i = 0; /* W1031 */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should match with /2:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W1031 | 2    | 12     |
       | W1075 | 2    | 12     |
@@ -182,8 +173,7 @@ Feature: W1031
       static int i = 0; /* W1031 */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should match with /2:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0118 | 1    | 12     |
       | W1031 | 2    | 12     |
@@ -199,8 +189,7 @@ Feature: W1031
       int foo(long); /* OK */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should not match with /5:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
       | W0104 | 1    | 21     |
@@ -220,8 +209,7 @@ Feature: W1031
       int foo(long); /* OK */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should not match with /5:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 12     |
       | W0104 | 1    | 21     |
@@ -240,8 +228,7 @@ Feature: W1031
       int foo(long); /* OK */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should not match with /5:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
       | W0104 | 1    | 14     |
@@ -260,8 +247,7 @@ Feature: W1031
       static int foo(long); /* W1031 */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should match with /5:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
       | W0104 | 1    | 14     |
@@ -281,8 +267,7 @@ Feature: W1031
       extern int foo(long); /* OK */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should not match with /5:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 5      |
       | W0104 | 1    | 14     |
@@ -301,8 +286,7 @@ Feature: W1031
       extern int foo(long l); /* W1031 */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should match with /5:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W1076 | 1    | 12     |
       | W0104 | 1    | 21     |
@@ -322,8 +306,7 @@ Feature: W1031
       static int foo(long); /* W1031 */
       """
     When I successfully run `adlint W1031.c` on noarch
-    Then the output should match with /5:.*:W1031/
-    And the output should exactly match with:
+    Then the output should exactly match with:
       | mesg  | line | column |
       | W0117 | 1    | 12     |
       | W0104 | 1    | 21     |

data/features/message_detection/W1039.feature

@@ -0,0 +1,268 @@
+Feature: W1039
+
+  W1039 detects that an `ll' length-modifier is found in *printf or *scanf
+  function call.
+
+  Scenario: an `ll' in printf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(long long ll)
+      {
+          printf("%lld", ll); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 5    | 12     |
+      | W0104 | 3    | 20     |
+      | W1073 | 5    | 11     |
+      | W0834 | 3    | 10     |
+      | W0947 | 5    | 12     |
+      | W0628 | 3    | 6      |
+
+  Scenario: an `ll' in scanf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(void)
+      {
+          long long ll = 0;
+          scanf("%lld", &ll); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 6    | 11     |
+      | W1073 | 6    | 10     |
+      | W0834 | 5    | 5      |
+      | W0947 | 6    | 11     |
+      | W0628 | 3    | 6      |
+
+  Scenario: an `ll' with one of conversion-specifiers in printf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(int i, long long ll, unsigned long ul)
+      {
+          printf("%d %lld %lu", i, ll, ul); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 5    | 12     |
+      | W0104 | 3    | 14     |
+      | W0104 | 3    | 27     |
+      | W0104 | 3    | 45     |
+      | W1073 | 5    | 11     |
+      | W0834 | 3    | 17     |
+      | W0947 | 5    | 12     |
+      | W0628 | 3    | 6      |
+
+  Scenario: an `ll' with one of conversion-specifiers in scanf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(void)
+      {
+          int i = 0;
+          long long ll = 0;
+          unsigned long ul = 0U;
+          scanf("%d %lld %lu", &i, &ll, &ul); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 8    | 11     |
+      | W1073 | 8    | 10     |
+      | W0834 | 6    | 5      |
+      | W0947 | 8    | 11     |
+      | W0628 | 3    | 6      |
+
+  Scenario: an `ll' with conversion-specifier `i' in printf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(long long ll)
+      {
+          printf("%lli", ll); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 5    | 12     |
+      | W0104 | 3    | 20     |
+      | W1073 | 5    | 11     |
+      | W0834 | 3    | 10     |
+      | W0947 | 5    | 12     |
+      | W0628 | 3    | 6      |
+
+  Scenario: an `ll' with conversion-specifier `o' in printf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(unsigned long long ull)
+      {
+          printf("%llo", ull); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 5    | 12     |
+      | W0104 | 3    | 29     |
+      | W1073 | 5    | 11     |
+      | W0834 | 3    | 10     |
+      | W0947 | 5    | 12     |
+      | W0628 | 3    | 6      |
+
+  Scenario: an `ll' with conversion-specifier `u' in printf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(unsigned long long ull)
+      {
+          printf("%llu", ull); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 5    | 12     |
+      | W0104 | 3    | 29     |
+      | W1073 | 5    | 11     |
+      | W0834 | 3    | 10     |
+      | W0947 | 5    | 12     |
+      | W0628 | 3    | 6      |
+
+  Scenario: an `ll' with conversion-specifier `x' in printf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(unsigned long long ull)
+      {
+          printf("%llx", ull); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 5    | 12     |
+      | W0104 | 3    | 29     |
+      | W1073 | 5    | 11     |
+      | W0834 | 3    | 10     |
+      | W0947 | 5    | 12     |
+      | W0628 | 3    | 6      |
+
+  Scenario: an `ll' with conversion-specifier `X' in printf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(unsigned long long ull)
+      {
+          printf("%llX", ull); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 5    | 12     |
+      | W0104 | 3    | 29     |
+      | W1073 | 5    | 11     |
+      | W0834 | 3    | 10     |
+      | W0947 | 5    | 12     |
+      | W0628 | 3    | 6      |
+
+  Scenario: an `ll' with conversion-specifier `d' in fprintf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(long long ll)
+      {
+          fprintf(stdout, "%lld", ll); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 5    | 21     |
+      | W0104 | 3    | 20     |
+      | W1073 | 5    | 12     |
+      | W0834 | 3    | 10     |
+      | W0947 | 5    | 21     |
+      | W0628 | 3    | 6      |
+
+  Scenario: multiple `ll' in printf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(long long ll, unsigned long long ull)
+      {
+          printf("%lld %llu", ll, ull); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 5    | 12     |
+      | W1039 | 5    | 12     |
+      | W0104 | 3    | 20     |
+      | W0104 | 3    | 43     |
+      | W1073 | 5    | 11     |
+      | W0834 | 3    | 10     |
+      | W0834 | 3    | 24     |
+      | W0947 | 5    | 12     |
+      | W0628 | 3    | 6      |
+
+  Scenario: multiple `ll' in scanf function call
+    Given a target source named "W1039.c" with:
+      """
+      #include <stdio.h>
+
+      void foo(void)
+      {
+          long long ll = 0;
+          unsigned long long ull = 0U;
+          scanf("%lld %llu", &ll, &ull); /* W1039 */
+      }
+      """
+    When I successfully run `adlint W1039.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0117 | 3    | 6      |
+      | W1039 | 7    | 11     |
+      | W1039 | 7    | 11     |
+      | W1073 | 7    | 10     |
+      | W0834 | 5    | 5      |
+      | W0834 | 6    | 5      |
+      | W0947 | 7    | 11     |
+      | W0628 | 3    | 6      |
+
+# vim:ts=2:sw=2:sts=2:et: