Predicate LocalFlow::ssaDefAssigns
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate ssaDefAssigns(ExplicitDefinition ssaDef, ExprNode value)import semmle.code.csharp.dataflow.internal.DataFlowPrivatepredicate ssaDefAssigns(ExplicitDefinition ssaDef, ExprNode value)