Files
codeql/java/ql/test/library-tests/ssa/ssaPhi.ql
2022-03-11 11:10:33 +01:00

7 lines
231 B
Plaintext

import java
import semmle.code.java.dataflow.SSA
from SsaPhiNode ssa, SsaSourceVariable v, SsaVariable phiInput
where ssa.getAPhiInput() = phiInput and ssa.getSourceVariable() = v
select v, ssa.getCfgNode(), phiInput.getCfgNode()