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