Module SsaExplicitDefinition
Provides a helper predicate for working with explicit SSA definitions.
Import path
import semmle.go.dataflow.SSAPredicates
| of | Gets the SSA definition corresponding to definition |
Provides a helper predicate for working with explicit SSA definitions.
import semmle.go.dataflow.SSA| of | Gets the SSA definition corresponding to definition |