Skip to content

Commit f054f73

Browse files
Apply suggestions from code review
Co-authored-by: Anders Schack-Mulligen <[email protected]>
1 parent 1de6845 commit f054f73

File tree

1 file changed

+6
-2
lines changed

1 file changed

+6
-2
lines changed

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

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,13 +13,17 @@ private import semmle.code.java.dataflow.FlowSteps
1313
*/
1414
private class InputStreamWrapperAnonymousStep extends AdditionalTaintStep {
1515
override predicate step(DataFlow::Node n1, DataFlow::Node n2) {
16-
exists(Method m, AnonymousClass wrapper |
16+
exists(Method m, NestedClass wrapper |
1717
m.hasName("read") and
1818
m.getDeclaringType() = wrapper and
1919
wrapper.getASourceSupertype+() instanceof TypeInputStream
2020
|
2121
n1.(DataFlow::PostUpdateNode).getPreUpdateNode().asExpr() = m.getParameter(0).getAnAccess() and
22-
n2.asExpr() = wrapper.getClassInstanceExpr()
22+
n2.asExpr()
23+
.(ClassInstanceExpr)
24+
.getConstructedType()
25+
.getASourceSupertype*()
26+
.getSourceDeclaration() = wrapper
2327
)
2428
}
2529
}

0 commit comments

Comments
 (0)