Skip to content

Commit 9ad2da6

Browse files
committed
Java: Fix reference to TypedContent.
1 parent 4f2d236 commit 9ad2da6

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

java/ql/src/utils/modelgenerator/internal/CaptureModels.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -139,9 +139,9 @@ module ThroughFlowConfig implements DataFlow::StateConfigSig {
139139
predicate isAdditionalFlowStep(
140140
DataFlow::Node node1, FlowState state1, DataFlow::Node node2, FlowState state2
141141
) {
142-
exists(DataFlowImplCommon::TypedContent tc |
143-
DataFlowImplCommon::store(node1, tc, node2, _) and
144-
isRelevantContent(tc.getContent()) and
142+
exists(DataFlow::Content c |
143+
DataFlowImplCommon::store(node1, c, node2, _, _) and
144+
isRelevantContent(c) and
145145
(
146146
state1 instanceof TaintRead and state2.(TaintStore).getStep() = 1
147147
or

0 commit comments

Comments
 (0)