Swift: Add the cases from the (Ruby) qhelp to the library tests.

geoffw0 · geoffw0 · commit 712c3cc69824 · 2023-06-14T18:23:05.000+01:00
diff --git a/swift/ql/test/library-tests/regex/redos_variants.swift b/swift/ql/test/library-tests/regex/redos_variants.swift
@@ -46,5 +46,9 @@ func myRegexpVariantsTests(myUrl: URL) throws {
 	_ = try Regex("(a|aa?)b").firstMatch(in: tainted) // $ regex="call to Regex<AnyRegexOutput>.init(_:)" input=tainted
 	_ = try Regex("(a|aa?)*b").firstMatch(in: tainted) // $ regex="call to Regex<AnyRegexOutput>.init(_:)" input=tainted redos-vulnerable=
 
+	// from the qhelp:
+	_ = try Regex("^_(__|.)+_$").firstMatch(in: tainted) // $ regex="call to Regex<AnyRegexOutput>.init(_:)" input=tainted redos-vulnerable=
+	_ = try Regex("^_(__|[^_])+_$").firstMatch(in: tainted) // $ regex="call to Regex<AnyRegexOutput>.init(_:)" input=tainted
+
 	// TODO: test more variant expressions.
 }

Original file line number	Diff line number	Diff line change
`@@ -46,5 +46,9 @@ func myRegexpVariantsTests(myUrl: URL) throws {`
`46`	`46`	`_ = try Regex("(a\|aa?)b").firstMatch(in: tainted) // $ regex="call to Regex<AnyRegexOutput>.init(_:)" input=tainted`
`47`	`47`	`_ = try Regex("(a\|aa?)*b").firstMatch(in: tainted) // $ regex="call to Regex<AnyRegexOutput>.init(_:)" input=tainted redos-vulnerable=`
`48`	`48`
	`49`	`+ // from the qhelp:`
	`50`	`+ _ = try Regex("^_(__\|.)+_$").firstMatch(in: tainted) // $ regex="call to Regex<AnyRegexOutput>.init(_:)" input=tainted redos-vulnerable=`
	`51`	`+ _ = try Regex("^_(__\|[^_])+_$").firstMatch(in: tainted) // $ regex="call to Regex<AnyRegexOutput>.init(_:)" input=tainted`
	`52`	`+`
`49`	`53`	`// TODO: test more variant expressions.`
`50`	`54`	`}`