convert abstract predicate isAdditionalFlowStep to non-abstract

Author: am0o0

go/ql/src/experimental/frameworks/DecompressionBombsCustomizations.qll

@@ -21,7 +21,7 @@ module DecompressionBombs {
     /**
      * Holds if there is a additional taint step between pred and succ.
      */
-    abstract predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode);
+    predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) { none() }
 
     /**
      * Holds if there is a additional taint step between pred and succ.
@@ -56,10 +56,6 @@ module DecompressionBombs {
           toState = "ZstdNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -93,10 +89,6 @@ module DecompressionBombs {
           toState = "ZstdNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -119,10 +111,6 @@ module DecompressionBombs {
           toState = "ZipOpenReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -185,10 +173,6 @@ module DecompressionBombs {
           toState = "XzNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -212,10 +196,6 @@ module DecompressionBombs {
           toState = "GzipNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -245,10 +225,6 @@ module DecompressionBombs {
           toState = "GzipNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -272,10 +248,6 @@ module DecompressionBombs {
           toState = "Bzip2NewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -299,10 +271,6 @@ module DecompressionBombs {
           toState = "Bzip2NewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -326,10 +294,6 @@ module DecompressionBombs {
           toState = "FlateNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -365,10 +329,6 @@ module DecompressionBombs {
           toState = "FlateNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -404,10 +364,6 @@ module DecompressionBombs {
           toState = "FlateNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -431,10 +387,6 @@ module DecompressionBombs {
           toState = "ZlibNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -458,10 +410,6 @@ module DecompressionBombs {
           toState = "ZlibNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -485,10 +433,6 @@ module DecompressionBombs {
           toState = "SnappyNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -512,10 +456,6 @@ module DecompressionBombs {
           toState = "SnappyNewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }
 
@@ -551,10 +491,6 @@ module DecompressionBombs {
           toState = "S2NewReader"
         )
       }
-
-      override predicate isAdditionalFlowStep(DataFlow::Node fromNode, DataFlow::Node toNode) {
-        none()
-      }
     }
   }