Import path
import codeql.controlflow.BasicBlock
Predicates
bbIDominates | Holds if |
bbIPostDominates | Holds if |
getNode |
Datatypes
TBasicBlock | Internal representation of basic blocks. A basic block is represented by its first CFG node. |
import codeql.controlflow.BasicBlock
bbIDominates | Holds if |
bbIPostDominates | Holds if |
getNode |
TBasicBlock | Internal representation of basic blocks. A basic block is represented by its first CFG node. |