Files
codeql/csharp/ql/test/library-tests/dataflow/ssa/SsaUltimateDef.ql
2018-12-20 10:19:59 +01:00

8 lines
175 B
Plaintext

import csharp
from Ssa::SourceVariable v, Ssa::Definition def, Ssa::Definition u
where
u = def.getAnUltimateDefinition() and
v = def.getSourceVariable()
select v, def, u