Predicate Cached :: explicitDefinition
Import path
import semmle.code.csharp.dataflow.internal.SsaImpl
predicate
explicitDefinition
(
WriteDefinition
def
,
SourceVariable
v
,
AssignableDefinition
ad
)