Skip to content

Commit 269c277

Browse files
committed
Ruby: include value-preserving flow in localTaintStep
1 parent 5319216 commit 269c277

File tree

2 files changed

+283
-2
lines changed

2 files changed

+283
-2
lines changed

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

+2-2
Original file line numberDiff line numberDiff line change
@@ -115,8 +115,8 @@ private module Cached {
115115
*/
116116
cached
117117
predicate localTaintStepCached(DataFlow::Node nodeFrom, DataFlow::Node nodeTo) {
118-
defaultAdditionalTaintStep(nodeFrom, nodeTo)
119-
or
118+
DataFlow::localFlowStep(nodeFrom, nodeTo) or
119+
defaultAdditionalTaintStep(nodeFrom, nodeTo) or
120120
// Simple flow through library code is included in the exposed local
121121
// step relation, even though flow is technically inter-procedural
122122
FlowSummaryImpl::Private::Steps::summaryThroughStepTaint(nodeFrom, nodeTo, _)

0 commit comments

Comments
 (0)