Files
codeql/csharp/ql/test/library-tests/dataflow/ssa/SSAPhi.ql
2026-04-30 13:49:23 +02:00

8 lines
173 B
Plaintext

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