Predicate Make :: Consistency :: readWithoutDefExt
Holds if a read cannot be reached from a definition.
Import path
import codeql.ssa.Ssa
predicate
readWithoutDefExt
(
SourceVariable
v
,
BasicBlock
bb
,
int
i
)