Holds if the call context call
allows us to prune unreachable nodes in callable
.
Import path
import codeql.dataflow.internal.DataFlowImplCommon
predicate recordDataFlowCallSiteUnreachable(DataFlowCall call, DataFlowCallable callable)
Holds if the call context call
allows us to prune unreachable nodes in callable
.
import codeql.dataflow.internal.DataFlowImplCommon
predicate recordDataFlowCallSiteUnreachable(DataFlowCall call, DataFlowCallable callable)