Tests for Contracts6

* tests for contracts6

Author: jsinglet

.vscode/tasks.json

@@ -192,6 +192,11 @@
                 "Classes",
                 "Comments",
                 "Contracts1",
+                "Contracts2",
+                "Contracts3",
+                "Contracts4",
+                "Contracts5",
+                "Contracts6",
                 "Concurrency",
                 "Concurrency",
                 "Concurrency1",

c/cert/test/rules/EXP40-C/test.c

@@ -0,0 +1,52 @@
+void f1() {
+  const int a = 3;
+  int *aa;
+
+  aa = &a; // NON_COMPLIANT
+  *aa = 100;
+}
+
+void f1a() {
+  const int a = 3;
+  int *aa;
+
+  aa = &a; // COMPLIANT
+}
+
+void f2() {
+  int a = 3;
+  int *aa;
+  a = 3;
+
+  aa = &a;
+  *aa = a;
+  *aa = &a;
+}
+
+void f4a(int *a) {
+  *a = 100; // NON_COMPLAINT
+}
+
+void f4b(int *a) {}
+
+void f4() {
+  const int a = 100;
+  int *p1 = &a; // NON_COMPLIANT
+  const int **p2;
+
+  *p2 = &a; // NON_COMPLIANT
+
+  f4a(p1);  // NON_COMPLIANT
+  f4a(*p2); // NON_COMPLIANT
+}
+
+void f5() {
+  const int a = 100;
+  int *p1 = &a; // COMPLIANT
+  const int **p2;
+
+  *p2 = &a; // COMPLIANT
+
+  f4b(p1);
+  f4b(*p2);
+}

c/misra/test/rules/RULE-12-2/test.c

@@ -0,0 +1,65 @@
+
+
+const short int s1 = 15;
+const short int s2 = -1;
+const short int s3 = 16;
+const int s4 = -1;
+const int s5 = 32;
+const int s6 = 21;
+
+const long int s7 = 64;
+const long int s8 = 63;
+
+void f1() {
+  int a;
+  short b;
+  long c;
+  char d;
+
+  a = a << s1; // COMPLIANT
+  a = a << s2; // NON_COMPLIANT
+  a = a << s3; // COMPLIANT
+  a = a << s4; // NON_COMPLIANT
+  a = a << s5; // NON_COMPLIANT
+  a = a << s6; // COMPLIANT
+  a = a << s7; // NON_COMPLIANT
+  a = a << s8; // NON_COMPLIANT
+
+  b = b << s1; // COMPLIANT
+  b = b << s2; // NON_COMPLIANT
+  b = b << s3; // NON_COMPLIANT
+  b = b << s4; // NON_COMPLIANT
+  b = b << s5; // NON_COMPLIANT
+  b = b << s6; // NON_COMPLIANT
+  b = b << s7; // NON_COMPLIANT
+  b = b << s8; // NON_COMPLIANT
+
+  c = c << s1; // COMPLIANT
+  c = c << s2; // NON_COMPLIANT
+  c = c << s3; // COMPLIANT
+  c = c << s4; // NON_COMPLIANT
+  c = c << s5; // COMPLIANT
+  c = c << s6; // COMPLIANT
+  c = c << s7; // NON_COMPLIANT
+  c = c << s8; // COMPLIANT
+ 
+  d = d << -1; // NON_COMPLIANT
+  d = d << 8;  // NON_COMPLIANT
+  d = d << 7;  // COMPLIANT
+  d = d << 0;  // COMPLIANT
+}
+
+void f2() {
+  int a;
+  short b;
+  char c;
+  long long d;
+
+  int aa = 10;
+  aa++;
+
+  a = a << aa;
+  b = b << aa;
+  c = c << aa;
+  d = d << aa;
+}

c/misra/test/rules/RULE-17-5/test.c

@@ -0,0 +1,49 @@
+void f1(int ar[3]);
+void f2(int a, int ar[3]);
+void f3(int *ar);
+void f4(int a, int *ar);
+
+void t1() {
+  int *ar;
+
+  int ar2[3] = {1, 2};
+  int *ar2p = ar2;
+
+  int ar3[3] = {1, 2, 3};
+  int *ar3p = ar3;
+
+  int ar4[4] = {1, 2, 3};
+  int *ar4p = ar4;
+
+  f1(0);    // NON_COMPLAINT
+  f1(ar);   // NON_COMPLAINT
+  f1(ar2);  // NON_COMPLIANT
+  f1(ar2p); // NON_COMPLIANT
+  f1(ar3);  // COMPLIANT
+  f1(ar3p); // COMPLIANT
+  f1(ar4);  // COMPLIANT
+
+  f2(0, 0);    // NON_COMPLAINT
+  f2(0, ar);   // NON_COMPLAINT
+  f2(0, ar2);  // NON_COMPLIANT
+  f2(0, ar2p); // NON_COMPLIANT
+  f2(0, ar3);  // COMPLIANT
+  f2(0, ar3p); // COMPLIANT
+  f2(0, ar4);  // COMPLIANT
+
+  f3(0);    // COMPLAINT
+  f3(ar);   // COMPLAINT
+  f3(ar2);  // COMPLIANT
+  f3(ar2p); // COMPLIANT
+  f3(ar3);  // COMPLIANT
+  f3(ar3p); // COMPLIANT
+  f3(ar4);  // COMPLIANT
+
+  f4(0, 0);    // COMPLAINT
+  f4(0, ar);   // COMPLAINT
+  f4(0, ar2);  // COMPLIANT
+  f4(0, ar2p); // COMPLIANT
+  f4(0, ar3);  // COMPLIANT
+  f4(0, ar3p); // COMPLIANT
+  f4(0, ar4);  // COMPLIANT
+}

c/misra/test/rules/RULE-17-7/test.c

@@ -0,0 +1,18 @@
+void f1() {}
+int f2() { return 0; }
+
+int t1() {
+  f1();
+  f2();         // NON_COMPLAINT
+  (void)f2();   // COMPLIANT
+  int a = f2(); // COMPLIANT
+  a = f2();     // COMPLIANT
+
+  void (*fp1)(void) = &f1;
+  int (*fp2)(void) = &f2;
+
+  (*f1)();       // COMPLIANT
+  (*f2)();       // NON_COMPLIANT
+  (void)(*f2)(); // COMPLIANT
+  a = (*f2)();   // COMPLIANT
+}

rules.csv

@@ -523,7 +523,7 @@ c,CERT-C,EXP35-C,Yes,Rule,,,Do not modify objects with temporary lifetime,,Inval
 c,CERT-C,EXP36-C,Yes,Rule,,,Do not cast pointers into more strictly aligned pointer types,,Pointers3,Medium,
 c,CERT-C,EXP37-C,Yes,Rule,,,Call functions with the correct number and type of arguments,,Expressions,Easy,
 c,CERT-C,EXP39-C,Yes,Rule,,,Do not access a variable through a pointer of an incompatible type,,Pointers3,Medium,
-c,CERT-C,EXP40-C,Yes,Rule,,,Do not modify constant objects,,Contracts,Medium,
+c,CERT-C,EXP40-C,Yes,Rule,,,Do not modify constant objects,,Contracts6,Medium,
 c,CERT-C,EXP42-C,Yes,Rule,,,Do not compare padding data,,Memory,Medium,
 c,CERT-C,EXP43-C,Yes,Rule,,,Avoid undefined behavior when using restrict-qualified pointers,,Pointers3,Medium,
 c,CERT-C,EXP44-C,Yes,Rule,,,"Do not rely on side effects in operands to sizeof, _Alignof, or _Generic",M5-3-4,SideEffects1,Medium,
@@ -683,7 +683,7 @@ c,MISRA-C-2012,RULE-11-7,Yes,Required,,,A cast shall not be performed between po
 c,MISRA-C-2012,RULE-11-8,Yes,Required,,,A cast shall not remove any const or volatile qualification from the type pointed to by a pointer,,Pointers1,Easy,
 c,MISRA-C-2012,RULE-11-9,Yes,Required,,,The macro NULL shall be the only permitted form of integer null pointer constant,,Pointers1,Easy,
 c,MISRA-C-2012,RULE-12-1,Yes,Advisory,,,The precedence of operators within expressions should be made explicit,,SideEffects1,Medium,
-c,MISRA-C-2012,RULE-12-2,Yes,Required,,,The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand,,Contracts,Hard,
+c,MISRA-C-2012,RULE-12-2,Yes,Required,,,The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand,,Contracts6,Hard,
 c,MISRA-C-2012,RULE-12-3,Yes,Advisory,,,The comma operator should not be used,M5-18-1,Banned,Import,
 c,MISRA-C-2012,RULE-12-4,Yes,Advisory,,,Evaluation of constant expressions should not lead to unsigned integer wrap-around,INT30-C,Types,Easy,
 c,MISRA-C-2012,RULE-12-5,Yes,Mandatory,,,The sizeof operator shall not have an operand which is a function parameter declared as �array of type�,,Types,Medium,
@@ -715,9 +715,9 @@ c,MISRA-C-2012,RULE-17-1,Yes,Required,,,The features of <stdarg.h> shall not be
 c,MISRA-C-2012,RULE-17-2,Yes,Required,,,"Functions shall not call themselves, either directly or indirectly",A7-5-2,Statements,Import,
 c,MISRA-C-2012,RULE-17-3,Yes,Mandatory,,,A function shall not be declared implicitly,,Declarations,Medium,
 c,MISRA-C-2012,RULE-17-4,Yes,Mandatory,,,All exit paths from a function with non-void return type shall have an explicit return statement with an expression,MSC52-CPP,Statements,Medium,
-c,MISRA-C-2012,RULE-17-5,Yes,Advisory,,,The function argument corresponding to a parameter declared to have an array type shall have an appropriate number of elements,,Contracts,Hard,
+c,MISRA-C-2012,RULE-17-5,Yes,Advisory,,,The function argument corresponding to a parameter declared to have an array type shall have an appropriate number of elements,,Contracts6,Hard,
 c,MISRA-C-2012,RULE-17-6,No,Mandatory,,,The declaration of an array parameter shall not contain the static keyword between the [ ],,,,
-c,MISRA-C-2012,RULE-17-7,Yes,Required,,,The value returned by a function having non-void return type shall be used,A0-1-2,Contracts,Import,
+c,MISRA-C-2012,RULE-17-7,Yes,Required,,,The value returned by a function having non-void return type shall be used,A0-1-2,Contracts6,Import,
 c,MISRA-C-2012,RULE-17-8,Yes,Advisory,,,A function parameter should not be modified,,SideEffects2,Medium,
 c,MISRA-C-2012,RULE-18-1,Yes,Required,,,A pointer resulting from arithmetic on a pointer operand shall address an element of the same array as that pointer operand,M5-0-16,Pointers1,Import,
 c,MISRA-C-2012,RULE-18-2,Yes,Required,,,Subtraction between pointers shall only be applied to pointers that address elements of the same array,M5-0-17,Pointers1,Import,