Skip to content

Commit 0fc7750

Browse files
committed
Fix SensitiveResultReceiver test case
1 parent 3826b9b commit 0fc7750

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

java/ql/lib/semmle/code/java/security/SensitiveResultReceiverQuery.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ private predicate untrustedResultReceiverSend(DataFlow::Node src, ResultReceiver
3131
UntrustedResultReceiverFlow::flow(src, DataFlow::exprNode(call.getReceiver()))
3232
}
3333

34-
private module SensitiveResultReceiverConfig implements DataFlow::ConfigSig {
34+
module SensitiveResultReceiverConfig implements DataFlow::ConfigSig {
3535
predicate isSource(DataFlow::Node node) { node.asExpr() instanceof SensitiveExpr }
3636

3737
predicate isSink(DataFlow::Node node) {

java/ql/test/query-tests/security/CWE-927/SensitiveResultReceiver.ql

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,8 +14,8 @@ class ResultReceiverTest extends InlineExpectationsTest {
1414
override string getARelevantTag() { result = "hasSensitiveResultReceiver" }
1515

1616
override predicate hasActualResult(Location loc, string element, string tag, string value) {
17-
exists(DataFlow::PathNode sink |
18-
sensitiveResultReceiver(_, sink, _) and
17+
exists(SensitiveResultReceiverFlow::PathNode sink |
18+
isSensitiveResultReceiver(_, sink, _) and
1919
element = sink.toString() and
2020
loc = sink.getNode().getLocation() and
2121
tag = "hasSensitiveResultReceiver" and

0 commit comments

Comments
 (0)