hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix test to use new InlineFlowTest

Browse Source
This commit is contained in:
Ed Minnix
2023-03-22 22:55:55 -04:00
parent 58bd2f7fa2
commit 8cc2a7329e
1 changed files with 5 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
java/ql/test/query-tests/security/CWE-489/webview-debugging/WebviewDebuggingEnabled.ql
View File

@@ -1,18 +1,11 @@
import java
import TestUtilities.InlineExpectationsTest
import TestUtilities.InlineFlowTest
import semmle.code.java.security.WebviewDebuggingEnabledQuery
class HasFlowTest extends InlineExpectationsTest {
HasFlowTest() { this = "HasFlowTest" }
class HasFlowTest extends InlineFlowTest {
override predicate hasTaintFlow(DataFlow::Node src, DataFlow::Node sink) { none() }
override string getARelevantTag() { result = "hasValueFlow" }
override predicate hasActualResult(Location location, string element, string tag, string value) {
tag = "hasValueFlow" and
exists(DataFlow::Node sink | WebviewDebugEnabledFlow::hasFlowTo(sink) |
location = sink.getLocation() and
element = "sink" and
value = ""
)
override predicate hasValueFlow(DataFlow::Node src, DataFlow::Node sink) {
WebviewDebugEnabledFlow::hasFlow(src, sink)
}
}