generate rule package files for c/Types.json

Author: jeongsoolee09

c/cert/src/rules/FLP32-C/PreventOrDetectDomainAndRangeErrorsInMathFunctions.md

@@ -0,0 +1,18 @@
+# FLP32-C: Prevent or detect ___domain and range errors in math functions
+
+This query implements the CERT-C rule FLP32-C:
+
+> Prevent or detect ___domain and range errors in math functions
+
+
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [FLP32-C: Prevent or detect ___domain and range errors in math functions](https://wiki.sei.cmu.edu/confluence/display/c)

c/cert/src/rules/FLP32-C/PreventOrDetectDomainAndRangeErrorsInMathFunctions.ql

@@ -0,0 +1,18 @@
+/**
+ * @id c/cert/prevent-or-detect-___domain-and-range-errors-in-math-functions
+ * @name FLP32-C: Prevent or detect ___domain and range errors in math functions
+ * @description TODO.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/cert/id/flp32-c
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+
+from
+where
+  not isExcluded(x, TypesPackage::preventOrDetectDomainAndRangeErrorsInMathFunctionsQuery()) and
+select

c/cert/src/rules/FLP34-C/FloatingPointConversionsNotWithinRangeOfNewType.md

@@ -0,0 +1,16 @@
+# FLP34-C: Ensure that floating-point conversions are within range of the new type
+
+This query implements the CERT-C rule FLP34-C:
+
+> Ensure that floating-point conversions are within range of the new type
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [FLP34-C: Ensure that floating-point conversions are within range of the new type](https://wiki.sei.cmu.edu/confluence/display/c)

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

@@ -0,0 +1,18 @@
+/**
+ * @id c/cert/floating-point-conversions-not-within-range-of-new-type
+ * @name FLP34-C: Ensure that floating-point conversions are within range of the new type
+ * @description TODO.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/cert/id/flp34-c
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+
+from
+where
+  not isExcluded(x, TypesPackage::floatingPointConversionsNotWithinRangeOfNewTypeQuery()) and
+select

c/cert/src/rules/FLP36-C/FloatingPointOfIntegralValuesLosePrecision.md

@@ -0,0 +1,16 @@
+# FLP36-C: Preserve precision when converting integral values to floating-point type
+
+This query implements the CERT-C rule FLP36-C:
+
+> Preserve precision when converting integral values to floating-point type
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [FLP36-C: Preserve precision when converting integral values to floating-point type](https://wiki.sei.cmu.edu/confluence/display/c)

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

@@ -0,0 +1,18 @@
+/**
+ * @id c/cert/floating-point-of-integral-values-lose-precision
+ * @name FLP36-C: Preserve precision when converting integral values to floating-point type
+ * @description TODO.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/cert/id/flp36-c
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+
+from
+where
+  not isExcluded(x, TypesPackage::floatingPointOfIntegralValuesLosePrecisionQuery()) and
+select

c/cert/src/rules/FLP37-C/ObjectReprUsedForComparingFloatingPointValues.md

@@ -0,0 +1,16 @@
+# FLP37-C: Do not use object representations to compare floating-point values
+
+This query implements the CERT-C rule FLP37-C:
+
+> Do not use object representations to compare floating-point values
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [FLP37-C: Do not use object representations to compare floating-point values](https://wiki.sei.cmu.edu/confluence/display/c)

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

@@ -0,0 +1,18 @@
+/**
+ * @id c/cert/object-repr-used-for-comparing-floating-point-values
+ * @name FLP37-C: Do not use object representations to compare floating-point values
+ * @description TODO.
+ * @kind problem
+ * @precision very-high
+ * @problem.severity error
+ * @tags external/cert/id/flp37-c
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+
+from
+where
+  not isExcluded(x, TypesPackage::objectReprUsedForComparingFloatingPointValuesQuery()) and
+select

c/cert/src/rules/INT30-C/EnsureThatUnsignedIntegerOperationsDoNotWrap.md

@@ -0,0 +1,16 @@
+# INT30-C: Ensure that unsigned integer operations do not wrap
+
+This query implements the CERT-C rule INT30-C:
+
+> Ensure that unsigned integer operations do not wrap
+## CERT
+
+** REPLACE THIS BY RUNNING THE SCRIPT `scripts/help/cert-help-extraction.py` **
+
+## Implementation notes
+
+None
+
+## References
+
+* CERT-C: [INT30-C: Ensure that unsigned integer operations do not wrap](https://wiki.sei.cmu.edu/confluence/display/c)

c/cert/src/rules/INT30-C/EnsureThatUnsignedIntegerOperationsDoNotWrap.ql

@@ -0,0 +1,18 @@
+/**
+ * @id c/cert/ensure-that-unsigned-integer-operations-do-not-wrap
+ * @name INT30-C: Ensure that unsigned integer operations do not wrap
+ * @description TODO.
+ * @kind problem
+ * @precision high
+ * @problem.severity error
+ * @tags external/cert/id/int30-c
+ *       external/cert/obligation/rule
+ */
+
+import cpp
+import codingstandards.c.cert
+
+from
+where
+  not isExcluded(x, TypesPackage::ensureThatUnsignedIntegerOperationsDoNotWrapQuery()) and
+select