Skip to content

Commit fc43220

Browse files
committed
Java: bugfix
1 parent 2b1f34e commit fc43220

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

java/ql/lib/semmle/code/java/dataflow/internal/DataFlowPrivate.qll

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -150,7 +150,11 @@ predicate readStep(Node node1, Content f, Node node2) {
150150
* in `x.f = newValue`.
151151
*/
152152
predicate clearsContent(Node n, Content c) {
153-
exists(FieldAccess fa | instanceFieldAssign(_, fa) and n = getFieldQualifier(fa))
153+
exists(FieldAccess fa |
154+
instanceFieldAssign(_, fa) and
155+
n = getFieldQualifier(fa) and
156+
c.(FieldContent).getField() = fa.getField()
157+
)
154158
or
155159
FlowSummaryImpl::Private::Steps::summaryClearsContent(n, c)
156160
}

0 commit comments

Comments
 (0)