Injector MkResultInit
A control-flow node that represents the initialization of a result variable to its zero value.
Import path
import semmle.go.controlflow.ControlFlowGraphImplA control-flow node that represents the initialization of a result variable to its zero value.
import semmle.go.controlflow.ControlFlowGraphImpl