Module Cached
Internal implementation details.
Import path
import semmle.code.cil.BasicBlockPredicates
| bbIndex | Holds if |
Datatypes
| TBasicBlock | Internal representation of basic blocks. |
Internal implementation details.
import semmle.code.cil.BasicBlock| bbIndex | Holds if |
| TBasicBlock | Internal representation of basic blocks. |