Holds if the source srcDef at src may reach the sink sinkDef at sink.
Import path
import codeql.controlflow.ControlFlowReachabilitypredicate flow(ControlFlowNode src, SsaDefinition srcDef, ControlFlowNode sink, SsaDefinition sinkDef)Holds if the source srcDef at src may reach the sink sinkDef at sink.
import codeql.controlflow.ControlFlowReachabilitypredicate flow(ControlFlowNode src, SsaDefinition srcDef, ControlFlowNode sink, SsaDefinition sinkDef)