Skip to content

Commit daf6ac2

Browse files
Update tests to InlineFlowTest
1 parent 52ca6b9 commit daf6ac2

File tree

1 file changed

+4
-14
lines changed

1 file changed

+4
-14
lines changed
Lines changed: 4 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,10 @@
11
import java
22
import semmle.code.java.security.AndroidSensitiveBroadcastQuery
33
import TestUtilities.InlineExpectationsTest
4+
import TestUtilities.InlineFlowTest
45

5-
class HasFlowTest extends InlineExpectationsTest {
6-
HasFlowTest() { this = "HasFlowTest" }
6+
class HasFlowTest extends InlineFlowTest {
7+
override DataFlow::Configuration getTaintFlowConfig() { result = any(SensitiveBroadcastConfig c) }
78

8-
override string getARelevantTag() { result = "hasTaintFlow" }
9-
10-
override predicate hasActualResult(Location location, string element, string tag, string value) {
11-
tag = "hasTaintFlow" and
12-
exists(DataFlow::Node src, DataFlow::Node sink, SensitiveBroadcastConfig conf |
13-
conf.hasFlow(src, sink)
14-
|
15-
sink.getLocation() = location and
16-
element = sink.toString() and
17-
value = ""
18-
)
19-
}
9+
override DataFlow::Configuration getValueFlowConfig() { none() }
2010
}

0 commit comments

Comments
 (0)