Predicate Cached :: updatesCapturedVariable
Holds if call may change the value of captured variable v. The actual
update occurs in def.
Import path
import semmle.code.csharp.dataflow.internal.SsaImpl
predicate
updatesCapturedVariable
(
BasicBlock
bb
,
int
i
,
Call
call
,
LocalScopeSourceVariable
v
,
AssignableDefinition
def
,
boolean
additionalCalls
)