Draft for INT36-C

Author: jeongsoolee09

c/cert/src/rules/INT36-C/ConvertingAPointerToIntegerOrIntegerToPointer.ql

@@ -13,7 +13,26 @@
 import cpp
 import codingstandards.c.cert
 
-from
+/* 1. Declaring an integer variable to hold a pointer value */
+predicate integerVariableWithPointerValue(Variable var) {
+  var.getUnderlyingType() instanceof IntType and
+  var.getAnAssignedValue().getUnderlyingType() instanceof PointerType
+}
+
+/* 2. Assigning an integer variable a pointer a pointer value */
+predicate assigningPointerValueToInteger(Assignment assign) {
+  assign.getLValue().getUnderlyingType() instanceof IntType and
+  assign.getRValue().getUnderlyingType() instanceof PointerType
+}
+
+/* 3. Casting a pointer value to integer */
+predicate castingPointerToInteger(Cast cast) {
+  cast.getExpr().getUnderlyingType() instanceof PointerType and
+  cast.getUnderlyingType() instanceof PointerType
+}
+
+from Variable x
 where
   not isExcluded(x, TypesPackage::convertingAPointerToIntegerOrIntegerToPointerQuery()) and
-select
+  x.getType() instanceof PointerType
+select x, x.getType().getAPrimaryQlClass()