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

8 lines
171 B
Plaintext

import csharp
from Ssa::SourceVariable v, Ssa::PhiNode phi, Ssa::Definition input
where
phi.getAnInput() = input and
v = phi.getSourceVariable()
select v, phi, input