First few queries implemented

MichaelRFairhurst · MichaelRFairhurst · commit fe37604d1f88 · 2026-03-01T17:01:05.000-08:00
diff --git a/cpp/common/test/includes/standard-library/functional.h b/cpp/common/test/includes/standard-library/functional.h
@@ -85,6 +85,21 @@ template <class T> struct equal_to {
   typedef bool result_type;
 };
 
+template <class Predicate> class unary_negate {
+public:
+  unary_negate() = default;
+  explicit unary_negate(const Predicate &pred);
+  bool operator()(const typename Predicate::argument_type &x) const;
+};
+
+template <class Predicate> class binary_negate {
+public:
+  binary_negate() = default;
+  explicit binary_negate(const Predicate &pred);
+  bool operator()(const typename Predicate::first_argument_type &x,
+                  const typename Predicate::second_argument_type &y) const;
+};
+
 template <class> class function;
 template <class R, class... Args> class function<R(Args...)> {
 public:
diff --git a/cpp/common/test/includes/standard-library/memory.h b/cpp/common/test/includes/standard-library/memory.h
@@ -103,6 +103,7 @@ template <typename T> class shared_ptr : public __shared_ptr<T> {
   ~shared_ptr() {}
   T &operator*() const noexcept;
   T *operator->() const noexcept;
+  bool unique() const noexcept;
 
   shared_ptr<T> &operator=(const shared_ptr &) {}
   shared_ptr<T> &operator=(shared_ptr &&) { return *this; }
diff --git a/cpp/misra/src/rules/RULE-4-1-2/UseOfDeprecatedCHeaders.ql b/cpp/misra/src/rules/RULE-4-1-2/UseOfDeprecatedCHeaders.ql
@@ -16,7 +16,9 @@
 import cpp
 import codingstandards.cpp.misra
 
-from
+from Include include, string includeText
 where
-  not isExcluded(x, Toolchain3Package::useOfDeprecatedCHeadersQuery()) and
-select
+  not isExcluded(include, Toolchain3Package::useOfDeprecatedCHeadersQuery()) and
+  includeText = include.getIncludeText() and
+  includeText = "<c" + ["complex", "stdalign", "stdbool", "tgmath"] + ">"
+select include, "Inclusion of deprecated C header '" + includeText + "'."
diff --git a/cpp/misra/src/rules/RULE-4-1-2/UseOfDeprecatedIsLiteralTypeTraits.ql b/cpp/misra/src/rules/RULE-4-1-2/UseOfDeprecatedIsLiteralTypeTraits.ql
@@ -17,7 +17,44 @@
 import cpp
 import codingstandards.cpp.misra
 
-from
+class IsLiteralTypeTemplate extends TemplateClass {
+  IsLiteralTypeTemplate() { this.hasQualifiedName("std", "is_literal_type") }
+}
+
+class IsLiteralTypeVariable extends TemplateVariable {
+  IsLiteralTypeVariable() { this.hasQualifiedName("std", "is_literal_type") }
+}
+
+from Element usage, string type, string useKind
 where
-  not isExcluded(x, Toolchain3Package::useOfDeprecatedIsLiteralTypeTraitsQuery()) and
-select
+  not isExcluded(usage, Toolchain3Package::useOfDeprecatedIsLiteralTypeTraitsQuery()) and
+  (
+    exists(ClassTemplateInstantiation c |
+      c.getTemplate() instanceof IsLiteralTypeTemplate and
+      usage.(TypeMention).getMentionedType() = c and
+      type = "std::is_literal_type" and
+      useKind = "instantiation"
+    )
+    or
+    exists(VariableTemplateInstantiation v |
+      v.getTemplate() instanceof IsLiteralTypeVariable and
+      usage.(VariableAccess).getTarget() = v and
+      type = "std::is_literal_type" and
+      useKind = "instantiation"
+    )
+    or
+    exists(ClassTemplateSpecialization cti |
+      cti.getPrimaryTemplate() instanceof IsLiteralTypeTemplate and
+      usage.(TypeMention).getMentionedType() = cti and
+      type = "std::is_literal_type" and
+      useKind = "specialization"
+    )
+    or
+    exists(VariableTemplateSpecialization vts |
+      vts.getPrimaryTemplate() instanceof IsLiteralTypeVariable and
+      usage.(VariableAccess).getTarget() = vts and
+      type = "std::is_literal_type" and
+      useKind = "specialization"
+    )
+  )
+select usage, "Use of deprecated type trait '" + type + "' through " + useKind + "."
diff --git a/cpp/misra/src/rules/RULE-4-1-2/UseOfDeprecatedSharedPtrUnique.ql b/cpp/misra/src/rules/RULE-4-1-2/UseOfDeprecatedSharedPtrUnique.ql
@@ -17,7 +17,10 @@
 import cpp
 import codingstandards.cpp.misra
 
-from
+from MemberFunction mf, FunctionCall fc
 where
-  not isExcluded(x, Toolchain3Package::useOfDeprecatedSharedPtrUniqueQuery()) and
-select
+  not isExcluded(fc, Toolchain3Package::useOfDeprecatedSharedPtrUniqueQuery()) and
+  mf = fc.getTarget() and
+  mf.hasName("unique") and
+  mf.getDeclaringType().(ClassTemplateInstantiation).hasQualifiedName("std", "shared_ptr")
+select fc, "Call to deprecated member function 'std::shared_ptr::unique'."
diff --git a/cpp/misra/src/rules/RULE-4-1-2/UseOfDeprecatedUnaryOrBinaryNegate.ql b/cpp/misra/src/rules/RULE-4-1-2/UseOfDeprecatedUnaryOrBinaryNegate.ql
@@ -17,7 +17,19 @@
 import cpp
 import codingstandards.cpp.misra
 
-from
+predicate isUnaryOrBinaryNegate(ClassTemplateInstantiation c) {
+  c.hasQualifiedName("std", ["unary_negate", "binary_negate"])
+}
+
+predicate isUsingUnaryOrBinaryNegate(ClassTemplateInstantiation c) {
+  isUnaryOrBinaryNegate(c) or
+  isUsingUnaryOrBinaryNegate(c.getTemplateArgument(_))
+}
+
+from Variable v, ClassTemplateInstantiation c
 where
-  not isExcluded(x, Toolchain3Package::useOfDeprecatedUnaryOrBinaryNegateQuery()) and
-select
+  not isExcluded(v, Toolchain3Package::useOfDeprecatedUnaryOrBinaryNegateQuery()) and
+  v.getUnderlyingType() = c and
+  not v.isFromTemplateInstantiation(_) and
+  isUsingUnaryOrBinaryNegate(c)
+select v, "Use of deprecated type 'std::" + c.getSimpleName() + "'."
diff --git a/cpp/misra/src/rules/RULE-4-1-2/UseOfUncaughtException.ql b/cpp/misra/src/rules/RULE-4-1-2/UseOfUncaughtException.ql
@@ -17,7 +17,8 @@
 import cpp
 import codingstandards.cpp.misra
 
-from
+from FunctionCall fc
 where
-  not isExcluded(x, Toolchain3Package::useOfUncaughtExceptionQuery()) and
-select
+  not isExcluded(fc, Toolchain3Package::useOfUncaughtExceptionQuery()) and
+  fc.getTarget().hasQualifiedName("std", "uncaught_exception")
+select fc, "Call to deprecated function 'std::uncaught_exception'."
diff --git a/cpp/misra/test/rules/RULE-4-1-2/UseOfDeprecatedSharedPtrUnique.expected b/cpp/misra/test/rules/RULE-4-1-2/UseOfDeprecatedSharedPtrUnique.expected
@@ -1 +1,4 @@
-No expected results have yet been specified
+| test.cpp:36:6:36:11 | call to unique | Call to deprecated member function 'std::shared_ptr::unique'. |
+| test.cpp:38:12:38:17 | call to unique | Call to deprecated member function 'std::shared_ptr::unique'. |
+| test.cpp:39:15:39:20 | call to unique | Call to deprecated member function 'std::shared_ptr::unique'. |
+| test.cpp:43:6:43:11 | call to unique | Call to deprecated member function 'std::shared_ptr::unique'. |
diff --git a/cpp/misra/test/rules/RULE-4-1-2/UseOfDeprecatedUnaryOrBinaryNegate.expected b/cpp/misra/test/rules/RULE-4-1-2/UseOfDeprecatedUnaryOrBinaryNegate.expected
@@ -1 +1,4 @@
-No expected results have yet been specified
+| test.cpp:25:27:25:28 | g1 | Use of deprecated type 'std::unary_negate'. |
+| test.cpp:26:30:26:31 | g2 | Use of deprecated type 'std::binary_negate'. |
+| test.cpp:29:29:29:30 | l1 | Use of deprecated type 'std::unary_negate'. |
+| test.cpp:30:32:30:33 | l2 | Use of deprecated type 'std::binary_negate'. |
diff --git a/cpp/misra/test/rules/RULE-4-1-2/UseOfUncaughtException.expected b/cpp/misra/test/rules/RULE-4-1-2/UseOfUncaughtException.expected
@@ -1 +1 @@
-No expected results have yet been specified
+| test.cpp:12:20:12:42 | call to uncaught_exception | Call to deprecated function 'std::uncaught_exception'. |
diff --git a/cpp/misra/test/rules/RULE-4-1-2/test.cpp b/cpp/misra/test/rules/RULE-4-1-2/test.cpp
@@ -0,0 +1,53 @@
+#include <exception>
+#include <functional>
+#include <memory>
+
+// COMPLIANT - normal exception handling
+void f1() {
+  try {
+  } catch (const std::exception &) {
+  }
+}
+
+bool f2() { return std::uncaught_exception(); } // NON_COMPLIANT
+
+struct IsZero {
+  typedef int argument_type;
+  bool operator()(int x) const { return x == 0; }
+};
+
+struct NotEqual {
+  typedef int first_argument_type;
+  typedef int second_argument_type;
+  bool operator()(int x, int y) const { return x != y; }
+};
+
+std::unary_negate<IsZero> g1;  // NON_COMPLIANT
+std::binary_negate<NotEqual> g2; // NON_COMPLIANT
+
+void f3() {
+  std::unary_negate<IsZero> l1;    // NON_COMPLIANT
+  std::binary_negate<NotEqual> l2; // NON_COMPLIANT
+  std::function<bool(int)> l3;     // COMPLIANT
+}
+
+void f4() {
+  std::shared_ptr<int> p1;
+  p1.unique();                 // NON_COMPLIANT
+  p1.use_count();              // COMPLIANT
+  (void)p1.unique();           // NON_COMPLIANT
+  bool b = p1.unique();        // NON_COMPLIANT
+}
+
+void f5(std::shared_ptr<int> p1) {
+  p1.unique(); // NON_COMPLIANT
+}
+
+#include <ccomplex> // NON_COMPLIANT
+#include <cstdalign> // NON_COMPLIANT
+#include <cstdbool> // NON_COMPLIANT
+#include <ctgmath> // NON_COMPLIANT
+#include <complex> // COMPLIANT
+#include <stdalign.h> // COMPLIANT
+#include <stdbool.h> // COMPLIANT
+#include <tgmath.h> // COMPLIANT

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-No expected results have yet been specified`
	`1`	`+\| test.cpp:12:20:12:42 \| call to uncaught_exception \| Call to deprecated function 'std::uncaught_exception'. \|`