Implement RULE-12-5

Author: jeongsoolee09

c/misra/src/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.ql

@@ -13,7 +13,12 @@
 import cpp
 import codingstandards.c.misra
 
-from
+from SizeofExprOperator sizeof
 where
-  not isExcluded(x, TypesPackage::sizeofOperatorUsedOnArrayTypeParamQuery()) and
-select
+  not isExcluded(sizeof, TypesPackage::sizeofOperatorUsedOnArrayTypeParamQuery()) and
+  exists(Parameter param |
+    sizeof.getExprOperand().(VariableAccess).getTarget() = param and
+    param.getType() instanceof ArrayType
+  )
+select sizeof,
+  "The sizeof operator is called on an array-type parameter " + sizeof.getExprOperand() + "."

c/misra/test/rules/RULE-12-5/SizeofOperatorUsedOnArrayTypeParam.expected

@@ -1 +1,2 @@
-No expected results have yet been specified
+| test.c:6:12:6:23 | sizeof(<expr>) | The sizeof operator is called on an array-type parameter nums. |
+| test.c:13:12:13:25 | sizeof(<expr>) | The sizeof operator is called on an array-type parameter string. |