Predicate LocalFlow::defAssigns
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate defAssigns(AssignableDefinition def, Node cfnDef, Node value)
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate defAssigns(AssignableDefinition def, Node cfnDef, Node value)