@@ -63,9 +63,7 @@ query predicate passingPositiveTests(string res, string expectation, InlineTest
6363 exists ( ReflectedXss:: Sink n | t .inNode ( n ) )
6464 or
6565 expectation = "xss" and
66- exists ( XssConfig:: Configuration cfg , DataFlow:: Node sink |
67- cfg .hasFlow ( _, sink ) and t .inNode ( sink )
68- )
66+ exists ( DataFlow:: Node sink | XssConfig:: ReflectedXssFlow:: flowTo ( sink ) and t .inNode ( sink ) )
6967 or
7068 expectation = "cleartextStorageSink" and
7169 exists ( CleartextStorage:: Sink n | t .inNode ( n ) )
@@ -119,9 +117,7 @@ query predicate failingPositiveTests(string res, string expectation, InlineTest
119117 not exists ( ReflectedXss:: Sink n | t .inNode ( n ) )
120118 or
121119 expectation = "xss" and
122- not exists ( XssConfig:: Configuration cfg , DataFlow:: Node sink |
123- cfg .hasFlow ( _, sink ) and t .inNode ( sink )
124- )
120+ not exists ( DataFlow:: Node sink | XssConfig:: ReflectedXssFlow:: flowTo ( sink ) and t .inNode ( sink ) )
125121 or
126122 expectation = "cleartextStorageSink" and
127123 not exists ( CleartextStorage:: Sink n | t .inNode ( n ) )
@@ -175,9 +171,7 @@ query predicate passingNegativeTests(string res, string expectation, InlineTest
175171 not exists ( ReflectedXss:: Sink n | t .inNode ( n ) )
176172 or
177173 expectation = "!xss" and
178- not exists ( XssConfig:: Configuration cfg , DataFlow:: Node sink |
179- cfg .hasFlow ( _, sink ) and t .inNode ( sink )
180- )
174+ not exists ( DataFlow:: Node sink | XssConfig:: ReflectedXssFlow:: flowTo ( sink ) and t .inNode ( sink ) )
181175 or
182176 expectation = "!cleartextStorageSink" and
183177 not exists ( CleartextStorage:: Sink n | t .inNode ( n ) )
@@ -231,9 +225,7 @@ query predicate failingNegativeTests(string res, string expectation, InlineTest
231225 exists ( ReflectedXss:: Sink n | t .inNode ( n ) )
232226 or
233227 expectation = "!xss" and
234- exists ( XssConfig:: Configuration cfg , DataFlow:: Node sink |
235- cfg .hasFlow ( _, sink ) and t .inNode ( sink )
236- )
228+ exists ( DataFlow:: Node sink | XssConfig:: ReflectedXssFlow:: flowTo ( sink ) and t .inNode ( sink ) )
237229 or
238230 expectation = "!cleartextStorageSink" and
239231 exists ( CleartextStorage:: Sink n | t .inNode ( n ) )
0 commit comments