Predicate useUsePair
A use/use pair is a pair of uses of a particular variable var
where the same value might be read (meaning that there is a
control-flow path from first
to second
without crossing
a definition of var
).
Import path
import cpp
predicate
useUsePair
(
SemanticStackVariable
var
,
Expr
first
,
Expr
second
)