Skip to content

Commit 249076c

Browse files
committed
fix more getAstNode/injects replacement.
1 parent 64c6ab4 commit 249076c

2 files changed

Lines changed: 3 additions & 3 deletions

File tree

ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowPrivate.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -95,7 +95,7 @@ CfgNodes::ExprCfgNode getPostUpdateReverseStep(CfgNodes::ExprCfgNode e) {
9595
pragma[nomagic]
9696
Ssa::Definition getParameterDef(NamedParameter p) {
9797
exists(BasicBlock bb, int i |
98-
bb.getNode(i).getAstNode() = p.getDefiningAccess() and
98+
bb.getNode(i).injects(p.getDefiningAccess()) and
9999
result.definesAt(_, bb, i)
100100
)
101101
}

ruby/ql/lib/codeql/ruby/dataflow/internal/SsaImpl.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -179,7 +179,7 @@ private predicate capturedCallRead(CallCfgNode call, Cfg::BasicBlock bb, int i,
179179
private predicate variableReadActual(Cfg::BasicBlock bb, int i, LocalVariable v) {
180180
exists(VariableReadAccess read |
181181
read.getVariable() = v and
182-
read = bb.getNode(i).getAstNode()
182+
bb.getNode(i).injects(read)
183183
)
184184
}
185185

@@ -396,7 +396,7 @@ class NormalParameter extends Parameter {
396396
pragma[nomagic]
397397
Definition getParameterDef(NamedParameter p) {
398398
exists(Cfg::BasicBlock bb, int i |
399-
bb.getNode(i).getAstNode() = p.getDefiningAccess() and
399+
bb.getNode(i).injects(p.getDefiningAccess()) and
400400
result.definesAt(_, bb, i)
401401
)
402402
}

0 commit comments

Comments
 (0)