qtil
advanced-security/qtil-ruby 0.0.2
Search

Predicate Cached::captureFlowOut

Holds if there is outgoing flow for a captured variable that is updated in a block.

foo = 0
bar {
  foo += 10
}
puts foo

Import path

import codeql.ruby.dataflow.internal.SsaImpl
predicate captureFlowOut(CallCfgNode call, Definition def, Definition exit)