Skip to content

Commit 4e7438a

Browse files
committed
Make sure that InputStreamWrapperCapturedLocalStep is indeed local
1 parent d3b3af8 commit 4e7438a

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

java/ql/lib/semmle/code/java/frameworks/InputStream.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,7 @@ private class InputStreamWrapperCapturedJumpStep extends AdditionalTaintStep {
3939
*/
4040
private class InputStreamWrapperCapturedLocalStep extends AdditionalTaintStep {
4141
override predicate step(DataFlow::Node n1, DataFlow::Node n2) {
42+
n1.getEnclosingCallable() = n2.getEnclosingCallable() and
4243
exists(InputStreamRead m, NestedClass wrapper, SsaVariable captured, SsaImplicitInit capturer |
4344
wrapper.getASourceSupertype+() instanceof TypeInputStream and
4445
m.getDeclaringType() = wrapper and

0 commit comments

Comments
 (0)