Implement Language4 package, banning obsolete language features.

Many of the cases outlined in the amendment are covered by other rules. Add
support for new cases where possible (was not possible for ID 3, storage class
specifiers not at beginning of declaration, or ID 2, which is a feature of the
implementation not determinable by static analysis), and reference existing
rules in one comprehensive test for maximal clarity that those parts of rule
1-5 are indeed supported by our existing queries.

Author: MichaelRFairhurst

c/misra/src/rules/RULE-1-5/CallToReallocWithSizeZero.ql

@@ -0,0 +1,24 @@
+/**
+ * @id c/misra/call-to-realloc-with-size-zero
+ * @name RULE-1-5: Disallowed size argument value equal to zero in call to realloc
+ * @description Invoking realloc with a size argument set to zero is implementation-defined behavior
+ *              and declared as an obsolete feature in C18.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/misra/id/rule-1-5
+ *       correctness
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.c.misra
+import semmle.code.cpp.rangeanalysis.new.RangeAnalysis
+
+from FunctionCall call, Expr arg
+where
+  not isExcluded(call, Language4Package::callToReallocWithSizeZeroQuery()) and
+  call.getTarget().hasGlobalOrStdName("realloc") and
+  arg = call.getArgument(1) and
+  upperBound(arg) = 0
+select arg, "Calling realloc with size zero results in implementation-defined behavior."

c/misra/src/rules/RULE-1-5/InvalidDefineOrUndefOfStdBoolMacro.ql

@@ -0,0 +1,31 @@
+/**
+ * @id c/misra/invalid-define-or-undef-of-std-bool-macro
+ * @name RULE-1-5: Programs may not undefine or redefine the macros bool, true, or false
+ * @description Directives that undefine and/or redefine the standard boolean macros has been
+ *              declared an obsolescent language feature since C99.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity warning
+ * @tags external/misra/id/rule-1-5
+ *       maintainability
+ *       readability
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.c.misra
+
+string getABoolMacroName() { result = ["true", "false", "bool"] }
+
+from PreprocessorDirective directive, string opString, string macroName
+where
+  not isExcluded(directive, Language4Package::invalidDefineOrUndefOfStdBoolMacroQuery()) and
+  macroName = getABoolMacroName() and
+  (
+    macroName = directive.(Macro).getName() and
+    opString = "define"
+    or
+    macroName = directive.(PreprocessorUndef).getName() and
+    opString = "undefine"
+  )
+select directive, "Invalid " + opString + " of boolean standard macro " + macroName

c/misra/src/rules/RULE-1-5/UseOfObsoleteMacroAtomicVarInit.ql

@@ -0,0 +1,24 @@
+/**
+ * @id c/misra/use-of-obsolete-macro-atomic-var-init
+ * @name RULE-1-5: Disallowed usage of obsolete macro ATOMIC_VAR_INIT compiled as C18
+ * @description The macro ATOMIC_VAR_INIT is has been declared an obsolescent language feature since
+ *              C18.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity recommendation
+ * @tags external/misra/id/rule-1-5
+ *       maintainability
+ *       readability
+ *       external/misra/obligation/required
+ */
+
+import cpp
+import codingstandards.c.misra
+
+from MacroInvocation invoke, Compilation c, string flag
+where
+  not isExcluded(invoke, Language4Package::useOfObsoleteMacroAtomicVarInitQuery()) and
+  invoke.getMacroName() = "ATOMIC_VAR_INIT" and
+  flag = c.getAnArgument() and
+  flag.regexpMatch("-std=c1[78]")
+select invoke, "Usage of macro ATOMIC_VAR_INIT() is considered obsolete for c version " + flag

c/misra/test/rules/RULE-1-5/CallToReallocWithSizeZero.expected

@@ -0,0 +1 @@
+| test.c:13:14:13:14 | 0 | Calling realloc with size zero results in implementation-defined behavior. |

c/misra/test/rules/RULE-1-5/CallToReallocWithSizeZero.qlref

@@ -0,0 +1 @@
+rules/RULE-1-5/CallToReallocWithSizeZero.ql

c/misra/test/rules/RULE-1-5/FunctionTypesNotInPrototypeForm.expected

@@ -0,0 +1,2 @@
+| test.c:40:6:40:7 | f2 | Function f2 does not specify void for no parameters present. |
+| test.c:44:5:44:6 | f5 | Function f5 declares parameter in unsupported declaration list. |

c/misra/test/rules/RULE-1-5/FunctionTypesNotInPrototypeForm.qlref

@@ -0,0 +1 @@
+rules/RULE-8-2/FunctionTypesNotInPrototypeForm.ql

c/misra/test/rules/RULE-1-5/InvalidDefineOrUndefOfStdBoolMacro.expected

@@ -0,0 +1,6 @@
+| test.c:23:1:23:14 | #define true 3 | Invalid define of boolean standard macro true |
+| test.c:24:1:24:15 | #define false 3 | Invalid define of boolean standard macro false |
+| test.c:25:1:25:18 | #define bool int * | Invalid define of boolean standard macro bool |
+| test.c:26:1:26:11 | #undef true | Invalid undefine of boolean standard macro true |
+| test.c:27:1:27:12 | #undef false | Invalid undefine of boolean standard macro false |
+| test.c:28:1:28:11 | #undef bool | Invalid undefine of boolean standard macro bool |

c/misra/test/rules/RULE-1-5/InvalidDefineOrUndefOfStdBoolMacro.qlref

@@ -0,0 +1 @@
+rules/RULE-1-5/InvalidDefineOrUndefOfStdBoolMacro.ql

c/misra/test/rules/RULE-1-5/MemoryAllocDeallocFunctionsOfStdlibhUsed.expected

@@ -0,0 +1,3 @@
+| test.c:10:12:10:17 | call to malloc | Use of banned dynamic memory allocation. |
+| test.c:13:3:13:9 | call to realloc | Use of banned dynamic memory allocation. |
+| test.c:16:3:16:9 | call to realloc | Use of banned dynamic memory allocation. |