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
)