FloatingTypes: Improve descriptions

Author: lcartey

c/cert/src/rules/FLP34-C/UncheckedFloatingPointConversion.ql

@@ -1,9 +1,10 @@
 /**
  * @id c/cert/unchecked-floating-point-conversion
  * @name FLP34-C: Ensure that floating-point conversions are within range of the new type
- * @description
+ * @description Conversions of out-of-range floating-point values to integral types can lead to
+ *              undefined behavior.
  * @kind problem
- * @precision very-high
+ * @precision high
  * @problem.severity error
  * @tags external/cert/id/flp34-c
  *       correctness

c/cert/src/rules/FLP36-C/IntToFloatPreservePrecision.ql

@@ -1,9 +1,10 @@
 /**
  * @id c/cert/int-to-float-preserve-precision
  * @name FLP36-C: Preserve precision when converting integral values to floating-point type
- * @description
+ * @description Integer to floating-point conversions may lose precision if the floating-point type
+ *              is unable to fully represent the integer value.
  * @kind problem
- * @precision very-high
+ * @precision high
  * @problem.severity error
  * @tags external/cert/id/flp36-c
  *       correctness

c/cert/src/rules/FLP37-C/MemcmpUsedToCompareFloats.ql

@@ -1,7 +1,8 @@
 /**
  * @id c/cert/memcmp-used-to-compare-floats
  * @name FLP37-C: Do not use object representations to compare floating-point values
- * @description
+ * @description Comparing floating point values using the memcmp can lead to unexpected comparison
+ *              failures as equivalent floating-point values may not have the same bit pattern.
  * @kind problem
  * @precision very-high
  * @problem.severity error

rule_packages/c/FloatingTypes.json

@@ -26,10 +26,10 @@
       },
       "queries": [
         {
-          "description": "",
+          "description": "Conversions of out-of-range floating-point values to integral types can lead to undefined behavior.",
           "kind": "problem",
           "name": "Ensure that floating-point conversions are within range of the new type",
-          "precision": "very-high",
+          "precision": "high",
           "severity": "error",
           "short_name": "UncheckedFloatingPointConversion",
           "tags": [
@@ -45,10 +45,10 @@
       },
       "queries": [
         {
-          "description": "",
+          "description": "Integer to floating-point conversions may lose precision if the floating-point type is unable to fully represent the integer value.",
           "kind": "problem",
           "name": "Preserve precision when converting integral values to floating-point type",
-          "precision": "very-high",
+          "precision": "high",
           "severity": "error",
           "short_name": "IntToFloatPreservePrecision",
           "tags": [
@@ -64,7 +64,7 @@
       },
       "queries": [
         {
-          "description": "",
+          "description": "Comparing floating point values using the memcmp can lead to unexpected comparison failures as equivalent floating-point values may not have the same bit pattern.",
           "kind": "problem",
           "name": "Do not use object representations to compare floating-point values",
           "precision": "very-high",