Add RULE-6-7-1

Author: knewbury01

cpp/misra/src/rules/RULE-6-7-1/LocalVariableStaticStorageDuration.ql

@@ -0,0 +1,29 @@
+/**
+ * @id cpp/misra/local-variable-static-storage-duration
+ * @name RULE-6-7-1: Local variables shall not have static storage duration
+ * @description Local variables that have static storage duration can be harder to reason about and
+ *              can lead to undefined behavior.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-6-7-1
+ *       correctness
+ *       maintainability
+ *       readability
+ *       scope/single-translation-unit
+ *       external/misra/enforcement/decidable
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.misra
+import codingstandards.cpp.lifetimes.CppObjects
+
+from VariableObjectIdentity v
+where
+  not isExcluded(v, Declarations2Package::localVariableStaticStorageDurationQuery()) and
+  v.getStorageDuration().isStatic() and
+  v instanceof LocalVariable and
+  not v.(Variable).isConst() and
+  not v.(Variable).isConstexpr()
+select v, "Local variable with static storage duration."

cpp/misra/test/rules/RULE-6-7-1/LocalVariableStaticStorageDuration.expected

@@ -0,0 +1,2 @@
+| test.cpp:7:14:7:15 | i1 | Local variable with static storage duration. |
+| test.cpp:14:14:14:14 | a | Local variable with static storage duration. |

cpp/misra/test/rules/RULE-6-7-1/LocalVariableStaticStorageDuration.qlref

@@ -0,0 +1 @@
+rules/RULE-6-7-1/LocalVariableStaticStorageDuration.ql

cpp/misra/test/rules/RULE-6-7-1/test.cpp

@@ -0,0 +1,17 @@
+int f();
+
+int g = 0; // COMPLIANT
+
+void f1() {
+  int i = 0;                   // COMPLIANT
+  static int i1 = 0;           // NON_COMPLIANT
+  static constexpr int i2 = 0; // COMPLIANT
+  static const int i3 = f();   // COMPLIANT
+}
+
+class A {
+  static A theClass() {
+    static A a; // NON_COMPLIANT
+    return a;
+  }
+};