Module GoDataFlow

Import path

import semmle.go.dataflow.internal.DataFlowImplSpecific

Private
Public

Gets the node corresponding to e.

golangSpecificParamArgFilter	Holds if `call` is passing `arg` to param `p` in any circumstance except passing a receiver parameter to a concrete method.
neverSkipInPathGraph	Holds if `n` should never be skipped over in the `PathGraph` and in path explanations.