File tree Expand file tree Collapse file tree 1 file changed +4
-11
lines changed
java/ql/test/library-tests/frameworks/ratpack Expand file tree Collapse file tree 1 file changed +4
-11
lines changed Original file line number Diff line number Diff line change 1
1
import java
2
2
import semmle.code.java.dataflow.TaintTracking
3
3
import semmle.code.java.dataflow.FlowSources
4
- import TestUtilities.InlineExpectationsTest
4
+ import TestUtilities.InlineFlowTest
5
5
6
6
module Config implements DataFlow:: ConfigSig {
7
7
predicate isSource ( DataFlow:: Node n ) {
@@ -17,17 +17,10 @@ module Config implements DataFlow::ConfigSig {
17
17
18
18
module Flow = TaintTracking:: Global< Config > ;
19
19
20
- class HasFlowTest extends InlineExpectationsTest {
20
+ class HasFlowTest extends InlineFlowTest {
21
21
HasFlowTest ( ) { this = "HasFlowTest" }
22
22
23
- override string getARelevantTag ( ) { result = "hasTaintFlow" }
23
+ override predicate hasValueFlow ( DataFlow :: Node src , DataFlow :: Node sink ) { none ( ) }
24
24
25
- override predicate hasActualResult ( Location location , string element , string tag , string value ) {
26
- tag = "hasTaintFlow" and
27
- exists ( DataFlow:: Node sink | Flow:: flowTo ( sink ) |
28
- sink .getLocation ( ) = location and
29
- element = sink .toString ( ) and
30
- value = ""
31
- )
32
- }
25
+ override predicate hasTaintFlow ( DataFlow:: Node src , DataFlow:: Node sink ) { Flow:: flow ( src , sink ) }
33
26
}
You can’t perform that action at this time.
0 commit comments