Shared: Make approximate location filtering the default behaviour

2026-04-27 17:55:19 +02:00 · 2025-07-02 14:38:10 +02:00
parent 82d190f4bf
commit 4a2d795076
7 changed files with 5 additions and 85 deletions
--- a/java/ql/lib/semmle/code/java/security/regexp/PolynomialReDoSQuery.qll
+++ b/java/ql/lib/semmle/code/java/security/regexp/PolynomialReDoSQuery.qll
@@ -55,13 +55,7 @@ module PolynomialRedosConfig implements DataFlow::ConfigSig {
      regexp.getRootTerm() = sink.(PolynomialRedosSink).getRegExp()
    |
      result = sink.getLocation()
-    )
-  }
-
-  Location getASelectedSinkLocationApprox(DataFlow::Node sink) {
-    exists(SuperlinearBackTracking::PolynomialBackTrackingTerm regexp |
-      regexp.getRootTerm() = sink.(PolynomialRedosSink).getRegExp()
-    |
+      or
      result = regexp.getLocation()
    )
  }