Predicate Make :: adjacentDefReadExt
NB: If this predicate is exposed, it should be cached.
Holds if def
is accessed at index i1
in basic block bb1
(either a read
or a write), def
is read at index i2
in basic block bb2
, and there is a
path between them without any read of def
.
Import path
import codeql.ssa.Ssa
predicate
adjacentDefReadExt
(
DefinitionExt
def
,
SourceVariable
v
,
BasicBlock
bb1
,
int
i1
,
BasicBlock
bb2
,
int
i2
)