Some minor comments

Author: jeongsoolee09

c/misra/src/rules/RULE-21-13/CtypeFunctionArgNotUnsignedCharOrEof.ql

@@ -27,11 +27,11 @@ where
   not exists(CtypeFunction ctype, UnsignedCharType unsignedChar |
     ctypeCall = ctype.getACallToThisFunction()
   |
-    /* The argument's value should be in the `unsigned char` range. */
+    /* Case 1: The argument's value should be in the `unsigned char` range. */
     typeLowerBound(unsignedChar) <= lowerBound(ctypeCall.getAnArgument().getExplicitlyConverted()) and // consider casts
     upperBound(ctypeCall.getAnArgument().getExplicitlyConverted()) <= typeUpperBound(unsignedChar)
     or
-    /* The argument's value is reachable from EOF. */
+    /* Case 2: EOF flows to this argument without modifications. */
     exists(EOFInvocation eof |
       DataFlow::localFlow(DataFlow::exprNode(eof.getExpr()),
         DataFlow::exprNode(ctypeCall.getAnArgument()))

c/misra/src/rules/RULE-21-15/MemcpyMemmoveMemcmpArgNotPointersToCompatibleTypes.ql

@@ -30,9 +30,11 @@ where
     dstType = fc.getArgument(0).getUnspecifiedType() and
     srcType = fc.getArgument(1).getUnspecifiedType() and
     (
+      /* Case 1: dst and src are pointer types */
       dstType instanceof PointerType and
       srcType instanceof PointerType
       or
+      /* Case 2: dst and src are array types */
       dstType instanceof ArrayType and
       srcType instanceof ArrayType
     ) and