C++/DecompressionBombs

d10c · d10c · commit 1321cbb02162 · 2025-10-28T09:41:55.000+01:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-409/DecompressionBombs.ql b/cpp/ql/src/experimental/Security/CWE/CWE-409/DecompressionBombs.ql
@@ -31,8 +31,6 @@ module DecompressionTaintConfig implements DataFlow::ConfigSig {
 
   predicate observeDiffInformedIncrementalMode() { any() }
 
-  Location getASelectedSourceLocation(DataFlow::Node source) { none() }
-
   Location getASelectedSinkLocation(DataFlow::Node sink) {
     exists(FunctionCall fc | result = [sink.getLocation(), fc.getLocation()] | isSink(fc, sink))
   }

Original file line number	Diff line number	Diff line change
`@@ -31,8 +31,6 @@ module DecompressionTaintConfig implements DataFlow::ConfigSig {`
`31`	`31`
`32`	`32`	`predicate observeDiffInformedIncrementalMode() { any() }`
`33`	`33`
`34`		`- Location getASelectedSourceLocation(DataFlow::Node source) { none() }`
`35`		`-`
`36`	`34`	`Location getASelectedSinkLocation(DataFlow::Node sink) {`
`37`	`35`	`exists(FunctionCall fc \| result = [sink.getLocation(), fc.getLocation()] \| isSink(fc, sink))`
`38`	`36`	`}`