Python: Give up on providing values for form feeds

yoff · yoff · commit 6f2cdbf59e90 · 2021-06-29T11:14:27.000+02:00
diff --git a/python/ql/src/semmle/python/RegexTreeView.qll b/python/ql/src/semmle/python/RegexTreeView.qll
@@ -445,8 +445,9 @@ class RegExpEscape extends RegExpNormalChar {
     or
     this.getUnescaped() = "t" and result = "\t"
     or
-    this.getUnescaped() = "f" and result = ""
-    or
+    // TODO: Find a way to include a formfeed character
+    // this.getUnescaped() = "f" and result = ""
+    // or
     isUnicode() and
     result = getUnicode()
   }
