mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
e57f98ca64
Most of the implementation was already in terms of `SemanticStackVariable`, so not much should have changed.
10 lines
313 B
Plaintext
10 lines
313 B
Plaintext
import cpp
|
|
|
|
from StackVariable v, VariableAccess use
|
|
where
|
|
useOfVarActual(v, use) and
|
|
// Also check that `useOfVarActual` is a subset of `useOfVar`; if not
|
|
// the query will not return any results
|
|
forall(StackVariable v0, VariableAccess use0 | useOfVarActual(v0, use0) | useOfVar(v0, use0))
|
|
select v, use
|