qtil
advanced-security/qtil-ruby 0.0.2
Search

Predicate Cached::bbIndex

Holds if cfn is the ith node in basic block bb.

In other words, i is the shortest distance from a node bb that starts a basic block to cfn along the intraBBSucc relation.

Import path

import codeql.ruby.controlflow.BasicBlocks
predicate bbIndex(CfgNode bbStart, CfgNode cfn, int i)