Skip to content

Commit c034a1e

Browse files
committed
Java: Fix test.
1 parent 27f7633 commit c034a1e

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

java/ql/test/library-tests/dataflow/local-additional-taint/localAdditionalTaintStep.ql

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,9 @@ where
2424
or
2525
exists(ArgumentNode arg, MethodAccess call, DataFlow::ParameterNode p, int i |
2626
src = arg and
27-
p.isParameterOf(call.getMethod().getSourceDeclaration(), i) and
27+
p.isParameterOf(any(DataFlowCallable c |
28+
c.asCallable() = call.getMethod().getSourceDeclaration()
29+
), i) and
2830
arg.argumentOf(any(DataFlowCall c | c.asCall() = call), i)
2931
|
3032
sink.asExpr() = call and

0 commit comments

Comments
 (0)