Merge branch 'main' into rule-17-6

Author: lcartey

c/misra/src/rules/RULE-20-12/MacroParameterUsedAsHashOperand.ql

@@ -19,7 +19,7 @@ import codingstandards.cpp.Macro
 
 from FunctionLikeMacro m, MacroInvocation mi, int i, string expanded, string param
 where
-  not isExcluded(m, Preprocessor2Package::macroParameterUsedAsHashOperandQuery()) and
+  not isExcluded(mi, Preprocessor2Package::macroParameterUsedAsHashOperandQuery()) and
   mi = m.getAnInvocation() and
   param = m.getParameter(i) and
   (
@@ -31,9 +31,6 @@ where
   // This check ensure there is an expansion that is used.
   expanded = mi.getExpandedArgument(i) and
   not expanded = "" and
-  exists(Macro furtherExpandedMacro |
-    mi.getUnexpandedArgument(i).matches(furtherExpandedMacro.getName() + "%")
-  )
+  not mi.getUnexpandedArgument(i) = mi.getExpandedArgument(i)
 select m,
-  "Macro " + m.getName() + " contains use of parameter " + m.getParameter(i) +
-    " used in multiple contexts."
+  "Macro " + m.getName() + " contains use of parameter " + param + " used in multiple contexts."

c/misra/src/rules/RULE-5-8/IdentifiersWithExternalLinkageNotUnique.ql

@@ -15,10 +15,39 @@ import cpp
 import codingstandards.c.misra
 import codingstandards.cpp.Identifiers
 
-from Declaration de, ExternalIdentifiers e
+/**
+ * Holds if the `identifierName` has conflicting declarations.
+ */
+predicate isExternalIdentifierNotUnique(string identifierName) {
+  // More than one declaration with this name
+  count(Declaration d | d.getName() = identifierName) > 1 and
+  // At least one declaration is an external identifier
+  exists(ExternalIdentifiers e | e.getName() = identifierName)
+}
+
+/**
+ * Holds if the `Declaration` `d` is conflicting with an external identifier.
+ */
+predicate isConflictingDeclaration(Declaration d, string name) {
+  isExternalIdentifierNotUnique(name) and
+  d.getName() = name
+}
+
+/**
+ * An external identifier which is not uniquely defined in the source code.
+ */
+class NotUniqueExternalIdentifier extends ExternalIdentifiers {
+  NotUniqueExternalIdentifier() { isExternalIdentifierNotUnique(getName()) }
+
+  Declaration getAConflictingDeclaration() {
+    not result = this and
+    isConflictingDeclaration(result, getName())
+  }
+}
+
+from NotUniqueExternalIdentifier e, Declaration de
 where
   not isExcluded(de, Declarations6Package::identifiersWithExternalLinkageNotUniqueQuery()) and
   not isExcluded(e, Declarations6Package::identifiersWithExternalLinkageNotUniqueQuery()) and
-  not de = e and
-  de.getName() = e.getName()
+  de = e.getAConflictingDeclaration()
 select de, "Identifier conflicts with external identifier $@", e, e.getName()

c/misra/src/rules/RULE-8-7/ShouldNotBeDefinedWithExternalLinkage.ql

@@ -20,27 +20,36 @@ import codingstandards.c.misra
 import codingstandards.cpp.Identifiers
 import codingstandards.cpp.Scope
 
+ExternalIdentifiers getExternalIdentifierTarget(NameQualifiableElement nqe) {
+  result = nqe.(Access).getTarget()
+  or
+  result = nqe.(FunctionCall).getTarget()
+}
+
 /**
- * Re-introduce function calls into access description as
- * "any reference"
+ * A reference to an external identifier, either as an `Access` or a `FunctionCall`.
  */
-class Reference extends NameQualifiableElement {
-  Reference() {
-    this instanceof Access or
-    this instanceof FunctionCall
-  }
+class ExternalIdentifierReference extends NameQualifiableElement {
+  ExternalIdentifierReference() { exists(getExternalIdentifierTarget(this)) }
+
+  ExternalIdentifiers getExternalIdentifierTarget() { result = getExternalIdentifierTarget(this) }
+}
+
+predicate isReferencedInTranslationUnit(
+  ExternalIdentifiers e, ExternalIdentifierReference r, TranslationUnit t
+) {
+  r.getExternalIdentifierTarget() = e and
+  r.getFile() = t
 }
 
-from ExternalIdentifiers e, Reference a1, TranslationUnit t1
+from ExternalIdentifiers e, ExternalIdentifierReference a1, TranslationUnit t1
 where
   not isExcluded(e, Declarations6Package::shouldNotBeDefinedWithExternalLinkageQuery()) and
-  (a1.(Access).getTarget() = e or a1.(FunctionCall).getTarget() = e) and
-  a1.getFile() = t1 and
-  //not accessed in any other translation unit
-  not exists(TranslationUnit t2, Reference a2 |
-    not t1 = t2 and
-    (a2.(Access).getTarget() = e or a2.(FunctionCall).getTarget() = e) and
-    a2.getFile() = t2
+  isReferencedInTranslationUnit(e, a1, t1) and
+  // Not referenced in any other translation unit
+  not exists(TranslationUnit t2 |
+    isReferencedInTranslationUnit(e, _, t2) and
+    not t1 = t2
   )
 select e, "Declaration with external linkage is accessed in only one translation unit $@.", a1,
   a1.toString()

change_notes/2023-03-07-20-12-perf.md

@@ -0,0 +1 @@
+ * `Rule 20.12` - the performance of this rule has been improved.

change_notes/2023-03-08-identifier-performance.md

@@ -0,0 +1,3 @@
+ * The performance of the following identifier related rules has been improved:
+   * MISRA C 2012 `Rule 5.8`
+   * MISRA C 2012 `Rule 8.7`