Flag a case as false negative

This is consistently broken across all queries that depend on it:

- c/misra/src/rules/RULE-21-17/StringFunctionPointerArgumentOutOfBounds.ql
- c/misra/src/rules/RULE-21-18/StringLibrarySizeArgumentOutOfBounds.ql
- c/cert/src/rules/ARR30-C/DoNotFormOutOfBoundsPointersOrArraySubscripts.ql
- c/cert/src/rules/ARR38-C/LibraryFunctionArgumentOutOfBounds.ql

Author: jeongsoolee09

cpp/misra/test/rules/RULE-8-7-1/test.cpp

@@ -337,7 +337,7 @@ void test_strings(int flow, int unk_size) {
     strcat(buf1, " ");     // NON_COMPLIANT - not null terminated
     strcat(buf2, " ");     // COMPLIANT
     strcat(buf3, " ");     // COMPLIANT
-    strcat(buf4, "12345"); // NON_COMPLIANT
+    strcat(buf4, "12345"); // NON_COMPLIANT[FALSE_NEGATIVE]
 
     strcat(get_ca_5(), "12345");    // NON_COMPLIANT
     strcat(get_ca_5(), "1234");     // COMPLIANT