Class Flow::ConsistencyChecks::RelevantBasicBlock
Import path
import codeql.dataflow.VariableCaptureDirect supertypes
Inherited predicates
| getEnclosingCallable | Gets the enclosing callable. | from BasicBlock |
| getLocation | Gets the location of this basic block. | from BasicBlock |
| getNode | Gets the | from BasicBlock |
| length | Gets the length of this basic block. | from BasicBlock |
| toString | Gets a textual representation of this basic block. | from BasicBlock |