Module MakeImplStage1::ImplStage1
Import path
import codeql.dataflow.internal.DataFlowImplStage1Predicates
| toNormalSinkNodeEx | If |
Parameters
| Config | FullStateConfigSig |
import codeql.dataflow.internal.DataFlowImplStage1| toNormalSinkNodeEx | If |
| Config | FullStateConfigSig |