Predicate signature entryBlock
Holds if bb is a control-flow entry point.
Import path
import codeql.dataflow.VariableCapturesignature predicate entryBlock(BasicBlock bb)Holds if bb is a control-flow entry point.
import codeql.dataflow.VariableCapturesignature predicate entryBlock(BasicBlock bb)