github · jeongsoolee09 · Mar 24, 2026 · Mar 24, 2026 · Mar 24, 2026 · Mar 24, 2026
diff --git a/cpp/autosar/src/rules/A9-5-1/UnionKeywordUsedAutosarCpp.ql b/cpp/autosar/src/rules/A9-5-1/UnionKeywordUsedAutosarCpp.ql
@@ -0,0 +1,25 @@
+/**
+ * @id cpp/autosar/union-keyword-used-autosar-cpp
+ * @name A9-5-1: Unions shall not be used
+ * @description Unions shall not be used. Tagged unions can be used if 'std::variant' is not
+ *              available.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/autosar/id/a9-5-1
+ *       correctness
+ *       scope/single-translation-unit
+ *       external/autosar/allocated-target/implementation
+ *       external/autosar/enforcement/automated
+ *       external/autosar/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.autosar
+import codingstandards.cpp.rules.unionkeywordused.UnionKeywordUsed
+
+module UnionKeywordUsedAutosarCppConfig implements UnionKeywordUsedConfigSig {
+  Query getQuery() { result = BannedSyntaxPackage::unionKeywordUsedAutosarCppQuery() }
+}
+
+import UnionKeywordUsed<UnionKeywordUsedAutosarCppConfig>
diff --git a/cpp/autosar/src/rules/A9-5-1/UnionsUsed.ql b/cpp/autosar/src/rules/A9-5-1/UnionsUsed.ql
diff --git a/.../BitFieldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols.ql b/.../BitFieldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols.ql
diff --git a/cpp/autosar/src/rules/A9-6-2/BitFieldsShouldNotBeDeclaredAutosarCpp.ql b/cpp/autosar/src/rules/A9-6-2/BitFieldsShouldNotBeDeclaredAutosarCpp.ql
@@ -0,0 +1,28 @@
+/**
+ * @id cpp/autosar/bit-fields-should-not-be-declared-autosar-cpp
+ * @name A9-6-2: Bit-fields shall be used only when interfacing to hardware or conforming to communication protocols
+ * @description The usage of bit-fields increases code complexity and certain aspects of bit-field
+ *              manipulation can be error prone and implementation defined. Hence a bit-field usage
+ *              is reserved only when interfacing to hardware or conformance to communication
+ *              protocols.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity recommendation
+ * @tags external/autosar/id/a9-6-2
+ *       maintainability
+ *       external/autosar/allocated-target/design
+ *       external/autosar/enforcement/partially-automated
+ *       external/autosar/obligation/required
+ */
+
+import cpp
+import codingstandards.cpp.autosar
+import codingstandards.cpp.rules.bitfieldsshallbeusedonlywheninterfacingtohardwareorconformingtocommunicationprotocols.BitFieldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols
+
+module BitFieldsShouldNotBeDeclaredAutosarCppConfig implements
+  BitFieldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocolsConfigSig
+{
+  Query getQuery() { result = RepresentationPackage::bitFieldsShouldNotBeDeclaredAutosarCppQuery() }
+}
+
+import BitFieldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols<BitFieldsShouldNotBeDeclaredAutosarCppConfig>
diff --git a/cpp/autosar/test/rules/A9-5-1/UnionKeywordUsedAutosarCpp.testref b/cpp/autosar/test/rules/A9-5-1/UnionKeywordUsedAutosarCpp.testref
@@ -0,0 +1 @@
+cpp/common/test/rules/unionkeywordused/UnionKeywordUsed.ql
diff --git a/cpp/autosar/test/rules/A9-5-1/UnionsUsed.testref b/cpp/autosar/test/rules/A9-5-1/UnionsUsed.testref
@@ -0,0 +1 @@
+cpp/common/test/rules/unionkeywordused/UnionKeywordUsed.ql
diff --git a/...eldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols.expected b/...eldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols.expected
diff --git a/...tFieldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols.qlref b/...tFieldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols.qlref
diff --git a/cpp/autosar/test/rules/A9-6-2/BitFieldsShouldNotBeDeclaredAutosarCpp.testref b/cpp/autosar/test/rules/A9-6-2/BitFieldsShouldNotBeDeclaredAutosarCpp.testref
@@ -0,0 +1 @@
+cpp/common/test/rules/bitfieldsshallbeusedonlywheninterfacingtohardwareorconformingtocommunicationprotocols/BitFieldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols.ql
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		cpp/common/test/rules/unionkeywordused/UnionKeywordUsed.ql
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		cpp/common/test/rules/bitfieldsshallbeusedonlywheninterfacingtohardwareorconformingtocommunicationprotocols/BitFieldsShallBeUsedOnlyWhenInterfacingToHardwareOrConformingToCommunicationProtocols.ql